{2} Active Tickets by Version (52 matches)

This report shows how to color results by priority, while grouping results by version.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

Ticket Summary Component Version Type Owner Status Created
#7 Move to a cleaner input syntax zk-typechecker feature somebody new 06/07/08
#17 Fully automated functional tests ... using OUnit zk-typechecker feature somebody new 06/07/08
#18 Type inference zk-typechecker feature somebody new 06/07/08
#22 Customize type-checker via command line arguments zk-typechecker feature somebody new 06/07/08
#23 Write interpreter for spi with constructors and destructors zk-typechecker feature somebody new 06/07/08
#24 Make the tool more modular zk-typechecker feature somebody new 06/07/08
#25 Make the type-checker parametric in the authorization logic zk-typechecker feature somebody new 06/07/08
#27 Support first-order logic authorization logic with says modality theory-paper feature hritcu assigned 06/07/08
#29 Implement LaTeX Printer zk-typechecker feature somebody new 06/07/08
#37 Add support for the TPTP syntax for FOL formulas zk-typechecker feature somebody new 09/10/08
#42 Use a model finder for showing non-logical consequence zk-typechecker feature somebody new 09/14/08
#44 Prove the global policy satisfiable/unsatisfiable zk-typechecker feature somebody new 09/14/08
#2 Review all the code zk-typechecker task hritcu assigned 06/07/08
#6 Clean up the code zk-typechecker task somebody new 06/07/08
#9 Add (a lot) more test cases sample-protocols task somebody new 06/07/08
#26 Sound and more complete algorithmic version theory-paper task hritcu assigned 06/07/08
#32 Eliminate dependencies to Unix utilities like grep zk-typechecker task broeni new 06/10/08
#46 There are too many duplicated string constants zk-typechecker bug somebody new 09/24/08
#11 Write a more informative README on how to use the tool documentation feature somebody new 06/07/08
#19 Verify the validity of (n,m)-statements zk-typechecker feature somebody new 06/07/08
#20 Give more informative error messages zk-typechecker feature somebody new 06/07/08
#10 Use different directories for sources and generated binaries zk-typechecker task broeni assigned 06/07/08

0.1 (CCS) (13 matches)

Ticket Summary Component Version Type Owner Status Created
#73 Produce XML log that can be viewed using special tool zk-typechecker 0.1 (CCS) feature somebody new 01/17/09
#61 Install XML-RPC Plugin for Trac trac 0.1 (CCS) bug broeni assigned 12/14/08
#67 Add distinctness axioms for pairs zk-typechecker 0.1 (CCS) bug somebody new 01/11/09
#66 Allow outputing the protocols in ProVerif syntax zk-typechecker 0.1 (CCS) feature somebody new 01/10/09
#74 Test case: designated verifier zero-knowledge proof sample-protocols 0.1 (CCS) feature somebody new 01/19/09
#54 Move to the new definition of environment extraction (using the logic) zk-typechecker 0.1 (CCS) task somebody new 12/13/08
#55 Move completely to sets zk-typechecker 0.1 (CCS) task somebody new 12/13/08
#57 Raise exceptions instead of returning false zk-typechecker 0.1 (CCS) task somebody new 12/13/08
#68 Can we improve termination behavior? zk-typechecker 0.1 (CCS) task somebody new 01/11/09
#51 Free should allow more than one identifier to be defined at a time zk-typechecker 0.1 (CCS) feature somebody new 12/03/08
#72 Do not use irrelevant axioms zk-typechecker 0.1 (CCS) feature somebody new 01/16/09
#52 Improve naming of functions and keep naming consistent zk-typechecker 0.1 (CCS) task somebody new 12/13/08
#53 Organize functions better in files and improve naming of files zk-typechecker 0.1 (CCS) task somebody new 12/13/08

(empty) (17 matches)

Ticket Summary Component Version Type Owner Status Created
#98 Write unit tests using OUnit zk-typechecker feature somebody new 12/17/09
#107 Update implementation of statement verification to match theory simplifications zk-typechecker task somebody new 04/16/11
#81 Reject ZK types that contain free variables zk-typechecker bug somebody new 03/01/09
#92 Prover errors should be fatal zk-typechecker bug somebody new 03/05/09
#97 Spi names corresponding to SPASS/E names zk-typechecker bug somebody new 12/09/09
#102 Current definitions of kinding and subtyping impossible to debug zk-typechecker bug somebody new 03/05/10
#82 Keep typedefs around like in F5 zk-typechecker feature somebody new 03/01/09
#83 Support typedefs that deped on values zk-typechecker feature somebody new 03/01/09
#87 Move to a better representation of statements zk-typechecker feature somebody new 03/02/09
#88 Implement type inference zk-typechecker feature somebody new 03/02/09
#101 Support SMT-LIB syntax for FOL formulas zk-typechecker feature somebody new 03/05/10
#103 Use a more principled approach to type-checker code generation zk-typechecker feature somebody new 03/21/10
#108 Add singleton refinements for all terms? zk-typechecker feature somebody new 07/21/11
#86 Profile and improve performance zk-typechecker task somebody new 03/02/09
#99 Simplify formula extraction zk-typechecker task somebody new 01/08/10
#96 Bug in expanding process placeholders to process code zk-typechecker bug somebody new 12/08/09
#104 Use Vampire FOL prover zk-typechecker feature somebody new 03/25/10
Note: See TracReports for help on using and creating reports.