Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:specter | 1 Development | 2012-01-21 12:30:26 UTC |
20.
Fixed 1.5 release date.
Author:
Michal Kwiatkowski
Fixed 1.5 release date. |
|
lp:~ruby/ |
1 Development | 2010-08-20 18:35:39 UTC |
343.
Implemented basic locators for test g...
Author:
Michal Kwiatkowski
Implemented basic locators for test generation. |
|
lp:~ruby/+junk/pvs | 1 Development | 2010-03-22 19:40:14 UTC |
112.
Added HACKING file with basic informa...
Author:
Michal Kwiatkowski
Added HACKING file with basic information on running PVS in development environment. |
|
lp:~ruby/ |
0 Experimental | 2009-09-27 11:56:18 UTC |
185.
Separate imperative parts from functi...
Author:
Michal Kwiatkowski
Separate imperative parts from functional parts. |
1 → 4 of 4 results | First • Previous • Next • Last |