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

Branches

Tags

  1. 9a59a72 Merge pull request #391 from andrewvaughanj/type_size_api by Mate Soos · 4 months ago master
  2. 4ad235a Creating an API to get the value/index size from a 'Type' by Andrew V. Jones · 4 months ago
  3. 65b8bd3 Merge pull request #387 from andrewvaughanj/fix_scopes by Andrew V. Jones · 6 months ago
  4. 7239984 Ensuring that we do not create double frames when creating a new frame; closes #385 by Andrew V. Jones · 6 months ago
  5. dc1fef5 Merge pull request #386 from hailinzeng/master by Andrew V. Jones · 6 months ago
  6. b1165f2 remove duplicated cmake option by hailinzeng · 6 months ago
  7. 101aee2 Fix build for minisat, using stp/minisat by Mate Soos · 8 months ago
  8. b013570 First look for installed MiniSat, then the built one by Mate Soos · 8 months ago
  9. 7bcd7e5 Fixing warnings by GitHub static code analysis by Mate Soos · 8 months ago
  10. ab3e9e0 Update codeql-analysis.yml by Mate Soos · 8 months ago
  11. a26a884 Update codeql-analysis.yml by Mate Soos · 8 months ago
  12. 87edbdf Update codeql-analysis.yml by Mate Soos · 8 months ago
  13. 9745d5a Allow finding minisat through CONFIG first by Mate Soos · 8 months ago
  14. 3608cc2 Update codeql-analysis.yml by Mate Soos · 8 months ago
  15. 460d41e Create codeql-analysis.yml by Mate Soos · 8 months ago
  16. dc50ffd Avoid calling 'ldconfig' if it might not exist by Andrew V. Jones · 9 months ago
  17. 8d69dea Ensuring documentation consistency with the use of semicolon vs. period by Andrew V. Jones · 9 months ago
  18. a2d42bd Call CMake over (GNU) Make by Andrew V. Jones · 9 months ago
  19. e3956e0 Correcting double backticks in README by Andrew V. Jones · 9 months ago
  20. 4a614fa Updating README to update build steps and document how to run CMake without installing STP's dependencies system-wide by Andrew V. Jones · 9 months ago