- 26e5463 Fix typo in my name by Ryan Govostes · 3 days ago master
- 14fd2f8 Update STP version number to be in sync with the already published version by Martin Nowack · 3 days ago
- 7b50ce5 Require newer cmake version by Martin Nowack · 3 days ago
- c0ebad7 Don't link with tinfo if not required by Martin Nowack · 3 days ago
- d62ed33 cmake: Fix GMP warning by Martin Nowack · 3 days ago
- 9540daa Fix lib/CMakeLists.txt to use add_subdirectory and absolute path (#508) by nindanaoto · 8 weeks ago
- 1bdfe50 Use ABC as submodule (#496) by nindanaoto · 1 year, 1 month ago
- 2e31fe7 Added dummy diagnostic-output-channel support by nindanaoto · 1 year, 1 month ago
- 4060368 Make timestamp in generated file use $SOURCE_DATE_EPOCH by Zbigniew Jędrzejewski-Szmek · 1 year, 3 months ago
- fb18547 Use sysconfig, not distutils, to find python root by Jerry James · 1 year, 3 months ago
- 9967bc9 Merge pull request #493 from aytey/fix_cms_xors by Andrew V. Teylu · 1 year, 3 months ago
- 04a8abe Move to CMS @ 5.11.22 by Andrew V. Teylu · 1 year, 3 months ago
- 918e55c Bump CMS revision to b735c94 by Andrew V. Teylu · 1 year, 4 months ago
- d700854 use simple CNF encoding when simplifications are disabled by Trevor Hansen · 1 year, 5 months ago 2.3.4
- abc1b2d Update ci.yml -- oops fix. by Trevor Hansen · 1 year, 5 months ago
- fcf1dab Update ci.yml - hack to stop mystery failure. by Trevor Hansen · 1 year, 5 months ago
- 9586875 Allow it to more naturally create >64-bit constants by Trevor Hansen · 1 year, 5 months ago
- 82d76c8 Return >64 bit values properly by Trevor Hansen · 1 year, 5 months ago
- c760db4 fix CMS version. Disable CMS assertions by Trevor Hansen · 1 year, 5 months ago
- 1145d15 Add new GMP dependency to dockerfile by Trevor Hansen · 1 year, 5 months ago
