Timeline


and

03/02/09:

21:29 Ticket #89 (No need for type inference in compile (we already have annotations)) closed by hritcu
fixed
21:29 Changeset [18359] by hritcu
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 hritcu
The type inference performed by the simplify function is no longer …
19:13 Changeset [18358] by hritcu
Big change coming soon
17:05 Ticket #88 (Implement type inference) created by hritcu
14:10 Ticket #85 (Support linear statement processing (as an option)) closed by hritcu
fixed
14:09 Changeset [18350] by hritcu
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 hritcu
fixed
12:55 Changeset [18346] by hritcu
Lazily evaluating "pub", "tnt", "sub" and "non_disj" in zk verification …
12:52 Changeset [18345] by tarrach
fixed fs side
10:45 Ticket #87 (Move to a better representation of statements) created by hritcu
2 things we should definitely get rid of: * the alphas and betas -> just …
10:37 Changeset [18344] by hritcu
Started working on Ticket #71 + some leftovers from Ticket #79
09:48 Ticket #8 (Improve logging) closed by hritcu
fixed
09:48 Ticket #8 (Improve logging) reopened by hritcu
09:46 Ticket #56 (Change everything to the FOL syntax defined in fol.ml) closed by hritcu
fixed
09:45 Changeset [18342] by hritcu
Change everything to the new FOL syntax (no longer using the ugly spass …
09:32 Ticket #86 (Profile and improve performance) created by hritcu
Now DAA is again taking over 6 seconds.

03/01/09:

16:51 Ticket #85 (Support linear statement processing (as an option)) created by hritcu
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 hritcu
fixed
10:36 Changeset [18316] by hritcu
Supporting dependent zero-knowledge proof types (Ticket #84)
10:26 Ticket #84 (Support dependent zero-knowledge proof types) created by hritcu
10:23 Ticket #83 (Support typedefs that deped on values) created by hritcu
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 hritcu
F5 expands typedefs only lazily. This would makes debugging much easier …
10:19 Ticket #81 (Reject ZK types that contain free variables) created by hritcu
This will make Martin's example fail, but he should fix it like we did for …

02/26/09:

21:52 Changeset [18238] by tarrach
fixes fs side
21:20 Changeset [18235] by hritcu
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 hritcu
fixed
22:00 Changeset [18209] by hritcu
Fixed severe bug in create_fresh_name (Ticket #80)
18:32 Changeset [18206] by hritcu
Added test case exhibiting (Ticket #80)
18:31 Ticket #80 (Alpha-renaming problem in samples/bugs/simple.spi) created by hritcu
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 hritcu
fixed
14:07 Changeset [18182] by hritcu
Stopped annotating "zk"-s and "ver"-s with redundant arity information …
13:41 Changeset [18179] by hritcu
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 hritcu
* add the number of matched components to the statement definition * stop …

02/20/09:

19:53 Changeset [18133] by hritcu

02/17/09:

15:29 Ticket #78 (Support types for the secret components of a zero-knowledge proof) closed by hritcu
fixed
15:28 Changeset [18069] by hritcu
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 hritcu

02/12/09:

20:20 WikiStart edited by hritcu
(diff)
20:19 WikiStart edited by hritcu
(diff)
19:12 WikiStart edited by hritcu
(diff)
19:11 WikiStart edited by hritcu
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 hritcu
fixed
18:45 Changeset [17982] by hritcu
Fixed incorrect implementation of non-disjoint and statement compilation …

02/09/09:

21:10 WikiStart edited by hritcu
(diff)
20:37 WikiStart edited by hritcu
(diff)
20:37 WikiStart edited by hritcu
(diff)

02/05/09:

15:09 Changeset [17710] by hritcu
12:28 Changeset [17698] by broeni
fixed the problem introduced in checker.ml in my last change. blame me
10:56 Changeset [17693] by hritcu
Ugly hack

02/04/09:

20:49 Changeset [17677] by tarrach
spi2rcf config file
10:25 Changeset [17626] by broeni
dramatically reduced the usage of list2set by making dom return a set …

02/03/09:

19:50 Changeset [17608] by tarrach
14:19 Changeset [17580] by hritcu

02/02/09:

21:19 Changeset [17550] by tarrach
cross-compiling working again

02/01/09:

13:34 Ticket #8 (Improve logging) closed by hritcu
fixed
Note: See TracTimeline for information about the timeline view.