Timeline
03/02/09:
- 21:29 Ticket #89 (No need for type inference in compile (we already have annotations)) closed by
- fixed
- 21:29 Changeset [18359] by
- Changed compile so that we no longer do type inference and use the type …
- 19:17 Ticket #89 (No need for type inference in compile (we already have annotations)) created by
- The type inference performed by the simplify function is no longer …
- 19:13 Changeset [18358] by
- Big change coming soon
- 17:05 Ticket #88 (Implement type inference) created by
- 14:10 Ticket #85 (Support linear statement processing (as an option)) closed by
- fixed
- 14:09 Changeset [18350] by
- Added support for linear statement processing (fixes Ticket #85)
- 12:55 Ticket #71 (Improve debugging by lazily evaluating "pub", "tnt", "sub" and "non_disj") closed by
- fixed
- 12:55 Changeset [18346] by
- Lazily evaluating "pub", "tnt", "sub" and "non_disj" in zk verification …
- 12:52 Changeset [18345] by
- fixed fs side
- 10:45 Ticket #87 (Move to a better representation of statements) created by
- 2 things we should definitely get rid of: * the alphas and betas -> just …
- 10:37 Changeset [18344] by
- Started working on Ticket #71 + some leftovers from Ticket #79
- 09:48 Ticket #8 (Improve logging) closed by
- fixed
- 09:48 Ticket #8 (Improve logging) reopened by
- 09:46 Ticket #56 (Change everything to the FOL syntax defined in fol.ml) closed by
- fixed
- 09:45 Changeset [18342] by
- Change everything to the new FOL syntax (no longer using the ugly spass …
- 09:32 Ticket #86 (Profile and improve performance) created by
- Now DAA is again taking over 6 seconds.
03/01/09:
- 16:51 Ticket #85 (Support linear statement processing (as an option)) created by
- In case a certain command line option is present/absent then process the …
- 10:36 Ticket #84 (Support dependent zero-knowledge proof types) closed by
- fixed
- 10:36 Changeset [18316] by
- Supporting dependent zero-knowledge proof types (Ticket #84)
- 10:26 Ticket #84 (Support dependent zero-knowledge proof types) created by
- 10:23 Ticket #83 (Support typedefs that deped on values) created by
- Then we can really check whether a typedef uses free variables and reject …
- 10:21 Ticket #82 (Keep typedefs around like in F5) created by
- F5 expands typedefs only lazily. This would makes debugging much easier …
- 10:19 Ticket #81 (Reject ZK types that contain free variables) created by
- This will make Martin's example fail, but he should fix it like we did for …
02/26/09:
- 21:52 Changeset [18238] by
- fixes fs side
- 21:20 Changeset [18235] by
- The "public" destructor was not handled properly when I implemented the …
02/25/09:
- 22:00 Ticket #80 (Alpha-renaming problem in samples/bugs/simple.spi) closed by
- fixed
- 22:00 Changeset [18209] by
- Fixed severe bug in create_fresh_name (Ticket #80)
- 18:32 Changeset [18206] by
- Added test case exhibiting (Ticket #80)
- 18:31 Ticket #80 (Alpha-renaming problem in samples/bugs/simple.spi) created by
- The problem seems to be caused by "create_fresh_name" in alpha.ml, which …
02/24/09:
- 14:07 Ticket #79 (Stop annotating "zk"-s and "ver"-s with redundant arity information) closed by
- fixed
- 14:07 Changeset [18182] by
- Stopped annotating "zk"-s and "ver"-s with redundant arity information …
- 13:41 Changeset [18179] by
- Added the number of matched components to the statement definition (Ticket …
- 13:23 Ticket #79 (Stop annotating "zk"-s and "ver"-s with redundant arity information) created by
- * add the number of matched components to the statement definition * stop …
02/20/09:
02/17/09:
- 15:29 Ticket #78 (Support types for the secret components of a zero-knowledge proof) closed by
- fixed
- 15:28 Changeset [18069] by
- Supporting types for the secret components of a zero-knowledge proof …
- 10:25 Ticket #78 (Support types for the secret components of a zero-knowledge proof) created by
02/12/09:
- 20:20 WikiStart edited by
- (diff)
- 20:19 WikiStart edited by
- (diff)
- 19:12 WikiStart edited by
- (diff)
- 19:11 WikiStart edited by
- Release 0.2.0 (diff)
- 18:47 Milestone 0.2.0 completed
- 18:46 Ticket #77 (Incorrect implementation of non-disjoint and statement compilation) closed by
- fixed
- 18:45 Changeset [17982] by
- Fixed incorrect implementation of non-disjoint and statement compilation …
02/09/09:
02/05/09:
- 15:09 Changeset [17710] by
- 12:28 Changeset [17698] by
- fixed the problem introduced in checker.ml in my last change. blame me
- 10:56 Changeset [17693] by
- Ugly hack
02/04/09:
- 20:49 Changeset [17677] by
- spi2rcf config file
- 10:25 Changeset [17626] by
- dramatically reduced the usage of list2set by making dom return a set …
02/03/09:
02/02/09:
- 21:19 Changeset [17550] by
- cross-compiling working again
02/01/09:
Note: See TracTimeline
for information about the timeline view.
