Most recent builds
| File | Link | Last updated |
|---|---|---|
| Source tarball | twelf-src.tar.gz | Fri, 12 Mar 2010 05:16:43 -0500 |
| Linux binary, compiled with MLton | twelf-linux.tar.gz | Fri, 12 Mar 2010 05:19:50 -0500 |
| 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
Fri Mar 12 05:19:50 EST 2010 Build script complete; exiting
Most recent regression test output
Fri Mar 12 05:45:07 EST 2010 === Compiling regression test package in MLton === 145.81 real 136.04 user === 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 49.33 real 45.63 user === Running Karl Crary's 'papers' page === Test: crary/explicit/excon.cfg...OK. Test: crary/explicit/excon.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on crary/explicit/excon.cfg 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.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on crary/mldef-alpha/sources.cfg 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.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on crary/synsing/sources.cfg Test: crary/tslf/sources.cfg...OK. Test: crary/tslf/sources.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on crary/tslf/sources.cfg Test complete with 4 errors Command exited with non-zero status 1 88.02 real 77.54 user === Running misc. public code === Test: ../TEST/poplmark/sources.cfg...OK. Test: ../TEST/poplmark/sources.cfg...Double checked. Test: ../TEST/wiki-examples/linearlogic.cfg...OK. Test: ../TEST/wiki-examples/linearlogic.cfg...Double checked. Test: ../TEST/wiki-examples/lily.cfg...OK. Test: ../TEST/wiki-examples/lily.cfg...Double checked. Test complete with no errors 22.73 real 21.28 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.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on ../TEST/wiki-examples/Concrete_representation.cfg 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: ../TEST/wiki-examples/Indexed_HOAS_nat_bijection.cfg...OK. Test: ../TEST/wiki-examples/Indexed_HOAS_nat_bijection.cfg...Double checked. Test: ../TEST/wiki-examples/Lax_logic.cfg...OK. Test: ../TEST/wiki-examples/Lax_logic.cfg...Double checked. Test: ../TEST/wiki-examples/Let*.cfg...OK. Test: ../TEST/wiki-examples/Let*.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/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/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.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on ../TEST/wiki-examples/Tethered_modal_logic.cfg 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/Weak_focusing.cfg...OK. Test: ../TEST/wiki-examples/Weak_focusing.cfg...Double checked. Test complete with 2 errors Command exited with non-zero status 1 34.20 real 27.27 user === Running TALT === Test: ../../twelf-regression/talt-lf/sources.cfg...OK. Test: ../../twelf-regression/talt-lf/sources.cfg...Double checked. Test complete with no errors 1035.92 real 1019.29 user === Running TS-LF (Definition of Standard ML) === Test: ../../twelf-regression/ts-lf/sources.cfg...OK. Test: ../../twelf-regression/ts-lf/sources.cfgDouble-checking types fails: Type mismatch This indicates a bug in Twelf. Regression test failed on ../../twelf-regression/ts-lf/sources.cfg Test complete with 1 error Command exited with non-zero status 1 42.84 real 35.67 user === Running Princeton Foundational PCC === Test: ../../twelf-regression/princeton-pcc-20070723/sources.cfg...OK. Test: ../../twelf-regression/princeton-pcc-20070723/sources.cfg...Double checked. Test complete with no errors 97.97 real 89.40 user ==== Completed! ===