Merge pull request #18 : Elpi 1.0

elpi 1.0

Author: Enrico

.gitattributes

@@ -0,0 +1 @@
+*.elpi linguist-language=prolog

.gitignore

@@ -8,6 +8,8 @@
 *.cmti
 *.cma
 
+findlib
+
 *~
 .*.swp
 
@@ -16,8 +18,8 @@
 .depends.byte
 .depends.parser.byte
 
-elpi
-elpi.byte
+./elpi
+./elpi.*
 trace_ppx
 .merlin
 elpi_config.ml

.merlin.in

@@ -2,3 +2,4 @@ S src/
 B src/
 PKG ppx_deriving.std ppx_deriving.runtime
 PKG camlp5
+PKG re

.travis.yml

@@ -5,7 +5,7 @@ env:
  global:
  - OCAML_MIN=4.02.3
  - OCAML_MAX=4.06.0
- - DEPS="camlp5 ocamlfind ppx_tools_versioned ppx_deriving ocaml-migrate-parsetree"
+ - DEPS="camlp5 ocamlfind ppx_tools_versioned ppx_deriving ocaml-migrate-parsetree re"
  - JOBS=2
 
 install:
@@ -68,7 +68,7 @@ matrix:
     os: osx
     before_install:
     - brew update
-    - brew install opam
+    - brew install --ignore-dependencies opam
     - brew install gnu-time
     - brew install lua51
     cache:
@@ -84,7 +84,7 @@ matrix:
     os: osx
     before_install:
     - brew update
-    - brew install opam
+    - brew install --ignore-dependencies opam
     - brew install gnu-time
     - brew install lua51
     cache:
@@ -117,5 +117,3 @@ matrix:
     - if ocamlfind query elpi; then false; else true; fi
     - if which elpi; then false; else true; fi
 
-  allow_failures:
-  - env: TEST="osx build $OCAML_MIN"

Changelog.md

@@ -1,20 +1,16 @@
-
-## Version 1 (Jan 2018?)
+## Version 1.0 (April 2018)
 Second public release, developed in tandem with coq-elpi and matita-elpi.
 
-The programming language features constraints (suspended goals) and
+The programming language features syntactic constraints (suspended goals) and
 a meta language (inspired by CHR) to manipulate the constrain store.
 
 There is an API for clients letting one drive the interpreter and
 extend the set of built-in predicates, register quotations and
-antiquotations, etc.
+anti-quotations, etc.
 
 The software is now built using findlib into a library.
 The standalone interpreter is just a regular client of the API.
 
-All language features are documented in the [ELPI.md](ELPI.md) file.
-The client API is documented in [elpi_API.mli](src/elpi_API.mli).
-
 ## LPAR 2015 (Jul 12, 2015)
-First public release accompaining the paper 
+First public release accompanying the paper 
 [ELPI: fast, Embeddable, λProlog Interpreter](https://hal.inria.fr/hal-01176856/)