Custom query (514 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Results (501 - 514 of 514)

1 2 3 4 5 6

Status: new (12 matches)

Ticket Summary Owner Type Priority Version Severity
#17367 abbreviations involving modules and memories enhancement 3 pre-1.x normal
#17368 atomic formula of ambient logic expressing disjoint globals of modules enhancement 3 pre-1.x normal
#17370 checking memory initialisation constraints enhancement 3 pre-1.x normal
#17382 glob M should reduce to a record enhancement 3 pre-1.x normal
#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
#17385 problem sending goal to SMT (involving inductive datatype and higher order function) defect 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
#17082 SMT tactic should be interruptable. Pierre-Yves Strub enhancement 4 pre-1.x normal
#17163 Check that `phoare` tactics are forcing the input bounds to be in [0..1]. task 4 pre-1.x major
#17298 Super rnd enhancement 4 phl blocker

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.