Commits

Commit history

1. Commits on Oct 8, 2026

   • Update docs for cvc5-1.4.2

     

     DocBot

     committed
     151481dView commit details

     Copy full SHA for 151481d

     Browse repository at this point
2. Commits on Sep 25, 2026

   • Update docs for cvc5-1.4.1

     

     DocBot

     committed
     d51fb69View commit details

     Copy full SHA for d51fb69

     Browse repository at this point
3. Commits on Sep 17, 2026

   • Update docs for cvc5-1.4.0

     

     DocBot

     committed
     6831841View commit details

     Copy full SHA for 6831841

     Browse repository at this point
4. Commits on Jul 20, 2026

   • Repair permalinks in released documentation

     Show description for 75fce0e
     daniel-larraz

     committed
     75fce0eView commit details

     Copy full SHA for 75fce0e

     Browse repository at this point
5. Commits on Jul 13, 2026

   • genversions: use absolute release URLs in the cvc5-main version block

     Show description for 5753325
     daniel-larraz

     committed
     5753325View commit details

     Copy full SHA for 5753325

     Browse repository at this point

   • Backfill "Other versions" block into published releases

     Show description for aa4a97a
     daniel-larraz

     committed
     aa4a97aView commit details

     Copy full SHA for aa4a97a

     Browse repository at this point

   • genversions: derive URL root from file path

     Show description for a057a69
     

     daniel-larraz

     and

     claude

     committed
     a057a69View commit details

     Copy full SHA for a057a69

     Browse repository at this point
6. Commits on May 7, 2026

   • Update docs for cvc5-1.3.4

     

     DocBot

     committed
     016072bView commit details

     Copy full SHA for 016072b

     Browse repository at this point
7. Commits on May 6, 2026

   • Update docs for cvc5-1.3.3

     daniel-larraz

     committed
     563c869View commit details

     Copy full SHA for 563c869

     Browse repository at this point
8. Commits on Dec 12, 2025

   • Update docs for cvc5-1.3.2

     

     DocBot

     committed
     abb6a70View commit details

     Copy full SHA for abb6a70

     Browse repository at this point
9. Commits on Sep 24, 2025

   • Update docs for cvc5-1.3.1

     

     DocBot

     committed
     ac317bcView commit details

     Copy full SHA for ac317bc

     Browse repository at this point
10. Commits on Jun 19, 2025

    • Update docs for cvc5-1.3.0

      

      DocBot

      committed
      5dfea93View commit details

      Copy full SHA for 5dfea93

      Browse repository at this point
11. Commits on Jun 18, 2025

    • Fix docs for 1.2.0.

      aniemetz

      committed
      46fd73cView commit details

      Copy full SHA for 46fd73c

      Browse repository at this point

    • Fix docs for 1.2.1.

      aniemetz

      committed
      0031bbcView commit details

      Copy full SHA for 0031bbc

      Browse repository at this point
12. Commits on Jan 27, 2025

    • Update docs for cvc5-1.2.1

      

      DocBot

      committed
      d477067View commit details

      Copy full SHA for d477067

      Browse repository at this point
13. Commits on Sep 24, 2024

    • Merge pull request #5 from daniel-larraz/distutils

      Show description for 3aae656
      daniel-larraz

      authored
      3aae656View commit details

      Copy full SHA for 3aae656

      Browse repository at this point
14. Commits on Sep 23, 2024

    • Remove unused StrictVersion import from distutils

      daniel-larraz

      committed
      4e938abView commit details

      Copy full SHA for 4e938ab

      Browse repository at this point
15. Commits on Aug 8, 2024

    • Update docs for cvc5-1.2.0

      

      DocBot

      committed
      829eef7View commit details

      Copy full SHA for 829eef7

      Browse repository at this point
16. Commits on Mar 1, 2024

    • Update docs for cvc5-1.1.2

      

      DocBot

      committed
      f0d5172View commit details

      Copy full SHA for f0d5172

      Browse repository at this point
17. Commits on Jan 25, 2024

    • Update docs for cvc5-1.1.1

      

      DocBot

      committed
      f6d5773View commit details

      Copy full SHA for f6d5773

      Browse repository at this point
18. Commits on Dec 21, 2023

    • Update docs for cvc5-1.1.0

      

      DocBot

      committed
      d27445fView commit details

      Copy full SHA for d27445f

      Browse repository at this point
19. Commits on Dec 19, 2023

    • Update docs for cvc5-1.0.9

      

      DocBot

      committed
      d3692b7View commit details

      Copy full SHA for d3692b7

      Browse repository at this point
20. Commits on Aug 31, 2023

    • Update docs for cvc5-1.0.8

      

      DocBot

      committed
      6c3c49cView commit details

      Copy full SHA for 6c3c49c

      Browse repository at this point
21. Commits on Aug 22, 2023

    • Update docs for cvc5-1.0.7

      

      DocBot

      committed
      6a6931aView commit details

      Copy full SHA for 6a6931a

      Browse repository at this point
22. Commits on Nov 15, 2022

    • Add link to latest version of documentation (#4)

      4tXJ7f

      authored
      228a343View commit details

      Copy full SHA for 228a343

      Browse repository at this point
23. Commits on Aug 26, 2022

    • Update docs for cvc5-1.0.2

      

      DocBot

      committed
      5509970View commit details

      Copy full SHA for 5509970

      Browse repository at this point
24. Commits on Jul 19, 2022

    • Update docs for cvc5-1.0.1

      

      DocBot

      committed
      44d8e15View commit details

      Copy full SHA for 44d8e15

      Browse repository at this point
25. Commits on Apr 29, 2022

    • Remove documentation of pre-release versions (#3)

      Show description for 0991790
      4tXJ7f

      authored
      0991790View commit details

      Copy full SHA for 0991790

      Browse repository at this point
26. Commits on Apr 6, 2022

    • Update docs for cvc5-1.0.0

      

      DocBot

      committed
      da951b3View commit details

      Copy full SHA for da951b3

      Browse repository at this point
27. Commits on Apr 4, 2022

    • Update docs for cvc5-0.0.12

      

      DocBot

      committed
      fb16886View commit details

      Copy full SHA for fb16886

      Browse repository at this point
28. Commits on Apr 3, 2022

    • Update docs for cvc5-0.0.11

      

      DocBot

      committed
      85d81c0View commit details

      Copy full SHA for 85d81c0

      Browse repository at this point
29. Commits on Apr 1, 2022

    • Update docs for cvc5-0.0.10

      

      DocBot

      committed
      d338f1dView commit details

      Copy full SHA for d338f1d

      Browse repository at this point

    • fix link

      nafur

      committed
      7ed9337View commit details

      Copy full SHA for 7ed9337

      Browse repository at this point

    • Update docs for cvc5-0.0.9

      

      DocBot

      committed
      d18b1c5View commit details

      Copy full SHA for d18b1c5

      Browse repository at this point
30. Commits on Jan 31, 2022

    • Run genversion.py script and commit results.

      nafur

      committed
      c6720ffView commit details

      Copy full SHA for c6720ff

      Browse repository at this point