From 216306cc0452cc72bd3d910f3e0bce7d78b2d5de Mon Sep 17 00:00:00 2001 From: Guillaume ALLAIS Date: Fri, 23 Jul 2021 11:06:20 +0100 Subject: [PATCH] [ update ] use latest agdarsec release --- .github/workflows/ci-ubuntu.yml | 2 +- README.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index 3a2004d..899d9fa 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -50,7 +50,7 @@ on: env: AGDA_COMMIT: tags/v2.6.2 STDLIB_VERSION: 1.7 - AGDARSEC_VERSION: 03b8c4ec57b8bc9517b5bc2fca8a540e1ec858f0 + AGDARSEC_COMMIT: tags/v0.5.0 GHC_VERSION: 8.6.5 CABAL_VERSION: 3.2.0.0 diff --git a/README.md b/README.md index b9e0804..b0138bc 100644 --- a/README.md +++ b/README.md @@ -69,7 +69,7 @@ Right now, Schmitty supports three theories—[Core][SMT.Theories.Core], [Ints][ - [agda][agda] (>= [v2.6.2][agda-version]) - [agda-stdlib][agda-stdlib] (>= [v1.7][agda-stdlib-version]) -- [agdarsec][agdarsec] ([master-03b8c4e][agdarsec-version]) +- [agdarsec][agdarsec] ([v0.5.0][agdarsec-version]) Note that the path to `z3` must be added to the list of trusted executables in Agda. See [manual.](https://agda.readthedocs.io/en/latest/language/reflection.html?highlight=trusted#system-calls) # Roadmap @@ -112,7 +112,7 @@ Note that the path to `z3` must be added to the list of trusted executables in A [agda-stdlib]: https://github.com/agda/agda-stdlib [agda-stdlib-version]: https://github.com/agda/agda-stdlib/releases/tag/v1.7 [agdarsec]: https://github.com/gallais/agdarsec -[agdarsec-version]: https://github.com/gallais/agdarsec/commit/03b8c4ec57b8bc9517b5bc2fca8a540e1ec858f0 +[agdarsec-version]: https://github.com/gallais/agdarsec/releases/tag/v0.5.0 [FloatingPoint]: http://www.philipp.ruemmer.org/publications/smt-fpa.pdf [IsabelleHol]: http://www21.in.tum.de/~boehmes/proofrec.pdf [SatSolver]: https://github.com/wenkokke/schmitty/blob/master/extra/Kanso/Boolean/SatSolver.agda