Merge branch 'minimal-test-framework' into monolithic-reset-spec
Showing
- .gitignore 2 additions, 1 deletion.gitignore
- README.md 15 additions, 4 deletionsREADME.md
- dune-project 1 addition, 0 deletionsdune-project
- lustrec.opam 2 additions, 0 deletionslustrec.opam
- lustrec_tests/dune 13 additions, 0 deletionslustrec_tests/dune
- lustrec_tests/lustre_files/A1_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/A1_PP.LUSTREC.lus
- lustrec_tests/lustre_files/ANDONEINPUT.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/ANDONEINPUT.LUSTREC.lus
- lustrec_tests/lustre_files/Abs1_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Abs1_PP.LUSTREC.lus
- lustrec_tests/lustre_files/Abs2_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Abs2_PP.LUSTREC.lus
- lustrec_tests/lustre_files/Abs3_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Abs3_PP.LUSTREC.lus
- lustrec_tests/lustre_files/Abs4_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Abs4_PP.LUSTREC.lus
- lustrec_tests/lustre_files/Abs5_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Abs5_PP.LUSTREC.lus
- lustrec_tests/lustre_files/Abs6_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Abs6_PP.LUSTREC.lus
- lustrec_tests/lustre_files/AltitudeControl_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/AltitudeControl_PP.LUSTREC.lus
- lustrec_tests/lustre_files/Arrays1.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Arrays1.lus
- lustrec_tests/lustre_files/Arrays2.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Arrays2.lus
- lustrec_tests/lustre_files/Arrays3_0.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Arrays3_0.lus
- lustrec_tests/lustre_files/Arrays3_1.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Arrays3_1.lus
- lustrec_tests/lustre_files/Assertion1_PP.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Assertion1_PP.LUSTREC.lus
- lustrec_tests/lustre_files/Assignment1.LUSTREC.lus 0 additions, 0 deletionslustrec_tests/lustre_files/Assignment1.LUSTREC.lus
Please register or sign in to comment