* Seal the representation of states * Compile with -principal -warning-error @3
Revert the integration of menhir for the time being. Revert "Cherry pick use of menhir features from branch feature/menhir." Revert "Further simplify Remakefile. Remove some inefficiency in module dependency checking script." Revert "Remove passing $NATIVE on the remake command line of every target, since variable contents are propagated." Revert "Modify configure.in and Remakefile.in to use menhir instead of ocamlyacc."
Cherry pick use of menhir features from branch feature/menhir. Work around a bug in menhir that generates code with the 'lexer' identifier which in turn makes ulex syntax extension choke.
Further simplify Remakefile. Remove some inefficiency in module dependency checking script.
Remove passing $NATIVE on the remake command line of every target, since variable contents are propagated.
Modify configure.in and Remakefile.in to use menhir instead of ocamlyacc. (This only modify the build process, not the parser itself, so the parser is still a plain ocamlyacc file).
Refactor HTML Tracing to not depend on external files (style, javascript). Add a general facility to turn a file into an OCaml string. The content of file.ml.str is turned into let content = "..." in a file file.ml.
Split the formula cache into a top-down and bottom-up cache.
Fix a bug in the build script that was causing some .cmo files to have a false dependency on .cmx files.
Add a target to run tests with the bytecode version of the program.
Update to master version of remake.
Add the .mly and .mll files as dependencies of the generated .ml
Factor Remakefie and add more tests for parallel query composition.
Add a Makefile to drive the build process.
Factorise common bits of Remakefile in tools/ocamldriver.sh
Refactor the build process. Piggyback on remake's dependency tracking to perform a topological sort of the object files, used during linking. This is done by generating a .dep file for each object file keeping in a .dep the transitive closure of its dependencies. Also, packed modules must now be described by: - a directory - a file with the .pack extension, with the same basename as the directory, listing the module names (relative to the directory containing the .ml files)
Add more tests (broken, needs a refactoring of the build script)
Add tests for parallel query evaluation.
Change command line options: * -d, --doc set the input document (default to stdin) * -o, --out set the output file (default to stdout)
Migrate to new remake.