More changes for support of deserialized modules. Cache files can be given on command line (e.g. Prims.cache instead of prims.fst). Cache files are written in dir FSTAR_HOME/cache. A temporary (until the feature is complete) command line switch --serialize_mods. A dummy serialization module for boot test case (syntax for JSON serialization in ssyntax.fs is F# specific).
merge and conflict resolution in options.fs
Makefile change for mono build
make targets for using cache
Merge branch 'master' of https://github.com/FStarLang/FStar
expanding abbreviations for function types in SMT encoding to properly handle partial applications
tweaking axioms for data types; weights for recursive quantifiers; progress on stlc.fst ... still not done though
OCaml backend / check point
more stlc
stlc verifies
STLC verified, other tweaks and bug fixes
This is really awesome
Little cleanup in stlc
OCaml backend / checkpoint
Merge branches 'master', 'master' and 'master' of github.com:nikswamy/FStar
OCaml backend / checkpoint
OCaml backend / checkpoint
A bit more on vectors
Merge branch 'master' of https://github.com/FStarLang/FStar
tentative fix for bug #49