| Wed, 27 Jul 2011 11:24:57 +0200 | Eugen Sawin | Final notes. | changeset | files |
| Mon, 25 Jul 2011 23:56:52 +0200 | Eugen Sawin | Some more notes. | changeset | files |
| Fri, 22 Jul 2011 23:39:42 +0200 | Eugen Sawin | Final. | changeset | files |
| Fri, 22 Jul 2011 23:11:53 +0200 | Eugen Sawin | Almost finished. | changeset | files |
| Fri, 22 Jul 2011 23:01:19 +0200 | Eugen Sawin | Almost finished. | changeset | files |
| Fri, 22 Jul 2011 20:49:15 +0200 | Eugen Sawin | Reactive program graph. | changeset | files |
| Fri, 22 Jul 2011 16:50:42 +0200 | Eugen Sawin | Reactive systems. | changeset | files |
| Fri, 22 Jul 2011 15:55:34 +0200 | Eugen Sawin | Some more stuff. | changeset | files |
| 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 |