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