Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
DocBot committed Jan 13, 2025
1 parent 9b34944 commit a5602d2
Showing 1 changed file with 8 additions and 13 deletions.
21 changes: 8 additions & 13 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,16 +1,12 @@


* [Documentation for PR #11176](docs-pr11176/) (built from [d202b27](https://github.com/cvc5/cvc5/commit/d202b27) @ [PR #11176](https://github.com/cvc5/cvc5/pull/11176), Jan Mon 13, 00:08 UTC)

***


* [Documentation for main](docs-main/) (built from [8e2a929](https://github.com/cvc5/cvc5/commit/8e2a929) @ [main](https://github.com/cvc5/cvc5/tree/main), 8 hours ago)
* [Documentation for main](docs-main/) (built from [8e2a929](https://github.com/cvc5/cvc5/commit/8e2a929) @ [main](https://github.com/cvc5/cvc5/tree/main), 10 hours ago)
* [Documentation for PR #11516](docs-pr11516/) (built from [1a1407f](https://github.com/cvc5/cvc5/commit/1a1407f) @ [PR #11516](https://github.com/cvc5/cvc5/pull/11516), 2 days ago)
* [Documentation for PR #11515](docs-pr11515/) (built from [08b9f6b](https://github.com/cvc5/cvc5/commit/08b9f6b) @ [PR #11515](https://github.com/cvc5/cvc5/pull/11515), 33 hours ago)
* [Documentation for PR #11514](docs-pr11514/) (built from [435a1dc](https://github.com/cvc5/cvc5/commit/435a1dc) @ [PR #11514](https://github.com/cvc5/cvc5/pull/11514), 7 hours ago)
* [Documentation for PR #11515](docs-pr11515/) (built from [08b9f6b](https://github.com/cvc5/cvc5/commit/08b9f6b) @ [PR #11515](https://github.com/cvc5/cvc5/pull/11515), 35 hours ago)
* [Documentation for PR #11514](docs-pr11514/) (built from [435a1dc](https://github.com/cvc5/cvc5/commit/435a1dc) @ [PR #11514](https://github.com/cvc5/cvc5/pull/11514), 8 hours ago)
* [Documentation for PR #11513](docs-pr11513/) (built from [b9acaaa](https://github.com/cvc5/cvc5/commit/b9acaaa) @ [PR #11513](https://github.com/cvc5/cvc5/pull/11513), 2 days ago)
* [Documentation for PR #11512](docs-pr11512/) (built from [443f9b2](https://github.com/cvc5/cvc5/commit/443f9b2) @ [PR #11512](https://github.com/cvc5/cvc5/pull/11512), 33 hours ago)
* [Documentation for PR #11512](docs-pr11512/) (built from [443f9b2](https://github.com/cvc5/cvc5/commit/443f9b2) @ [PR #11512](https://github.com/cvc5/cvc5/pull/11512), 35 hours ago)
* [Documentation for PR #11511](docs-pr11511/) (built from [4ceb6df](https://github.com/cvc5/cvc5/commit/4ceb6df) @ [PR #11511](https://github.com/cvc5/cvc5/pull/11511), 2 days ago)
* [Documentation for PR #11510](docs-pr11510/) (built from [fb49845](https://github.com/cvc5/cvc5/commit/fb49845) @ [PR #11510](https://github.com/cvc5/cvc5/pull/11510), 2 days ago)
* [Documentation for PR #11509](docs-pr11509/) (built from [c3dc235](https://github.com/cvc5/cvc5/commit/c3dc235) @ [PR #11509](https://github.com/cvc5/cvc5/pull/11509), 2 days ago)
Expand All @@ -22,23 +18,22 @@
* [Documentation for PR #11503](docs-pr11503/) (built from [3469599](https://github.com/cvc5/cvc5/commit/3469599) @ [PR #11503](https://github.com/cvc5/cvc5/pull/11503), 3 days ago)
* [Documentation for PR #11501](docs-pr11501/) (built from [51a9523](https://github.com/cvc5/cvc5/commit/51a9523) @ [PR #11501](https://github.com/cvc5/cvc5/pull/11501), 2 days ago)
* [Documentation for PR #11500](docs-pr11500/) (built from [73f9f2f](https://github.com/cvc5/cvc5/commit/73f9f2f) @ [PR #11500](https://github.com/cvc5/cvc5/pull/11500), 4 days ago)
* [Documentation for PR #11499](docs-pr11499/) (built from [545bccb](https://github.com/cvc5/cvc5/commit/545bccb) @ [PR #11499](https://github.com/cvc5/cvc5/pull/11499), 4 days ago)
* [Documentation for PR #11499](docs-pr11499/) (built from [545bccb](https://github.com/cvc5/cvc5/commit/545bccb) @ [PR #11499](https://github.com/cvc5/cvc5/pull/11499), 5 days ago)
* [Documentation for PR #11498](docs-pr11498/) (built from [149dd61](https://github.com/cvc5/cvc5/commit/149dd61) @ [PR #11498](https://github.com/cvc5/cvc5/pull/11498), 5 days ago)
* [Documentation for PR #11497](docs-pr11497/) (built from [bbff037](https://github.com/cvc5/cvc5/commit/bbff037) @ [PR #11497](https://github.com/cvc5/cvc5/pull/11497), 4 days ago)
* [Documentation for PR #11496](docs-pr11496/) (built from [5f4757a](https://github.com/cvc5/cvc5/commit/5f4757a) @ [PR #11496](https://github.com/cvc5/cvc5/pull/11496), 5 days ago)
* [Documentation for PR #11494](docs-pr11494/) (built from [70ae2e9](https://github.com/cvc5/cvc5/commit/70ae2e9) @ [PR #11494](https://github.com/cvc5/cvc5/pull/11494), 3 days ago)
* [Documentation for PR #11493](docs-pr11493/) (built from [b0938e6](https://github.com/cvc5/cvc5/commit/b0938e6) @ [PR #11493](https://github.com/cvc5/cvc5/pull/11493), 2 days ago)
* [Documentation for PR #11492](docs-pr11492/) (built from [c56ec9d](https://github.com/cvc5/cvc5/commit/c56ec9d) @ [PR #11492](https://github.com/cvc5/cvc5/pull/11492), 6 days ago)
* [Documentation for PR #11491](docs-pr11491/) (built from [3f84a11](https://github.com/cvc5/cvc5/commit/3f84a11) @ [PR #11491](https://github.com/cvc5/cvc5/pull/11491), 4 hours ago)
* [Documentation for PR #11489](docs-pr11489/) (built from [5f67efc](https://github.com/cvc5/cvc5/commit/5f67efc) @ [PR #11489](https://github.com/cvc5/cvc5/pull/11489), 8 days ago)
* [Documentation for PR #11491](docs-pr11491/) (built from [3f84a11](https://github.com/cvc5/cvc5/commit/3f84a11) @ [PR #11491](https://github.com/cvc5/cvc5/pull/11491), 5 hours ago)
* [Documentation for PR #11479](docs-pr11479/) (built from [d3059a1](https://github.com/cvc5/cvc5/commit/d3059a1) @ [PR #11479](https://github.com/cvc5/cvc5/pull/11479), 2 days ago)
* [Documentation for PR #11476](docs-pr11476/) (built from [e1ddda6](https://github.com/cvc5/cvc5/commit/e1ddda6) @ [PR #11476](https://github.com/cvc5/cvc5/pull/11476), 5 days ago)
* [Documentation for PR #11473](docs-pr11473/) (built from [34d05a0](https://github.com/cvc5/cvc5/commit/34d05a0) @ [PR #11473](https://github.com/cvc5/cvc5/pull/11473), 22 hours ago)
* [Documentation for PR #11473](docs-pr11473/) (built from [34d05a0](https://github.com/cvc5/cvc5/commit/34d05a0) @ [PR #11473](https://github.com/cvc5/cvc5/pull/11473), 23 hours ago)
* [Documentation for PR #11452](docs-pr11452/) (built from [7f6d7b1](https://github.com/cvc5/cvc5/commit/7f6d7b1) @ [PR #11452](https://github.com/cvc5/cvc5/pull/11452), 3 days ago)
* [Documentation for PR #11445](docs-pr11445/) (built from [c32baea](https://github.com/cvc5/cvc5/commit/c32baea) @ [PR #11445](https://github.com/cvc5/cvc5/pull/11445), 2 days ago)
* [Documentation for PR #11441](docs-pr11441/) (built from [5f002ab](https://github.com/cvc5/cvc5/commit/5f002ab) @ [PR #11441](https://github.com/cvc5/cvc5/pull/11441), 6 days ago)
* [Documentation for PR #11434](docs-pr11434/) (built from [1fdbf36](https://github.com/cvc5/cvc5/commit/1fdbf36) @ [PR #11434](https://github.com/cvc5/cvc5/pull/11434), 5 days ago)
* [Documentation for PR #11427](docs-pr11427/) (built from [8f612ea](https://github.com/cvc5/cvc5/commit/8f612ea) @ [PR #11427](https://github.com/cvc5/cvc5/pull/11427), 4 days ago)
* [Documentation for PR #11382](docs-pr11382/) (built from [5d32601](https://github.com/cvc5/cvc5/commit/5d32601) @ [PR #11382](https://github.com/cvc5/cvc5/pull/11382), 5 days ago)
* [Documentation for PR #11300](docs-pr11300/) (built from [79bb6c5](https://github.com/cvc5/cvc5/commit/79bb6c5) @ [PR #11300](https://github.com/cvc5/cvc5/pull/11300), 6 days ago)
* [Documentation for PR #11176](docs-pr11176/) (built from [d202b27](https://github.com/cvc5/cvc5/commit/d202b27) @ [PR #11176](https://github.com/cvc5/cvc5/pull/11176), now)
* [Documentation for PR #11176](docs-pr11176/) (built from [d202b27](https://github.com/cvc5/cvc5/commit/d202b27) @ [PR #11176](https://github.com/cvc5/cvc5/pull/11176), 83 minutes ago)

0 comments on commit a5602d2

Please sign in to comment.