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