atiti
commented
11 years ago From: dcochran (GH: dcochran) Date: Tue Apr 1 14:26:50 2008
Milestone Mobius Primary Plugin/Feature release deleted
Open atiti opened 11 years ago
atiti
commented
11 years ago From: dcochran (GH: dcochran) Date: Tue Apr 1 14:26:50 2008
Milestone Mobius Primary Plugin/Feature release deleted
We need to be able to continue to print out (pretty-printed) logs of VCs with the -pxlog and -sxlog switches (or some evolution thereof). Only the Simplify pipeline respects such at the moment. This needs to work for fx7, coq, pvs, etc.