summaryrefslogtreecommitdiff
path: root/src/preprocessing
AgeCommit message (Expand)Author
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-21Handle IMPLIES in bool-to-bv and test it in regress0 (#1929)makaimann
2018-05-15Refactor static learning preprocessing pass (#1857)yoni206
2018-05-11Fix ackermannize preprocessing pass. (#1904)Aina Niemetz
2018-05-10Refactored BVAckermann preprocessing pass. (#1889)Aina Niemetz
2018-05-09Reorder class members in bv-to-bool and bool-to-bv preprocessing passes. (#1893)yoni206
2018-05-09Make symmetry-breaker-exp into a preprocessing pass (#1890)Andrew Reynolds
2018-05-09Add the symmetry breaker module (#1847)PaulMeng
2018-05-08Refactor bv-abstraction preprocessing pass. (#1860)Mathias Preiner
2018-05-03Refactor bv-intro-pow2 preprocessing pass. (#1851)Mathias Preiner
2018-04-30Refactor real2int (#1813)Haniel Barbosa
2018-04-30Remove dead code in bv-to-bool preprocessing pass (#1828)Andres Noetzli
2018-04-25Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788)yoni206
2018-04-20Symmetry detection module (#1749)PaulMeng
2018-04-19Refactor pbRewrites preprocessing pass (#1767)Andres Noetzli
2018-04-10Refactored BVGauss preprocessing pass. (#1766)Aina Niemetz
2018-04-03Refactor IntToBV preprocessing pass (#1716)Andres Noetzli
2017-12-10Add new infrastructure for preprocessing passes (#1053)justinxu421
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback