Custom query (519 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Results (501 - 519 of 519)

1 2 3 4 5 6

Status: new (17 matches)

Ticket Summary Owner Type Priority Version Severity
#17383 abstract operators in section should be generalized enhancement 3 pre-1.x normal
#17384 module parametrised by expressions enhancement 3 pre-1.x normal
#17386 crush reduces goal whose conclusion is `y1 = y2 <=> x1 = x2` to false goal defect 3 pre-1.x normal
#17388 allows _ in pattern enhancement 3 pre-1.x normal
#17390 problem with use of match on expression involving polymorphic operator/abbreviation defect 3 pre-1.x normal
#17391 case works with tuple corresponding to glob M, but not with glob M defect 3 pre-1.x normal
#17037 Poor error message for module restriction example Pierre-Yves Strub enhancement 2 pre-1.x minor
#17088 `case !a` should reduce to proving `a` Pierre-Yves Strub enhancement 2 pre-1.x normal
#17090 Selecting procedure(s) to [inline] by position enhancement 2 pre-1.x normal
#16912 Lifting the "collection update" statements to tuples enhancement 1 pre-1.x normal
#17036 Instantiating abstract modules: warnings and interactive justification enhancement 1 pre-1.x normal
#17045 Rewriting procedures in probability expressions directly from an equivalence enhancement 1 pre-1.x normal
#17183 Variant of `sim` that works modulo inlining. enhancement 1 pre-1.x normal
#17297 Allow the optional use of undeclared variables in procedures enhancement 1 pre-1.x normal
#17307 Coq style Locate enhancement 1 pre-1.x minor
#17353 `&&` could disappear from internal code, and be replaced by distinct splitting lemmas for `/\` enhancement 1 pre-1.x normal
#17356 Two-sided `rcondx` enhancement 1 pre-1.x normal

Status: reopened (2 matches)

Ticket Summary Owner Type Priority Version Severity
#17182 Renaming internal symbols on cloning Pierre-Yves Strub enhancement 3 pre-1.x normal
#17186 using [bypr] in odd way can result in badly formed goal Pierre-Yves Strub defect 3 pre-1.x normal
1 2 3 4 5 6
Note: See TracQuery for help on using queries.