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 10, 2025
1 parent 3ab688c commit c926317
Showing 1 changed file with 14 additions and 18 deletions.
32 changes: 14 additions & 18 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,24 +1,20 @@


* [Documentation for PR #11508](docs-pr11508/) (built from [66321a3](https://github.com/cvc5/cvc5/commit/66321a3) @ [PR #11508](https://github.com/cvc5/cvc5/pull/11508), Jan Thu 09, 22:05 UTC)

***


* [Documentation for main](docs-main/) (built from [7edc7bb](https://github.com/cvc5/cvc5/commit/7edc7bb) @ [main](https://github.com/cvc5/cvc5/tree/main), 56 minutes ago)
* [Documentation for PR #11508](docs-pr11508/) (built from [66321a3](https://github.com/cvc5/cvc5/commit/66321a3) @ [PR #11508](https://github.com/cvc5/cvc5/pull/11508), now)
* [Documentation for PR #11507](docs-pr11507/) (built from [60ef24e](https://github.com/cvc5/cvc5/commit/60ef24e) @ [PR #11507](https://github.com/cvc5/cvc5/pull/11507), 47 minutes ago)
* [Documentation for PR #11506](docs-pr11506/) (built from [ef8f339](https://github.com/cvc5/cvc5/commit/ef8f339) @ [PR #11506](https://github.com/cvc5/cvc5/pull/11506), 2 hours ago)
* [Documentation for PR #11505](docs-pr11505/) (built from [335f92f](https://github.com/cvc5/cvc5/commit/335f92f) @ [PR #11505](https://github.com/cvc5/cvc5/pull/11505), 2 hours ago)
* [Documentation for PR #11504](docs-pr11504/) (built from [6f33b91](https://github.com/cvc5/cvc5/commit/6f33b91) @ [PR #11504](https://github.com/cvc5/cvc5/pull/11504), 7 hours ago)
* [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), 5 hours ago)
* [Documentation for PR #11501](docs-pr11501/) (built from [e9b143f](https://github.com/cvc5/cvc5/commit/e9b143f) @ [PR #11501](https://github.com/cvc5/cvc5/pull/11501), 30 minutes 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), 29 hours 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), 32 hours ago)
* [Documentation for main](docs-main/) (built from [7edc7bb](https://github.com/cvc5/cvc5/commit/7edc7bb) @ [main](https://github.com/cvc5/cvc5/tree/main), 4 hours ago)
* [Documentation for PR #11508](docs-pr11508/) (built from [66321a3](https://github.com/cvc5/cvc5/commit/66321a3) @ [PR #11508](https://github.com/cvc5/cvc5/pull/11508), 3 hours ago)
* [Documentation for PR #11507](docs-pr11507/) (built from [60ef24e](https://github.com/cvc5/cvc5/commit/60ef24e) @ [PR #11507](https://github.com/cvc5/cvc5/pull/11507), 4 hours ago)
* [Documentation for PR #11506](docs-pr11506/) (built from [ef8f339](https://github.com/cvc5/cvc5/commit/ef8f339) @ [PR #11506](https://github.com/cvc5/cvc5/pull/11506), 5 hours ago)
* [Documentation for PR #11505](docs-pr11505/) (built from [335f92f](https://github.com/cvc5/cvc5/commit/335f92f) @ [PR #11505](https://github.com/cvc5/cvc5/pull/11505), 5 hours ago)
* [Documentation for PR #11504](docs-pr11504/) (built from [6f33b91](https://github.com/cvc5/cvc5/commit/6f33b91) @ [PR #11504](https://github.com/cvc5/cvc5/pull/11504), 10 hours ago)
* [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), 9 hours ago)
* [Documentation for PR #11501](docs-pr11501/) (built from [e9b143f](https://github.com/cvc5/cvc5/commit/e9b143f) @ [PR #11501](https://github.com/cvc5/cvc5/pull/11501), 4 hours 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), 33 hours 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), 2 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), 2 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), 28 hours 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), 31 hours 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), 2 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), 4 hours 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), 7 hours ago)
* [Documentation for PR #11493](docs-pr11493/) (built from [f22aba4](https://github.com/cvc5/cvc5/commit/f22aba4) @ [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), 3 days ago)
* [Documentation for PR #11491](docs-pr11491/) (built from [54fa2d1](https://github.com/cvc5/cvc5/commit/54fa2d1) @ [PR #11491](https://github.com/cvc5/cvc5/pull/11491), 3 days ago)
Expand All @@ -36,9 +32,9 @@
* [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), 2 days ago)
* [Documentation for PR #11475](docs-pr11475/) (built from [52844af](https://github.com/cvc5/cvc5/commit/52844af) @ [PR #11475](https://github.com/cvc5/cvc5/pull/11475), 7 days ago)
* [Documentation for PR #11474](docs-pr11474/) (built from [4df6b04](https://github.com/cvc5/cvc5/commit/4df6b04) @ [PR #11474](https://github.com/cvc5/cvc5/pull/11474), 7 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 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), 9 hours 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), 3 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), 2 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), 26 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), 30 hours 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), 2 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), 3 days ago)

0 comments on commit c926317

Please sign in to comment.