Project

General

Profile

« Previous | Next » 

Revision 3f9600bb

ID3f9600bb87847ff8db4fcf4668a702290825bd92
Parent 443f0686
Child 1692756a

Added by Pierre-Loïc Garoche over 5 years ago

Moved tests outside of source code to avoid useless duplication.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@204 041b043f-8d7c-46b2-b46e-ef0dd855326e

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

  • test
    • src
      • arrays_arnaud
        • MatrixAddition.lus
        • MatrixAndArrays.lus
        • RelOpMatrix.lus
        • access1.lus
        • arrays.lus
        • dummy_lib.lusi
        • generic1.lus
        • generic2.lus
        • generic3.lus
      • clocks
        • clocks1.lus
        • clocks2.lus
        • oversampling0.lus
      • kind_fmcad08
        • large
          • ccp01.lus
          • ccp02.lus
          • ccp03.lus
          • ccp04.lus
          • ccp05.lus
          • ccp06.lus
          • ccp07.lus
          • ccp08.lus
          • ccp09.lus
          • ccp10.lus
          • ccp11.lus
          • ccp12.lus
          • ccp13.lus
          • ccp14.lus
          • ccp15.lus
          • ccp16.lus
          • ccp17.lus
          • ccp18.lus
          • ccp19.lus
          • ccp20.lus
          • ccp21.lus
          • ccp22.lus
          • ccp23.lus
          • ccp24.lus
          • cruise_controller_01.lus
          • cruise_controller_02.lus
          • cruise_controller_03.lus
          • cruise_controller_04.lus
          • cruise_controller_05.lus
          • cruise_controller_06.lus
          • cruise_controller_07.lus
          • cruise_controller_08.lus
          • cruise_controller_09.lus
          • cruise_controller_10.lus
          • cruise_controller_11.lus
          • cruise_controller_12.lus
          • cruise_controller_13.lus
          • cruise_controller_14.lus
          • cruise_controller_15.lus
          • cruise_controller_16.lus
          • cruise_controller_17.lus
          • cruise_controller_18.lus
          • cruise_controller_19.lus
          • cruise_controller_20.lus
          • cruise_controller_21.lus
          • cruise_controller_22.lus
          • cruise_controller_23.lus
          • cruise_controller_24.lus
          • microwave01.lus
          • microwave02.lus
          • microwave03.lus
          • microwave04.lus
          • microwave05.lus
          • microwave06.lus
          • microwave07.lus
          • microwave08.lus
          • microwave09.lus
          • microwave10.lus
          • microwave11.lus
          • microwave12.lus
          • microwave13.lus
          • microwave14.lus
          • microwave15.lus
          • microwave16.lus
          • microwave17.lus
          • microwave18.lus
          • microwave19.lus
          • microwave20.lus
          • microwave21.lus
          • microwave22.lus
          • microwave23.lus
          • microwave24.lus
          • microwave25.lus
          • microwave26.lus
          • microwave27.lus
          • microwave28.lus
          • microwave29.lus
          • microwave30.lus
          • microwave31.lus
          • microwave32.lus
          • microwave33.lus
          • microwave34.lus
          • microwave35.lus
          • microwave36.lus
          • microwave37.lus
          • microwave38.lus
          • microwave39.lus
          • microwave40.lus
          • readme-large.txt
          • steam_boiler_no_arr1.lus
          • steam_boiler_no_arr1_e4_23904_e4_2384.lus
          • steam_boiler_no_arr2.lus
          • steam_boiler_no_arr2_e1_17214_e5_18600.lus
          • steam_boiler_no_arr2_e3_514_e4_11150.lus
          • steam_boiler_no_arr2_e6_3003_e4_15091.lus
          • steam_boiler_no_arr2_e7_12307.lus
          • steam_boiler_no_arr2_e8_21449_e5_18210.lus
          • top.ec.bkp
        • memory1
          • DRAGON_1.lus
          • DRAGON_10.lus
          • DRAGON_10_e1_3587_e3_2749.lus
          • DRAGON_10_e1_3587_e7_872.lus
          • DRAGON_10_e1_998.lus
          • DRAGON_10_e2_2785_e3_1744.lus
          • DRAGON_10_e2_402.lus
          • DRAGON_10_e3_144_e5_2046.lus
          • DRAGON_10_e3_144_e7_523.lus
          • DRAGON_10_e3_3429.lus
          • DRAGON_10_e7_3861_e2_1020.lus
          • DRAGON_10_e7_3861_e7_2180.lus
          • DRAGON_11.lus
          • DRAGON_11_e1_2450.lus
          • DRAGON_11_e1_2450_e1_5887.lus
          • DRAGON_11_e1_2450_e2_1483.lus
          • DRAGON_11_e1_2450_e3_2330.lus
          • DRAGON_11_e1_2450_e7_5791.lus
          • DRAGON_11_e2_1678_e1_3565.lus
          • DRAGON_11_e2_5396_e3_282.lus
          • DRAGON_11_e3_382_e1_505.lus
          • DRAGON_11_e3_382_e4_4421.lus
          • DRAGON_12.lus
          • DRAGON_12_e1_4640_e7_128.lus
          • DRAGON_12_e2_1618.lus
          • DRAGON_12_e2_1618_e1_6030.lus
          • DRAGON_12_e2_1618_e2_138.lus
          • DRAGON_12_e2_1618_e3_2012.lus
          • DRAGON_12_e2_1618_e7_4732.lus
          • DRAGON_13.lus
          • DRAGON_13_e3_1418_e3_2761.lus
          • DRAGON_13_e7_2336.lus
          • DRAGON_13_e7_2336_e1_541.lus
          • DRAGON_13_e7_2336_e2_1255.lus
          • DRAGON_13_e7_2336_e3_3117.lus
          • DRAGON_13_e7_2336_e7_685.lus
          • DRAGON_14.lus
          • DRAGON_14_e1_5710.lus
          • DRAGON_14_e2_3606.lus
          • DRAGON_14_e3_1259_e1_5798.lus
          • DRAGON_14_e3_5120.lus
          • DRAGON_14_e7_3162.lus
          • DRAGON_14_e7_3162_e1_3998.lus
          • DRAGON_14_e7_3162_e2_753.lus
          • DRAGON_14_e7_3162_e3_4298.lus
          • DRAGON_14_e7_3162_e7_3528.lus
          • DRAGON_1_e1_14612_e1_268_e7_501.lus
          • DRAGON_1_e1_14612_e2_2653_e7_4370.lus
          • DRAGON_1_e1_3184_e7_1888.lus
          • DRAGON_1_e1_5070.lus
          • DRAGON_1_e2_1997.lus
          • DRAGON_1_e2_1997_e7_3613_e2_3409.lus
          • DRAGON_1_e3_11891_e7_4569_e4_4881.lus
          • DRAGON_2.lus
          • DRAGON_2_e1_2316.lus
          • DRAGON_2_e2_3183_e1_2644.lus
          • DRAGON_2_e2_3183_e2_3580.lus
          • DRAGON_2_e2_3183_e3_5972.lus
          • DRAGON_2_e2_4481.lus
          • DRAGON_2_e7_25.lus
          • DRAGON_2_e7_25_e1_154.lus
          • DRAGON_2_e7_25_e2_5340.lus
          • DRAGON_2_e7_25_e3_829.lus
          • DRAGON_2_e7_25_e7_4469.lus
          • DRAGON_2_e7_25_e8_3171.lus
          • DRAGON_3.lus
          • DRAGON_3_e1_4783.lus
          • DRAGON_3_e1_4783_e1_3755.lus
          • DRAGON_3_e1_4783_e2_158.lus
          • DRAGON_3_e1_4783_e3_511.lus
          • DRAGON_3_e1_4783_e7_4070.lus
          • DRAGON_3_e2_5343_e1_988.lus
          • DRAGON_3_e3_3846.lus
          • DRAGON_3_e3_5422_e1_2288.lus
          • DRAGON_3_e3_5422_e2_3135.lus
          • DRAGON_3_e7_4884.lus
          • DRAGON_4.lus
          • DRAGON_4_e1_4312.lus
          • DRAGON_4_e2_2799.lus
          • DRAGON_4_e2_2799_e1_1303.lus
          • DRAGON_4_e2_2799_e2_2251.lus
          • DRAGON_4_e2_2799_e3_1915.lus
          • DRAGON_4_e2_2799_e7_2499.lus
          • DRAGON_4_e3_1540_e1_5048.lus
          • DRAGON_4_e3_4133.lus
          • DRAGON_4_e7_2329.lus
          • DRAGON_4_e7_2329_e3_4574.lus
          • DRAGON_4_e7_2329_e7_3856.lus
          • DRAGON_5.lus
          • DRAGON_5_e1_1835.lus
          • DRAGON_5_e2_3018_e2_936.lus
          • DRAGON_5_e7_2017.lus
          • DRAGON_5_e7_2017_e1_5832.lus
          • DRAGON_5_e7_2017_e2_664.lus
          • DRAGON_5_e7_2017_e3_1763.lus
          • DRAGON_5_e7_2017_e7_2326.lus
          • DRAGON_6.lus
          • DRAGON_6_e7_5046_e7_3623.lus
          • DRAGON_7.lus
          • DRAGON_7_e2_2872_e2_5844.lus
          • DRAGON_7_e2_2872_e3_2640.lus
          • DRAGON_7_e7_3157_e2_2082.lus
          • DRAGON_8.lus
          • DRAGON_8_e2_3896_e3_3125.lus
          • DRAGON_8_e3_786.lus
          • DRAGON_8_e3_786_e7_4541.lus
          • DRAGON_8_e7_3752.lus
          • DRAGON_9.lus
          • DRAGON_9_e7_1843.lus
          • DRAGON_9_e7_1843_e1_5434.lus
          • DRAGON_9_e7_1843_e2_1145.lus
          • DRAGON_9_e7_1843_e3_5316.lus
          • DRAGON_9_e7_1843_e7_2225.lus
          • DRAGON_all.lus
          • DRAGON_all2.lus
          • DRAGON_all2_e2_2073_e8_3691.lus
          • DRAGON_all2_e3_4612_e1_6463.lus
          • DRAGON_all2_e3_4612_e2_5774.lus
          • DRAGON_all2_e3_4612_e3_1543.lus
          • DRAGON_all2_e3_4612_e4_3719.lus
          • DRAGON_all2_e3_4612_e5_3642.lus
          • DRAGON_all2_e3_4612_e8_5861.lus
          • DRAGON_all2_e7_5406.lus
          • DRAGON_all2_e7_5406_e1_6690.lus
          • DRAGON_all2_e7_5406_e2_3084.lus
          • DRAGON_all2_e7_5406_e3_506.lus
          • DRAGON_all2_e7_5406_e7_6697.lus
          • DRAGON_all2_e8_4626.lus
          • DRAGON_all2_e8_5504.lus
          • DRAGON_all2_e8_5504_e1_4719.lus
          • DRAGON_all2_e8_5504_e2_1598.lus
          • DRAGON_all2_e8_5504_e7_579.lus
          • DRAGON_all_e1_4022_e1_1759.lus
          • DRAGON_all_e1_4022_e2_267.lus
          • DRAGON_all_e1_4022_e3_3628.lus
          • DRAGON_all_e1_4022_e7_2886.lus
          • DRAGON_all_e1_4037.lus
          • DRAGON_all_e2_6104.lus
          • DRAGON_all_e2_6104_e1_6205.lus
          • DRAGON_all_e2_6104_e2_3308.lus
          • DRAGON_all_e2_6104_e3_2607.lus
          • DRAGON_all_e3_4821_e1_1318.lus
          • DRAGON_all_e3_4821_e2_1089.lus
          • DRAGON_all_e3_4821_e4_1791.lus
          • DRAGON_all_e3_4821_e5_1536.lus
          • DRAGON_all_e3_5957.lus
          • DRAGON_all_e7_1941_e2_6086.lus
          • DRAGON_all_e7_4065.lus
          • FIREFLY_1.lus
          • FIREFLY_10.lus
          • FIREFLY_10_e7_919_e2_3192.lus
          • FIREFLY_11.lus
          • FIREFLY_11_e1_3457.lus
          • FIREFLY_11_e3_2076_e1_1270.lus
          • FIREFLY_1_e1_1092.lus
          • FIREFLY_1_e1_1092_e1_1486.lus
          • FIREFLY_1_e1_1092_e2_1853.lus
          • FIREFLY_1_e1_1092_e3_389.lus
          • FIREFLY_1_e1_1092_e7_1119.lus
          • FIREFLY_2.lus
          • FIREFLY_2_e3_151_e3_1540.lus
          • FIREFLY_3.lus
          • FIREFLY_3_e2_2236.lus
          • FIREFLY_3_e2_2236_e1_2305.lus
          • FIREFLY_3_e2_2236_e2_1058.lus
          • FIREFLY_3_e2_2236_e3_2657.lus
          • FIREFLY_3_e2_2236_e7_3681.lus
          • FIREFLY_4.lus
          • FIREFLY_4_e3_3511.lus
          • FIREFLY_4_e3_3511_e1_2375.lus
          • FIREFLY_4_e3_3511_e2_1923.lus
          • FIREFLY_4_e3_3511_e3_422.lus
          • FIREFLY_4_e3_3511_e4_1464.lus
          • FIREFLY_4_e3_3511_e5_3248.lus
          • FIREFLY_4_e3_3511_e7_3568.lus
          • FIREFLY_5.lus
          • FIREFLY_5_e1_2552_e7_1169.lus
          • FIREFLY_5_e2_2229.lus
          • FIREFLY_5_e2_2884.lus
          • FIREFLY_5_e2_2884_e1_2678.lus
          • FIREFLY_5_e2_2884_e2_1492.lus
          • FIREFLY_5_e2_2884_e3_1882.lus
          • FIREFLY_5_e2_2884_e7_3594.lus
          • FIREFLY_6.lus
          • FIREFLY_6_e2_3302.lus
          • FIREFLY_7.lus
          • FIREFLY_8.lus
          • FIREFLY_8_e2_1711.lus
          • FIREFLY_8_e2_1711_e1_1489.lus
          • FIREFLY_8_e2_1711_e2_2673.lus
          • FIREFLY_8_e2_1711_e3_1753.lus
          • FIREFLY_8_e2_1711_e7_1962.lus
          • FIREFLY_9.lus
          • FIREFLY_9_e7_170_e3_3647.lus
          • FIREFLY_a3.lus
          • FIREFLY_a3_e1_3233.lus
          • FIREFLY_a3_e1_3233_e1_3123.lus
          • FIREFLY_a3_e1_3233_e2_2392.lus
          • FIREFLY_a3_e1_3233_e3_2970.lus
          • FIREFLY_a3_e1_3233_e7_906.lus
          • FIREFLY_a3_e2_2086_e1_3235.lus
          • FIREFLY_a3_e2_2086_e2_2689.lus
          • FIREFLY_a3_e2_2086_e3_2542.lus
          • FIREFLY_a3_e2_2086_e7_2614.lus
          • FIREFLY_a3_e2_2952.lus
          • FIREFLY_a3_e3_314_e1_1979.lus
          • FIREFLY_a3_e3_314_e2_2812.lus
          • FIREFLY_a3_e3_314_e4_897.lus
          • FIREFLY_all.lus
          • FIREFLY_all_e1_1207_e1_1201.lus
          • FIREFLY_all_e1_1207_e2_3220.lus
          • FIREFLY_all_e1_1207_e3_1928.lus
          • FIREFLY_all_e1_1207_e7_156.lus
          • FIREFLY_all_e1_3406.lus
          • FIREFLY_all_e2_2924_e1_768.lus
          • FIREFLY_all_e2_2924_e2_1767.lus
          • FIREFLY_all_e2_2924_e3_3946.lus
          • FIREFLY_all_e2_2924_e7_3371.lus
          • FIREFLY_all_e2_3678.lus
          • FIREFLY_all_e3_1600_e1_667.lus
          • FIREFLY_all_e3_1600_e2_676.lus
          • FIREFLY_all_e3_1600_e3_2055.lus
          • FIREFLY_all_e3_1600_e4_2415.lus
          • FIREFLY_all_e3_1600_e5_84.lus
          • FIREFLY_all_e3_1600_e7_1607.lus
          • FIREFLY_all_e3_3496.lus
          • FIREFLY_all_e7_1909.lus
          • FIREFLY_luke_1a.lus
          • FIREFLY_luke_1a_e2_284_e1_2924.lus
          • FIREFLY_luke_1a_e2_284_e2_2755.lus
          • FIREFLY_luke_1a_e2_284_e3_3091.lus
          • FIREFLY_luke_1a_e2_284_e7_998.lus
          • FIREFLY_luke_1a_e7_3042_e3_1213.lus
          • FIREFLY_luke_1b.lus
          • FIREFLY_luke_1b_e1_1139_e1_1565.lus
          • FIREFLY_luke_1b_e1_1139_e2_2893.lus
          • FIREFLY_luke_1b_e1_1139_e3_1839.lus
          • FIREFLY_luke_1b_e1_1691.lus
          • FIREFLY_luke_1b_e2_3049.lus
          • FIREFLY_luke_1b_e2_3049_e1_946.lus
          • FIREFLY_luke_1b_e2_3049_e2_698.lus
          • FIREFLY_luke_1b_e2_3049_e3_2697.lus
          • FIREFLY_luke_1b_e3_671.lus
          • FIREFLY_luke_1b_e3_671_e1_725.lus
          • FIREFLY_luke_1b_e3_671_e2_2131.lus
          • FIREFLY_luke_1b_e3_671_e3_941.lus
          • FIREFLY_luke_1b_e3_671_e4_147.lus
          • FIREFLY_luke_1b_e3_671_e5_1637.lus
          • FIREFLY_luke_1b_e3_671_e6_1974.lus
          • FIREFLY_luke_1b_e3_671_e7_1882.lus
          • FIREFLY_luke_1b_e7_2574.lus
          • FIREFLY_luke_1b_e7_3191.lus
          • FIREFLY_luke_1b_e7_3191_e1_1303.lus
          • FIREFLY_luke_1b_e7_3191_e2_1864.lus
          • FIREFLY_luke_1b_e7_3191_e3_1250.lus
          • FIREFLY_luke_1b_e7_3191_e7_2146.lus
          • FIREFLY_luke_1b_e7_3191_e8_2830.lus
          • FIREFLY_luke_2.lus
          • FIREFLY_luke_2_e2_1375_e1_418.lus
          • FIREFLY_luke_2_e7_1826_e8_126.lus
          • FIREFLY_luke_3.lus
          • FIREFLY_luke_3_e1_2217_e3_1200.lus
          • FIREFLY_luke_4.lus
          • FIREFLY_luke_4_e2_325.lus
          • FIREFLY_luke_5.lus
          • FIREFLY_luke_rt.lus
          • FIREFLY_luke_rt_e1_913.lus
          • FIREFLY_luke_rt_e1_913_e1_1993.lus
          • FIREFLY_luke_rt_e1_913_e2_3353.lus
          • FIREFLY_luke_rt_e1_913_e3_2128.lus
          • FIREFLY_luke_rt_e1_913_e7_1403.lus
          • FIREFLY_luke_rt_e2_3460.lus
          • FIREFLY_luke_rt_e2_3460_e1_1455.lus
          • FIREFLY_luke_rt_e2_3460_e2_2670.lus
          • FIREFLY_luke_rt_e2_3460_e3_1333.lus
          • FIREFLY_luke_rt_e2_3460_e7_471.lus
          • FIREFLY_luke_rt_e3_1549.lus
          • FIREFLY_rt.lus
          • FIREFLY_rt_e3_1770_e2_637.lus
          • FIREFLY_u1.lus
          • FIREFLY_u1_e2_3403_e2_957.lus
          • FIREFLY_u1_e7_3318.lus
          • readme-memory1.txt
        • memory2
          • ILLINOIS_1.lus
          • ILLINOIS_2.lus
          • ILLINOIS_2_e1_834.lus
          • ILLINOIS_2_e1_834_e1_1895.lus
          • ILLINOIS_2_e1_834_e2_3395.lus
          • ILLINOIS_2_e1_834_e3_2931.lus
          • ILLINOIS_2_e1_834_e7_3738.lus
          • ILLINOIS_2_e2_2367_e1_3182.lus
          • ILLINOIS_2_e2_2367_e2_1561.lus
          • ILLINOIS_2_e2_2367_e3_1601.lus
          • ILLINOIS_2_e2_2367_e7_2728.lus
          • ILLINOIS_2_e2_876.lus
          • ILLINOIS_3.lus
          • ILLINOIS_3_e3_2581.lus
          • ILLINOIS_3_e3_2581_e1_1130.lus
          • ILLINOIS_3_e3_2581_e2_2545.lus
          • ILLINOIS_3_e3_2581_e3_979.lus
          • ILLINOIS_3_e3_2581_e4_958.lus
          • ILLINOIS_3_e3_2581_e5_4006.lus
          • ILLINOIS_3_e3_2581_e7_3447.lus
          • ILLINOIS_4.lus
          • ILLINOIS_4_e7_2651_e7_2847.lus
          • ILLINOIS_5.lus
          • ILLINOIS_5_e7_692_e7_2865.lus
          • ILLINOIS_a1.lus
          • ILLINOIS_all.lus
          • ILLINOIS_r4a.lus
          • MESI_1.lus
          • MESI_1_e2_162_e7_1545.lus
          • MESI_2.lus
          • MESI_3.lus
          • MESI_3_e1_2517_e8_2163.lus
          • MESI_3_e2_819.lus
          • MESI_3_e2_819_e1_1145.lus
          • MESI_3_e2_819_e2_562.lus
          • MESI_3_e2_819_e3_2698.lus
          • MESI_3_e2_819_e4_1595.lus
          • MESI_3_e2_819_e5_2554.lus
          • MESI_3_e2_819_e6_1459.lus
          • MESI_3_e2_819_e7_1665.lus
          • MESI_3_e2_819_e8_1896.lus
          • MESI_3_e3_2669.lus
          • MESI_4.lus
          • MESI_4_e7_1140_e7_433.lus
          • MESI_all.lus
          • MESI_all_e4_1147_e7_497.lus
          • MESI_i1.lus
          • MESI_i1_e2_1758_e8_12.lus
          • MESI_i1_e2_2656.lus
          • MESI_i1_e3_2145.lus
          • MESI_i1_e3_2145_e1_2667.lus
          • MESI_i1_e3_2145_e2_2228.lus
          • MESI_i1_e3_2145_e3_977.lus
          • MESI_i1_e3_2145_e4_1717.lus
          • MESI_i1_e3_2145_e5_2391.lus
          • MESI_i1_e3_2145_e7_1847.lus
          • MESI_i1_e3_2145_e8_2325.lus
          • MESI_i1_e4_1986.lus
          • MESI_i1_e4_1986_e1_1519.lus
          • MESI_i2.lus
          • MESI_i3.lus
          • MESI_i3_e1_447.lus
          • MESI_i3_e1_447_e1_1292.lus
          • MESI_i3_e1_447_e2_1098.lus
          • MESI_i3_e1_447_e3_1180.lus
          • MESI_i3_e1_447_e5_2444.lus
          • MESI_i3_e1_447_e6_2281.lus
          • MESI_i3_e1_447_e7_2194.lus
          • MESI_i4.lus
          • MESI_i4_e4_1689.lus
          • MESI_i4_e6_2175.lus
          • MESI_i4_e7_1017_e6_1132.lus
          • MESI_i4_e8_1381_e1_1837.lus
          • MESI_i4_e8_1381_e4_313.lus
          • MOESI_1.lus
          • MOESI_1_e2_982_e7_492.lus
          • MOESI_1_e3_1884_e7_1875.lus
          • MOESI_2.lus
          • MOESI_2_e1_1753.lus
          • MOESI_2_e1_1753_e1_1510.lus
          • MOESI_2_e1_1753_e2_615.lus
          • MOESI_2_e1_1753_e3_2021.lus
          • MOESI_2_e2_155.lus
          • MOESI_2_e2_1599.lus
          • MOESI_2_e2_1599_e1_2383.lus
          • MOESI_2_e2_1599_e2_1815.lus
          • MOESI_2_e2_1599_e3_1658.lus
          • MOESI_2_e2_1599_e8_1334.lus
          • MOESI_2_e3_1523.lus
          • MOESI_2_e3_929.lus
          • MOESI_2_e3_929_e1_2319.lus
          • MOESI_2_e3_929_e2_2421.lus
          • MOESI_2_e3_929_e3_2294.lus
          • MOESI_2_e3_929_e4_578.lus
          • MOESI_2_e3_929_e5_1826.lus
          • MOESI_2_e3_929_e6_2707.lus
          • MOESI_2_e3_929_e7_619.lus
          • MOESI_2_e3_929_e8_1167.lus
          • MOESI_2_e7_2607.lus
          • MOESI_2_e7_2910.lus
          • MOESI_2_e7_2910_e1_1021.lus
          • MOESI_2_e7_2910_e2_611.lus
          • MOESI_2_e7_2910_e3_2002.lus
          • MOESI_2_e7_2910_e7_1804.lus
          • MOESI_2_e7_2910_e8_2590.lus
          • MOESI_2_e8_101.lus
          • MOESI_2_e8_926.lus
          • MOESI_2_e8_926_e1_1065.lus
          • MOESI_2_e8_926_e2_349.lus
          • MOESI_2_e8_926_e3_1758.lus
          • MOESI_2_e8_926_e7_961.lus
          • MOESI_2_e8_926_e8_2138.lus
          • MOESI_all.lus
          • MOESI_all_e3_2032_e3_2788.lus
          • SYNAPSE_1.lus
          • SYNAPSE_123.lus
          • SYNAPSE_123_e2_1653.lus
          • SYNAPSE_123_e3_302.lus
          • SYNAPSE_123_e3_302_e1_1141.lus
          • SYNAPSE_123_e7_837_e2_1394.lus
          • SYNAPSE_123_e7_837_e3_135.lus
          • SYNAPSE_123_e7_837_e7_1262.lus
          • SYNAPSE_123_e7_856.lus
          • SYNAPSE_123_e8_953.lus
          • SYNAPSE_123_e8_953_e1_1128.lus
          • SYNAPSE_123_e8_953_e2_458.lus
          • SYNAPSE_123_e8_953_e3_271.lus
          • SYNAPSE_123_e8_953_e7_1465.lus
          • SYNAPSE_123_e8_953_e8_941.lus
          • SYNAPSE_2.lus
          • SYNAPSE_2_e1_1239.lus
          • SYNAPSE_2_e1_1239_e1_1331.lus
          • SYNAPSE_2_e1_1239_e2_74.lus
          • SYNAPSE_2_e3_216.lus
          • SYNAPSE_2_e8_1118_e1_667.lus
          • SYNAPSE_2_e8_1118_e2_237.lus
          • SYNAPSE_2_e8_1118_e3_1216.lus
          • SYNAPSE_2_e8_1118_e7_1043.lus
          • SYNAPSE_2_e8_1118_e8_1177.lus
          • SYNAPSE_2_e8_656.lus
          • SYNAPSE_3.lus
          • SYNAPSE_3_e1_1416.lus
          • SYNAPSE_3_e1_1416_e1_1675.lus
          • SYNAPSE_3_e1_1416_e2_753.lus
          • SYNAPSE_3_e1_1416_e3_1191.lus
          • SYNAPSE_3_e1_1416_e7_193.lus
          • SYNAPSE_3_e3_1041.lus
          • SYNAPSE_3_e7_1444_e7_638.lus
          • SYNAPSE_3_e7_425.lus
          • SYNAPSE_3_e8_1329_e1_1270.lus
          • SYNAPSE_3_e8_1329_e2_236.lus
          • SYNAPSE_3_e8_1329_e3_421.lus
          • SYNAPSE_3_e8_1329_e7_1062.lus
          • SYNAPSE_3_e8_1329_e8_320.lus
          • SYNAPSE_3_e8_1708.lus
          • SYNAPSE_4.lus
          • SYNAPSE_4_e8_420_e7_572.lus
          • SYNAPSE_4_e8_420_e8_1525.lus
          • SYNAPSE_4_e8_974.lus
          • SYNAPSE_5.lus
          • SYNAPSE_5_e1_811.lus
          • SYNAPSE_5_e1_811_e1_823.lus
          • SYNAPSE_5_e1_811_e2_1026.lus
          • SYNAPSE_5_e2_1525.lus
          • SYNAPSE_6.lus
          • SYNAPSE_6_e2_1439_e1_954.lus
          • SYNAPSE_6_e3_1666_e5_1558.lus
          • SYNAPSE_6_e7_938_e2_1012.lus
          • SYNAPSE_6_e8_1147_e2_1326.lus
          • SYNAPSE_all.lus
          • SYNAPSE_all_e3_1750.lus
          • SYNAPSE_all_e3_1864_e3_495.lus
          • SYNAPSE_all_e3_1864_e4_34.lus
          • SYNAPSE_all_e3_1864_e5_1637.lus
          • SYNAPSE_all_e3_1864_e7_251.lus
          • SYNAPSE_all_e7_907.lus
          • SYNAPSE_all_e7_907_e7_1363.lus
          • SYNAPSE_all_e8_251.lus
          • SYNAPSE_all_e8_251_e1_1852.lus
          • SYNAPSE_all_e8_251_e2_1053.lus
          • SYNAPSE_all_e8_251_e3_1472.lus
          • SYNAPSE_i1.lus
          • readme-memory2.txt
        • misc
          • _6counter.lus
          • _6counter2.lus
          • _6countern.lus
          • _6counters.lus
          • _6counters_e3_140_e8_149.lus
          • _6counters_e8_371_e1_448.lus
          • _6counters_e8_371_e2_80.lus
          • _6counters_e8_371_e3_224.lus
          • _6counters_e8_371_e7_304.lus
          • durationThm_1.lus
          • durationThm_1_e1_350.lus
          • durationThm_1_e2_3.lus
          • durationThm_1_e3_389.lus
          • durationThm_1_e3_389_e4_294.lus
          • durationThm_1_e3_389_e5_5.lus
          • durationThm_1_e7_217.lus
          • durationThm_1_e7_217_e1_89.lus
          • durationThm_1_e7_217_e2_352.lus
          • durationThm_1_e7_217_e3_132.lus
          • durationThm_1_e7_217_e7_31.lus
          • durationThm_2.lus
          • durationThm_2_e1_301.lus
          • durationThm_2_e2_63.lus
          • durationThm_2_e3_329_e4_1.lus
          • durationThm_2_e3_329_e5_124.lus
          • durationThm_2_e3_99.lus
          • durationThm_2_e7_145_e1_343.lus
          • durationThm_2_e7_145_e2_169.lus
          • durationThm_2_e7_145_e3_222.lus
          • durationThm_2_e7_145_e7_154.lus
          • durationThm_2_e7_145_e8_73.lus
          • durationThm_2_e7_149.lus
          • durationThm_3.lus
          • durationThm_3_e1_36.lus
          • durationThm_3_e1_71.lus
          • durationThm_3_e2_148.lus
          • durationThm_3_e2_63.lus
          • durationThm_3_e3_207.lus
          • durationThm_3_e3_442.lus
          • durationThm_3_e3_442_e4_165.lus
          • durationThm_3_e3_442_e5_260.lus
          • durationThm_3_e7_334.lus
          • durationThm_3_e7_334_e1_431.lus
          • durationThm_3_e7_334_e2_62.lus
          • durationThm_3_e7_334_e3_42.lus
          • durationThm_3_e7_334_e7_118.lus
          • ex3.lus
          • ex3_e7_590_e7_590.lus
          • ex3_e7_655.lus
          • ex3_e8_381.lus
          • ex3_e8_381_e7_224.lus
          • ex3_e8_381_e8_477.lus
          • ex8.lus
          • ex8_e7_74.lus
          • ex8_e7_74_e7_740.lus
          • ex8_e7_74_e8_302.lus
          • ex8_e8_220.lus
          • ex8_e8_220_e7_249.lus
          • ex8_e8_376.lus
          • kind_inter
          • kind_inter2
          • log
          • log2
          • readme-misc.txt
          • stalmark.lus
          • stalmark_e7_27.lus
          • stalmark_e7_27_e7_31.lus
          • stalmark_e7_76.lus
          • stalmark_e8_48.lus
          • stalmark_e8_64.lus
          • stalmark_e8_64_e7_80.lus
          • stalmark_e8_64_e8_207.lus
          • switch.lus
          • switch2.lus
          • ticket3i_1.lus
          • ticket3i_1_e7_1669.lus
          • ticket3i_2.lus
          • ticket3i_3.lus
          • ticket3i_3_e7_1312.lus
          • ticket3i_3_e7_1312_e7_1495.lus
          • ticket3i_3_e7_1312_e8_1916.lus
          • ticket3i_3_e7_99.lus
          • ticket3i_3_e8_1703.lus
          • ticket3i_3_e8_1703_e7_3491.lus
          • ticket3i_3_e8_1703_e8_2560.lus
          • ticket3i_3_e8_1788.lus
          • ticket3i_4.lus
          • ticket3i_4_e7_1775_e7_3320.lus
          • ticket3i_5.lus
          • ticket3i_5_e7_3307.lus
          • ticket3i_6.lus
          • ticket3i_6_e7_1096_e7_2688.lus
          • ticket3i_7.lus
          • ticket3i_7_e1_2192_e1_1852.lus
          • ticket3i_7_e2_2724_e7_524.lus
          • ticket3i_7_e3_59_e7_2122.lus
          • ticket3i_7_e7_3176.lus
          • ticket3i_7_e7_3176_e1_2924.lus
          • ticket3i_7_e8_2126_e7_78.lus
          • ticket3i_all.lus
          • ticket3i_all_e1_2706_e7_1776.lus
          • ticket3i_all_e2_1117_e7_553.lus
          • ticket3i_all_e3_557_e7_3464.lus
          • ticket3i_all_e7_1837.lus
          • ticket3i_all_e7_591.lus
          • ticket3i_all_e8_505_e7_2450.lus
          • traffic.lus
          • traffic_e7_46.lus
          • traffic_e7_46_e7_171.lus
          • twisted_counters.lus
          • two_counters.lus
          • two_counters_e1_268.lus
          • two_counters_e2_3.lus
          • two_counters_e3_325.lus
          • two_counters_e7_222.lus
        • protocol
          • peterson_1.lus
          • peterson_1_e7_4234.lus
          • peterson_2.lus
          • peterson_3.lus
          • peterson_4.lus
          • peterson_all.lus
          • peterson_vt.lus
          • readme-protocol.txt
          • readwrit.lus
          • rtp_1.lus
          • rtp_10.lus
          • rtp_10_e7_106_e7_2564.lus
          • rtp_2.lus
          • rtp_3.lus
          • rtp_4.lus
          • rtp_5.lus
          • rtp_5_e7_3972.lus
          • rtp_6.lus
          • rtp_7.lus
          • rtp_8.lus
          • rtp_9.lus
          • rtp_all.lus
          • rtp_all_e7_2500.lus
          • rtp_vt.lus
          • swimmingpool_1.lus
          • swimmingpool_1_e7_1621.lus
          • swimmingpool_2.lus
          • swimmingpool_3.lus
          • swimmingpool_4.lus
          • swimmingpool_4_e7_2197.lus
          • swimmingpool_5.lus
          • swimmingpool_6.lus
          • swimmingpool_6_e7_10_e7_341.lus
          • swimmingpool_6_e7_399.lus
          • swimmingpool_7.lus
          • swimmingpool_8.lus
          • swimmingpool_9.lus
        • simulation
          • Gas.lus
          • PRODUCER_CONSUMER_1.lus
          • PRODUCER_CONSUMER_2.lus
          • PRODUCER_CONSUMER_3.lus
          • PRODUCER_CONSUMER_all.lus
          • PRODUCER_CONSUMER_vt.lus
          • PRODUCER_CONSUMER_vt_e2_1352.lus
          • PRODUCER_CONSUMER_vt_e3_507.lus
          • PRODUCER_CONSUMER_vt_e7_1059_e8_1111.lus
          • PRODUCER_CONSUMMER_luke_1.lus
          • PRODUCER_CONSUMMER_luke_2.lus
          • PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019.lus
          • car_1.lus
          • car_1_e7_184_e3_299.lus
          • car_2.lus
          • car_2_e7_1027_e1_1047.lus
          • car_2_e7_1027_e7_359.lus
          • car_2_e8_491_e7_826.lus
          • car_3.lus
          • car_3_e1_586.lus
          • car_3_e1_924.lus
          • car_3_e2_695.lus
          • car_3_e2_777.lus
          • car_3_e7_626.lus
          • car_3_e7_626_e1_305.lus
          • car_3_e8_33.lus
          • car_3_e8_33_e1_856.lus
          • car_3_e8_33_e2_1010.lus
          • car_3_e8_33_e7_220.lus
          • car_4.lus
          • car_4_e3_556.lus
          • car_4_e3_57.lus
          • car_4_e3_57_e4_1047.lus
          • car_4_e3_57_e5_999.lus
          • car_4_e3_57_e6_784.lus
          • car_4_e7_592.lus
          • car_4_e7_592_e3_442.lus
          • car_4_e7_592_e7_265.lus
          • car_4_e8_118.lus
          • car_4_e8_118_e3_514.lus
          • car_4_e8_118_e7_178.lus
          • car_5.lus
          • car_5_e2_405_e2_1083.lus
          • car_5_e2_405_e3_473.lus
          • car_5_e2_405_e8_1055.lus
          • car_5_e3_11_e1_429.lus
          • car_5_e3_11_e5_24.lus
          • car_5_e3_661.lus
          • car_5_e7_244.lus
          • car_5_e7_244_e1_823.lus
          • car_5_e7_244_e2_693.lus
          • car_5_e7_244_e3_1071.lus
          • car_6.lus
          • car_6_e1_152.lus
          • car_6_e1_152_e1_391.lus
          • car_6_e2_589_e2_506.lus
          • car_6_e2_589_e3_349.lus
          • car_6_e2_893.lus
          • car_6_e3_294_e1_956.lus
          • car_6_e3_294_e3_47.lus
          • car_6_e3_294_e5_979.lus
          • car_all.lus
          • car_all_e1_618.lus
          • car_all_e1_618_e3_303.lus
          • car_all_e2_142.lus
          • car_all_e2_142_e7_209.lus
          • car_all_e3_1068.lus
          • car_all_e3_1068_e1_178.lus
          • car_all_e3_1068_e2_13.lus
          • car_all_e3_1068_e3_163.lus
          • car_all_e3_1068_e4_275.lus
          • car_all_e3_1068_e5_882.lus
          • car_all_e7_188_e7_743.lus
          • car_all_e8_856.lus
          • car_all_e8_856_e1_217.lus
          • car_all_e8_856_e2_585.lus
          • car_all_e8_856_e3_180.lus
          • car_all_e8_856_e7_578.lus
          • cd.lus
          • cd_e7_621_e7_669.lus
          • cd_e7_8.lus
          • fast_1.lus
          • fast_1_e7_2044.lus
          • fast_1_e7_2044_e7_1287.lus
          • fast_1_e8_747_e7_692.lus
          • fast_1_e8_747_e8_1041.lus
          • fast_1_e8_751.lus
          • fast_2.lus
          • fast_2_e7_2526.lus
          • fast_2_e7_2526_e7_2736.lus
          • fast_2_e8_460_e7_43.lus
          • fast_2_e8_460_e8_1920.lus
          • fast_2_e8_976.lus
          • hysteresis_1.lus
          • hysteresis_2.lus
          • hysteresis_3.lus
          • hysteresis_all.lus
          • metros_1.lus
          • metros_1_e1_846_e1_1317.lus
          • metros_1_e1_846_e2_1394.lus
          • metros_1_e1_846_e3_1060.lus
          • metros_1_e1_846_e7_397.lus
          • metros_1_e2_1102_e1_317.lus
          • metros_1_e2_1102_e2_943.lus
          • metros_1_e2_1102_e3_961.lus
          • metros_1_e2_1102_e7_1163.lus
          • metros_1_e2_627.lus
          • metros_1_e7_1255_e7_12.lus
          • metros_1_e7_606.lus
          • metros_1_e8_725.lus
          • metros_1_e8_725_e1_919.lus
          • metros_1_e8_725_e2_1144.lus
          • metros_1_e8_725_e3_556.lus
          • metros_2.lus
          • metros_2_e1_1116.lus
          • metros_2_e1_1116_e1_556.lus
          • metros_2_e1_1116_e2_617.lus
          • metros_2_e1_1116_e3_287.lus
          • metros_2_e1_1116_e7_1440.lus
          • metros_2_e1_190.lus
          • metros_2_e2_704_e1_389.lus
          • metros_2_e2_704_e2_13.lus
          • metros_2_e2_704_e3_76.lus
          • metros_2_e2_704_e7_810.lus
          • metros_2_e2_968.lus
          • metros_2_e3_112.lus
          • metros_3.lus
          • metros_3_e3_1275.lus
          • metros_3_e3_1275_e1_1350.lus
          • metros_3_e3_1275_e2_454.lus
          • metros_3_e3_1275_e3_640.lus
          • metros_3_e3_1275_e4_164.lus
          • metros_3_e3_1275_e5_846.lus
          • metros_3_e3_1275_e6_1315.lus
          • metros_3_e3_1275_e7_529.lus
          • metros_3_e4_987.lus
          • metros_3_e4_987_e1_1115.lus
          • metros_3_e4_987_e2_80.lus
          • metros_3_e4_987_e3_291.lus
          • metros_4.lus
          • metros_4_e1_821_e5_911.lus
          • metros_4_e1_917.lus
          • metros_4_e2_968.lus
          • metros_4_e2_968_e1_956.lus
          • metros_4_e2_968_e2_1166.lus
          • metros_4_e2_968_e3_931.lus
          • metros_4_e2_968_e4_801.lus
          • metros_4_e2_968_e5_991.lus
          • metros_4_e2_968_e6_236.lus
          • metros_4_e2_968_e7_860.lus
          • metros_4_e3_1025.lus
          • metros_4_e3_1091.lus
          • metros_4_e3_1091_e1_1044.lus
          • metros_4_e3_1091_e2_1317.lus
          • metros_4_e3_1091_e3_522.lus
          • metros_4_e3_1091_e4_232.lus
          • metros_4_e5_1150.lus
          • metros_4_e6_239_e2_307.lus
          • metros_5.lus
          • metros_5_e4_1208_e1_337.lus
          • production_cell.lus
          • production_cell_e7_207_e7_41.lus
          • production_cell_e7_207_e8_241.lus
          • production_cell_e7_21.lus
          • production_cell_e8_6.lus
          • production_cell_e8_6_e7_651.lus
          • production_cell_e8_6_e8_427.lus
          • production_cell_e8_792.lus
          • readme-simulation.txt
          • speed2.lus
          • speed2_e7_223_e7_213.lus
          • speed2_e7_223_e8_329.lus
          • speed2_e7_496.lus
          • speed2_e8_449.lus
          • speed2_e8_449_e7_353.lus
          • speed2_e8_449_e8_517.lus
          • speed2_e8_750.lus
          • speed_e7_207.lus
          • speed_e7_207_e7_538.lus
          • speed_e7_207_e8_507.lus
          • speed_e7_492.lus
          • speed_e8_649.lus
          • speed_e8_649_e7_709.lus
          • tramway.lus
          • tramway_e7_1834.lus
          • tramway_e7_1834_e7_2363.lus
          • tramway_e7_1834_e8_3192.lus
          • tramway_e7_3304.lus
          • ums.lus
          • ums_e7_1700.lus
          • ums_e8_1032.lus
      • lego_robot
        • controller
          • README
          • conv.c
          • conv.h
          • conv.lusi
          • lego_anti_windup.lus
          • lego_lqr_pur.lus
      • safety
        • safety_plane_archi.lus