Context Navigation

Timeline

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 …

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

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 …

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, …

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

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 …

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

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". […] …

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'] …

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)

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.