From c926317da9d908b0b32075ca3d271f299b998eb0 Mon Sep 17 00:00:00 2001 From: DocBot Date: Fri, 10 Jan 2025 01:32:27 +0000 Subject: [PATCH] Update README.md --- README.md | 32 ++++++++++++++------------------ 1 file changed, 14 insertions(+), 18 deletions(-) diff --git a/README.md b/README.md index 9083da3158..45394d2687 100644 --- a/README.md +++ b/README.md @@ -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) @@ -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)