{8} Active Tickets, Mine first (52 matches)

  • List all active tickets by priority.
  • Show all tickets owned by the logged in user in a group first.

Active Tickets (52 matches)

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