/[mojave]/metaprl
ViewVC logotype

Index of /metaprl

Files shown:7
Directory revision: 3568 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
bin/  2843  21 years  nogin   Remove bin/convert on "make clean"
clib/  3519  19 years  nogin   String_util cleanup: - Removed some duplicated and unused string code. - Remove…
debug/  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
doc/  3541  19 years  nogin   Added a "favicon" to default.html install.html (Mozilla-only since IE wants them…
editor/  3562  19 years  emre   So, I've defined the compile function in Mp_mc_compile to actually take an Fir.p…
ensemble/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
filter/  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
lib/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
library/  3429  19 years  nogin   - Made sure that div by zero and mod zero raise proper exceptions in Mp_big_int,…
mk/  3429  19 years  nogin   - Made sure that div by zero and mod zero raise proper exceptions in Mp_big_int,…
mllib/  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
patches/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
refiner/  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
theories/  3568  19 years  xiny   Added the definition for setbvd_prop. "set_bvd" and "setbvd_prop" are both metho…
util/  3533  19 years  emre   I've renamed theories/mc/fir_eval to use my (attrocious) prefix so that a file n…
.cpdir  2669  22 years  jyh   This is a major modification to how parameters are handled. 1. All level parmete…
.cprc  2669  22 years  jyh   This is a major modification to how parameters are handled. 1. All level parmete…
BUGS  3441  19 years  nogin   removed the bugs and todo's that were already fixed.
Conscript  3551  19 years  emre   Test cases for the "connection" code are pretty much complete. I've fixed a few …
Construct  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
Makefile  3450  19 years  nogin   Added some additional info to comments in JProver files.
README  3099  20 years  krupski   The reference to editor/ml/QUICKSTART is added. It is a short summary for the be…

Properties

Name Value
svn:ignore update commit .cprc .cpdir .consign

  ViewVC Help
Powered by ViewVC 1.1.26