├── .gitignore ├── .travis.yml ├── AUTHORS ├── Guidelines.md ├── LICENSE ├── README.md ├── libs ├── ObserverBlock.mdl └── cocosimLibs.slx ├── pre-commit.cmd ├── pre-commit.sh ├── sanity ├── README ├── pre_release_script.m └── sanity_check.py ├── sl_customization.m ├── src ├── add_cocospec.m ├── backEnd │ ├── jkind.m │ ├── kind2.m │ ├── lustrec.m │ ├── rust.m │ ├── seahorn.m │ ├── solver_result.m │ ├── templates │ │ ├── ann.html │ │ ├── annot.html │ │ ├── complex_arith_int.lus │ │ ├── complex_arith_real.lus │ │ ├── footer.html │ │ ├── header.html │ │ ├── launch_sim_embedded_annotation.m │ │ ├── launch_simulation.m │ │ ├── list_item.html │ │ ├── list_item_mat_code.html │ │ ├── list_title.html │ │ ├── materialize.css │ │ ├── plotting.m │ │ ├── title.html │ │ └── title2.html │ └── zustre.m ├── cocoSim.m ├── cocosim_menu.m ├── cocosim_pp.m ├── config.m ├── frontEnd │ ├── app_sprintf.m │ ├── blocks2lustre.m │ ├── blocks_dt_conversions.m │ ├── blocks_interconnection.m │ ├── blocks_interconnection_complet.m │ ├── clean_inter.m │ ├── flatten_subsystems.m │ ├── get_model_blocks_ports_dts.m │ ├── list_var_action.m │ ├── list_var_entree.m │ ├── list_var_input.m │ ├── list_var_outport.m │ ├── list_var_sortie.m │ ├── lookuptable.m │ ├── mk_internalRep.m │ ├── num_block.m │ ├── preprocess_model.m │ ├── realornot.m │ ├── ss2subsyst.m │ ├── transfo_entier_real.m │ ├── write_code.m │ └── ztransform.m ├── gui │ ├── add_property.m │ ├── cocosim_window.m │ ├── unsupported_blocks_gui.m │ └── validate_window.m ├── log4m.m ├── middleEnd │ ├── CoCoSpec.m │ ├── Parallel_states_call.m │ ├── add_node_param.m │ ├── add_unchanged_variables.m │ ├── add_variables.m │ ├── chart2lus.m │ ├── chart_and_function_code.m │ ├── construct_node_header.m │ ├── convert_cocospec.m │ ├── extern_nodes_header.m │ ├── math_functions.m │ ├── temporal_operators.m │ ├── transition_code.m │ ├── update_variables.m │ ├── write_3x3_Matrix.m │ ├── write_SignalConversion.m │ ├── write_Transition_actions.m │ ├── write_abs.m │ ├── write_action.m │ ├── write_assignment.m │ ├── write_bias.m │ ├── write_bitwise.m │ ├── write_busassignment.m │ ├── write_buscreator.m │ ├── write_buses.m │ ├── write_busselector.m │ ├── write_compareto.m │ ├── write_concatenate.m │ ├── write_constant.m │ ├── write_constantes.m │ ├── write_crossproduct.m │ ├── write_datatypeconversion.m │ ├── write_delay.m │ ├── write_demux.m │ ├── write_detect.m │ ├── write_discreteintegrator.m │ ├── write_dotproduct.m │ ├── write_dss.m │ ├── write_enableport.m │ ├── write_entree_sorties.m │ ├── write_extern_functions.m │ ├── write_extern_s_function.m │ ├── write_foriterator.m │ ├── write_fromworkspace.m │ ├── write_function_block.m │ ├── write_gain.m │ ├── write_global_node.m │ ├── write_goto_from.m │ ├── write_ifelseif.m │ ├── write_logic.m │ ├── write_lookupnddirect.m │ ├── write_math_fun.m │ ├── write_matlab_function_node.m │ ├── write_memory.m │ ├── write_merge.m │ ├── write_minmax.m │ ├── write_multiportswitch.m │ ├── write_mux.m │ ├── write_outport.m │ ├── write_polyval.m │ ├── write_product.m │ ├── write_property.m │ ├── write_relationaloperator.m │ ├── write_reshape.m │ ├── write_s_function.m │ ├── write_saturation.m │ ├── write_saturation_dynamic.m │ ├── write_selector.m │ ├── write_sf_Matlab_function_node.m │ ├── write_signalspecification.m │ ├── write_signum.m │ ├── write_state_actions.m │ ├── write_state_node.m │ ├── write_subsystem.m │ ├── write_sum.m │ ├── write_switch.m │ ├── write_switchcase.m │ ├── write_triggerport.m │ ├── write_trigo.m │ ├── write_unitdelay.m │ └── write_zero_pole.m ├── pp │ ├── README │ ├── default_constants.m │ ├── doc │ │ └── pp_doc.tex │ ├── lib │ │ ├── blocks │ │ │ ├── chart_process.m │ │ │ ├── clock_process.m │ │ │ ├── constant_process.m │ │ │ ├── deadzone_dynamic_process.m │ │ │ ├── deadzone_process.m │ │ │ ├── discrete_integrator_process.m │ │ │ ├── discrete_state_space_process.m │ │ │ ├── from_workspace_process.m │ │ │ ├── function_process.m │ │ │ ├── gain_process.m │ │ │ ├── goto_process.m │ │ │ ├── integrator_process.m │ │ │ ├── lookuptable_nD_process.m │ │ │ ├── lookuptable_process.m │ │ │ ├── math_process.m │ │ │ ├── product_process.m │ │ │ ├── pulsegenerator_process.m │ │ │ ├── rate_transition_process.m │ │ │ ├── replace_variables.m │ │ │ ├── saturation_dynamic_process.m │ │ │ ├── saturation_process.m │ │ │ ├── selector_process.m │ │ │ ├── signalbuilder_process.m │ │ │ ├── to_workspace_process.m │ │ │ ├── transfer_function_process.m │ │ │ └── zero_pole_process.m │ │ ├── common │ │ │ ├── datatable_process.m │ │ │ ├── gal_lib.slx │ │ │ ├── goto_block_process.m │ │ │ ├── pos.m │ │ │ ├── remove_line_tags.m │ │ │ ├── replace_one_block.m │ │ │ ├── state_matrix_process.m │ │ │ └── verification_template.slx │ │ └── math │ │ │ ├── expr_parser.py │ │ │ ├── expression_process.m │ │ │ └── parse_math.m │ └── pp.m ├── unsupported_blocks.m ├── utils │ ├── BusUtils.m │ ├── Constants.m │ ├── Utils.m │ ├── XML_Trace.m │ ├── cprintf.m │ ├── display_msg.m │ ├── func2node.py │ ├── generate-tables.py │ ├── get_full_name.m │ ├── log4m.m │ ├── messagetype.m │ ├── parse_json.m │ ├── sT2fT.m │ ├── setdiff_struct.m │ ├── sort_by_order.m │ ├── split_transition.m │ ├── to_XML.m │ └── traceability_annotation.m ├── validate_model.m └── view_cocospec.m ├── start_cocosim.m └── test ├── Fcn ├── Fcn.slx ├── Fcn2.slx └── Fcn3.slx ├── StateFlow ├── test_all.m ├── tests_with_properties │ ├── Arrays1V2.mdl │ ├── MicrowaveCex.slx │ ├── MicrowaveV2.mdl │ └── set_up_parameters.m └── tests_without_properties │ ├── BSCU.slx │ ├── BSCU_Active_State.mdl │ ├── BSCU_Brake_Mode.mdl │ ├── BSCU_Brake_cmd.mdl │ ├── BSCU_Duration.mdl │ ├── CruiseState.mdl │ ├── DA1.mdl │ ├── DockingApproachExample_Ext.mdl │ ├── GPCA_Alarm.mdl │ ├── GPCA_CONFIG.mdl │ ├── GPCA_INFUSION_MGR.mdl │ ├── GPCA_Logging.mdl │ ├── GPCA_System_Monitor.mdl │ ├── GPCA_Top_Level_Mode.mdl │ ├── MicrowaveModified.mdl │ └── set_up_parameters.m ├── cocospec ├── AltitudeControl_Demo.slx └── cocospec_3.slx ├── compilation └── simple.mdl └── properties ├── AltitudeControl_Demo.slx ├── assertion.mdl ├── assumption.slx ├── safe_1.mdl ├── safe_math_functions.slx ├── two_property.mdl └── unsafe_1.mdl /.gitignore: -------------------------------------------------------------------------------- 1 | src/config.m 2 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/.travis.yml -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/AUTHORS -------------------------------------------------------------------------------- /Guidelines.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/Guidelines.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/README.md -------------------------------------------------------------------------------- /libs/ObserverBlock.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/libs/ObserverBlock.mdl -------------------------------------------------------------------------------- /libs/cocosimLibs.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/libs/cocosimLibs.slx -------------------------------------------------------------------------------- /pre-commit.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/pre-commit.cmd -------------------------------------------------------------------------------- /pre-commit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/pre-commit.sh -------------------------------------------------------------------------------- /sanity/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/sanity/README -------------------------------------------------------------------------------- /sanity/pre_release_script.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/sanity/pre_release_script.m -------------------------------------------------------------------------------- /sanity/sanity_check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/sanity/sanity_check.py -------------------------------------------------------------------------------- /sl_customization.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/sl_customization.m -------------------------------------------------------------------------------- /src/add_cocospec.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/add_cocospec.m -------------------------------------------------------------------------------- /src/backEnd/jkind.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/jkind.m -------------------------------------------------------------------------------- /src/backEnd/kind2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/kind2.m -------------------------------------------------------------------------------- /src/backEnd/lustrec.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/lustrec.m -------------------------------------------------------------------------------- /src/backEnd/rust.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/rust.m -------------------------------------------------------------------------------- /src/backEnd/seahorn.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/seahorn.m -------------------------------------------------------------------------------- /src/backEnd/solver_result.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/solver_result.m -------------------------------------------------------------------------------- /src/backEnd/templates/ann.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/ann.html -------------------------------------------------------------------------------- /src/backEnd/templates/annot.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/annot.html -------------------------------------------------------------------------------- /src/backEnd/templates/complex_arith_int.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/complex_arith_int.lus -------------------------------------------------------------------------------- /src/backEnd/templates/complex_arith_real.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/complex_arith_real.lus -------------------------------------------------------------------------------- /src/backEnd/templates/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/footer.html -------------------------------------------------------------------------------- /src/backEnd/templates/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/header.html -------------------------------------------------------------------------------- /src/backEnd/templates/launch_sim_embedded_annotation.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/launch_sim_embedded_annotation.m -------------------------------------------------------------------------------- /src/backEnd/templates/launch_simulation.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/launch_simulation.m -------------------------------------------------------------------------------- /src/backEnd/templates/list_item.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/list_item.html -------------------------------------------------------------------------------- /src/backEnd/templates/list_item_mat_code.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/list_item_mat_code.html -------------------------------------------------------------------------------- /src/backEnd/templates/list_title.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/list_title.html -------------------------------------------------------------------------------- /src/backEnd/templates/materialize.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/materialize.css -------------------------------------------------------------------------------- /src/backEnd/templates/plotting.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/plotting.m -------------------------------------------------------------------------------- /src/backEnd/templates/title.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/title.html -------------------------------------------------------------------------------- /src/backEnd/templates/title2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/templates/title2.html -------------------------------------------------------------------------------- /src/backEnd/zustre.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/backEnd/zustre.m -------------------------------------------------------------------------------- /src/cocoSim.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/cocoSim.m -------------------------------------------------------------------------------- /src/cocosim_menu.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/cocosim_menu.m -------------------------------------------------------------------------------- /src/cocosim_pp.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/cocosim_pp.m -------------------------------------------------------------------------------- /src/config.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/config.m -------------------------------------------------------------------------------- /src/frontEnd/app_sprintf.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/app_sprintf.m -------------------------------------------------------------------------------- /src/frontEnd/blocks2lustre.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/blocks2lustre.m -------------------------------------------------------------------------------- /src/frontEnd/blocks_dt_conversions.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/blocks_dt_conversions.m -------------------------------------------------------------------------------- /src/frontEnd/blocks_interconnection.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/blocks_interconnection.m -------------------------------------------------------------------------------- /src/frontEnd/blocks_interconnection_complet.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/blocks_interconnection_complet.m -------------------------------------------------------------------------------- /src/frontEnd/clean_inter.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/clean_inter.m -------------------------------------------------------------------------------- /src/frontEnd/flatten_subsystems.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/flatten_subsystems.m -------------------------------------------------------------------------------- /src/frontEnd/get_model_blocks_ports_dts.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/get_model_blocks_ports_dts.m -------------------------------------------------------------------------------- /src/frontEnd/list_var_action.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/list_var_action.m -------------------------------------------------------------------------------- /src/frontEnd/list_var_entree.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/list_var_entree.m -------------------------------------------------------------------------------- /src/frontEnd/list_var_input.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/list_var_input.m -------------------------------------------------------------------------------- /src/frontEnd/list_var_outport.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/list_var_outport.m -------------------------------------------------------------------------------- /src/frontEnd/list_var_sortie.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/list_var_sortie.m -------------------------------------------------------------------------------- /src/frontEnd/lookuptable.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/lookuptable.m -------------------------------------------------------------------------------- /src/frontEnd/mk_internalRep.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/mk_internalRep.m -------------------------------------------------------------------------------- /src/frontEnd/num_block.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/num_block.m -------------------------------------------------------------------------------- /src/frontEnd/preprocess_model.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/preprocess_model.m -------------------------------------------------------------------------------- /src/frontEnd/realornot.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/realornot.m -------------------------------------------------------------------------------- /src/frontEnd/ss2subsyst.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/ss2subsyst.m -------------------------------------------------------------------------------- /src/frontEnd/transfo_entier_real.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/transfo_entier_real.m -------------------------------------------------------------------------------- /src/frontEnd/write_code.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/write_code.m -------------------------------------------------------------------------------- /src/frontEnd/ztransform.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/frontEnd/ztransform.m -------------------------------------------------------------------------------- /src/gui/add_property.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/gui/add_property.m -------------------------------------------------------------------------------- /src/gui/cocosim_window.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/gui/cocosim_window.m -------------------------------------------------------------------------------- /src/gui/unsupported_blocks_gui.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/gui/unsupported_blocks_gui.m -------------------------------------------------------------------------------- /src/gui/validate_window.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/gui/validate_window.m -------------------------------------------------------------------------------- /src/log4m.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/log4m.m -------------------------------------------------------------------------------- /src/middleEnd/CoCoSpec.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/CoCoSpec.m -------------------------------------------------------------------------------- /src/middleEnd/Parallel_states_call.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/Parallel_states_call.m -------------------------------------------------------------------------------- /src/middleEnd/add_node_param.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/add_node_param.m -------------------------------------------------------------------------------- /src/middleEnd/add_unchanged_variables.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/add_unchanged_variables.m -------------------------------------------------------------------------------- /src/middleEnd/add_variables.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/add_variables.m -------------------------------------------------------------------------------- /src/middleEnd/chart2lus.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/chart2lus.m -------------------------------------------------------------------------------- /src/middleEnd/chart_and_function_code.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/chart_and_function_code.m -------------------------------------------------------------------------------- /src/middleEnd/construct_node_header.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/construct_node_header.m -------------------------------------------------------------------------------- /src/middleEnd/convert_cocospec.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/convert_cocospec.m -------------------------------------------------------------------------------- /src/middleEnd/extern_nodes_header.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/extern_nodes_header.m -------------------------------------------------------------------------------- /src/middleEnd/math_functions.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/math_functions.m -------------------------------------------------------------------------------- /src/middleEnd/temporal_operators.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/temporal_operators.m -------------------------------------------------------------------------------- /src/middleEnd/transition_code.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/transition_code.m -------------------------------------------------------------------------------- /src/middleEnd/update_variables.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/update_variables.m -------------------------------------------------------------------------------- /src/middleEnd/write_3x3_Matrix.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_3x3_Matrix.m -------------------------------------------------------------------------------- /src/middleEnd/write_SignalConversion.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_SignalConversion.m -------------------------------------------------------------------------------- /src/middleEnd/write_Transition_actions.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_Transition_actions.m -------------------------------------------------------------------------------- /src/middleEnd/write_abs.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_abs.m -------------------------------------------------------------------------------- /src/middleEnd/write_action.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_action.m -------------------------------------------------------------------------------- /src/middleEnd/write_assignment.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_assignment.m -------------------------------------------------------------------------------- /src/middleEnd/write_bias.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_bias.m -------------------------------------------------------------------------------- /src/middleEnd/write_bitwise.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_bitwise.m -------------------------------------------------------------------------------- /src/middleEnd/write_busassignment.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_busassignment.m -------------------------------------------------------------------------------- /src/middleEnd/write_buscreator.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_buscreator.m -------------------------------------------------------------------------------- /src/middleEnd/write_buses.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_buses.m -------------------------------------------------------------------------------- /src/middleEnd/write_busselector.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_busselector.m -------------------------------------------------------------------------------- /src/middleEnd/write_compareto.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_compareto.m -------------------------------------------------------------------------------- /src/middleEnd/write_concatenate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_concatenate.m -------------------------------------------------------------------------------- /src/middleEnd/write_constant.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_constant.m -------------------------------------------------------------------------------- /src/middleEnd/write_constantes.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_constantes.m -------------------------------------------------------------------------------- /src/middleEnd/write_crossproduct.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_crossproduct.m -------------------------------------------------------------------------------- /src/middleEnd/write_datatypeconversion.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_datatypeconversion.m -------------------------------------------------------------------------------- /src/middleEnd/write_delay.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_delay.m -------------------------------------------------------------------------------- /src/middleEnd/write_demux.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_demux.m -------------------------------------------------------------------------------- /src/middleEnd/write_detect.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_detect.m -------------------------------------------------------------------------------- /src/middleEnd/write_discreteintegrator.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_discreteintegrator.m -------------------------------------------------------------------------------- /src/middleEnd/write_dotproduct.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_dotproduct.m -------------------------------------------------------------------------------- /src/middleEnd/write_dss.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_dss.m -------------------------------------------------------------------------------- /src/middleEnd/write_enableport.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_enableport.m -------------------------------------------------------------------------------- /src/middleEnd/write_entree_sorties.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_entree_sorties.m -------------------------------------------------------------------------------- /src/middleEnd/write_extern_functions.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_extern_functions.m -------------------------------------------------------------------------------- /src/middleEnd/write_extern_s_function.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_extern_s_function.m -------------------------------------------------------------------------------- /src/middleEnd/write_foriterator.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_foriterator.m -------------------------------------------------------------------------------- /src/middleEnd/write_fromworkspace.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_fromworkspace.m -------------------------------------------------------------------------------- /src/middleEnd/write_function_block.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_function_block.m -------------------------------------------------------------------------------- /src/middleEnd/write_gain.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_gain.m -------------------------------------------------------------------------------- /src/middleEnd/write_global_node.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_global_node.m -------------------------------------------------------------------------------- /src/middleEnd/write_goto_from.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_goto_from.m -------------------------------------------------------------------------------- /src/middleEnd/write_ifelseif.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_ifelseif.m -------------------------------------------------------------------------------- /src/middleEnd/write_logic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_logic.m -------------------------------------------------------------------------------- /src/middleEnd/write_lookupnddirect.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_lookupnddirect.m -------------------------------------------------------------------------------- /src/middleEnd/write_math_fun.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_math_fun.m -------------------------------------------------------------------------------- /src/middleEnd/write_matlab_function_node.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_matlab_function_node.m -------------------------------------------------------------------------------- /src/middleEnd/write_memory.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_memory.m -------------------------------------------------------------------------------- /src/middleEnd/write_merge.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_merge.m -------------------------------------------------------------------------------- /src/middleEnd/write_minmax.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_minmax.m -------------------------------------------------------------------------------- /src/middleEnd/write_multiportswitch.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_multiportswitch.m -------------------------------------------------------------------------------- /src/middleEnd/write_mux.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_mux.m -------------------------------------------------------------------------------- /src/middleEnd/write_outport.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_outport.m -------------------------------------------------------------------------------- /src/middleEnd/write_polyval.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_polyval.m -------------------------------------------------------------------------------- /src/middleEnd/write_product.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_product.m -------------------------------------------------------------------------------- /src/middleEnd/write_property.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_property.m -------------------------------------------------------------------------------- /src/middleEnd/write_relationaloperator.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_relationaloperator.m -------------------------------------------------------------------------------- /src/middleEnd/write_reshape.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_reshape.m -------------------------------------------------------------------------------- /src/middleEnd/write_s_function.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_s_function.m -------------------------------------------------------------------------------- /src/middleEnd/write_saturation.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_saturation.m -------------------------------------------------------------------------------- /src/middleEnd/write_saturation_dynamic.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_saturation_dynamic.m -------------------------------------------------------------------------------- /src/middleEnd/write_selector.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_selector.m -------------------------------------------------------------------------------- /src/middleEnd/write_sf_Matlab_function_node.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_sf_Matlab_function_node.m -------------------------------------------------------------------------------- /src/middleEnd/write_signalspecification.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_signalspecification.m -------------------------------------------------------------------------------- /src/middleEnd/write_signum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_signum.m -------------------------------------------------------------------------------- /src/middleEnd/write_state_actions.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_state_actions.m -------------------------------------------------------------------------------- /src/middleEnd/write_state_node.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_state_node.m -------------------------------------------------------------------------------- /src/middleEnd/write_subsystem.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_subsystem.m -------------------------------------------------------------------------------- /src/middleEnd/write_sum.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_sum.m -------------------------------------------------------------------------------- /src/middleEnd/write_switch.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_switch.m -------------------------------------------------------------------------------- /src/middleEnd/write_switchcase.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_switchcase.m -------------------------------------------------------------------------------- /src/middleEnd/write_triggerport.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_triggerport.m -------------------------------------------------------------------------------- /src/middleEnd/write_trigo.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_trigo.m -------------------------------------------------------------------------------- /src/middleEnd/write_unitdelay.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_unitdelay.m -------------------------------------------------------------------------------- /src/middleEnd/write_zero_pole.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/middleEnd/write_zero_pole.m -------------------------------------------------------------------------------- /src/pp/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/README -------------------------------------------------------------------------------- /src/pp/default_constants.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/default_constants.m -------------------------------------------------------------------------------- /src/pp/doc/pp_doc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/doc/pp_doc.tex -------------------------------------------------------------------------------- /src/pp/lib/blocks/chart_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/chart_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/clock_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/clock_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/constant_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/constant_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/deadzone_dynamic_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/deadzone_dynamic_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/deadzone_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/deadzone_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/discrete_integrator_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/discrete_integrator_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/discrete_state_space_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/discrete_state_space_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/from_workspace_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/from_workspace_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/function_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/function_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/gain_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/gain_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/goto_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/goto_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/integrator_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/integrator_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/lookuptable_nD_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/lookuptable_nD_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/lookuptable_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/lookuptable_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/math_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/math_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/product_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/product_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/pulsegenerator_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/pulsegenerator_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/rate_transition_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/rate_transition_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/replace_variables.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/replace_variables.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/saturation_dynamic_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/saturation_dynamic_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/saturation_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/saturation_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/selector_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/selector_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/signalbuilder_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/signalbuilder_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/to_workspace_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/to_workspace_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/transfer_function_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/transfer_function_process.m -------------------------------------------------------------------------------- /src/pp/lib/blocks/zero_pole_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/blocks/zero_pole_process.m -------------------------------------------------------------------------------- /src/pp/lib/common/datatable_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/datatable_process.m -------------------------------------------------------------------------------- /src/pp/lib/common/gal_lib.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/gal_lib.slx -------------------------------------------------------------------------------- /src/pp/lib/common/goto_block_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/goto_block_process.m -------------------------------------------------------------------------------- /src/pp/lib/common/pos.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/pos.m -------------------------------------------------------------------------------- /src/pp/lib/common/remove_line_tags.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/remove_line_tags.m -------------------------------------------------------------------------------- /src/pp/lib/common/replace_one_block.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/replace_one_block.m -------------------------------------------------------------------------------- /src/pp/lib/common/state_matrix_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/state_matrix_process.m -------------------------------------------------------------------------------- /src/pp/lib/common/verification_template.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/common/verification_template.slx -------------------------------------------------------------------------------- /src/pp/lib/math/expr_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/math/expr_parser.py -------------------------------------------------------------------------------- /src/pp/lib/math/expression_process.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/math/expression_process.m -------------------------------------------------------------------------------- /src/pp/lib/math/parse_math.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/lib/math/parse_math.m -------------------------------------------------------------------------------- /src/pp/pp.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/pp/pp.m -------------------------------------------------------------------------------- /src/unsupported_blocks.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/unsupported_blocks.m -------------------------------------------------------------------------------- /src/utils/BusUtils.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/BusUtils.m -------------------------------------------------------------------------------- /src/utils/Constants.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/Constants.m -------------------------------------------------------------------------------- /src/utils/Utils.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/Utils.m -------------------------------------------------------------------------------- /src/utils/XML_Trace.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/XML_Trace.m -------------------------------------------------------------------------------- /src/utils/cprintf.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/cprintf.m -------------------------------------------------------------------------------- /src/utils/display_msg.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/display_msg.m -------------------------------------------------------------------------------- /src/utils/func2node.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/func2node.py -------------------------------------------------------------------------------- /src/utils/generate-tables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/generate-tables.py -------------------------------------------------------------------------------- /src/utils/get_full_name.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/get_full_name.m -------------------------------------------------------------------------------- /src/utils/log4m.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/log4m.m -------------------------------------------------------------------------------- /src/utils/messagetype.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/messagetype.m -------------------------------------------------------------------------------- /src/utils/parse_json.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/parse_json.m -------------------------------------------------------------------------------- /src/utils/sT2fT.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/sT2fT.m -------------------------------------------------------------------------------- /src/utils/setdiff_struct.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/setdiff_struct.m -------------------------------------------------------------------------------- /src/utils/sort_by_order.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/sort_by_order.m -------------------------------------------------------------------------------- /src/utils/split_transition.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/split_transition.m -------------------------------------------------------------------------------- /src/utils/to_XML.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/to_XML.m -------------------------------------------------------------------------------- /src/utils/traceability_annotation.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/utils/traceability_annotation.m -------------------------------------------------------------------------------- /src/validate_model.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/validate_model.m -------------------------------------------------------------------------------- /src/view_cocospec.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/src/view_cocospec.m -------------------------------------------------------------------------------- /start_cocosim.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/start_cocosim.m -------------------------------------------------------------------------------- /test/Fcn/Fcn.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/Fcn/Fcn.slx -------------------------------------------------------------------------------- /test/Fcn/Fcn2.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/Fcn/Fcn2.slx -------------------------------------------------------------------------------- /test/Fcn/Fcn3.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/Fcn/Fcn3.slx -------------------------------------------------------------------------------- /test/StateFlow/test_all.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/test_all.m -------------------------------------------------------------------------------- /test/StateFlow/tests_with_properties/Arrays1V2.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_with_properties/Arrays1V2.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_with_properties/MicrowaveCex.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_with_properties/MicrowaveCex.slx -------------------------------------------------------------------------------- /test/StateFlow/tests_with_properties/MicrowaveV2.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_with_properties/MicrowaveV2.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_with_properties/set_up_parameters.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_with_properties/set_up_parameters.m -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/BSCU.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/BSCU.slx -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/BSCU_Active_State.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/BSCU_Active_State.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/BSCU_Brake_Mode.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/BSCU_Brake_Mode.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/BSCU_Brake_cmd.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/BSCU_Brake_cmd.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/BSCU_Duration.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/BSCU_Duration.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/CruiseState.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/CruiseState.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/DA1.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/DA1.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/DockingApproachExample_Ext.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/DockingApproachExample_Ext.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/GPCA_Alarm.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/GPCA_Alarm.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/GPCA_CONFIG.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/GPCA_CONFIG.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/GPCA_INFUSION_MGR.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/GPCA_INFUSION_MGR.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/GPCA_Logging.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/GPCA_Logging.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/GPCA_System_Monitor.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/GPCA_System_Monitor.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/GPCA_Top_Level_Mode.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/GPCA_Top_Level_Mode.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/MicrowaveModified.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/MicrowaveModified.mdl -------------------------------------------------------------------------------- /test/StateFlow/tests_without_properties/set_up_parameters.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/StateFlow/tests_without_properties/set_up_parameters.m -------------------------------------------------------------------------------- /test/cocospec/AltitudeControl_Demo.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/cocospec/AltitudeControl_Demo.slx -------------------------------------------------------------------------------- /test/cocospec/cocospec_3.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/cocospec/cocospec_3.slx -------------------------------------------------------------------------------- /test/compilation/simple.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/compilation/simple.mdl -------------------------------------------------------------------------------- /test/properties/AltitudeControl_Demo.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/properties/AltitudeControl_Demo.slx -------------------------------------------------------------------------------- /test/properties/assertion.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/properties/assertion.mdl -------------------------------------------------------------------------------- /test/properties/assumption.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/properties/assumption.slx -------------------------------------------------------------------------------- /test/properties/safe_1.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/properties/safe_1.mdl -------------------------------------------------------------------------------- /test/properties/safe_math_functions.slx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/properties/safe_math_functions.slx -------------------------------------------------------------------------------- /test/properties/two_property.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/properties/two_property.mdl -------------------------------------------------------------------------------- /test/properties/unsafe_1.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/cocoSim-deprecated/HEAD/test/properties/unsafe_1.mdl --------------------------------------------------------------------------------