release version 19.1.0

fraunhoferfokus · Oct 18, 2019 · cb67e3f · cb67e3f
1 parent d8b88b3
commit cb67e3f
Show file tree

Hide file tree

Showing 693 changed files with 3,977 additions and 3,140 deletions.
diff --git a/ACSL-by-Example.pdf b/ACSL-by-Example.pdf
diff --git a/README.md b/README.md
@@ -14,15 +14,15 @@ The directory
 contains the complete C source code including ACSL annotations of the examples.
 
 This version of *ACSL by Example* is intended for
-Frama-C 19.0 and relies among others on the following sofware packages.
+Frama-C 19.1 and relies among others on the following sofware packages.
 
 *Package* | *Version*
 --------- | ---------
  Why3     | 1.2.0
- Alt-Ergo | 2.0.0
+ Alt-Ergo | 2.3.0
  CVC4     | 1.6
  CVC3     | 2.4.1
- Z3       | 4.8.4
+ Z3       | 4.8.6
  E Prover | 2.3
  Coq      | 8.9.1
 

diff --git a/StandardAlgorithms/.gitignore b/StandardAlgorithms/.gitignore
@@ -1,4 +1,15 @@
+
 *_test
 *.tex
 coq/driver
 astraver.why3.conf
+
+*.simple.c
+*.simple.h
+
+*.separated.c
+*.separated.h
+
+*.union.c
+*.union.h
+
diff --git a/StandardAlgorithms/All/Makefile b/StandardAlgorithms/All/Makefile
diff --git a/StandardAlgorithms/All/ZeroC/Client.cpp b/StandardAlgorithms/All/ZeroC/Client.cpp
diff --git a/StandardAlgorithms/All/ZeroC/Makefile b/StandardAlgorithms/All/ZeroC/Makefile
diff --git a/StandardAlgorithms/All/ZeroC/Printer.ice b/StandardAlgorithms/All/ZeroC/Printer.ice