Timeline


and

11/20/08:

13:22 Ticket #49 (Support timeouts for provers) created by hritcu
Most provers support timeouts as command line arguments. We could also …

11/19/08:

13:35 Ticket #48 (Subtyping implementation very incomplete) created by hritcu
The current implementation of the subtyping relation is very incomplete. …
11:34 Changeset [15830] by hritcu
In martin2.config I removed all cases other than the one for check, and …

11/17/08:

13:23 Changeset [15779] by hritcu
11:57 Changeset [15776] by hritcu
Fixed to match paper (using long term public key of the issuer to create …
10:51 Ticket #47 (Problem Counting Proof Obligations?) created by hritcu
Make sure that the numbers displayed while logging always match the ones …
10:35 Milestone 0.1.0 (CCS) completed
07:26 WikiHtml edited by trac
(diff)
07:26 WikiMacros edited by trac
(diff)
07:26 WikiNewPage edited by trac
(diff)
07:26 WikiPageNames edited by trac
(diff)
07:26 WikiProcessors edited by trac
(diff)
07:26 WikiRestructuredTextLinks edited by trac
(diff)
07:26 TracRss edited by trac
(diff)
07:26 TracSearch edited by trac
(diff)
07:26 TracStandalone edited by trac
(diff)
07:26 TracSupport edited by trac
(diff)
07:26 WikiDeletePage edited by trac
(diff)
07:26 TracTickets edited by trac
(diff)
07:26 TracTimeline edited by trac
(diff)
07:26 TracWiki edited by trac
(diff)
07:26 TracTicketsCustomFields edited by trac
(diff)
07:26 TracUnicode edited by trac
(diff)
07:26 TracUpgrade edited by trac
(diff)
07:26 TracWorkflow created by trac
07:26 WikiRestructuredText edited by trac
(diff)
07:26 WikiFormatting edited by trac
(diff)
07:26 TracInstall edited by trac
(diff)
07:26 TracLinks edited by trac
(diff)
07:26 TracLogging edited by trac
(diff)
07:26 TracInterfaceCustomization edited by trac
(diff)
07:26 TracModPython edited by trac
(diff)
07:26 TracModWSGI created by trac
07:26 TracNavigation created by trac
07:26 TracNotification edited by trac
(diff)
07:26 TracPermissions edited by trac
(diff)
07:26 TracPlugins edited by trac
(diff)
07:26 TracQuery edited by trac
(diff)
07:26 TracReports edited by trac
(diff)
07:26 TracRevisionLog edited by trac
(diff)
07:26 TracRoadmap edited by trac
(diff)
07:26 TitleIndex edited by trac
(diff)
07:26 TracChangeset edited by trac
(diff)
07:26 TracAdmin edited by trac
(diff)
07:26 TracBackup edited by trac
(diff)
07:26 TracBrowser edited by trac
(diff)
07:26 TracCgi edited by trac
(diff)
07:26 TracSyntaxColoring edited by trac
(diff)
07:26 TracEnvironment edited by trac
(diff)
07:26 TracFastCgi edited by trac
(diff)
07:26 TracGuide edited by trac
(diff)
07:26 TracImport edited by trac
(diff)
07:26 TracFineGrainedPermissions created by trac
07:26 TracIni edited by trac
(diff)
07:26 PageTemplates created by trac
07:26 CamelCase edited by trac
(diff)
07:26 InterTrac edited by trac
(diff)
07:26 InterWiki edited by trac
(diff)
07:26 TracAccessibility edited by trac
(diff)
07:26 RecentChanges edited by trac
(diff)

11/16/08:

21:04 Changeset [15765] by hritcu
Added subtype_immediately function and made martin2.config use it
18:40 Changeset [15764] by grochulla
committing previous version of config-file
17:56 Changeset [15763] by grochulla
now implemented correctly
16:44 Changeset [15762] by hritcu
Added 2 of Martin's config that were referenced by the Makefile

11/14/08:

13:43 Changeset [15726] by grochulla
added configuration file martin2.config and modified makefile
11:01 WikiStart edited by broeni
(diff)

10/31/08:

13:19 WikiStart edited by hritcu
(diff)
13:17 WikiStart edited by hritcu
(diff)
13:16 WikiStart edited by hritcu
(diff)

10/27/08:

13:37 WikiStart edited by hritcu
(diff)

10/25/08:

16:24 WikiStart edited by hritcu
(diff)
16:23 WikiStart edited by hritcu
(diff)
16:22 WikiStart edited by hritcu
(diff)
16:22 WikiStart edited by hritcu
(diff)
16:22 WikiStart edited by hritcu
(diff)
16:21 WikiStart edited by hritcu
(diff)
16:19 WikiStart edited by hritcu
(diff)
16:17 WikiStart edited by hritcu
(diff)

10/21/08:

19:42 Changeset [15235] by hritcu
Updated the README (slightly)
19:25 Changeset [15234] by hritcu
Adding PDF version of documentation files
18:28 Changeset [15229] by tarrach
Note: See TracTimeline for information about the timeline view.