Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-06 14:20:46 -0700 (Wed, 06 Aug 2003)
Revision: 139
Log message:
Added some support for sequent operations.
subC now works correctly for sequents, but the sequent test is in the
inner loop, so it will be a little slower.
Haven't changed higherC yet.
Added sequent support in Term_op_ds.{map_up,map_down}.
| Changes | Path |
| +1 -0 | libmojave/stdlib/lm_array_linear_set.ml |
| +2 -1 | libmojave/stdlib/lm_linear_set_sig.mlz |
| +9 -0 | libmojave/stdlib/lm_splay_linear_set.ml |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-12 12:52:40 -0700 (Tue, 12 Aug 2003)
Revision: 140
Log message:
Turned off the hyp check so that we can at least see the sequents.
However, it looks like my hack in Unify_mm doesn't work like we want.
| Changes | Path |
| +12 -6 | libmojave/util/lm_symbol.ml |
Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-19 20:46:20 -0700 (Tue, 19 Aug 2003)
Revision: 141
Log message:
- Unification should now give something slightly resembling meaningful error messages.
- Minor clean-ups of recently committed code.
| Changes | Path |
| +2 -0 | libmojave/util/lm_symbol.ml |
| +12 -11 | libmojave/util/lm_symbol.mli |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-19 21:34:11 -0700 (Tue, 19 Aug 2003)
Revision: 143
Log message:
Added better support for win32. The main changes are for the C files,
where a lot of support (like readline, ncurses) is missing.
| Changes | Path |
| +5 -3 | libmojave/cutil/OMakefile |
| +16 -3 | libmojave/cutil/lm_float.c |
| +20 -0 | libmojave/cutil/lm_printf.c |
| +10 -10 | libmojave/cutil/lm_raw.c |
| +47 -33 | libmojave/cutil/lm_rusage.c |
Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-20 19:51:55 -0700 (Wed, 20 Aug 2003)
Revision: 146
Log message:
Moving [o]make variable defaults into a shared file mk/defaults.
This should (more-or-less) fix bug 34.
| Changes | Path |
| +0 -3 | libmojave/cutil/OMakefile |
Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-27 12:38:38 -0700 (Wed, 27 Aug 2003)
Revision: 153
Log message:
- Removed (using the util/clean-opens script) approx. 2400 unneeded "open"
statements. This will hopefully reduce the dependency tree size, reduce
the dependency analysis time during compilation and possibly speed up
some partial compilations.
- Removed a number of blank lines (MetaPRL policy is to try not to have more
than one blank line in a row)
- A few minor changes to better disambiguate cases where two modules declare
a type with the same name and both modules are opened.