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 16, 2025
1 parent d32f056 commit 4f61a37
Showing 1 changed file with 18 additions and 27 deletions.
45 changes: 18 additions & 27 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,31 +1,27 @@


* [Documentation for PR #11534](docs-pr11534/) (built from [4191eb8](https://github.com/cvc5/cvc5/commit/4191eb8) @ [PR #11534](https://github.com/cvc5/cvc5/pull/11534), Jan Wed 15, 23:24 UTC)

***


* [Documentation for main](docs-main/) (built from [3de6b61](https://github.com/cvc5/cvc5/commit/3de6b61) @ [main](https://github.com/cvc5/cvc5/tree/main), 26 minutes ago)
* [Documentation for PR #11534](docs-pr11534/) (built from [4191eb8](https://github.com/cvc5/cvc5/commit/4191eb8) @ [PR #11534](https://github.com/cvc5/cvc5/pull/11534), now)
* [Documentation for PR #11533](docs-pr11533/) (built from [6d4c784](https://github.com/cvc5/cvc5/commit/6d4c784) @ [PR #11533](https://github.com/cvc5/cvc5/pull/11533), 8 minutes ago)
* [Documentation for PR #11532](docs-pr11532/) (built from [a53c29c](https://github.com/cvc5/cvc5/commit/a53c29c) @ [PR #11532](https://github.com/cvc5/cvc5/pull/11532), 5 hours ago)
* [Documentation for PR #11531](docs-pr11531/) (built from [40c838c](https://github.com/cvc5/cvc5/commit/40c838c) @ [PR #11531](https://github.com/cvc5/cvc5/pull/11531), 5 hours ago)
* [Documentation for PR #11530](docs-pr11530/) (built from [ee5e154](https://github.com/cvc5/cvc5/commit/ee5e154) @ [PR #11530](https://github.com/cvc5/cvc5/pull/11530), 7 hours ago)
* [Documentation for PR #11529](docs-pr11529/) (built from [a0c7c49](https://github.com/cvc5/cvc5/commit/a0c7c49) @ [PR #11529](https://github.com/cvc5/cvc5/pull/11529), 7 hours ago)
* [Documentation for PR #11528](docs-pr11528/) (built from [0a26bd6](https://github.com/cvc5/cvc5/commit/0a26bd6) @ [PR #11528](https://github.com/cvc5/cvc5/pull/11528), 9 hours ago)
* [Documentation for PR #11527](docs-pr11527/) (built from [b38c9fa](https://github.com/cvc5/cvc5/commit/b38c9fa) @ [PR #11527](https://github.com/cvc5/cvc5/pull/11527), 9 hours ago)
* [Documentation for PR #11526](docs-pr11526/) (built from [5cb4b1c](https://github.com/cvc5/cvc5/commit/5cb4b1c) @ [PR #11526](https://github.com/cvc5/cvc5/pull/11526), 5 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), 24 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), 25 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), 25 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), 26 hours ago)
* [Documentation for PR #11519](docs-pr11519/) (built from [0811ad4](https://github.com/cvc5/cvc5/commit/0811ad4) @ [PR #11519](https://github.com/cvc5/cvc5/pull/11519), 4 hours ago)
* [Documentation for main](docs-main/) (built from [3de6b61](https://github.com/cvc5/cvc5/commit/3de6b61) @ [main](https://github.com/cvc5/cvc5/tree/main), 3 hours ago)
* [Documentation for PR #11534](docs-pr11534/) (built from [4191eb8](https://github.com/cvc5/cvc5/commit/4191eb8) @ [PR #11534](https://github.com/cvc5/cvc5/pull/11534), 2 hours ago)
* [Documentation for PR #11533](docs-pr11533/) (built from [6d4c784](https://github.com/cvc5/cvc5/commit/6d4c784) @ [PR #11533](https://github.com/cvc5/cvc5/pull/11533), 2 hours ago)
* [Documentation for PR #11532](docs-pr11532/) (built from [a53c29c](https://github.com/cvc5/cvc5/commit/a53c29c) @ [PR #11532](https://github.com/cvc5/cvc5/pull/11532), 8 hours ago)
* [Documentation for PR #11531](docs-pr11531/) (built from [40c838c](https://github.com/cvc5/cvc5/commit/40c838c) @ [PR #11531](https://github.com/cvc5/cvc5/pull/11531), 7 hours ago)
* [Documentation for PR #11530](docs-pr11530/) (built from [ee5e154](https://github.com/cvc5/cvc5/commit/ee5e154) @ [PR #11530](https://github.com/cvc5/cvc5/pull/11530), 9 hours ago)
* [Documentation for PR #11529](docs-pr11529/) (built from [a0c7c49](https://github.com/cvc5/cvc5/commit/a0c7c49) @ [PR #11529](https://github.com/cvc5/cvc5/pull/11529), 9 hours ago)
* [Documentation for PR #11528](docs-pr11528/) (built from [0a26bd6](https://github.com/cvc5/cvc5/commit/0a26bd6) @ [PR #11528](https://github.com/cvc5/cvc5/pull/11528), 11 hours ago)
* [Documentation for PR #11527](docs-pr11527/) (built from [b38c9fa](https://github.com/cvc5/cvc5/commit/b38c9fa) @ [PR #11527](https://github.com/cvc5/cvc5/pull/11527), 11 hours ago)
* [Documentation for PR #11526](docs-pr11526/) (built from [5cb4b1c](https://github.com/cvc5/cvc5/commit/5cb4b1c) @ [PR #11526](https://github.com/cvc5/cvc5/pull/11526), 7 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), 26 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), 27 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), 27 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), 28 hours ago)
* [Documentation for PR #11519](docs-pr11519/) (built from [0811ad4](https://github.com/cvc5/cvc5/commit/0811ad4) @ [PR #11519](https://github.com/cvc5/cvc5/pull/11519), 6 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), 2 days 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), 2 days 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), 5 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), 4 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), 3 days ago)
* [Documentation for PR #11513](docs-pr11513/) (built from [1b50ad3](https://github.com/cvc5/cvc5/commit/1b50ad3) @ [PR #11513](https://github.com/cvc5/cvc5/pull/11513), 3 hours ago)
* [Documentation for PR #11513](docs-pr11513/) (built from [1b50ad3](https://github.com/cvc5/cvc5/commit/1b50ad3) @ [PR #11513](https://github.com/cvc5/cvc5/pull/11513), 5 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), 4 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), 5 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), 5 days ago)
Expand All @@ -39,21 +35,16 @@
* [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), 5 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), 7 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), 7 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), 8 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), 7 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), 8 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), 6 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), 5 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), 3 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), 2 days 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), 5 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), 8 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), 4 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), 2 days 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), 6 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), 5 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), 8 days ago)
* [Documentation for PR #11429](docs-pr11429/) (built from [2aa4fb4](https://github.com/cvc5/cvc5/commit/2aa4fb4) @ [PR #11429](https://github.com/cvc5/cvc5/pull/11429), 2 hours ago)
* [Documentation for PR #11429](docs-pr11429/) (built from [2aa4fb4](https://github.com/cvc5/cvc5/commit/2aa4fb4) @ [PR #11429](https://github.com/cvc5/cvc5/pull/11429), 4 hours 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), 7 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), 8 days ago)
* [Documentation for PR #11176](docs-pr11176/) (built from [2b99a8c](https://github.com/cvc5/cvc5/commit/2b99a8c) @ [PR #11176](https://github.com/cvc5/cvc5/pull/11176), 21 hours ago)
* [Documentation for PR #11176](docs-pr11176/) (built from [2b99a8c](https://github.com/cvc5/cvc5/commit/2b99a8c) @ [PR #11176](https://github.com/cvc5/cvc5/pull/11176), 23 hours ago)

0 comments on commit 4f61a37

Please sign in to comment.