Custom Query (4 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: closed (4 matches)

Ticket Summary Owner Type Priority Version Resolution
#186 null pointer exception from CVC3 prover ywei defect major 1.0 fixed
#199 CVC3 prover does not handle MODULO ywei defect major 1.0 fixed
#207 Add support for APPLY to CVC3TheoremProver task major 1.0 fixed
#209 Add support for APPLY operation in CVC3TheoremProver ywei defect major 1.0 fixed
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.