Most recent builds
| File | Link | Last updated |
|---|---|---|
| Source tarball | twelf-src.tar.gz | Sat, 19 Mar 2011 13:44:55 +0000 |
| Linux binary, compiled with MLton | twelf-linux.tar.gz | Sat, 19 Mar 2011 13:44:57 +0000 |
| OS/X disk image, compiled with MLton | twelf-osx.dmg | Sat, 19 Mar 2011 12:28:20 +0000 |
| Windows installer | twelf.exe | Wed, 01 Sep 2010 15:34:43 +0000 |
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 scripts
=== Linux: ===
Build script complete; exiting
=== OSX: ===
Build script complete; exiting
bunzip2 -k template.dmg.bz2
cp template.dmg wc.dmg
--------------------- Creating Disk Image --------------------
mkdir -p wc
hdiutil attach "wc.dmg" -noautoopen -quiet -mountpoint "wc"
for i in Twelf/LICENSE Twelf/bin Twelf/emacs Twelf/vim Twelf/examples; do \
rm -rf "wc/$i"; \
ditto -rsrc "../$i" "wc/$i"; \
done
WC_DEV=`hdiutil info | grep "wc" | grep "Apple_HFS" | awk '{print $1}'` && \
hdiutil detach $WC_DEV -force
"disk2" unmounted.
"disk2" ejected.
rm -f "Twelf.dmg"
hdiutil convert "wc.dmg" -quiet -format UDZO -imagekey zlib-level=9 -o "Twelf.dmg"
rm -rf wc
Most recent regression test output
./regression.sh: line 16: [: =: unary operator expected === Compiling regression test package in MLton === make: Entering directory `/home/rjsimmon/twelf/trunk' rm -Rf src/frontend/buildid.sml bin/buildid >src/frontend/buildid.sml mlton -default-ann 'nonexhaustiveMatch ignore' -output bin/twelf-regression TEST/mlton-regression.cm make: Leaving directory `/home/rjsimmon/twelf/trunk' === Running regression test in MLton === Test: ../examples/ccc/test.cfg...OK. Test: ../examples/ccc/test.cfg...Double checked. Test: ../examples/church-rosser/test.cfg...OK. Test: ../examples/church-rosser/test.cfg...Double checked. Test: ../examples/compile/cls/test.cfg...OK. Test: ../examples/compile/cls/test.cfg...Double checked. Test: ../examples/compile/cpm/test.cfg...OK. Test: ../examples/compile/cpm/test.cfg...Double checked. Test: ../examples/compile/cps/test.cfg...OK. Test: ../examples/compile/cps/test.cfg...Double checked. Test: ../examples/compile/cxm/test.cfg...OK. Test: ../examples/compile/cxm/test.cfg...Double checked. Test: ../examples/compile/debruijn/test.cfg...OK. Test: ../examples/compile/debruijn/test.cfg...Double checked. Test: ../examples/compile/debruijn1/test.cfg...OK. Test: ../examples/compile/debruijn1/test.cfg...Double checked. Test: ../examples/cpsocc/test.cfg...OK. Test: ../examples/cpsocc/test.cfg...Double checked. Test: ../examples/cut-elim/test.cfg...OK. Test: ../examples/cut-elim/test.cfg...Double checked. Test: ../examples/fol/test.cfg...OK. Test: ../examples/fol/test.cfg...Double checked. Test: ../examples/guide/test.cfg...OK. Test: ../examples/guide/test.cfg...Double checked. Test: ../examples/handbook/test.cfg...OK. Test: ../examples/handbook/test.cfg...Double checked. Test: ../examples/incll/test.cfg...OK. Test: ../examples/incll/test.cfg...Double checked. Test: ../examples/kolm/test.cfg...OK. Test: ../examples/kolm/test.cfg...Double checked. Test Unsafe: ../examples/lp/test.cfg...OK. Test Unsafe: ../examples/lp/test.cfg...Double checked. Test: ../examples/lp-horn/test.cfg...OK. Test: ../examples/lp-horn/test.cfg...Double checked. Test: ../examples/mini-ml/test.cfg...OK. Test: ../examples/mini-ml/test.cfg...Double checked. Test: ../examples/polylam/test.cfg...OK. Test: ../examples/polylam/test.cfg...Double checked. Test: ../examples/prop-calc/test.cfg...OK. Test: ../examples/prop-calc/test.cfg...Double checked. Test: ../examples-clp/arith/test.cfg...OK. Test: ../examples-clp/arith/test.cfg...Double checked. Test: ../examples-clp/base/test.cfg...OK. Test: ../examples-clp/base/test.cfg...Double checked. Test: ../examples-clp/crypt/test.cfg...OK. Test: ../examples-clp/crypt/test.cfg...Double checked. Test: ../examples-clp/integers/test.cfg...OK. Test: ../examples-clp/integers/test.cfg...Double checked. Test: ../examples-clp/laplace/test.cfg...OK. Test: ../examples-clp/laplace/test.cfg...Double checked. Test: ../examples-clp/lists/test.cfg...OK. Test: ../examples-clp/lists/test.cfg...Double checked. Test: ../examples-clp/mortgage/test.cfg...OK. Test: ../examples-clp/mortgage/test.cfg...Double checked. Test: ../examples-clp/pelletier/test.cfg...OK. Test: ../examples-clp/pelletier/test.cfg...Double checked. Test: ../examples-clp/sieve/test.cfg...OK. Test: ../examples-clp/sieve/test.cfg...Double checked. Test complete with no errors 26.16 real 24.42 user === Running Karl Crary's 'papers' page === Test: crary/explicit/excon.cfg...OK. Test: crary/explicit/excon.cfg...Double checked. Test: crary/explicit/excon-rev.cfg...OK. Test: crary/explicit/excon-rev.cfg...Double checked. Test: crary/mldef-alpha/sources.cfg...OK. Test: crary/mldef-alpha/sources.cfg...Double checked. Test: crary/standard/standard.cfg...OK. Test: crary/standard/standard.cfg...Double checked. Test: crary/substruct/linear.cfg...OK. Test: crary/substruct/linear.cfg...Double checked. Test: crary/substruct/lineard.cfg...OK. Test: crary/substruct/lineard.cfg...Double checked. Test: crary/substruct/modal.cfg...OK. Test: crary/substruct/modal.cfg...Double checked. Test: crary/synsing/sources.cfg...OK. Test: crary/synsing/sources.cfg...Double checked. Test: crary/tslf/sources.cfg...OK. Test: crary/tslf/sources.cfg...Double checked. Test complete with no errors 151.57 real 127.95 user === Running misc. public code === Test: ../TEST/poplmark/sources.cfg...OK. Test: ../TEST/poplmark/sources.cfg...Double checked. Test: ../TEST/wiki-misc/linearlogic.cfg...OK. Test: ../TEST/wiki-misc/linearlogic.cfg...Double checked. Test: ../TEST/wiki-misc/lily.cfg...OK. Test: ../TEST/wiki-misc/lily.cfg...Double checked. Test complete with no errors 15.35 real 14.77 user === Running Twelf Wiki literate examples === Test: ../TEST/wiki-examples/Big_algebraic_solver.cfg...OK. Test: ../TEST/wiki-examples/Big_algebraic_solver.cfg...Double checked. Test: ../TEST/wiki-examples/Bracket_abstraction.cfg...OK. Test: ../TEST/wiki-examples/Bracket_abstraction.cfg...Double checked. Test: ../TEST/wiki-examples/C_machine_and_focusing.cfg...OK. Test: ../TEST/wiki-examples/C_machine_and_focusing.cfg...Double checked. Test: ../TEST/wiki-examples/C_machine_and_focusing_(composition_in_machine_state).cfg...OK. Test: ../TEST/wiki-examples/C_machine_and_focusing_(composition_in_machine_state).cfg...Double checked. Test: ../TEST/wiki-examples/C_machine_and_focusing_(internalized_compositon).cfg...OK. Test: ../TEST/wiki-examples/C_machine_and_focusing_(internalized_compositon).cfg...Double checked. Test: ../TEST/wiki-examples/Church-Rosser_(w__catch-all_case).cfg...OK. Test: ../TEST/wiki-examples/Church-Rosser_(w__catch-all_case).cfg...Double checked. Test: ../TEST/wiki-examples/Church-Rosser_(w__identity_reduction).cfg...OK. Test: ../TEST/wiki-examples/Church-Rosser_(w__identity_reduction).cfg...Double checked. Test: ../TEST/wiki-examples/Church-Rosser_via_complete_development.cfg...OK. Test: ../TEST/wiki-examples/Church-Rosser_via_complete_development.cfg...Double checked. Test: ../TEST/wiki-examples/Concrete_representation.cfg...OK. Test: ../TEST/wiki-examples/Concrete_representation.cfg...Double checked. Test: ../TEST/wiki-examples/Correctness_of_mergesort.cfg...OK. Test: ../TEST/wiki-examples/Correctness_of_mergesort.cfg...Double checked. Test Unsafe: ../TEST/wiki-examples/Double-negation_translation.cfg...OK. Test Unsafe: ../TEST/wiki-examples/Double-negation_translation.cfg...Double checked. Test: ../TEST/wiki-examples/Evaluation_contexts.cfg...OK. Test: ../TEST/wiki-examples/Evaluation_contexts.cfg...Double checked. Test: ../TEST/wiki-examples/Focusing.cfg...OK. Test: ../TEST/wiki-examples/Focusing.cfg...Double checked. Test: ../TEST/wiki-examples/HOAS_nat_bijection.cfg...OK. Test: ../TEST/wiki-examples/HOAS_nat_bijection.cfg...Double checked. Test Unsafe: ../TEST/wiki-examples/Hereditary_substitution_with_a_zipper.cfg...OK. Test Unsafe: ../TEST/wiki-examples/Hereditary_substitution_with_a_zipper.cfg...Double checked. Test: ../TEST/wiki-examples/Indexed_HOAS_nat_bijection.cfg...OK. Test: ../TEST/wiki-examples/Indexed_HOAS_nat_bijection.cfg...Double checked. Test: ../TEST/wiki-examples/Iterated_Let_Bindings.cfg...OK. Test: ../TEST/wiki-examples/Iterated_Let_Bindings.cfg...Double checked. Test: ../TEST/wiki-examples/Letrec.cfg...OK. Test: ../TEST/wiki-examples/Letrec.cfg...Double checked. Test Unsafe: ../TEST/wiki-examples/MinMLToMinHaskell.cfg...OK. Test Unsafe: ../TEST/wiki-examples/MinMLToMinHaskell.cfg...Double checked. Test: ../TEST/wiki-examples/Modally_Propositional_Logic.cfg...OK. Test: ../TEST/wiki-examples/Modally_Propositional_Logic.cfg...Double checked. Test: ../TEST/wiki-examples/Modes_of_use.cfg...OK. Test: ../TEST/wiki-examples/Modes_of_use.cfg...Double checked. Test: ../TEST/wiki-examples/Mutable_state.cfg...OK. Test: ../TEST/wiki-examples/Mutable_state.cfg...Double checked. Test: ../TEST/wiki-examples/Natural_numbers_with_inequality.cfg...OK. Test: ../TEST/wiki-examples/Natural_numbers_with_inequality.cfg...Double checked. Test: ../TEST/wiki-examples/Negation_as_failure.cfg...OK. Test: ../TEST/wiki-examples/Negation_as_failure.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Basics_Answer.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Basics_Answer.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Basics_Starter.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Basics_Starter.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Big_step,_small_step__Solution.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Big_step,_small_step__Solution.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_CPS_Solution2.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_CPS_Solution2.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_CPS_Solutions.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_CPS_Solutions.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Church_Rosser_(Problem).cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Church_Rosser_(Problem).cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_(karl).cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_(karl).cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_Answer.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_Answer.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_Support.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_Support.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_session.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_session.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_session_(answers).cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Combinators_session_(answers).cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Control_machine.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Control_machine.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Cost_semantics.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Cost_semantics.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Evaluation_Contexts_Intrinsic.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Evaluation_Contexts_Intrinsic.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Exceptions.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Exceptions.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_MinML_Answer.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_MinML_Answer.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_MinML_Preservation_Theorem__Solution.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_MinML_Preservation_Theorem__Solution.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_MinML_Starter.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_MinML_Starter.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Nat.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Nat.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_New_language.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_New_language.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Pattern_matching.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Pattern_matching.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Sequent_vs_Natural_Deduction__Solution.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Sequent_vs_Natural_Deduction__Solution.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_2_Answer.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_2_Answer.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_2_Starter.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_2_Starter.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_4_Answer.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_4_Answer.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_4_Starter.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Session_4_Starter.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Typed_bracket_abstraction_(solution).cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Typed_bracket_abstraction_(solution).cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_Typed_bracket_abstraction_with_equivalence.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_Typed_bracket_abstraction_with_equivalence.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_cps.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_cps.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_cps-problem.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_cps-problem.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_cps-problem2.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_cps-problem2.cfg...Double checked. Test: ../TEST/wiki-examples/POPL_Tutorial_cps-rp.cfg...OK. Test: ../TEST/wiki-examples/POPL_Tutorial_cps-rp.cfg...Double checked. Test: ../TEST/wiki-examples/Pattern_matching.cfg...OK. Test: ../TEST/wiki-examples/Pattern_matching.cfg...Double checked. Test Unsafe: ../TEST/wiki-examples/Polarized_PCF.cfg...OK. Test Unsafe: ../TEST/wiki-examples/Polarized_PCF.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Alternate_typed_arithmetic_expressions_with_sums.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Alternate_typed_arithmetic_expressions_with_sums.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_call-by-value_let-binding.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_call-by-value_let-binding.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_let-binding.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_let-binding.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_let-binding_(hypothetical_evaluation).cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_let-binding_(hypothetical_evaluation).cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Encoding_of_System_F.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Encoding_of_System_F.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_(extrinsic_encoding).cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_(extrinsic_encoding).cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_(intrinsic_encoding).cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_(intrinsic_encoding).cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_with_monadic_effects.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_with_monadic_effects.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_with_monadic_effects_(putngetn).cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_with_monadic_effects_(putngetn).cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_polymorphic_MinML_(intrinsic_encoding).cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_polymorphic_MinML_(intrinsic_encoding).cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_(extrinsic_encoding).cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_(extrinsic_encoding).cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_(value).cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_(value).cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_pairs.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_pairs.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_sums.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_sums.cfg...Double checked. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_sums_2.cfg...OK. Test: ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_sums_2.cfg...Double checked. Test: ../TEST/wiki-examples/TAT_plus.elf.cfg...OK. Test: ../TEST/wiki-examples/TAT_plus.elf.cfg...Double checked. Test: ../TEST/wiki-examples/Tabled_logic_programming.cfgpath/refl path/trans path/refl path/link ab path/refl path/trans path/link fg path/refl path/trans path/link ab path/refl path/trans path/link df path/trans path/link bd path/link ab ...OK. Test: ../TEST/wiki-examples/Tabled_logic_programming.cfgpath/refl path/trans path/refl path/link ab path/refl path/trans path/link fg path/refl path/trans path/link ab path/refl path/trans path/link df path/trans path/link bd path/link ab ...Double checked. Test: ../TEST/wiki-examples/Tactical_theorem_proving.cfg...OK. Test: ../TEST/wiki-examples/Tactical_theorem_proving.cfg...Double checked. Test: ../TEST/wiki-examples/Tethered_modal_logic.cfg...OK. Test: ../TEST/wiki-examples/Tethered_modal_logic.cfg...Double checked. Test: ../TEST/wiki-examples/The_Twelf_Project_Literate_Twelf_Sample_Page.cfg...OK. Test: ../TEST/wiki-examples/The_Twelf_Project_Literate_Twelf_Sample_Page.cfg...Double checked. Test: ../TEST/wiki-examples/TwelfTag.cfg...OK. Test: ../TEST/wiki-examples/TwelfTag.cfg...Double checked. Test: ../TEST/wiki-examples/Typed_combinators_soundness_and_completeness.cfg...OK. Test: ../TEST/wiki-examples/Typed_combinators_soundness_and_completeness.cfg...Double checked. Test: ../TEST/wiki-examples/User_Hdeyoung_modal.elf.cfg...OK. Test: ../TEST/wiki-examples/User_Hdeyoung_modal.elf.cfg...Double checked. Test: ../TEST/wiki-examples/User_Hdeyoung_subord.elf.cfg...OK. Test: ../TEST/wiki-examples/User_Hdeyoung_subord.elf.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_CR2.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_CR2.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_Fluid_binding.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_Fluid_binding.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_Handled_exceptions.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_Handled_exceptions.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_Homework_6.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_Homework_6.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_Homework_7__Proofs_In_Twelf.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_Homework_7__Proofs_In_Twelf.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_Lecture_20__Logic_Programming.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_Lecture_20__Logic_Programming.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_Lecture_23__Typed_Lambda_Calculus_in_Twelf.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_Lecture_23__Typed_Lambda_Calculus_in_Twelf.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_Subtype.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_Subtype.cfg...Double checked. Test: ../TEST/wiki-examples/User_Rsimmons_fillholes.elf.cfg...OK. Test: ../TEST/wiki-examples/User_Rsimmons_fillholes.elf.cfg...Double checked. Test: ../TEST/wiki-examples/Verifications_and_uses.cfg...OK. Test: ../TEST/wiki-examples/Verifications_and_uses.cfg...Double checked. Test: ../TEST/wiki-examples/Verifications_and_uses_with_zippers.cfg...OK. Test: ../TEST/wiki-examples/Verifications_and_uses_with_zippers.cfg...Double checked. Test: ../TEST/wiki-examples/Weak_focusing.cfg...OK. Test: ../TEST/wiki-examples/Weak_focusing.cfg...Double checked. Test complete with no errors 18.29 real 15.20 user === Running TALT === Test: ../../twelf-regression/talt-lf/sources.cfgRegression test failed on ../../twelf-regression/talt-lf/sources.cfg Test complete with 1 error Command exited with non-zero status 1 0.02 real 0.00 user === Running TS-LF (Definition of Standard ML) === Test: ../../twelf-regression/ts-lf/sources.cfgRegression test failed on ../../twelf-regression/ts-lf/sources.cfg Test complete with 1 error Command exited with non-zero status 1 0.02 real 0.00 user === Running Princeton Foundational PCC === Test: ../../twelf-regression/princeton-pcc-20070723/sources.cfgRegression test failed on ../../twelf-regression/princeton-pcc-20070723/sources.cfg Test complete with 1 error Command exited with non-zero status 1 0.00 real 0.00 user ==== Completed! ===