[go: up one dir, main page]
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. 63fedc1 Merge pull request #1359 from aytey/kissat-batch-array-congruence-experiments by Andrew Teylu · 2 hours ago master
  2. 9e6a450 Merge pull request #1358 from aytey/kissat-native-greedy by Andrew Teylu · 2 hours ago
  3. 7f21225 Merge incremental Kissat CI test fixes by Andrew Teylu · 5 hours ago
  4. cc6584e Update greedy tuning and trail reuse test expectations by Andrew Teylu · 5 hours ago
  5. 39bcc1b Bound late eager arrays by estimated index congruence by Andrew Teylu · 8 hours ago
  6. 1b1f9ba Guard the optional array equality CNF choice by read count by Andrew Teylu · 9 hours ago
  7. eea8c74 Choose Gia CNF for optional active array equality refinement by Andrew Teylu · 9 hours ago
  8. 64ca3de Choose bounded eager arrays after batch preprocessing by Andrew Teylu · 10 hours ago
  9. dc7a9e9 Tune bounded incremental Kissat greedy completion by logic by Andrew Teylu · 11 hours ago
  10. 5a253d9 Merge pull request #1357 from aytey/kissat-disposable-lucky-probe by Andrew Teylu · 29 hours ago
  11. 61c1569 Try disposable lucky candidates after large incremental growth by Andrew Teylu · 31 hours ago
  12. d9bc70d Merge pull request #1356 from aytey/kissat-header-qfabvfp-integration by Andrew Teylu · 34 hours ago
  13. 802e292 Merge pull request #1355 from aytey/kissat-elimination-control by Andrew Teylu · 34 hours ago
  14. c9da10b Merge pull request #1354 from aytey/kissat-incremental-qfabvfp-experiments by Andrew Teylu · 34 hours ago
  15. daa8f28 Merge pull request #1353 from aytey/kissat-sweeper-sanitizer-fix by Andrew Teylu · 34 hours ago
  16. 84b5b76 Merge pull request #1352 from aytey/incremental-array-refinement-mismatch by Andrew Teylu · 34 hours ago
  17. a9b1d72 Track Kissat allocations in an intrusive ownership list by Andrew Teylu · 2 days ago
  18. 0216b34 Match Kissat option delimiters explicitly by Andrew Teylu · 2 days ago
  19. fdeaeda Expose Kissat variable elimination as an independent control by Andrew Teylu · 2 days ago
  20. a36cee2 Tune forced incremental QF_ABVFP search profiles by Andrew Teylu · 2 days ago