external/github.com/stp/stp - Git at Google

Mirrored from https://github.com/stp/stp.git

Clone this repo:

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