Custom Query (15 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (12 matches)

Ticket Summary Owner Type Priority Component Created
#49 Support timeouts for provers hritcu feature critical zk-typechecker 6 years
#71 Improve debugging by lazily evaluating "pub", "tnt", "sub" and "non_disj" hritcu feature critical zk-typechecker 6 years
#78 Support types for the secret components of a zero-knowledge proof hritcu feature critical zk-typechecker 6 years
#80 Alpha-renaming problem in samples/bugs/simple.spi hritcu bug critical zk-typechecker 5 years
#84 Support dependent zero-knowledge proof types hritcu feature critical zk-typechecker 5 years
#89 No need for type inference in compile (we already have annotations) hritcu bug critical zk-typechecker 5 years
#93 Make compile have linear complexity by discharging obligations on the fly hritcu bug critical zk-typechecker 5 years
#56 Change everything to the FOL syntax defined in fol.ml hritcu task major zk-typechecker 6 years
#79 Stop annotating "zk"-s and "ver"-s with redundant arity information hritcu bug major zk-typechecker 5 years
#85 Support linear statement processing (as an option) hritcu feature major zk-typechecker 5 years
#94 Remove code duplication in checker.ml somebody bug major zk-typechecker 5 years
#100 Support zero-arity constructors (constants) hritcu feature major zk-typechecker 4 years

Resolution: invalid (2 matches)

Ticket Summary Owner Type Priority Component Created
#106 Type-checker uses old (probably broken) logical characterization of kinding and subtyping hritcu bug blocker zk-typechecker 3 years
#105 spam somebody bug trivial documentation 4 years

Resolution: worksforme (1 match)

Ticket Summary Owner Type Priority Component Created
#60 Fix remaining URL rewriting problems broeni bug major trac 6 years
Note: See TracQuery for help on using queries.