Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
authorblanchet
Thu, 24 Aug 2017 10:47:56 +0200
changeset 66493 c94c55cc8d86
parent 66492 d7206afe2d28
child 66494 8645dc296dca
upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Aug 23 22:05:53 2017 +0200
+++ b/Admin/components/components.sha1	Thu Aug 24 10:47:56 2017 +0200
@@ -10,6 +10,7 @@
 b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9  cvc4-1.5pre-3.tar.gz
 76ff6103b8560f0e2778bbfbdb05f5fa18f850b7  cvc4-1.5pre-4.tar.gz
 03aec2ec5757301c9df149f115d1f4f1d2cafd9e  cvc4-1.5pre.tar.gz
+d70bfbe63590153c07709dea7084fbc39c669841  cvc4-1.5-1.tar.gz
 3682476dc5e915cf260764fa5b86f1ebdab57507  cvc4-1.5.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
--- a/Admin/components/main	Wed Aug 23 22:05:53 2017 +0200
+++ b/Admin/components/main	Thu Aug 24 10:47:56 2017 +0200
@@ -1,7 +1,7 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.1
 csdp-6.x
-cvc4-1.5
+cvc4-1.5-1
 e-2.0
 isabelle_fonts-20160830
 jdk-8u144
isabelle