git.libre-soc.org Git - cvc5.git/history - src/theory/arith/approx

2013-05-16	Morgan Deters	configure fix for building with glpk on redhat, perhaps...	blob \| commitdiff \| raw
2013-05-06	Morgan Deters	Removing excess verbosity from ApproxSimplex (after...	blob \| commitdiff \| raw \| diff to current
2013-05-06	Tim King	Adding a heuristic for guessing an optimization functio...	blob \| commitdiff \| raw \| diff to current
2013-05-05	Tim King	Adding cut offs for likely integer infeasible paths.	blob \| commitdiff \| raw \| diff to current
2013-05-04	Tim King	Adding a smarter technique for pivoting in solutions...	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Code cleanup. Reducing misc. warnings in arithmetic.	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	fixed merge conflicts	blob \| commitdiff \| raw \| diff to current
2013-04-26	Tim King	FCSimplex branch merge	blob \| commitdiff \| raw \| diff to current