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 15, 2025
1 parent cae66ff commit eb6d06b
Showing 1 changed file with 11 additions and 18 deletions.
29 changes: 11 additions & 18 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,21 +1,17 @@


* [Documentation for PR #11525](docs-pr11525/) (built from [aa47499](https://github.com/cvc5/cvc5/commit/aa47499) @ [PR #11525](https://github.com/cvc5/cvc5/pull/11525), Jan Tue 14, 23:20 UTC)

***


* [Documentation for main](docs-main/) (built from [8dca52e](https://github.com/cvc5/cvc5/commit/8dca52e) @ [main](https://github.com/cvc5/cvc5/tree/main), 20 minutes ago)
* [Documentation for PR #11525](docs-pr11525/) (built from [aa47499](https://github.com/cvc5/cvc5/commit/aa47499) @ [PR #11525](https://github.com/cvc5/cvc5/pull/11525), now)
* [Documentation for PR #11524](docs-pr11524/) (built from [60c629e](https://github.com/cvc5/cvc5/commit/60c629e) @ [PR #11524](https://github.com/cvc5/cvc5/pull/11524), 39 minutes ago)
* [Documentation for PR #11523](docs-pr11523/) (built from [e7addbf](https://github.com/cvc5/cvc5/commit/e7addbf) @ [PR #11523](https://github.com/cvc5/cvc5/pull/11523), 37 minutes ago)
* [Documentation for PR #11522](docs-pr11522/) (built from [2926934](https://github.com/cvc5/cvc5/commit/2926934) @ [PR #11522](https://github.com/cvc5/cvc5/pull/11522), 2 hours ago)
* [Documentation for PR #11518](docs-pr11518/) (built from [e6e1b68](https://github.com/cvc5/cvc5/commit/e6e1b68) @ [PR #11518](https://github.com/cvc5/cvc5/pull/11518), 27 hours ago)
* [Documentation for PR #11517](docs-pr11517/) (built from [bc35d3d](https://github.com/cvc5/cvc5/commit/bc35d3d) @ [PR #11517](https://github.com/cvc5/cvc5/pull/11517), 29 hours ago)
* [Documentation for main](docs-main/) (built from [8dca52e](https://github.com/cvc5/cvc5/commit/8dca52e) @ [main](https://github.com/cvc5/cvc5/tree/main), 3 hours ago)
* [Documentation for PR #11525](docs-pr11525/) (built from [aa47499](https://github.com/cvc5/cvc5/commit/aa47499) @ [PR #11525](https://github.com/cvc5/cvc5/pull/11525), 2 hours ago)
* [Documentation for PR #11524](docs-pr11524/) (built from [60c629e](https://github.com/cvc5/cvc5/commit/60c629e) @ [PR #11524](https://github.com/cvc5/cvc5/pull/11524), 3 hours ago)
* [Documentation for PR #11523](docs-pr11523/) (built from [e7addbf](https://github.com/cvc5/cvc5/commit/e7addbf) @ [PR #11523](https://github.com/cvc5/cvc5/pull/11523), 3 hours ago)
* [Documentation for PR #11522](docs-pr11522/) (built from [2926934](https://github.com/cvc5/cvc5/commit/2926934) @ [PR #11522](https://github.com/cvc5/cvc5/pull/11522), 4 hours ago)
* [Documentation for PR #11518](docs-pr11518/) (built from [e6e1b68](https://github.com/cvc5/cvc5/commit/e6e1b68) @ [PR #11518](https://github.com/cvc5/cvc5/pull/11518), 29 hours ago)
* [Documentation for PR #11517](docs-pr11517/) (built from [bc35d3d](https://github.com/cvc5/cvc5/commit/bc35d3d) @ [PR #11517](https://github.com/cvc5/cvc5/pull/11517), 31 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), 4 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), 3 days 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), 2 days ago)
* [Documentation for PR #11513](docs-pr11513/) (built from [a3c73e6](https://github.com/cvc5/cvc5/commit/a3c73e6) @ [PR #11513](https://github.com/cvc5/cvc5/pull/11513), 6 hours ago)
* [Documentation for PR #11513](docs-pr11513/) (built from [a3c73e6](https://github.com/cvc5/cvc5/commit/a3c73e6) @ [PR #11513](https://github.com/cvc5/cvc5/pull/11513), 8 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), 3 days 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), 4 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), 4 days ago)
Expand All @@ -34,18 +30,15 @@
* [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), 7 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), 5 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), 4 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), 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), 2 days ago)
* [Documentation for PR #11483](docs-pr11483/) (built from [8dd6613](https://github.com/cvc5/cvc5/commit/8dd6613) @ [PR #11483](https://github.com/cvc5/cvc5/pull/11483), 25 hours ago)
* [Documentation for PR #11483](docs-pr11483/) (built from [8dd6613](https://github.com/cvc5/cvc5/commit/8dd6613) @ [PR #11483](https://github.com/cvc5/cvc5/pull/11483), 27 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), 4 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), 7 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), 3 days ago)
* [Documentation for PR #11467](docs-pr11467/) (built from [320e3f0](https://github.com/cvc5/cvc5/commit/320e3f0) @ [PR #11467](https://github.com/cvc5/cvc5/pull/11467), 25 hours ago)
* [Documentation for PR #11467](docs-pr11467/) (built from [320e3f0](https://github.com/cvc5/cvc5/commit/320e3f0) @ [PR #11467](https://github.com/cvc5/cvc5/pull/11467), 28 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), 5 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), 4 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), 8 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), 7 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), 6 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), 7 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), 8 days ago)
* [Documentation for PR #11176](docs-pr11176/) (built from [5b56248](https://github.com/cvc5/cvc5/commit/5b56248) @ [PR #11176](https://github.com/cvc5/cvc5/pull/11176), 22 hours ago)
* [Documentation for PR #11176](docs-pr11176/) (built from [5b56248](https://github.com/cvc5/cvc5/commit/5b56248) @ [PR #11176](https://github.com/cvc5/cvc5/pull/11176), 24 hours ago)

0 comments on commit eb6d06b

Please sign in to comment.