Thu, 30 Jun 2011 19:08:30 +0200 |
Begin with model checking.
|
file | diff | annotate |
Thu, 30 Jun 2011 18:00:04 +0200 |
Less prolo symbols.
|
file | diff | annotate |
Thu, 30 Jun 2011 17:35:02 +0200 |
Finished automata construction.
|
file | diff | annotate |
Thu, 30 Jun 2011 02:06:23 +0200 |
Started with automata construction.
|
file | diff | annotate |
Wed, 29 Jun 2011 18:56:22 +0200 |
Layout and stuff.
|
file | diff | annotate |
Wed, 29 Jun 2011 18:39:07 +0200 |
Layout and stuff.
|
file | diff | annotate |
Wed, 29 Jun 2011 00:11:59 +0200 |
Nothing.
|
file | diff | annotate |
Tue, 28 Jun 2011 22:03:45 +0200 |
Added convenient commands.
|
file | diff | annotate |
Tue, 28 Jun 2011 14:49:59 +0200 |
Multicolumn lists.
|
file | diff | annotate |
Tue, 28 Jun 2011 14:45:02 +0200 |
Multicolumn lists.
|
file | diff | annotate |
Tue, 28 Jun 2011 00:16:13 +0200 |
Some more LTL content.
|
file | diff | annotate |
Mon, 27 Jun 2011 19:16:05 +0200 |
First part of LTL.
|
file | diff | annotate |
Thu, 23 Jun 2011 01:22:53 +0200 |
Dont remember.
|
file | diff | annotate |
Wed, 22 Jun 2011 20:06:27 +0200 |
Added some automata definitions.
|
file | diff | annotate |
Tue, 14 Jun 2011 01:36:04 +0200 |
Minor stuff.
|
file | diff | annotate |
Wed, 01 Jun 2011 18:53:27 +0200 |
Minore restruct.
|
file | diff | annotate |
Wed, 01 Jun 2011 11:18:05 +0200 |
Some more regular definitions.
|
file | diff | annotate |
Tue, 31 May 2011 03:48:36 +0200 |
Added some omega-languages definitions.
|
file | diff | annotate |
Sun, 29 May 2011 19:36:23 +0200 |
Sans-serif complex.
|
file | diff | annotate |
Sun, 29 May 2011 03:34:06 +0200 |
Layout and title.
|
file | diff | annotate |
Sat, 28 May 2011 18:31:12 +0200 |
Not much.
|
file | diff | annotate |
Sat, 28 May 2011 01:43:28 +0200 |
Minor stuff.
|
file | diff | annotate |
Sat, 28 May 2011 00:48:18 +0200 |
Initial layout.
|
file | diff | annotate |
Fri, 27 May 2011 22:52:44 +0200 |
Added comments file.
|
file | diff | annotate |
Fri, 27 May 2011 20:54:16 +0200 |
Initial.
|
file | diff | annotate |