Eugen Sawin <sawine@me73.com> [Sat, 09 Jul 2011 21:14:09 +0200] rev 30
Finished model checking.
Eugen Sawin <sawine@me73.com> [Sat, 09 Jul 2011 15:48:37 +0200] rev 29
Beginning model checking.
Eugen Sawin <sawine@me73.com> [Sat, 09 Jul 2011 03:48:35 +0200] rev 28
Program automata construction.
Eugen Sawin <sawine@me73.com> [Fri, 08 Jul 2011 14:54:53 +0200] rev 27
Abstract draft.
Eugen Sawin <sawine@me73.com> [Fri, 08 Jul 2011 14:53:15 +0200] rev 26
Abstract draft.
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 20:45:45 +0200] rev 25
Begin with model checking.
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 19:08:30 +0200] rev 24
Begin with model checking.
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 18:00:04 +0200] rev 23
Less prolo symbols.
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 17:35:02 +0200] rev 22
Finished automata construction.
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 02:06:23 +0200] rev 21
Started with automata construction.