Age | Commit message (Expand) | Author |
---|---|---|
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah |
2014-02-20 | portfolio: add stat to track time spent waiting for interrupted threads to stop | Kshitij Bansal |
2013-12-24 | Minor code cleanup. | Morgan Deters |
2013-11-12 | Minor portfolio fixes for some platforms. | Morgan Deters |
2013-09-12 | fix bug 534: portfolio define-fun duplicate model | Kshitij Bansal |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-11-28 | fix a potential race (have failed to reproduce) | Kshitij Bansal |
2012-10-19 | Fix problem with incremental with portfolio. Fixes bug 420. | Kshitij Bansal |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-08 | Single driver for both sequential and portfolio | Kshitij Bansal |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |