Custom Query (38 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Milestone Component
#61 Install XML-RPC Plugin for Trac assigned broeni bug 0.2.2 trac
#67 Add distinctness axioms for pairs new somebody bug 0.2.1 zk-typechecker
#81 Reject ZK types that contain free variables new somebody bug 0.2.1 zk-typechecker
#92 Prover errors should be fatal new somebody bug 0.2.1 zk-typechecker
#97 Spi names corresponding to SPASS/E names new somebody bug zk-typechecker
#102 Current definitions of kinding and subtyping impossible to debug new somebody bug 0.2.1 zk-typechecker
#7 Move to a cleaner input syntax new somebody feature 0.2.2 zk-typechecker
#17 Fully automated functional tests ... using OUnit new somebody feature 0.2.1 zk-typechecker
#18 Type inference new somebody feature 0.3 zk-typechecker
#22 Customize type-checker via command line arguments new somebody feature 0.2.2 zk-typechecker
#23 Write interpreter for spi with constructors and destructors new somebody feature 0.2.2 zk-typechecker
#24 Make the tool more modular new somebody feature 0.3 zk-typechecker
#25 Make the type-checker parametric in the authorization logic new somebody feature 0.3 zk-typechecker
#27 Support first-order logic authorization logic with says modality assigned hritcu feature 0.3 theory-paper
#29 Implement LaTeX Printer new somebody feature 0.3 zk-typechecker
#37 Add support for the TPTP syntax for FOL formulas new somebody feature 0.2.2 zk-typechecker
#42 Use a model finder for showing non-logical consequence new somebody feature 0.2.2 zk-typechecker
#44 Prove the global policy satisfiable/unsatisfiable new somebody feature 0.3 zk-typechecker
#66 Allow outputing the protocols in ProVerif syntax new somebody feature 0.2.2 zk-typechecker
#74 Test case: designated verifier zero-knowledge proof new somebody feature 0.2.2 sample-protocols
#82 Keep typedefs around like in F5 new somebody feature 0.2.2 zk-typechecker
#83 Support typedefs that deped on values new somebody feature 0.2.2 zk-typechecker
#87 Move to a better representation of statements new somebody feature 0.2.1 zk-typechecker
#88 Implement type inference new somebody feature zk-typechecker
#101 Support SMT-LIB syntax for FOL formulas new somebody feature 0.2.1 zk-typechecker
#103 Use a more principled approach to type-checker code generation new somebody feature 0.3 zk-typechecker
#108 Add singleton refinements for all terms? new somebody feature 0.2.2 zk-typechecker
#2 Review all the code assigned hritcu task 0.2.2 zk-typechecker
#6 Clean up the code new somebody task 0.2.1 zk-typechecker
#9 Add (a lot) more test cases new somebody task 0.2.2 sample-protocols
#26 Sound and more complete algorithmic version assigned hritcu task 0.2.2 theory-paper
#32 Eliminate dependencies to Unix utilities like grep new broeni task 0.2.1 zk-typechecker
#54 Move to the new definition of environment extraction (using the logic) new somebody task 0.2.1 zk-typechecker
#55 Move completely to sets new somebody task 0.2.1 zk-typechecker
#57 Raise exceptions instead of returning false new somebody task 0.2.1 zk-typechecker
#68 Can we improve termination behavior? new somebody task 0.2.1 zk-typechecker
#86 Profile and improve performance new somebody task 0.2.1 zk-typechecker
#99 Simplify formula extraction new somebody task zk-typechecker
Note: See TracQuery for help on using queries.