Timeline


and

01/13/09:

13:06 Changeset [16729] by hritcu
Fixed printing ands and ors
12:53 Ticket #71 (Improve debugging by lazily evaluating "pub", "tnt", "sub" and "non_disj") created by hritcu
Currently examples like martin_grochulla/process_says_corrupted.spi are …

01/12/09:

11:20 Ticket #5 (Eliminate as many warnings as possible) closed by broeni
fixed
11:18 Changeset [16679] by broeni
got rid of all warnings. In most cases only an exception is risen. This is …
09:59 Changeset [16678] by broeni
removed more warnings

01/11/09:

14:34 WikiStart edited by hritcu
(diff)
13:37 Ticket #70 (Added remaining ingredients necessary for encoding zero-knowledge) closed by hritcu
fixed
13:36 Ticket #65 (Implement destructor reduction as a relation) closed by hritcu
fixed
13:36 Ticket #65 (Implement destructor reduction as a relation) reopened by hritcu
13:36 Ticket #65 (Implement destructor reduction as a relation) closed by hritcu
fixed
13:35 Ticket #69 (Changed the way we define statements) closed by hritcu
fixed
13:35 Ticket #58 (Wrong conversion of statements for FOL formulas) closed by hritcu
fixed
13:34 Changeset [16660] by hritcu
- Implemented destructor reduction as a relation (Ticket #65) - Changed …
13:22 Ticket #70 (Added remaining ingredients necessary for encoding zero-knowledge) created by hritcu
Add the missing ingredients for encoding zero-knowledge: elimination …
13:22 Ticket #69 (Changed the way we define statements) created by hritcu
We are now defining statements in a stratified way, using the terms …
13:15 Ticket #68 (Can we improve termination behavior?) created by hritcu
Since we have implemented the destructor reduction as a separate relation …
13:09 Ticket #67 (Add distinctness axioms for pairs) created by hritcu
Now pairs are treated by the type-system differently than the other …

01/10/09:

17:37 Ticket #14 (Use the ProVerif syntax for tuples and splitting???) closed by hritcu
worksforme
17:35 Ticket #66 (Allow outputing the protocols in ProVerif syntax) created by hritcu
This will be necessary if we want just one model of Civitas which can be …
17:32 Ticket #36 (ProVerif Compatibility or Not) closed by hritcu
wontfix
12:29 Ticket #62 (Add injectivity and pairwise distinctness of the constructors) closed by hritcu
fixed
09:09 Ticket #65 (Implement destructor reduction as a relation) created by hritcu
Now destructor reduction is transformed into equalities in the logic, …

01/09/09:

14:51 Changeset [16621] by hritcu
Fixed alpha-renaming problem when type-checking dependent pairs (we were …

01/08/09:

09:29 Changeset [16575] by broeni
removed first warnings

01/07/09:

20:47 Ticket #64 (When breaking tuples always check that the last component is "true" ...) closed by hritcu
fixed
20:47 Changeset [16567] by hritcu
Statement compilation can now reason about public keys: added "\alpha_n = …
20:34 Changeset [16566] by hritcu
Fixed Ticket #64: when breaking tuples always check that the last …
20:33 Changeset [16565] by hritcu
Fixed spass2fol: more than one variable could be quantified at the same …
19:52 Ticket #64 (When breaking tuples always check that the last component is "true" ...) created by hritcu
10:12 Ticket #63 ("make clean" fails after "make all" gives compile error) closed by broeni
fixed
10:11 Changeset [16554] by broeni
it is a little bit nasty, but now, if an error occurs in make clean, it is …

01/06/09:

14:32 Changeset [16542] by hritcu
Attempt to fix Ticket #62: Added injectivity and pairwise distinctness of …

01/05/09:

10:58 Ticket #63 ("make clean" fails after "make all" gives compile error) created by hritcu
This is especially annoying when one uses "make clean all". […] …

12/18/08:

16:37 Changeset [16438] by grochulla
extended default.config with symmetric key cryptography
15:21 Ticket #62 (Add injectivity and pairwise distinctness of the constructors) created by hritcu
For all n-ary constructors f add axiom: "forall [x1,...,xn,x1',...,xn'] …

12/15/08:

18:56 Changeset [16384] by broeni
heavily changed the makefile. Not completely done yet. but all .cmo and …
11:37 WikiStart edited by hritcu
(diff)

12/14/08:

14:42 Changeset [16361] by hritcu
Changed kinding zkproof types to match paper
09:51 Changeset [16358] by hritcu
Added a sample exemplifying bug #58
09:25 Changeset [16357] by hritcu
Renamed processes to samples
09:13 Ticket #61 (Install XML-RPC Plugin for Trac) created by hritcu
This plugin is needed in order to access Trac directly from Eclipse (using …
09:07 Ticket #60 (Fix remaining URL rewriting problems) created by hritcu
There were still some related to logging in
Note: See TracTimeline for information about the timeline view.