Custom Query (52 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Status Owner Type Priority Milestone
#73 Produce XML log that can be viewed using special tool new somebody feature critical 0.2.1
#98 Write unit tests using OUnit new somebody feature critical 0.2.1
#107 Update implementation of statement verification to match theory simplifications new somebody task critical 0.2.1
#2 Review all the code assigned hritcu task major 0.2.2
#6 Clean up the code new somebody task major 0.2.1
#7 Move to a cleaner input syntax new somebody feature major 0.2.2
#9 Add (a lot) more test cases new somebody task major 0.2.2
#17 Fully automated functional tests ... using OUnit new somebody feature major 0.2.1
#18 Type inference new somebody feature major 0.3
#22 Customize type-checker via command line arguments new somebody feature major 0.2.2
#23 Write interpreter for spi with constructors and destructors new somebody feature major 0.2.2
#24 Make the tool more modular new somebody feature major 0.3
#25 Make the type-checker parametric in the authorization logic new somebody feature major 0.3
#26 Sound and more complete algorithmic version assigned hritcu task major 0.2.2
#27 Support first-order logic authorization logic with says modality assigned hritcu feature major 0.3
#29 Implement LaTeX Printer new somebody feature major 0.3
#32 Eliminate dependencies to Unix utilities like grep new broeni task major 0.2.1
#37 Add support for the TPTP syntax for FOL formulas new somebody feature major 0.2.2
#42 Use a model finder for showing non-logical consequence new somebody feature major 0.2.2
#44 Prove the global policy satisfiable/unsatisfiable new somebody feature major 0.3
#54 Move to the new definition of environment extraction (using the logic) new somebody task major 0.2.1
#55 Move completely to sets new somebody task major 0.2.1
#57 Raise exceptions instead of returning false new somebody task major 0.2.1
#61 Install XML-RPC Plugin for Trac assigned broeni bug major 0.2.2
#66 Allow outputing the protocols in ProVerif syntax new somebody feature major 0.2.2
#67 Add distinctness axioms for pairs new somebody bug major 0.2.1
#68 Can we improve termination behavior? new somebody task major 0.2.1
#74 Test case: designated verifier zero-knowledge proof new somebody feature major 0.2.2
#81 Reject ZK types that contain free variables new somebody bug major 0.2.1
#82 Keep typedefs around like in F5 new somebody feature major 0.2.2
#83 Support typedefs that deped on values new somebody feature major 0.2.2
#86 Profile and improve performance new somebody task major 0.2.1
#87 Move to a better representation of statements new somebody feature major 0.2.1
#88 Implement type inference new somebody feature major
#92 Prover errors should be fatal new somebody bug major 0.2.1
#97 Spi names corresponding to SPASS/E names new somebody bug major
#99 Simplify formula extraction new somebody task major
#101 Support SMT-LIB syntax for FOL formulas new somebody feature major 0.2.1
#102 Current definitions of kinding and subtyping impossible to debug new somebody bug major 0.2.1
#103 Use a more principled approach to type-checker code generation new somebody feature major 0.3
#108 Add singleton refinements for all terms? new somebody feature major 0.2.2
#10 Use different directories for sources and generated binaries assigned broeni task minor 0.2.1
#11 Write a more informative README on how to use the tool new somebody feature minor 0.2.1
#19 Verify the validity of (n,m)-statements new somebody feature minor 0.2.2
#20 Give more informative error messages new somebody feature minor 0.2.2
#46 There are too many duplicated string constants new somebody bug minor 0.2.1
#51 Free should allow more than one identifier to be defined at a time new somebody feature minor 0.2.1
#52 Improve naming of functions and keep naming consistent new somebody task minor 0.2.1
#53 Organize functions better in files and improve naming of files new somebody task minor 0.2.1
#72 Do not use irrelevant axioms new somebody feature minor 0.2.2
#96 Bug in expanding process placeholders to process code new somebody bug minor
#104 Use Vampire FOL prover new somebody feature minor 0.2.2
Note: See TracQuery for help on using queries.