Mercurialmodel_checking_seminar / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
(0) tip
Wed, 20 Jul 2011 03:57:42 +0200Stuff.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 20 Jul 2011 03:57:42 +0200] rev 59
Stuff.

Wed, 20 Jul 2011 03:03:50 +0200Automata example.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 20 Jul 2011 03:03:50 +0200] rev 58
Automata example.

Tue, 19 Jul 2011 21:29:46 +0200Some more definitions.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 19 Jul 2011 21:29:46 +0200] rev 57
Some more definitions.

Tue, 19 Jul 2011 15:23:57 +0200Some more definitions.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 19 Jul 2011 15:23:57 +0200] rev 56
Some more definitions.

Tue, 19 Jul 2011 02:33:21 +0200Initial slides.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 19 Jul 2011 02:33:21 +0200] rev 55
Initial slides.

Fri, 15 Jul 2011 23:39:56 +0200Added final folder.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 23:39:56 +0200] rev 54
Added final folder.

Fri, 15 Jul 2011 23:38:46 +0200Final.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 23:38:46 +0200] rev 53
Final.

Fri, 15 Jul 2011 23:37:27 +0200Final.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 23:37:27 +0200] rev 52
Final.

Fri, 15 Jul 2011 22:26:36 +0200Model example.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 22:26:36 +0200] rev 51
Model example.

Fri, 15 Jul 2011 20:07:34 +0200Automaton example.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 20:07:34 +0200] rev 50
Automaton example.

Fri, 15 Jul 2011 19:21:26 +0200Example automaton graph.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 19:21:26 +0200] rev 49
Example automaton graph.

Fri, 15 Jul 2011 19:15:52 +0200Example automaton graph.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 19:15:52 +0200] rev 48
Example automaton graph.

Fri, 15 Jul 2011 18:22:30 +0200Example automaton graph.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 18:22:30 +0200] rev 47
Example automaton graph.

Fri, 15 Jul 2011 03:05:50 +0200Spell-checked.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 15 Jul 2011 03:05:50 +0200] rev 46
Spell-checked.

Thu, 14 Jul 2011 03:09:53 +0200Free text.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 14 Jul 2011 03:09:53 +0200] rev 45
Free text.

Thu, 14 Jul 2011 02:10:51 +0200Crude appempt at algorithm.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 14 Jul 2011 02:10:51 +0200] rev 44
Crude appempt at algorithm.

Tue, 12 Jul 2011 23:52:07 +0200Tired.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 23:52:07 +0200] rev 43
Tired.

Tue, 12 Jul 2011 22:38:25 +0200Discussion draft.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 22:38:25 +0200] rev 42
Discussion draft.

Tue, 12 Jul 2011 22:20:53 +0200Discussion draft.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 22:20:53 +0200] rev 41
Discussion draft.

Tue, 12 Jul 2011 17:54:45 +0200More free text.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 17:54:45 +0200] rev 40
More free text.

Tue, 12 Jul 2011 17:39:08 +0200More free text.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 17:39:08 +0200] rev 39
More free text.

Tue, 12 Jul 2011 16:06:35 +0200Some free text.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 16:06:35 +0200] rev 38
Some free text.

Tue, 12 Jul 2011 13:43:09 +0200Some free text.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 13:43:09 +0200] rev 37
Some free text.

Tue, 12 Jul 2011 02:49:15 +0200First introduction draft.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 02:49:15 +0200] rev 36
First introduction draft.

Mon, 11 Jul 2011 16:25:01 +0200Some improving.
changeset
Eugen Sawin <sawine@me73.com> [Mon, 11 Jul 2011 16:25:01 +0200] rev 35
Some improving.

Mon, 11 Jul 2011 03:04:11 +0200Progressed in on-the-fly methods.
changeset
Eugen Sawin <sawine@me73.com> [Mon, 11 Jul 2011 03:04:11 +0200] rev 34
Progressed in on-the-fly methods.

Sun, 10 Jul 2011 00:42:42 +0200New abstract.
changeset
Eugen Sawin <sawine@me73.com> [Sun, 10 Jul 2011 00:42:42 +0200] rev 33
New abstract.

Sun, 10 Jul 2011 00:35:46 +0200New abstract.h
changeset
Eugen Sawin <sawine@me73.com> [Sun, 10 Jul 2011 00:35:46 +0200] rev 32
New abstract.h

Sun, 10 Jul 2011 00:02:03 +0200Started with on-the-fly methods.
changeset
Eugen Sawin <sawine@me73.com> [Sun, 10 Jul 2011 00:02:03 +0200] rev 31
Started with on-the-fly methods.

Sat, 09 Jul 2011 21:14:09 +0200Finished model checking.
changeset
Eugen Sawin <sawine@me73.com> [Sat, 09 Jul 2011 21:14:09 +0200] rev 30
Finished model checking.

Sat, 09 Jul 2011 15:48:37 +0200Beginning model checking.
changeset
Eugen Sawin <sawine@me73.com> [Sat, 09 Jul 2011 15:48:37 +0200] rev 29
Beginning model checking.

