Code : Michal Kwiatkowski

Michal Kwiatkowski

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