Google Git
Sign in
chromium/external/github.com/stp/stp/HEAD
  1. 26e5463 Fix typo in my name by Ryan Govostes · 8 months ago master
  2. 14fd2f8 Update STP version number to be in sync with the already published version by Martin Nowack · 8 months ago
  3. 7b50ce5 Require newer cmake version by Martin Nowack · 8 months ago
  4. c0ebad7 Don't link with tinfo if not required by Martin Nowack · 8 months ago
  5. d62ed33 cmake: Fix GMP warning by Martin Nowack · 8 months ago
  6. 9540daa Fix lib/CMakeLists.txt to use add_subdirectory and absolute path (#508) by nindanaoto · 10 months ago
  7. 1bdfe50 Use ABC as submodule (#496) by nindanaoto · 1 year, 9 months ago
  8. 2e31fe7 Added dummy diagnostic-output-channel support by nindanaoto · 1 year, 9 months ago
  9. 4060368 Make timestamp in generated file use $SOURCE_DATE_EPOCH by Zbigniew Jędrzejewski-Szmek · 1 year, 11 months ago
  10. fb18547 Use sysconfig, not distutils, to find python root by Jerry James · 1 year, 11 months ago
  11. 9967bc9 Merge pull request #493 from aytey/fix_cms_xors by Andrew V. Teylu · 1 year, 11 months ago
  12. 04a8abe Move to CMS @ 5.11.22 by Andrew V. Teylu · 1 year, 11 months ago
  13. 918e55c Bump CMS revision to b735c94 by Andrew V. Teylu · 2 years ago
  14. d700854 use simple CNF encoding when simplifications are disabled by Trevor Hansen · 2 years ago 2.3.4
  15. abc1b2d Update ci.yml -- oops fix. by Trevor Hansen · 2 years ago
  16. fcf1dab Update ci.yml - hack to stop mystery failure. by Trevor Hansen · 2 years ago
  17. 9586875 Allow it to more naturally create >64-bit constants by Trevor Hansen · 2 years ago
  18. 82d76c8 Return >64 bit values properly by Trevor Hansen · 2 years ago
  19. c760db4 fix CMS version. Disable CMS assertions by Trevor Hansen · 2 years ago
  20. 1145d15 Add new GMP dependency to dockerfile by Trevor Hansen · 2 years ago
  21. 3c54670 Get the current lastest CMS when building by Trevor Hansen · 2 years ago
  22. 0ddabd0 Add that we require GMP by Trevor Hansen · 2 years ago
  23. e2f251e get later version to fix compiler error by Trevor Hansen · 2 years ago
  24. 1924952 Install cadiback dependency (#482) by Gus Smith · 2 years ago
  25. 0510509 Partially fix Appveyor (windows) automated build. (#478) by Trevor Hansen · 2 years, 6 months ago coverity_scan
  26. 4e1e3aa Trying again to get clang building the api tests by Trevor Hansen · 2 years, 6 months ago
  27. f6a943b fixes #476 by Trevor Hansen · 2 years, 6 months ago
  28. 0ce6a42 Trying to get uint32_t found on clang. by Trevor Hansen · 2 years, 6 months ago
  29. f0e9c0e Partial revert previous checkin because some code needs this include. by Trevor Hansen · 2 years, 6 months ago
  30. be10367 Improved word wrap. by Trevor Hansen · 2 years, 6 months ago
  31. 0a07d58 Update index.rst by Trevor Hansen · 2 years, 6 months ago
  32. 4110891 Update README.markdown by Trevor Hansen · 2 years, 6 months ago
  33. f399882 Remove nonsensical sbrk usage by Brooks Davis · 2 years, 6 months ago
  34. 149f43f fix compiler warnings. by Trevor Hansen · 2 years, 10 months ago
  35. b0a35e6 Build script for docker based on the quick install for Ubuntu 20 by Trevor Hansen · 2 years, 10 months ago
  36. 7b96f1e add extra test case for let, currently not functional by Trevor Hansen · 2 years, 10 months ago
  37. 7ea0e8a Implement smtlib2 format "let" properly. Fixes #388 by Trevor Hansen · 2 years, 10 months ago
  38. cbedec1 Adding let tests by Andrew V. Jones · 2 years, 10 months ago
  39. dc3169b Update README.markdown by Trevor Hansen · 2 years, 10 months ago
  40. e99eb4a Improve build instructions by Trevor Hansen · 2 years, 10 months ago
  41. a9bc247 [gcc 13] include cstdint for *int*_t by Jiri Slaby · 3 years, 3 months ago
  42. 33b6355 Merge pull request #447 from misonijnik/master by Trevor Hansen · 3 years, 9 months ago
  43. 38f7887 Fix compilation error on libstdc++-7-dev by Aleksandr Misonizhnik · 3 years, 9 months ago
  44. 97ddd03 disable SQLITE when building cms by Trevor Hansen · 3 years, 9 months ago
  45. d0fc3e3 Fix so user flags are respected by Trevor Hansen · 3 years, 9 months ago
  46. 191692d Convert ordered collections to faster unordered collections. by Trevor Hansen · 3 years, 10 months ago
  47. c5f440a copy on write to reduce the number of malloc/free by Trevor Hansen · 3 years, 10 months ago
  48. cda427c Cleanup the dependency building code by Trevor Hansen · 3 years, 10 months ago
  49. 2b4a2da Small changes to make core simplification algorithms faster. by Trevor Hansen · 3 years, 10 months ago
  50. 8c2b9c5 Improve again on the performance of QF_BV benchmark problems. by Trevor Hansen · 3 years, 10 months ago
  51. 5a34f8d Handle an extra case in unconstrained variable elimination. by Trevor Hansen · 3 years, 10 months ago
  52. d29b19d Improve again on the performance of QF_BV benchmark problems. by Trevor Hansen · 3 years, 10 months ago
  53. 15562cf Fix test cases so that they work when stp has pure variable removal disabled. by Trevor Hansen · 3 years, 10 months ago
  54. c47f514 Tune the parameters to improve performance on QF_BV benchmark problems by Trevor Hansen · 3 years, 10 months ago
  55. 5f6f2e0 Adding REQUIRE for Perl by Mate Soos · 3 years, 10 months ago
  56. 8ea9201 Remove some mentions of the CVC format from our documentation. by Trevor Hansen · 3 years, 10 months ago
  57. ee83ef7 Remove mention of CVC from front readme. by Trevor Hansen · 3 years, 10 months ago
  58. a69e0a0 Update codeql-analysis.yml by Trevor Hansen · 3 years, 10 months ago
  59. 644d43a fix #128 by Trevor Hansen · 3 years, 10 months ago
  60. 4ce784e Clarrify as discussed in #4, that the bitvector library is also licensed under the artistic licence. by Trevor Hansen · 3 years, 10 months ago
  61. cca6a11 move cvc_to_c utility out of unit testing into tools. by Trevor Hansen · 3 years, 10 months ago
  62. 947d0ba remove tests which are not currently being used by Trevor Hansen · 3 years, 10 months ago
  63. 1fee2c5 Merge pull request #439 from stp/rzg/docker by Trevor Hansen · 3 years, 10 months ago
  64. cf96ac6 Merge pull request #373 from aytey/fix_limit_cmd_line by Trevor Hansen · 3 years, 10 months ago
  65. 70e11b3 Update main.cpp by Trevor Hansen · 3 years, 10 months ago
  66. da05af6 Merge branch 'master' into fix_limit_cmd_line by Trevor Hansen · 3 years, 11 months ago
  67. 09a0644 Adds an extra simplification rule. fix #381. by Trevor Hansen · 3 years, 11 months ago
  68. 54c25b2 Fix #383. Makes bvxnor 2-arity only. by Trevor Hansen · 3 years, 11 months ago
  69. 3923d4f oops. Fix inadvertent checkin by Trevor Hansen · 3 years, 11 months ago
  70. e0eff54 Write through unapplied simplfications. Previously this was unsound if unconstrained variable elimination (UVE) was disabled. UVE wrote through unapplied simplifications so masked the problem. by Trevor Hansen · 3 years, 11 months ago
  71. 4931700 rename tests which aren't really unit tests. by Trevor Hansen · 3 years, 11 months ago
  72. d1a0b64 Improve testing. The intention of these is that the combination of simplifications reduces them to true or false before reaching the SAT solver. by Trevor Hansen · 3 years, 11 months ago
  73. f56f0d6 Enable some generated tests that weren't previously enabled by Trevor Hansen · 3 years, 11 months ago
  74. 573fabe remove old test generators. FuzzSMT is much better than these by Trevor Hansen · 3 years, 11 months ago
  75. 1de013f Add failing instance by Trevor Hansen · 3 years, 11 months ago
  76. e10d3b2 Update codeql-analysis.yml by Trevor Hansen · 3 years, 11 months ago
  77. a5d4927 Fix testing failures. Lit 15 is trying to run the test suites which I think is causing a CI failure. by Trevor Hansen · 3 years, 11 months ago
  78. 8387d67 Remove disabled CVC test file. In some configurations it seems to be run resulting in a spurious test failure by Trevor Hansen · 3 years, 11 months ago
  79. d8097c4 Cleanup memory leak on shutdown. by Trevor Hansen · 3 years, 11 months ago
  80. 8f1563a Add the dissertation which also describes parts of STP by Trevor Hansen · 3 years, 11 months ago
  81. 4e14c39 silence some compiler warnings by Trevor Hansen · 3 years, 11 months ago
  82. 58d3e22 Fixing up some of the tools by Trevor Hansen · 3 years, 11 months ago
  83. 9eaf677 Update index.rst by Trevor Hansen · 3 years, 11 months ago
  84. 4ab147c Rewrite Dockerfile by Ryan Govostes · 3 years, 11 months ago
  85. 60d74cb Merge branch 'master' of https://github.com/stp/stp by Trevor Hansen · 3 years, 11 months ago
  86. bc6b240 fix #363 by Trevor Hansen · 3 years, 11 months ago
  87. e8d153f Merge pull request #436 from mnswdhw/patch-1 by Mate Soos · 4 years ago
  88. 49a7dac Added reviewer's suggestions by mnswdhw · 4 years ago
  89. 4bdf322 Fixed the broken link on SMT-LIBv2 documentation. by mnswdhw · 4 years ago
  90. 7be1a8d Fix cli to disable new simplifications with --disablesimplifications by Trevor Hansen · 4 years ago
  91. 8de7e88 enable sharing-aware rewrites by default. by Trevor Hansen · 4 years ago
  92. 5221977 Extra simplification rule. by Trevor Hansen · 4 years ago
  93. e450e8a re-enabling removal of BVOR to evaluate how important it is. by Trevor Hansen · 4 years ago
  94. 27c82b9 some more simplification rules. by Trevor Hansen · 4 years ago
  95. bf48ef4 Improved simplifications by Trevor Hansen · 4 years ago
  96. 1b06d84 Faster/better Always true identification by Trevor Hansen · 4 years ago
  97. babb28a First attempt at sharing aware rewrites. by Trevor Hansen · 4 years ago
  98. 77f2e61 Create 100000... by Trevor Hansen · 4 years ago
  99. 25da98d Nicer implementation of Always true. by Trevor Hansen · 4 years ago
  100. 85341df Merge pull request #431 from danielschemmel/ubuntu-18.04 by Mate Soos · 4 years ago