- 1bdfe50 Use ABC as submodule (#496) by nindanaoto · 9 months ago master
- 2e31fe7 Added dummy diagnostic-output-channel support by nindanaoto · 10 months ago
- 4060368 Make timestamp in generated file use $SOURCE_DATE_EPOCH by Zbigniew Jędrzejewski-Szmek · 12 months ago
- fb18547 Use sysconfig, not distutils, to find python root by Jerry James · 12 months ago
- 9967bc9 Merge pull request #493 from aytey/fix_cms_xors by Andrew V. Teylu · 12 months ago
- 04a8abe Move to CMS @ 5.11.22 by Andrew V. Teylu · 12 months ago
- 918e55c Bump CMS revision to b735c94 by Andrew V. Teylu · 12 months ago
- d700854 use simple CNF encoding when simplifications are disabled by Trevor Hansen · 1 year, 1 month ago 2.3.4
- abc1b2d Update ci.yml -- oops fix. by Trevor Hansen · 1 year, 1 month ago
- fcf1dab Update ci.yml - hack to stop mystery failure. by Trevor Hansen · 1 year, 1 month ago
- 9586875 Allow it to more naturally create >64-bit constants by Trevor Hansen · 1 year, 1 month ago
- 82d76c8 Return >64 bit values properly by Trevor Hansen · 1 year, 1 month ago
- c760db4 fix CMS version. Disable CMS assertions by Trevor Hansen · 1 year, 1 month ago
- 1145d15 Add new GMP dependency to dockerfile by Trevor Hansen · 1 year, 1 month ago
- 3c54670 Get the current lastest CMS when building by Trevor Hansen · 1 year, 1 month ago
- 0ddabd0 Add that we require GMP by Trevor Hansen · 1 year, 1 month ago
- e2f251e get later version to fix compiler error by Trevor Hansen · 1 year, 1 month ago
- 1924952 Install cadiback dependency (#482) by Gus Smith · 1 year, 1 month ago
- 0510509 Partially fix Appveyor (windows) automated build. (#478) by Trevor Hansen · 1 year, 7 months ago coverity_scan
- 4e1e3aa Trying again to get clang building the api tests by Trevor Hansen · 1 year, 7 months ago
