Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/Simulink @ b03d5034

Name Size Revision Age Author Comment
  src_abs_test 8451150a about 6 years hbourbou add output references
  src_assignment_test 8451150a about 6 years hbourbou add output references
  src_bias_test 8451150a about 6 years hbourbou add output references
  src_bus_test 8451150a about 6 years hbourbou add output references
  src_comparetoconstant_test 8451150a about 6 years hbourbou add output references
  src_comparetozero_test 8451150a about 6 years hbourbou add output references
  src_concatenate_test 8451150a about 6 years hbourbou add output references
  src_constant_test 8451150a about 6 years hbourbou add output references
  src_constant_test_order 8451150a about 6 years hbourbou add output references
  src_demux_test 8451150a about 6 years hbourbou add output references
  src_detect_change_test 8451150a about 6 years hbourbou add output references
  src_detect_fall_test 8451150a about 6 years hbourbou add output references
  src_detect_rise_test 8451150a about 6 years hbourbou add output references
  src_flattening_1_test 8451150a about 6 years hbourbou add output references
  src_flattening_2_test 8451150a about 6 years hbourbou add output references
  src_flattening_3_test 8451150a about 6 years hbourbou add output references
  src_flattening_4_test 8451150a about 6 years hbourbou add output references
  src_flattening_test 8451150a about 6 years hbourbou add output references
  src_gain_test_uK_order 8451150a about 6 years hbourbou add output references
  src_goto_from_test 8451150a about 6 years hbourbou add output references
  src_if_multi_test 8451150a about 6 years hbourbou add output references
  src_if_test 8451150a about 6 years hbourbou add output references
  src_integrator_ext_IC_matrix_test 8451150a about 6 years hbourbou add output references
  src_integrator_ext_IC_reset_test 8451150a about 6 years hbourbou add output references
  src_integrator_ext_IC_test 8451150a about 6 years hbourbou add output references
  src_integrator_ext_IC_vector_test 8451150a about 6 years hbourbou add output references
  src_integrator_ext_reset_matrix_test 8451150a about 6 years hbourbou add output references
  src_integrator_ext_reset_test 8451150a about 6 years hbourbou add output references
  src_integrator_ext_reset_vector_test 8451150a about 6 years hbourbou add output references
  src_integrator_matrix_test 8451150a about 6 years hbourbou add output references
  src_integrator_test 8451150a about 6 years hbourbou add output references
  src_integrator_vector_test 8451150a about 6 years hbourbou add output references
  src_logic_expand_2_test 8451150a about 6 years hbourbou add output references
  src_logic_expand_test 8451150a about 6 years hbourbou add output references
  src_logic_test 8451150a about 6 years hbourbou add output references
  src_math_int_test 8451150a about 6 years hbourbou add output references
  src_memory_matrix_test 8451150a about 6 years hbourbou add output references
  src_memory_test 8451150a about 6 years hbourbou add output references
  src_memory_vect_test 8451150a about 6 years hbourbou add output references
  src_merge_test 8451150a about 6 years hbourbou add output references
  src_minmax_multi_test 8451150a about 6 years hbourbou add output references
  src_minmax_test 8451150a about 6 years hbourbou add output references
  src_mux_test 8451150a about 6 years hbourbou add output references
  src_muxdemux_test 8451150a about 6 years hbourbou add output references
  src_nogen_blocks_test 8451150a about 6 years hbourbou add output references
  src_polyval_test 8451150a about 6 years hbourbou add output references
  src_product_collapse_test 8451150a about 6 years hbourbou add output references
  src_product_elementwise_test 8451150a about 6 years hbourbou add output references
  src_product_matrix_multiple_test 8451150a about 6 years hbourbou add output references
  src_product_matrix_test 8451150a about 6 years hbourbou add output references
  src_ref_subsystem_sub_test 8451150a about 6 years hbourbou add output references
  src_ref_subsystem_test 8451150a about 6 years hbourbou add output references
  src_relop_multi_test 8451150a about 6 years hbourbou add output references
  src_relop_test 8451150a about 6 years hbourbou add output references
  src_reshape_test 8451150a about 6 years hbourbou add output references
  src_saturate_int_test 8451150a about 6 years hbourbou add output references
  src_saturate_test 8451150a about 6 years hbourbou add output references
  src_saturationdynamic_param_test 8451150a about 6 years hbourbou add output references
  src_selector_test 8451150a about 6 years hbourbou add output references
  src_subsystem_mask_test 8451150a about 6 years hbourbou add output references
  src_sum_collapse_bool_test 8451150a about 6 years hbourbou add output references
  src_sum_collapse_int_test 8451150a about 6 years hbourbou add output references
  src_sum_collapse_test 8451150a about 6 years hbourbou add output references
  src_sum_multi_test 8451150a about 6 years hbourbou add output references
  src_sum_test 8451150a about 6 years hbourbou add output references
  src_switch_test 8451150a about 6 years hbourbou add output references
  src_trigger_test 8451150a about 6 years hbourbou add output references
  src_unitdelay_matrix_test 8451150a about 6 years hbourbou add output references
  src_unitdelay_test 8451150a about 6 years hbourbou add output references
  src_unitdelay_vect_test 8451150a about 6 years hbourbou add output references
CMakeLists.txt 2.01 KB c34a50ff about 6 years Pierre-Loïc Garoche Better naming

Latest revisions

# Date Author Comment
58eac50a 11/16/2018 12:54 AM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
c34a50ff 11/16/2018 12:49 AM Pierre-Loïc Garoche

Better naming
8451150a 11/15/2018 08:49 PM hbourbou

add output references
f4893943 11/15/2018 07:33 AM Pierre-Loïc Garoche

Script now compare the output with ones compiled with the same options
4f47032a 06/22/2018 08:54 AM Pierre-Loïc Garoche

Updates some expected outputs
a603f261 01/31/2018 09:58 AM Pierre-Loïc Garoche

More tests
67d911bc 12/13/2017 05:32 PM Pierre-Loïc Garoche

MPFR and EMF checks
5600dad4 11/30/2016 12:28 AM Hamza Bourbouh

update automata/with_prop folder
0c9457a0 11/29/2016 11:57 PM Hamza Bourbouh

update Simulink folder
55ea7210 11/20/2016 02:15 AM Hamza Bourbouh

add adrien test folder

View revisions

Also available in: Atom