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! ===