aboutsummaryrefslogtreecommitdiffstats
path: root/math/stp/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Convert USE_BISON to USES= bisonbapt2013-03-081-6/+2
* Mark as broken on tier-2: uses i386-specific compiler flags.linimon2011-12-281-0/+4
* - Add WITH_DEBUG supportsunpoet2011-11-211-0/+4
* - Update to revision 1407lwhsu2011-11-111-15/+24
* - Switch SourceForge ports to the new File Release System: categories startin...amdmi32009-08-221-2/+1
* - Update to 0.1-11-18-2008lwhsu2008-12-251-3/+3
* Add stp , a Decision Procedure for Bitvectors and Arrays.lwhsu2008-06-191-0/+41