Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ↵ | Morgan Deters | |
\file tags corrected, copyright added to files that had it missing, etc. I ensured that I didn't change any code with this commit, and even tested on the cluster to be doubly sure: http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=4655&reference_id=4646&p=0 | |||
2012-04-27 | This merges in the branch cvc4/branches/arithmetic/matrix into trunk. | Tim King | |
- Splits the functionality of having a sparse matrix of Ts and a solved matrix of rationals in tableau. - Splits ArithVarSet into DenseMap and CDDenseSet and simplifies the code. - No performance loss! |