Sat, 09 Jul 2011 03:48:35 +0200Program automata construction.
changeset
Eugen Sawin <sawine@me73.com> [Sat, 09 Jul 2011 03:48:35 +0200] rev 28
Program automata construction.

Fri, 08 Jul 2011 14:54:53 +0200Abstract draft.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 08 Jul 2011 14:54:53 +0200] rev 27
Abstract draft.

Fri, 08 Jul 2011 14:53:15 +0200Abstract draft.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 08 Jul 2011 14:53:15 +0200] rev 26
Abstract draft.

Thu, 30 Jun 2011 20:45:45 +0200Begin with model checking.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 20:45:45 +0200] rev 25
Begin with model checking.

Thu, 30 Jun 2011 19:08:30 +0200Begin with model checking.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 19:08:30 +0200] rev 24
Begin with model checking.

Thu, 30 Jun 2011 18:00:04 +0200Less prolo symbols.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 18:00:04 +0200] rev 23
Less prolo symbols.

Thu, 30 Jun 2011 17:35:02 +0200Finished automata construction.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 17:35:02 +0200] rev 22
Finished automata construction.

Thu, 30 Jun 2011 02:06:23 +0200Started with automata construction.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 02:06:23 +0200] rev 21
Started with automata construction.

Wed, 29 Jun 2011 18:56:22 +0200Layout and stuff.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 29 Jun 2011 18:56:22 +0200] rev 20
Layout and stuff.

Wed, 29 Jun 2011 18:39:07 +0200Layout and stuff.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 29 Jun 2011 18:39:07 +0200] rev 19
Layout and stuff.

Wed, 29 Jun 2011 00:11:59 +0200Nothing.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 29 Jun 2011 00:11:59 +0200] rev 18
Nothing.

Tue, 28 Jun 2011 22:03:45 +0200Added convenient commands.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 22:03:45 +0200] rev 17
Added convenient commands.

Tue, 28 Jun 2011 14:49:59 +0200Multicolumn lists.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 14:49:59 +0200] rev 16
Multicolumn lists.

Tue, 28 Jun 2011 14:45:02 +0200Multicolumn lists.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 14:45:02 +0200] rev 15
Multicolumn lists.

Tue, 28 Jun 2011 00:16:13 +0200Some more LTL content.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 00:16:13 +0200] rev 14
Some more LTL content.

Mon, 27 Jun 2011 19:16:05 +0200First part of LTL.
changeset
Eugen Sawin <sawine@me73.com> [Mon, 27 Jun 2011 19:16:05 +0200] rev 13
First part of LTL.

Thu, 23 Jun 2011 01:22:53 +0200Dont remember.
changeset
Eugen Sawin <sawine@me73.com> [Thu, 23 Jun 2011 01:22:53 +0200] rev 12
Dont remember.

Wed, 22 Jun 2011 20:06:27 +0200Added some automata definitions.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 22 Jun 2011 20:06:27 +0200] rev 11
Added some automata definitions.

Tue, 14 Jun 2011 01:36:04 +0200Minor stuff.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 14 Jun 2011 01:36:04 +0200] rev 10
Minor stuff.

Wed, 01 Jun 2011 18:53:27 +0200Minore restruct.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 01 Jun 2011 18:53:27 +0200] rev 9
Minore restruct.

Wed, 01 Jun 2011 11:18:05 +0200Some more regular definitions.
changeset
Eugen Sawin <sawine@me73.com> [Wed, 01 Jun 2011 11:18:05 +0200] rev 8
Some more regular definitions.

Tue, 31 May 2011 03:48:36 +0200Added some omega-languages definitions.
changeset
Eugen Sawin <sawine@me73.com> [Tue, 31 May 2011 03:48:36 +0200] rev 7
Added some omega-languages definitions.

Sun, 29 May 2011 19:36:23 +0200Sans-serif complex.
changeset
Eugen Sawin <sawine@me73.com> [Sun, 29 May 2011 19:36:23 +0200] rev 6
Sans-serif complex.

Sun, 29 May 2011 03:34:06 +0200Layout and title.
changeset
Eugen Sawin <sawine@me73.com> [Sun, 29 May 2011 03:34:06 +0200] rev 5
Layout and title.

Sat, 28 May 2011 18:31:12 +0200Not much.
changeset
Eugen Sawin <sawine@me73.com> [Sat, 28 May 2011 18:31:12 +0200] rev 4
Not much.

Sat, 28 May 2011 01:43:28 +0200Minor stuff.
changeset
Eugen Sawin <sawine@me73.com> [Sat, 28 May 2011 01:43:28 +0200] rev 3
Minor stuff.

Sat, 28 May 2011 00:48:18 +0200Initial layout.
changeset
Eugen Sawin <sawine@me73.com> [Sat, 28 May 2011 00:48:18 +0200] rev 2
Initial layout.

Fri, 27 May 2011 22:52:44 +0200Added comments file.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 27 May 2011 22:52:44 +0200] rev 1
Added comments file.

Fri, 27 May 2011 20:54:16 +0200Initial.
changeset
Eugen Sawin <sawine@me73.com> [Fri, 27 May 2011 20:54:16 +0200] rev 0
Initial.

(0) tip
model_checking_seminar