1. 85341df Merge pull request #431 from danielschemmel/ubuntu-18.04 by Mate Soos · 13 days ago master
  2. 5328e5a Remove the unnecessary use of a SCARY iterator that may break on older compilers by Daniel Schemmel · 13 days ago
  3. d596c5f Cleanup memory leaks. Nicer signed comparison on unsigned interval. by Trevor Hansen · 4 weeks ago
  4. 7b05982 Nicer domain analyis. by Trevor Hansen · 4 weeks ago
  5. 93f7f2d extra test case for strength reduction. by Trevor Hansen · 5 weeks ago
  6. d09293d Strength reduction now iterates through. This should make it idempotent and deterministic. by Trevor Hansen · 5 weeks ago
  7. 1e7eafa Make the new PropagateEqualities deterministic by Trevor Hansen · 5 weeks ago
  8. 8f47022 Find non-overlapping extracts of variables and replace them with fresh variables. by Trevor Hansen · 5 weeks ago
  9. f13edd1 Changes to how domain information about bit-vector nodes is stored. by Trevor Hansen · 6 weeks ago
  10. 172ffac * Add extra command line flag to disable all simplifications that increase sizes. by Trevor Hansen · 6 weeks ago
  11. 9330d83 provide the option to use the old bad names for cli flags. by Trevor Hansen · 6 weeks ago
  12. f4d4944 user visible. remove underscores from command line flags. by Trevor Hansen · 6 weeks ago
  13. 7a1abff mark some rules as specualitive, so we have control when to apply them. by Trevor Hansen · 6 weeks ago
  14. 73a8cf1 Wasn't respecting the disable-equalities command-line flag. by Trevor Hansen · 6 weeks ago
  15. af48256 improved flattening. by Trevor Hansen · 6 weeks ago
  16. 92a8067 nicer flatten by Trevor Hansen · 6 weeks ago
  17. a3121b9 refactor. Split class apart by Trevor Hansen · 6 weeks ago
  18. e9a0823 Simplify bvplus with >2 children. by Trevor Hansen · 6 weeks ago
  19. 981ae60 Extra simplification for bvmult. by Trevor Hansen · 6 weeks ago
  20. b4347a8 Better counting of missing simplifications rules in propagate equalities. by Trevor Hansen · 6 weeks ago
  21. b8b18c9 check for unimplemented rules in propagate equalities. by Trevor Hansen · 6 weeks ago
  22. 6072dc2 fix typo by Trevor Hansen · 6 weeks ago
  23. 09c5021 enable speculative simplifications on bvnot by Trevor Hansen · 6 weeks ago
  24. 0e4ac06 cbitp both ways at start of simplifying. by Trevor Hansen · 6 weeks ago
  25. e29a1b6 Ability to just accept just speculative simplifications that map to constants by Trevor Hansen · 6 weeks ago
  26. 6e8ee8c Faster propagate equalities by Trevor Hansen · 6 weeks ago
  27. 66824b8 fix memory out on some deeply nested problems. by Trevor Hansen · 6 weeks ago
  28. 98e800d Don't save a pointer to node factor in case it gets updated later by Trevor Hansen · 7 weeks ago
  29. f87fcfc Improved pure literal removal and unit test by Trevor Hansen · 7 weeks ago
  30. ab90e85 extra tests by Trevor Hansen · 8 weeks ago
  31. 1a05c5a Experimenting with >2 children plus simplifications by Trevor Hansen · 9 weeks ago
  32. ded61ec Simplify less than one to equal to zero. by Trevor Hansen · 9 weeks ago
  33. 7e26159 handle more cases and better testing of simplifying node factory by Trevor Hansen · 9 weeks ago
  34. 11542aa refactor. Clean up initialisation of STP in a tool. by Trevor Hansen · 3 months ago
  35. ab40769 Make initialising STP slightly easier. by Trevor Hansen · 3 months ago
  36. 0095454 remove some more default functions. by Trevor Hansen · 3 months ago
  37. 9bcdbb5 correct test suite for unit tests. by Trevor Hansen · 3 months ago
  38. eee96f9 Unit tests for code that remove variable equals something. by Trevor Hansen · 3 months ago
  39. e1bb7cf refactor. Remove substitition map out of simplifier class. by Trevor Hansen · 3 months ago
  40. 6f7bce6 Remove a flag that wasn't read. by Trevor Hansen · 3 months ago
  41. a335360 Merge branch 'refactor' by Trevor Hansen · 3 months ago
  42. 0d94e4f Remove what I think was a dead path and the associated flag. There should never be an error from div_pos mainly because division by zero is guarded against. by Trevor Hansen · 3 months ago
  43. 4070df7 Refactor. Use node factory rather than STPMgr for strength reduction class. by Trevor Hansen · 3 months ago refactor
  44. 5049e52 Remove simplifier from substitution map. by Trevor Hansen · 3 months ago
  45. 11c1cc3 Make more things private in Simplifier by Trevor Hansen · 3 months ago
  46. de8135a refactor. Moving some code out of simplify by Trevor Hansen · 3 months ago
  47. afde047 deleting some default generated constructors by Trevor Hansen · 3 months ago
  48. 51765ae doc: fix typo by Chaoqi Zhang · 3 months ago
  49. 9f2861d stop aig rewriting if the number of and nodes doesn't reduce. by Trevor Hansen · 4 months ago
  50. 55b8946 Add command line option to control whether size reducing simplifications fixed point. by Trevor Hansen · 4 months ago
  51. fa68837 refactor. Order the user flags. by Trevor Hansen · 4 months ago
  52. f93af7a remove unreachable option by Trevor Hansen · 4 months ago
  53. fedf486 Enable the setting of more options via the command-line arguments. by Trevor Hansen · 4 months ago
  54. 3cb6e43 fixes 421 by Trevor Hansen · 4 months ago
  55. 48aa9a1 Trial assigning to flags at definition time. by Trevor Hansen · 4 months ago
  56. 0465a70 remove unused includes by Trevor Hansen · 4 months ago
  57. 2dfe0c9 Fix. adaed499e3d24bcf906852a6c428df07b5a6cee2 shouldn't have turned on flattening when simplifications are disabled. by Trevor Hansen · 4 months ago
  58. 0880163 Fix. Nodes that are complements shouldn't evaluate as being equal. by Trevor Hansen · 4 months ago
  59. 3c4fcac Proper implementation of 7351d7d2179b8d70703fe8569af3d5d4902452c1 to make STP deterministic. Previously it wasn't reading from the wrong pointer. by Trevor Hansen · 4 months ago
  60. 5c00d20 Fix #419. A mystery to me why it's happening. by Trevor Hansen · 4 months ago
  61. 0fb73bd Has make test, replaced make check? by Trevor Hansen · 4 months ago
  62. 0c47c3a Remove parallel flag because does not work on ctest 3.5.1. by Trevor Hansen · 4 months ago
  63. 324ffaa Modernize Boost usage by Hennadii Chernyshchyk · 4 months ago
  64. 4c0d544 Disabling debug code with `#if 0` over a runtime check against false by Andrew V. Jones · 4 months ago
  65. 09c3f51 Putting '-Werror' under an opt-in CMake option by Andrew V. Jones · 4 months ago
  66. 07bfb27 Treat warnings as errors by Andrew V. Jones · 4 months ago
  67. f20c571 Use std::exit() for macOS compatibility by Ryan Govostes · 4 months ago
  68. 4a2d62c Fix c_interface comments by Shangyin Tan · 4 months ago
  69. ea29387 Fix bvExtract interface comment by Shangyin Tan · 4 months ago
  70. cbc8e9d Let's not use macros instead of "const"-s by Mate Soos · 4 months ago
  71. c233936 Update CodeQL analysis workflow by Ryan Govostes · 4 months ago
  72. 46321a8 Enable verbosity when running ctest in CI by Andrew V. Jones · 4 months ago
  73. 84c0bfd Relocating setup scripts by Andrew V. Jones · 4 months ago
  74. f60176d Ensuring that CC/CXX gets set correctly for GitHub Actions by Andrew V. Jones · 4 months ago
  75. c81813e Remove the use of 'set-env' from GitHub Actions by Andrew V. Jones · 4 months ago
  76. 13ee2c8 Updating readme to document contrib scripts by Andrew V. Jones · 4 months ago
  77. 2863424 Removing Travis by Andrew V. Jones · 4 months ago
  78. 57d169d Clean-up of the GitHub Actions + the 'contrib' scripts by Andrew V. Jones · 4 months ago
  79. 91423ad Working towards using GitHub Actions for CI by Andrew V. Jones · 4 months ago
  80. 9b01e53 Create ci.yml by Andrew V. Jones · 4 months ago
  81. 7351d7d Fix. Make STP deterministic. Previously pointer values were used in a comparison, so on different runs we'd potentially generate different CNF for the same input. by Trevor Hansen · 4 months ago
  82. 57a142c Fix install steps. Thanks @ericwhitmansmith. by Ryan Govostes · 6 months ago
  83. 60b80d3 Merge pull request #412 from FortifyIQ/build-executables-option by Andrew V. Jones · 11 months ago
  84. 87c8a7c Add BUILD_EXECUTABLES option by Hennadii Chernyshchyk · 11 months ago
  85. 71ba6ba Merge pull request #411 from FortifyIQ/silence-messages by Andrew V. Jones · 11 months ago
  86. 710a2f1 Beautify CMake messages by Hennadii Chernyshchyk · 11 months ago
  87. 9f61e1c Merge pull request #410 from FortifyIQ/fix-warnings-issues by Andrew V. Jones · 11 months ago
  88. 83da21c Add SUPPRESS_WARNINGS option by Shatur95 · 11 months ago
  89. d611b57 Use CMAKE_POSITION_INDEPENDENT_CODE instead of "-fPIC" by Hennadii Chernyshchyk · 11 months ago
  90. a6ef81e Fix signed / unsigned comparsion warning by Hennadii Chernyshchyk · 11 months ago
  91. 81850c0 fix #407. The timeout in debug mode could cause an assert failure. by Trevor Hansen · 12 months ago
  92. adaed49 trying with flattening by Trevor Hansen · 1 year ago
  93. 876589d disable sharing-aware flattening. It's producing smaller encodings, but is solving fewer benchmarks. It needs to be combined with something else to help more. by Trevor Hansen · 1 year ago
  94. e168213 * Add a single pass of sharing-aware flattening. by Trevor Hansen · 1 year ago
  95. c813ed4 revert changes in 33c2a8b62a8135c2418087336f0e226a7abdfff7 it seems like a mistake to have removed it. by Trevor Hansen · 1 year ago
  96. a5ce702 Merge pull request #405 from stp/msoos-better_cms_import by Andrew V. Jones · 1 year, 1 month ago
  97. abe40de Cleaner CMS include and better include location by Mate Soos · 1 year, 1 month ago
  98. 33c2a8b avoid exponential blowup on some benchmarks by not flattening bvplus when simplifying. by Trevor Hansen · 1 year, 1 month ago
  99. 41144a0 Merge pull request #397 from andrewvaughanj/crash_on_okay by TrevorHansen · 1 year, 1 month ago
  100. af051ed Adding test to check for CVC bug by Mate Soos · 1 year, 2 months ago