Timeline
06/07/08:
- 15:09 Changeset [12354] by
- Created Trac tickets for everything on the TODO list. Kept it just as a …
- 14:06 Ticket #29 (Implement LaTeX Printer) created by
- Automatic translation of the abstract syntax tree to LaTeX (would be nice …
- 14:03 Ticket #28 (Support a declarative way of specifying new primitives) created by
- Support a declarative way of specifying new primitives (types, …
- 13:59 Ticket #27 (Support first-order logic authorization logic with says modality) created by
- For security despite compromise it would be cool to have first-order logic …
- 13:53 Ticket #26 (Sound and more complete algorithmic version) created by
- Soundness needs to be proved! Sources of incompleteness: * the treatment …
- 13:51 Ticket #25 (Make the type-checker parametric in the authorization logic) created by
- The user can select the logic at the start of the file (*#logic FOL-SPASS …
- 13:50 Ticket #24 (Make the tool more modular) created by
- e.g. define clear interfaces
- 13:49 Ticket #23 (Write interpreter for spi with constructors and destructors) created by
- Write interpreter for spi with constructors and destructors * might be …
- 13:46 Ticket #22 (Customize type-checker via command line arguments) created by
- […] Here are some other ideas: * Make it possible to further …
- 13:46 Ticket #21 (Output the typing derivation) created by
- Update 2010-03-05: Have a look at Ticket #73 Have the type-checker …
- 13:43 Ticket #20 (Give more informative error messages) created by
- This would greatly improve the usability of the tool
- 13:42 Ticket #19 (Verify the validity of (n,m)-statements) created by
- We should check at least that the alphas and betas are always in range for …
- 13:33 Ticket #18 (Type inference) created by
- * we could try to infer some of the type annotations * especially …
- 13:31 Ticket #17 (Fully automated functional tests ... using OUnit) created by
- Related to Ticket #98 testsuite.sh does this to some extent, but it does …
- 13:28 Ticket #16 (DAA: no more cutting corners with the f value) created by
- 13:25 Ticket #15 (Add typedefs (syntactic sugar)) created by
- Might be very useful for DAA (e.g. the type of the f-value is really …
- 13:21 Ticket #14 (Use the ProVerif syntax for tuples and splitting???) created by
- (a,b,c) instead of <a,b,c> Not sure what difference it will make
- 13:18 Ticket #13 (Get rid of ok, exercise, pair, etc.) created by
- Tuples and tuple types are now implemented just as syntactic sugar, while …
- 13:15 Ticket #12 (Update the implementation of the statement compilation function) created by
- Update the implementation of the statement compilation function. In …
- 13:13 Ticket #11 (Write a more informative README on how to use the tool) created by
- Update: Now this can be based on what Thorsten wrote on his …
- 13:11 Ticket #10 (Use different directories for sources and generated binaries) created by
- Change Makefile to use different directories for sources and generated …
- 13:10 Ticket #9 (Add (a lot) more test cases) created by
- Add (a lot) more test cases, in particular negative ones. Some important …
- 13:09 Ticket #8 (Improve logging) created by
- We could have more logging information displayed in -v 2 and -v 3. Instead …
- 13:07 Ticket #7 (Move to a cleaner input syntax) created by
- We have too many stars and hashes and stuff. Q: How about using something …
- 13:03 Ticket #6 (Clean up the code) created by
- There are some things that should just go away (e.g. the stuff that is …
- 13:02 Ticket #5 (Eliminate as many warnings as possible) created by
- 12:56 Ticket #4 (Chose an official name for the type-checker) created by
- We just went with zk-typechecker Variants: * zk-typechecker (the …
- 12:49 Ticket #3 (Extend the logger to statements) created by
- Maybe Kim or Stefan can help
- 12:46 WikiStart edited by
- (diff)
- 12:45 WikiStart edited by
- (diff)
- 12:41 WikiStart edited by
- (diff)
- 12:38 Ticket #1 (Set up Trac repository) closed by
- fixed
- 12:29 Ticket #1 (Set up Trac repository) reopened by
- 12:29 Ticket #1 (Set up Trac repository) closed by
- wontfix
- 12:20 Ticket #2 (Review all the code) created by
- Look very carefully at all TODOs, XXXs and other.
- 12:18 WikiStart edited by
- This is a great step for mankind (diff)
- 12:12 Ticket #1 (Set up Trac repository) created by
- Now everything works
- 11:35 RecentChanges created by
- 11:35 CamelCase created by
- 11:35 InterMapTxt created by
- 11:35 InterTrac created by
- 11:35 InterWiki created by
- 11:35 TitleIndex created by
- 11:35 SandBox created by
- 11:35 TracTicketsCustomFields created by
- 11:35 TracAccessibility created by
- 11:35 TracAdmin created by
- 11:35 TracBackup created by
- 11:35 TracBrowser created by
- 11:35 TracCgi created by
- 11:35 TracChangeset created by
- 11:35 TracEnvironment created by
- 11:35 TracFastCgi created by
- 11:35 TracGuide created by
- 11:35 TracImport created by
- 11:35 TracIni created by
- 11:35 TracInstall created by
- 11:35 TracLinks created by
- 11:35 TracLogging created by
- 11:35 TracInterfaceCustomization created by
- 11:35 TracModPython created by
- 11:35 TracNotification created by
- 11:35 TracPermissions created by
- 11:35 TracPlugins created by
- 11:35 TracQuery created by
- 11:35 TracReports created by
- 11:35 TracRevisionLog created by
- 11:35 TracRoadmap created by
- 11:35 TracRss created by
- 11:35 TracSearch created by
- 11:35 TracStandalone created by
- 11:35 TracSupport created by
- 11:35 TracSyntaxColoring created by
- 11:35 TracTickets created by
- 11:35 WikiDeletePage created by
- 11:35 TracTimeline created by
- 11:35 TracUnicode created by
- 11:35 TracUpgrade created by
- 11:35 TracWiki created by
- 11:35 WikiRestructuredText created by
- 11:35 WikiFormatting created by
- 11:35 WikiHtml created by
- 11:35 WikiMacros created by
- 11:35 WikiNewPage created by
- 11:35 WikiPageNames created by
- 11:35 WikiProcessors created by
- 11:35 WikiRestructuredTextLinks created by
- 11:35 WikiStart created by
- 10:51 Changeset [12353] by
- Added identity destructor
- 10:48 Changeset [12352] by
- Added identity destructor
- 10:38 Changeset [12351] by
- There was some problem updating the TODO file in my previous commits. Hope …
- 10:36 Changeset [12350] by
- killed todo
- 10:18 Changeset [12349] by
- Added identity destructor
06/05/08:
- 12:14 Changeset [12322] by
- 12:04 Changeset [12321] by
- Removed old pseudo-trust model - no longer needed and was not working
- 11:56 Changeset [12320] by
- Made binders-03.spi work by fixing bug in environment extraction. Also …
- 10:56 Changeset [12317] by
- Added my name to the list of authors.
- 09:30 Changeset [12316] by
- Fixed bug that was causing binders03 to fail. Now the whole thing does not …
06/04/08:
- 19:51 Changeset [12312] by
- 19:25 Changeset [12311] by
- Added tuples as syntactic sugar to SPASS. Changed DAA example to take …
- 18:33 Changeset [12310] by
- Fixed bugs by which ok was considered a free identifier in SPASS formulas …
- 18:28 Changeset [12309] by
- Removed harmful annotations
- 18:27 Changeset [12308] by
- Fixed old DAA (removed harmful annotations)
06/03/08:
- 18:30 Changeset [12306] by
- Made a clear distinction between terms (existing) and statements …
- 13:28 Changeset [12298] by
- Changing all examples to use the tuples.
- 13:26 Changeset [12297] by
- Changing all examples to use the tuples.
- 10:06 Changeset [12294] by
- Adding tuples as syntactic sugar.
- 00:14 Changeset [12293] by
- Started adding tuples as syntactic sugar.
06/02/08:
- 13:39 Changeset [12285] by
- We have to chose a name.
- 12:16 Changeset [12277] by
- Added license file for the Apache License, Version 2.0. Added boilerplate …
- 12:06 Changeset [12276] by
- Added license file for the Apache License, Version 2.0. Added boilerplate …
05/29/08:
05/09/08:
Note: See TracTimeline
for information about the timeline view.
