STP Bugs

MOVED TO GITHUB. Code here is STALE.

Brought to you by: trevor_hansen, vijay_ganesh

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
9	Mac OS X and -march=native Doesn't Compile	None	open	2011-11-05	2011-11-05
6	No documentation for BOOLEAN operators	None	open	2009-05-09	2009-05-09
5	"=" should be allowed on booleans	None	open	2009-05-09	2009-05-09
4	"stp -p" outputs non-constant counterexample	None	open	2009-05-09	2009-05-09
3	"make regressall" fails	None	open	2009-05-09	2009-05-09

(applies to this page only)