Most recent builds
| File | Link | Last updated |
|---|---|---|
| Source tarball | twelf-src.tar.gz | Thu, 28 Aug 2008 05:49:19 -0400 |
| Linux binary, compiled with MLton | twelf-linux.tar.gz | Thu, 28 Aug 2008 05:52:27 -0400 |
| Windows installer | twelf.exe | Fri, 16 Feb 2007 17:20:23 -0500 |
If the files above do not work or if there are any error messages from the below scripts, contact Rob Simmons at rjsimmon AT cs DOT cmu DOT edu.
Status messages from the building script
Thu Aug 28 05:52:27 EDT 2008 Build script complete; exiting
Most recent regression test output
Thu Aug 28 06:08:42 EDT 2008 === Compiling regression test package in MLton === 143.37 real 135.03 user === Running regression test in MLton === Test: examples/ccc/test.cfg... OK. Test: examples/church-rosser/test.cfg... OK. Test: examples/compile/cls/test.cfg... OK. Test: examples/compile/cpm/test.cfg... OK. Test: examples/compile/cps/test.cfg... OK. Test: examples/compile/cxm/test.cfg... OK. Test: examples/compile/debruijn/test.cfg... OK. Test: examples/compile/debruijn1/test.cfg... OK. Test: examples/cpsocc/test.cfg... OK. Test: examples/cut-elim/test.cfg... OK. Test: examples/fol/test.cfg... OK. Test: examples/guide/test.cfg... OK. Test: examples/handbook/test.cfg... OK. Test: examples/incll/test.cfg... OK. Test: examples/kolm/test.cfg... OK. Test Unsafe: examples/lp/test.cfg... OK. Test: examples/lp-horn/test.cfg... OK. Test: examples/mini-ml/test.cfg... OK. Test: examples/polylam/test.cfg... OK. Test: examples/prop-calc/test.cfg... OK. Test: examples-clp/arith/test.cfg... OK. Test: examples-clp/base/test.cfg... OK. Test: examples-clp/crypt/test.cfg... OK. Test: examples-clp/integers/test.cfg... OK. Test: examples-clp/laplace/test.cfg... OK. Test: examples-clp/lists/test.cfg... OK. Test: examples-clp/mortgage/test.cfg... OK. Test: examples-clp/pelletier/test.cfg... OK. Test: examples-clp/sieve/test.cfg... OK. Test complete with no errors 26.70 real 24.00 user === Running TALT === Test: /home/home/rjsimmon/regression/talt-lf/sources.cfg... OK. Test complete with no errors 787.81 real 775.34 user === Running TS-LF (Definition of Standard ML) === Test: /home/home/rjsimmon/regression/ts-lf/sources.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on /home/home/rjsimmon/regression/ts-lf/sources.cfg ... ABORT! Test complete with 1 error Command exited with non-zero status 1 1.52 real 0.90 user === Running misc. public code === Test: /home/home/rjsimmon/regression/poplmark/sources.cfg... OK. Test: /home/home/rjsimmon/regression/wikithings/linearlogic.cfg... OK. Test: /home/home/rjsimmon/regression/wikithings/lily.cfg... OK. Test complete with no errors 15.17 real 13.90 user ==== Completed! ===