Timeline
11/20/08:
- 13:22 Ticket #49 (Support timeouts for provers) created by
- Most provers support timeouts as command line arguments. We could also …
11/19/08:
- 13:35 Ticket #48 (Subtyping implementation very incomplete) created by
- The current implementation of the subtyping relation is very incomplete. …
- 11:34 Changeset [15830] by
- In martin2.config I removed all cases other than the one for check, and …
11/17/08:
- 13:23 Changeset [15779] by
- 11:57 Changeset [15776] by
- Fixed to match paper (using long term public key of the issuer to create …
- 10:51 Ticket #47 (Problem Counting Proof Obligations?) created by
- 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
- (diff)
- 07:26 WikiMacros edited by
- (diff)
- 07:26 WikiNewPage edited by
- (diff)
- 07:26 WikiPageNames edited by
- (diff)
- 07:26 WikiProcessors edited by
- (diff)
- 07:26 WikiRestructuredTextLinks edited by
- (diff)
- 07:26 TracRss edited by
- (diff)
- 07:26 TracSearch edited by
- (diff)
- 07:26 TracStandalone edited by
- (diff)
- 07:26 TracSupport edited by
- (diff)
- 07:26 WikiDeletePage edited by
- (diff)
- 07:26 TracTickets edited by
- (diff)
- 07:26 TracTimeline edited by
- (diff)
- 07:26 TracWiki edited by
- (diff)
- 07:26 TracTicketsCustomFields edited by
- (diff)
- 07:26 TracUnicode edited by
- (diff)
- 07:26 TracUpgrade edited by
- (diff)
- 07:26 TracWorkflow created by
- 07:26 WikiRestructuredText edited by
- (diff)
- 07:26 WikiFormatting edited by
- (diff)
- 07:26 TracInstall edited by
- (diff)
- 07:26 TracLinks edited by
- (diff)
- 07:26 TracLogging edited by
- (diff)
- 07:26 TracInterfaceCustomization edited by
- (diff)
- 07:26 TracModPython edited by
- (diff)
- 07:26 TracModWSGI created by
- 07:26 TracNavigation created by
- 07:26 TracNotification edited by
- (diff)
- 07:26 TracPermissions edited by
- (diff)
- 07:26 TracPlugins edited by
- (diff)
- 07:26 TracQuery edited by
- (diff)
- 07:26 TracReports edited by
- (diff)
- 07:26 TracRevisionLog edited by
- (diff)
- 07:26 TracRoadmap edited by
- (diff)
- 07:26 TitleIndex edited by
- (diff)
- 07:26 TracChangeset edited by
- (diff)
- 07:26 TracAdmin edited by
- (diff)
- 07:26 TracBackup edited by
- (diff)
- 07:26 TracBrowser edited by
- (diff)
- 07:26 TracCgi edited by
- (diff)
- 07:26 TracSyntaxColoring edited by
- (diff)
- 07:26 TracEnvironment edited by
- (diff)
- 07:26 TracFastCgi edited by
- (diff)
- 07:26 TracGuide edited by
- (diff)
- 07:26 TracImport edited by
- (diff)
- 07:26 TracFineGrainedPermissions created by
- 07:26 TracIni edited by
- (diff)
- 07:26 PageTemplates created by
- 07:26 CamelCase edited by
- (diff)
- 07:26 InterTrac edited by
- (diff)
- 07:26 InterWiki edited by
- (diff)
- 07:26 TracAccessibility edited by
- (diff)
- 07:26 RecentChanges edited by
- (diff)
11/16/08:
- 21:04 Changeset [15765] by
- Added subtype_immediately function and made martin2.config use it
- 18:40 Changeset [15764] by
- committing previous version of config-file
- 17:56 Changeset [15763] by
- now implemented correctly
- 16:44 Changeset [15762] by
- Added 2 of Martin's config that were referenced by the Makefile
11/14/08:
- 13:43 Changeset [15726] by
- added configuration file martin2.config and modified makefile
- 11:01 WikiStart edited by
- (diff)
10/31/08:
10/27/08:
10/25/08:
- 16:24 WikiStart edited by
- (diff)
- 16:23 WikiStart edited by
- (diff)
- 16:22 WikiStart edited by
- (diff)
- 16:22 WikiStart edited by
- (diff)
- 16:22 WikiStart edited by
- (diff)
- 16:21 WikiStart edited by
- (diff)
- 16:19 WikiStart edited by
- (diff)
- 16:17 WikiStart edited by
- (diff)
10/21/08:
- 19:42 Changeset [15235] by
- Updated the README (slightly)
- 19:25 Changeset [15234] by
- Adding PDF version of documentation files
- 18:28 Changeset [15229] by
Note: See TracTimeline
for information about the timeline view.
