Fri, 22 Jul 2011 15:52:20 +0200 |
Eugen Sawin |
Some more stuff.
|
changeset |
files
|
Fri, 22 Jul 2011 04:33:59 +0200 |
Eugen Sawin |
Notes.
|
changeset |
files
|
Fri, 22 Jul 2011 01:22:59 +0200 |
Eugen Sawin |
Notes.
|
changeset |
files
|
Thu, 21 Jul 2011 14:52:03 +0200 |
Eugen Sawin |
Some rearrangements.
|
changeset |
files
|
Thu, 21 Jul 2011 01:41:30 +0200 |
Eugen Sawin |
LTL semantics.
|
changeset |
files
|
Thu, 21 Jul 2011 00:53:49 +0200 |
Eugen Sawin |
LTL semantics.
|
changeset |
files
|
Thu, 21 Jul 2011 00:47:13 +0200 |
Eugen Sawin |
LTL semantics.
|
changeset |
files
|
Wed, 20 Jul 2011 20:32:05 +0200 |
Eugen Sawin |
LTL begin.
|
changeset |
files
|
Wed, 20 Jul 2011 15:32:09 +0200 |
Eugen Sawin |
Some more green on the graph.
|
changeset |
files
|
Wed, 20 Jul 2011 03:57:42 +0200 |
Eugen Sawin |
Stuff.
|
changeset |
files
|
Wed, 20 Jul 2011 03:03:50 +0200 |
Eugen Sawin |
Automata example.
|
changeset |
files
|
Tue, 19 Jul 2011 21:29:46 +0200 |
Eugen Sawin |
Some more definitions.
|
changeset |
files
|
Tue, 19 Jul 2011 15:23:57 +0200 |
Eugen Sawin |
Some more definitions.
|
changeset |
files
|
Tue, 19 Jul 2011 02:33:21 +0200 |
Eugen Sawin |
Initial slides.
|
changeset |
files
|
Fri, 15 Jul 2011 23:39:56 +0200 |
Eugen Sawin |
Added final folder.
|
changeset |
files
|
Fri, 15 Jul 2011 23:38:46 +0200 |
Eugen Sawin |
Final.
|
changeset |
files
|
Fri, 15 Jul 2011 23:37:27 +0200 |
Eugen Sawin |
Final.
|
changeset |
files
|
Fri, 15 Jul 2011 22:26:36 +0200 |
Eugen Sawin |
Model example.
|
changeset |
files
|
Fri, 15 Jul 2011 20:07:34 +0200 |
Eugen Sawin |
Automaton example.
|
changeset |
files
|
Fri, 15 Jul 2011 19:21:26 +0200 |
Eugen Sawin |
Example automaton graph.
|
changeset |
files
|
Fri, 15 Jul 2011 19:15:52 +0200 |
Eugen Sawin |
Example automaton graph.
|
changeset |
files
|
Fri, 15 Jul 2011 18:22:30 +0200 |
Eugen Sawin |
Example automaton graph.
|
changeset |
files
|
Fri, 15 Jul 2011 03:05:50 +0200 |
Eugen Sawin |
Spell-checked.
|
changeset |
files
|
Thu, 14 Jul 2011 03:09:53 +0200 |
Eugen Sawin |
Free text.
|
changeset |
files
|
Thu, 14 Jul 2011 02:10:51 +0200 |
Eugen Sawin |
Crude appempt at algorithm.
|
changeset |
files
|
Tue, 12 Jul 2011 23:52:07 +0200 |
Eugen Sawin |
Tired.
|
changeset |
files
|
Tue, 12 Jul 2011 22:38:25 +0200 |
Eugen Sawin |
Discussion draft.
|
changeset |
files
|
Tue, 12 Jul 2011 22:20:53 +0200 |
Eugen Sawin |
Discussion draft.
|
changeset |
files
|
Tue, 12 Jul 2011 17:54:45 +0200 |
Eugen Sawin |
More free text.
|
changeset |
files
|
Tue, 12 Jul 2011 17:39:08 +0200 |
Eugen Sawin |
More free text.
|
changeset |
files
|
Tue, 12 Jul 2011 16:06:35 +0200 |
Eugen Sawin |
Some free text.
|
changeset |
files
|
Tue, 12 Jul 2011 13:43:09 +0200 |
Eugen Sawin |
Some free text.
|
changeset |
files
|
Tue, 12 Jul 2011 02:49:15 +0200 |
Eugen Sawin |
First introduction draft.
|
changeset |
files
|
Mon, 11 Jul 2011 16:25:01 +0200 |
Eugen Sawin |
Some improving.
|
changeset |
files
|
Mon, 11 Jul 2011 03:04:11 +0200 |
Eugen Sawin |
Progressed in on-the-fly methods.
|
changeset |
files
|
Sun, 10 Jul 2011 00:42:42 +0200 |
Eugen Sawin |
New abstract.
|
changeset |
files
|
Sun, 10 Jul 2011 00:35:46 +0200 |
Eugen Sawin |
New abstract.h
|
changeset |
files
|
Sun, 10 Jul 2011 00:02:03 +0200 |
Eugen Sawin |
Started with on-the-fly methods.
|
changeset |
files
|
Sat, 09 Jul 2011 21:14:09 +0200 |
Eugen Sawin |
Finished model checking.
|
changeset |
files
|
Sat, 09 Jul 2011 15:48:37 +0200 |
Eugen Sawin |
Beginning model checking.
|
changeset |
files
|
Sat, 09 Jul 2011 03:48:35 +0200 |
Eugen Sawin |
Program automata construction.
|
changeset |
files
|
Fri, 08 Jul 2011 14:54:53 +0200 |
Eugen Sawin |
Abstract draft.
|
changeset |
files
|
Fri, 08 Jul 2011 14:53:15 +0200 |
Eugen Sawin |
Abstract draft.
|
changeset |
files
|
Thu, 30 Jun 2011 20:45:45 +0200 |
Eugen Sawin |
Begin with model checking.
|
changeset |
files
|
Thu, 30 Jun 2011 19:08:30 +0200 |
Eugen Sawin |
Begin with model checking.
|
changeset |
files
|
Thu, 30 Jun 2011 18:00:04 +0200 |
Eugen Sawin |
Less prolo symbols.
|
changeset |
files
|
Thu, 30 Jun 2011 17:35:02 +0200 |
Eugen Sawin |
Finished automata construction.
|
changeset |
files
|
Thu, 30 Jun 2011 02:06:23 +0200 |
Eugen Sawin |
Started with automata construction.
|
changeset |
files
|
Wed, 29 Jun 2011 18:56:22 +0200 |
Eugen Sawin |
Layout and stuff.
|
changeset |
files
|
Wed, 29 Jun 2011 18:39:07 +0200 |
Eugen Sawin |
Layout and stuff.
|
changeset |
files
|
Wed, 29 Jun 2011 00:11:59 +0200 |
Eugen Sawin |
Nothing.
|
changeset |
files
|
Tue, 28 Jun 2011 22:03:45 +0200 |
Eugen Sawin |
Added convenient commands.
|
changeset |
files
|
Tue, 28 Jun 2011 14:49:59 +0200 |
Eugen Sawin |
Multicolumn lists.
|
changeset |
files
|
Tue, 28 Jun 2011 14:45:02 +0200 |
Eugen Sawin |
Multicolumn lists.
|
changeset |
files
|
Tue, 28 Jun 2011 00:16:13 +0200 |
Eugen Sawin |
Some more LTL content.
|
changeset |
files
|
Mon, 27 Jun 2011 19:16:05 +0200 |
Eugen Sawin |
First part of LTL.
|
changeset |
files
|
Thu, 23 Jun 2011 01:22:53 +0200 |
Eugen Sawin |
Dont remember.
|
changeset |
files
|
Wed, 22 Jun 2011 20:06:27 +0200 |
Eugen Sawin |
Added some automata definitions.
|
changeset |
files
|
Tue, 14 Jun 2011 01:36:04 +0200 |
Eugen Sawin |
Minor stuff.
|
changeset |
files
|
Wed, 01 Jun 2011 18:53:27 +0200 |
Eugen Sawin |
Minore restruct.
|
changeset |
files
|