Google GitGoogle Git
Sign in
chromium/external/github.com/stp/stp
Mirrored from https://github.com/stp/stp.git
Clone this repo:

Branches

More...

Tags

More...
  1. e7e6961 Blast fp.sqrt through its defining relation by default (#1138) by Trevor Hansen · 2 hours ago master
  2. b81a436 Revert "Skip the rounder work a square root proves dead (#1135)" (#1139) by Trevor Hansen · 2 hours ago
  3. 2a864f5 Do not reuse a relational encoding under a later root (#1137) by Trevor Hansen · 19 hours ago
  4. 406d69f Answer arithmetic NaN and sign questions without the datapath (#1136) by Trevor Hansen · 19 hours ago
  5. 9480bf0 Skip the rounder work a square root proves dead (#1135) by Trevor Hansen · 20 hours ago
  6. caaf8d6 Answer a square root's classification without building the root (#1133) by Trevor Hansen · 21 hours ago
  7. 45895ce Share one square-root relation per operand, not per rounding mode (#1131) by Trevor Hansen · 21 hours ago
  8. f7d2e99 Mask a rounded record's infinity flag against its NaN flag (#1134) by Trevor Hansen · 21 hours ago
  9. f922e67 Run common-factor extraction inside size reducing (#1130) by Trevor Hansen · 35 hours ago
  10. 7d00ad1 Blast floating point natively by default, but for sqrt and division (#1128) by Trevor Hansen · 2 days ago
  11. 0897dfe Take a factor common to a sum's products out of the sum (#1129) by Trevor Hansen · 2 days ago
  12. 01b6076 Fuzz the options added since the arrays were last refreshed (#1127) by Trevor Hansen · 2 days ago
  13. 274c801 Make the narrow alignment frame the default (#1126) by Trevor Hansen · 2 days ago
  14. 4dd843c Give the native adder a frame only as wide as rounding needs (#1119) by Trevor Hansen · 2 days ago
  15. 09882a1 Keep a rounded record beside the packed bits (#1118) by Trevor Hansen · 2 days ago
  16. 940858c Support assumptions in the simplifying MiniSat wrapper (#1125) by Andrew Teylu · 3 days ago
  17. 994f6d6 Release discarded SMT-LIB2 parser values (#1124) by Andrew Teylu · 3 days ago
  18. 7e53c9f Roll back symbol interning after allocation failures (#1123) by Andrew Teylu · 3 days ago
  19. 10015f5 Treat solver errors as fatal in every output mode (#1122) by Andrew Teylu · 3 days ago
  20. d5000dd Preserve CryptoMiniSat model truth values (#1121) by Andrew Teylu · 3 days ago