Merge pull request #31 from gallais/agdarsec-release

[ update ] use latest agdarsec release

.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

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