Timeline
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.
