Timeline


and

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

01/29/09:

11:24 Ticket #77 (Incorrect implementation of non-disjoint and statement compilation) created by hritcu
The current implementation of non-disjoint is unsound, as it no longer …

01/26/09:

14:16 Ticket #76 (Scope error in samples/bugs/bad-scopes.spi) closed by hritcu
fixed
14:15 Changeset [17184] by hritcu
Fixed samples
14:11 Changeset [17183] by broeni
changed printing of parallel to be more expressive, changed the type of …
11:43 Ticket #76 (Scope error in samples/bugs/bad-scopes.spi) created by hritcu
Was an error in the algorithmic version
11:42 Changeset [17169] by hritcu
Sample exhibiting bug

01/20/09:

17:57 Changeset [17047] by hritcu
Added more cases to non-disjoint (not sure they are sound), added one more …
09:56 Changeset [17015] by hritcu
Changed daa-sign-simplified.spi so that it exercises the fix to Ticket …
09:46 Ticket #75 (Renaming bug in "formulas") closed by broeni
fixed
09:45 Changeset [17013] by broeni
tracked the bug from ticket #75. Used replace_formula instead of the old …
08:02 Changeset [17010] by hritcu
Fixed simple-zk-encoded.spi

01/19/09:

17:22 Ticket #75 (Renaming bug in "formulas") created by hritcu
Turning xxf to xf in Tki in samples/daa-sign-simplified.spi causes …
17:15 Changeset [16990] by hritcu
Committed the wrong file before ... simple-zk-encoded.spi doesn't really …
17:11 Changeset [16989] by hritcu
Added simplified version of the DAA-sign protocol where the zero-knowledge …
17:09 Changeset [16988] by hritcu
Added simplified version of the DAA-sign protocol where the zero-knowledge …
16:29 Changeset [16987] by hritcu
Added simplified version of the DAA-sign protocol -- used in the slides
15:13 Changeset [16980] by hritcu
Added example that shows that having Hash(Private) tainted would be …
13:31 Changeset [16976] by hritcu
Example for union types -- nounce handshake using public-key encryption
12:17 Ticket #74 (Test case: designated verifier zero-knowledge proof) created by hritcu
This would be great for testing proofs of disjunctions (we never did!).
Note: See TracTimeline for information about the timeline view.