| Age | Commit message (Expand) | Author |
|---|
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-04-01 | Merging some cleanup work: | Morgan Deters |
| 2013-03-21 | fixing markings of internal nodes in equality engine | Dejan Jovanović |
| 2013-03-21 | fixing constant evaluation bugs | Dejan Jovanović |
| 2013-03-19 | Adding evaluation of constant terms to the equality engine. Evaluation on a p... | Dejan Jovanović |
| 2012-11-26 | Adding support for a master equality engine. Each theory gets the master equa... | Dejan Jovanović |
| 2012-11-16 | fixing and refactoring the equality iterator | Dejan Jovanović |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-10-09 | fix for bug 415 | Dejan Jovanović |
| 2012-10-09 | adding mergePredicates method to the equality engine to be able to | Dejan Jovanović |
| 2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
| 2012-09-19 | Changing the equality engines's euivalence class iterator. Andy please check ... | Dejan Jovanović |
| 2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
| 2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
| 2012-08-14 | Switched a number of EqClassIterator operations to const as well as the inter... | Tim King |
| 2012-07-27 | Merge quantifiers2-trunk: | François Bobot |
| 2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
| 2012-06-14 | changing to a more natural propagation order in uf, seems to pay off | Dejan Jovanović |
| 2012-06-12 | minor cleanup, and replace a "private:" in equality engine that had been remo... | Morgan Deters |
| 2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
| 2012-06-10 | fixes for bug347 | Dejan Jovanović |
| 2012-06-07 | fixing the wrong results. arrays equality adaptor had a missing case when pro... | Dejan Jovanović |
| 2012-06-07 | fixing some bugs in propagation of disequalities | Dejan Jovanović |
| 2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
| 2012-05-27 | Committing the work on equality engine, I need to see how it does on the regr... | Dejan Jovanović |
| 2012-05-24 | Significant changes to the internals of the equality engine. Equality is not ... | Dejan Jovanović |
| 2012-05-21 | Updating equality manager to handle tagged trigger terms. Notifications are p... | Dejan Jovanović |
| 2012-05-16 | adding simple-minded handling of (dis-)equalities where constants are involved | Dejan Jovanović |
| 2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |
| 2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean |
| 2012-04-11 | merge from arrays-clark branch | Morgan Deters |
| 2012-03-22 | some improvements to the sharing mechanism/interface | Dejan Jovanović |
| 2012-03-06 | updating the equality engine to be able to give explanations for terms that w... | Dejan Jovanović |
| 2012-02-21 | Fix for bug303. The problem was with function applications that get normalize... | Dejan Jovanović |
| 2012-02-08 | fixing a bug in uf_engine application lookup backtracking | Dejan Jovanović |
| 2011-12-12 | * merging some uf stuff from incremental_work branch that somehow nobody merg... | Dejan Jovanović |
| 2011-10-17 | Sharing work | Dejan Jovanović |
| 2011-09-07 | fixes for uf/equality engine from the quantifiers branch. mainly backtracking... | Dejan Jovanović |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-09-02 | * Changing pre-registration to be context dependent -- it is called from the ... | Dejan Jovanović |
| 2011-08-23 | some uf cleanup | Dejan Jovanović |
| 2011-07-09 | surprize surprize | Dejan Jovanović |
