Adding changelog

DeepSec-prover · Dec 19, 2018 · 622d927 · 622d927
1 parent 33bc479
commit 622d927
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,6 +1,6 @@
 EXECUTABLE = deepsec
 NAME_PROGRAMME = DeepSec
-VERSION = 1.0alpha
+VERSION = 1.0
 SOURCE = Source/
 ### Compiler
 
@@ -22,7 +22,7 @@ INCLUDES_MOD = str.$(CMXA) unix.$(CMXA)
 INCLUDES = -I $(SOURCE)core_library -I $(SOURCE)subterms -I $(SOURCE)parser -I $(SOURCE)distributed
 # Compiler options specific to OCaml version >= 4
 V4OPTIONS=$(if $(shell $(OCAMLOPT) -version | grep '^4'),-bin-annot)
-OCAMLFLAGS = $(INCLUDES) $(V4OPTIONS) -w Ae $(INCLUDES_MOD)
+OCAMLFLAGS = $(INCLUDES) $(V4OPTIONS) -w +a-44-e $(INCLUDES_MOD)
 
 ### Sources
 

diff --git a/changelog b/changelog
@@ -0,0 +1,6 @@
+This file summarizes the most important changes between versions
+of DeepSec.
+
+Version 1.0 (19/12/2018)
+
+  - Initial release of DeepSec