d9a940e3ff15fe108652e660cf8ddb551a88a443 - www.eclipse.org/escet

commit	d9a940e3ff15fe108652e660cf8ddb551a88a443	[log] [tgz]
author	Dennis Hendriks <dh_tue@hotmail.com>	Tue Mar 29 17:41:12 2022 +0200
committer	Dennis Hendriks <dh_tue@hotmail.com>	Tue Mar 29 17:41:12 2022 +0200
tree	360bfbcf6c124f56e062a10ba6621d470b213ea9
parent	2a62980bf0b2f88b9325226a8a6e3c1d416660ac [diff]

Set standard visible website to release v0.5.

Signed-off-by: Dennis Hendriks <dh_tue@hotmail.com>

about.html[diff]
assets/eclipse-escet-chi.css[diff]
assets/eclipse-escet-cif.css[diff]
assets/eclipse-escet-project.css[diff]
assets/eclipse-escet-tooldef.css[diff]
assets/eclipse-escet.css[diff]
chi/about.html[diff]
chi/documentation-legal.html[diff]
chi/documentation-single-page.html[diff]
chi/documentation.html[diff]
chi/eclipse-escet-incubation-chi-manual.pdf[diff]
chi/index.html[diff]
chi/reference-manual/distribution_plots/Makefile[diff]
chi/reference-manual/distribution_plots/bernoulli.dat[diff]
chi/reference-manual/distribution_plots/bernoulli.plt[diff]
chi/reference-manual/distribution_plots/bernoulli.svg[diff]
chi/reference-manual/distribution_plots/beta.plt[diff]
chi/reference-manual/distribution_plots/beta.svg[diff]
chi/reference-manual/distribution_plots/beta_0.8_0.5.dat[diff]
chi/reference-manual/distribution_plots/beta_1.5_3.0.dat[diff]
chi/reference-manual/distribution_plots/beta_2.0_2.0.dat[diff]
chi/reference-manual/distribution_plots/beta_5.0_1.5.dat[diff]
chi/reference-manual/distribution_plots/binomial.plt[diff]
chi/reference-manual/distribution_plots/binomial.svg[diff]
chi/reference-manual/distribution_plots/binomial_20_0.5.dat[diff]
chi/reference-manual/distribution_plots/binomial_20_0.7.dat[diff]
chi/reference-manual/distribution_plots/binomial_40_0.5.dat[diff]
chi/reference-manual/distribution_plots/cont_uni.plt[diff]
chi/reference-manual/distribution_plots/cont_uni.svg[diff]
chi/reference-manual/distribution_plots/cont_uni1.dat[diff]
chi/reference-manual/distribution_plots/cont_uni2.dat[diff]
chi/reference-manual/distribution_plots/disc_uni.plt[diff]
chi/reference-manual/distribution_plots/disc_uni.svg[diff]
chi/reference-manual/distribution_plots/disc_uni1.dat[diff]
chi/reference-manual/distribution_plots/disc_uni2.dat[diff]
chi/reference-manual/distribution_plots/exponential.plt[diff]
chi/reference-manual/distribution_plots/exponential.svg[diff]
chi/reference-manual/distribution_plots/exponential_0.5.dat[diff]
chi/reference-manual/distribution_plots/exponential_1.0.dat[diff]
chi/reference-manual/distribution_plots/exponential_1.5.dat[diff]
chi/reference-manual/distribution_plots/gamma.plt[diff]
chi/reference-manual/distribution_plots/gamma.svg[diff]
chi/reference-manual/distribution_plots/gamma_1.0_2.0.dat[diff]
chi/reference-manual/distribution_plots/gamma_3.0_2.0.dat[diff]
chi/reference-manual/distribution_plots/gamma_6.0_0.5.dat[diff]
chi/reference-manual/distribution_plots/gamma_6.0_2.0.dat[diff]
chi/reference-manual/distribution_plots/lognormal.plt[diff]
chi/reference-manual/distribution_plots/lognormal.svg[diff]
chi/reference-manual/distribution_plots/lognormal_0.0_0.25.dat[diff]
chi/reference-manual/distribution_plots/lognormal_0.0_0.5.dat[diff]
chi/reference-manual/distribution_plots/lognormal_0.0_1.0.dat[diff]
chi/reference-manual/distribution_plots/normal.plt[diff]
chi/reference-manual/distribution_plots/normal.svg[diff]
chi/reference-manual/distribution_plots/normal_3_1.dat[diff]
chi/reference-manual/distribution_plots/normal_5_2.dat[diff]
chi/reference-manual/distribution_plots/poisson.plt[diff]
chi/reference-manual/distribution_plots/poisson.svg[diff]
chi/reference-manual/distribution_plots/poisson_10.0.dat[diff]
chi/reference-manual/distribution_plots/poisson_4.0.dat[diff]
chi/reference-manual/distribution_plots/triangle.plt[diff]
chi/reference-manual/distribution_plots/triangle.svg[diff]
chi/reference-manual/distribution_plots/triangle_1_2_4.dat[diff]
chi/reference-manual/distribution_plots/weibull.plt[diff]
chi/reference-manual/distribution_plots/weibull.svg[diff]
chi/reference-manual/distribution_plots/weibull_0.5_1.0.dat[diff]
chi/reference-manual/distribution_plots/weibull_1.0_1.0.dat[diff]
chi/reference-manual/distribution_plots/weibull_1.5_1.0.dat[diff]
chi/reference-manual/distribution_plots/weibull_5.0_1.0.dat[diff]
chi/reference-manual/distributions.html[diff]
chi/reference-manual/expressions.html[diff]
chi/reference-manual/globals.html[diff]
chi/reference-manual/index.html[diff]
chi/reference-manual/lexicals.html[diff]
chi/reference-manual/migration.html[diff]
chi/reference-manual/rail_diagrams/Makefile[diff]
chi/reference-manual/rail_diagrams/addressable.tex[diff]
chi/reference-manual/rail_diagrams/assignment_statement.tex[diff]
chi/reference-manual/rail_diagrams/body.tex[diff]
chi/reference-manual/rail_diagrams/bool_expression.tex[diff]
chi/reference-manual/rail_diagrams/break_statement.tex[diff]
chi/reference-manual/rail_diagrams/cast_expression.tex[diff]
chi/reference-manual/rail_diagrams/channel_type.tex[diff]
chi/reference-manual/rail_diagrams/choice_statement.tex[diff]
chi/reference-manual/rail_diagrams/close_statement.tex[diff]
chi/reference-manual/rail_diagrams/communication_statement.tex[diff]
chi/reference-manual/rail_diagrams/compare_expression.tex[diff]
chi/reference-manual/rail_diagrams/constantdef.tex[diff]
chi/reference-manual/rail_diagrams/container_type.tex[diff]
chi/reference-manual/rail_diagrams/continue_statement.tex[diff]
chi/reference-manual/rail_diagrams/delay_statement.tex[diff]
chi/reference-manual/rail_diagrams/dictionary_type.tex[diff]
chi/reference-manual/rail_diagrams/distribution_type.tex[diff]
chi/reference-manual/rail_diagrams/elementary_type.tex[diff]
chi/reference-manual/rail_diagrams/enum_value.tex[diff]
chi/reference-manual/rail_diagrams/enumdef.tex[diff]
chi/reference-manual/rail_diagrams/exit_statement.tex[diff]
chi/reference-manual/rail_diagrams/finish_statement.tex[diff]
chi/reference-manual/rail_diagrams/for_statement.tex[diff]
chi/reference-manual/rail_diagrams/formalparms.tex[diff]
chi/reference-manual/rail_diagrams/func_call_expression.tex[diff]
chi/reference-manual/rail_diagrams/funcdef.tex[diff]
chi/reference-manual/rail_diagrams/function_type.tex[diff]
chi/reference-manual/rail_diagrams/generic_expression.tex[diff]
chi/reference-manual/rail_diagrams/iterative_statement.tex[diff]
chi/reference-manual/rail_diagrams/lexical_real_number.tex[diff]
chi/reference-manual/rail_diagrams/lexical_string_literal.tex[diff]
chi/reference-manual/rail_diagrams/list_type.tex[diff]
chi/reference-manual/rail_diagrams/literal_dictionary.tex[diff]
chi/reference-manual/rail_diagrams/literal_integer_number.tex[diff]
chi/reference-manual/rail_diagrams/literal_list.tex[diff]
chi/reference-manual/rail_diagrams/literal_matrix.tex[diff]
chi/reference-manual/rail_diagrams/literal_set.tex[diff]
chi/reference-manual/rail_diagrams/literal_tuple.tex[diff]
chi/reference-manual/rail_diagrams/modeldef.tex[diff]
chi/reference-manual/rail_diagrams/other_statements.tex[diff]
chi/reference-manual/rail_diagrams/pass_statement.tex[diff]
chi/reference-manual/rail_diagrams/postamble.tex[diff]
chi/reference-manual/rail_diagrams/preamble.tex[diff]
chi/reference-manual/rail_diagrams/procdef.tex[diff]
chi/reference-manual/rail_diagrams/process_instance.tex[diff]
chi/reference-manual/rail_diagrams/process_type.tex[diff]
chi/reference-manual/rail_diagrams/program.tex[diff]
chi/reference-manual/rail_diagrams/real_number_values.tex[diff]
chi/reference-manual/rail_diagrams/receive_statement.tex[diff]
chi/reference-manual/rail_diagrams/return_statement.tex[diff]
chi/reference-manual/rail_diagrams/run_start.tex[diff]
chi/reference-manual/rail_diagrams/select_alternative.tex[diff]
chi/reference-manual/rail_diagrams/select_condition.tex[diff]
chi/reference-manual/rail_diagrams/select_statement.tex[diff]
chi/reference-manual/rail_diagrams/send_statement.tex[diff]
chi/reference-manual/rail_diagrams/set_type.tex[diff]
chi/reference-manual/rail_diagrams/statement.tex[diff]
chi/reference-manual/rail_diagrams/subprocess_statement.tex[diff]
chi/reference-manual/rail_diagrams/tuple_type.tex[diff]
chi/reference-manual/rail_diagrams/type.tex[diff]
chi/reference-manual/rail_diagrams/typed_expression.tex[diff]
chi/reference-manual/rail_diagrams/typedef.tex[diff]
chi/reference-manual/rail_diagrams/vardef.tex[diff]
chi/reference-manual/rail_diagrams/while_statement.tex[diff]
chi/reference-manual/rail_diagrams/write_statement.tex[diff]
chi/reference-manual/rail_diagrams/xperdef.tex[diff]
chi/reference-manual/statements.html[diff]
chi/reference-manual/stdlib.html[diff]
chi/reference-manual/svg-visualization.html[diff]
chi/reference-manual/types.html[diff]
chi/release-notes.html[diff]
chi/tool-manual/command-line.html[diff]
chi/tool-manual/index.html[diff]
chi/tool-manual/operation.html[diff]
chi/tutorial/buffers.html[diff]
chi/tutorial/channels.html[diff]
chi/tutorial/conveyors.html[diff]
chi/tutorial/datatypes.html[diff]
chi/tutorial/experiments.html[diff]
chi/tutorial/functions.html[diff]
chi/tutorial/gbse.svg[diff]
chi/tutorial/index.html[diff]
chi/tutorial/input-output.html[diff]
chi/tutorial/introduction.html[diff]
chi/tutorial/pictures/Makefile[diff]
chi/tutorial/pictures/assembly_n_components.tex[diff]
chi/tutorial/pictures/assembly_two_components.tex[diff]
chi/tutorial/pictures/buffered_producer_consumer.tex[diff]
chi/tutorial/pictures/controlled_factory.tex[diff]
chi/tutorial/pictures/conveyor_3items.tex[diff]
chi/tutorial/pictures/conveyor_system.tex[diff]
chi/tutorial/pictures/generator_2buffers_2servers_exit.tex[diff]
chi/tutorial/pictures/generator_2servers_exit.tex[diff]
chi/tutorial/pictures/generator_buffer_server_exit.tex[diff]
chi/tutorial/pictures/generator_server_exit.tex[diff]
chi/tutorial/pictures/list_with_indices.tex[diff]
chi/tutorial/pictures/list_with_slices.tex[diff]
chi/tutorial/pictures/one_place_buffer.tex[diff]
chi/tutorial/pictures/postamble.tex[diff]
chi/tutorial/pictures/preamble.tex[diff]
chi/tutorial/pictures/producer_consumer.tex[diff]
chi/tutorial/pictures/sixchilds.fig[diff]
chi/tutorial/pictures/three_parallel_servers.tex[diff]
chi/tutorial/pictures/two_parallel_requesting_servers.tex[diff]
chi/tutorial/pictures/two_parallel_servers.tex[diff]
chi/tutorial/pictures/two_place_buffer.tex[diff]
chi/tutorial/processes.html[diff]
chi/tutorial/servers.html[diff]
chi/tutorial/statements.html[diff]
chi/tutorial/stochastic-behavior.html[diff]
chi/tutorial/svg-example.html[diff]
chi/tutorial/svg-visualization.html[diff]
cif/about.html[diff]
cif/build-imgs.bash[diff]
cif/developers/index.html[diff]
cif/developers/lang-modify.html[diff]
cif/documentation-legal.html[diff]
cif/documentation-single-page.html[diff]
cif/documentation.html[diff]
cif/eclipse-escet-incubation-cif-manual.pdf[diff]
cif/examples.html[diff]
cif/index.html[diff]
cif/language-reference/index.html[diff]
cif/language-reference/syntax/grammar.html[diff]
cif/language-reference/syntax/lexical.html[diff]
cif/language-tutorial/basics/alphabet.html[diff]
cif/language-tutorial/basics/automata.html[diff]
cif/language-tutorial/basics/coin_toss_state_space.png.tex[diff]
cif/language-tutorial/basics/event-placement.html[diff]
cif/language-tutorial/basics/non-determinism.html[diff]
cif/language-tutorial/basics/producer_consumer_state_space_finite.png.tex[diff]
cif/language-tutorial/basics/producer_consumer_state_space_infinite.png.tex[diff]
cif/language-tutorial/basics/shorter-notations.html[diff]
cif/language-tutorial/basics/synchronization.html[diff]
cif/language-tutorial/channels/chan-sync-combi.html[diff]
cif/language-tutorial/channels/intro.html[diff]
cif/language-tutorial/channels/producer_consumer.png.svg[diff]
cif/language-tutorial/channels/void.html[diff]
cif/language-tutorial/data/asgn-old-vs-new.html[diff]
cif/language-tutorial/data/conveyor.png.svg[diff]
cif/language-tutorial/data/conveyor_state_space.png.tex[diff]
cif/language-tutorial/data/counter_state_space.png.tex[diff]
cif/language-tutorial/data/discrete-variables.html[diff]
cif/language-tutorial/data/discvar-change.html[diff]
cif/language-tutorial/data/discvar-init.html[diff]
cif/language-tutorial/data/discvar_change_state_space.png.tex[diff]
cif/language-tutorial/data/init-preds.html[diff]
cif/language-tutorial/data/loc-var-duality1.html[diff]
cif/language-tutorial/data/loc-var-duality2.html[diff]
cif/language-tutorial/data/locs-as-vars.html[diff]
cif/language-tutorial/data/monitoring.html[diff]
cif/language-tutorial/data/monitoring_fixed_state_space.png.tex[diff]
cif/language-tutorial/data/monitoring_problem_state_space.png.tex[diff]
cif/language-tutorial/data/mutex_state_space.png.tex[diff]
cif/language-tutorial/data/read-write.html[diff]
cif/language-tutorial/data/state-evt-excl-invariants.html[diff]
cif/language-tutorial/data/state-invariants.html[diff]
cif/language-tutorial/data/supermarket_state_space.png.tex[diff]
cif/language-tutorial/data/swapper_state_space.png.tex[diff]
cif/language-tutorial/data/tau-event.html[diff]
cif/language-tutorial/data/tau_event_state_space1.png.tex[diff]
cif/language-tutorial/data/tau_event_state_space2.png.tex[diff]
cif/language-tutorial/extensions/synthesis.html[diff]
cif/language-tutorial/functions/functions-as-values.html[diff]
cif/language-tutorial/functions/internal-functions.html[diff]
cif/language-tutorial/functions/intro.html[diff]
cif/language-tutorial/functions/statements.html[diff]
cif/language-tutorial/index.html[diff]
cif/language-tutorial/reuse1/algebraic-variables.html[diff]
cif/language-tutorial/reuse1/algvar-equations.html[diff]
cif/language-tutorial/reuse1/constants.html[diff]
cif/language-tutorial/reuse1/conveyor.png.svg[diff]
cif/language-tutorial/reuse1/type-declarations.html[diff]
cif/language-tutorial/reuse2/aut-def-inst.html[diff]
cif/language-tutorial/reuse2/aut-def-param-kinds.html[diff]
cif/language-tutorial/reuse2/aut-def-params.html[diff]
cif/language-tutorial/reuse2/group-defs.html[diff]
cif/language-tutorial/reuse2/groups.html[diff]
cif/language-tutorial/reuse2/imports-groups.html[diff]
cif/language-tutorial/reuse2/imports-libraries.html[diff]
cif/language-tutorial/reuse2/imports.html[diff]
cif/language-tutorial/reuse2/input-variables.html[diff]
cif/language-tutorial/reuse2/namespaces.html[diff]
cif/language-tutorial/stochastics/discrete-continuous-constant.html[diff]
cif/language-tutorial/stochastics/intro.html[diff]
cif/language-tutorial/stochastics/pennies.png.dat[diff]
cif/language-tutorial/stochastics/pennies.png.plt[diff]
cif/language-tutorial/stochastics/pseudo-randomness.html[diff]
cif/language-tutorial/time/continuous-variables.html[diff]
cif/language-tutorial/time/contvar-equations.html[diff]
cif/language-tutorial/time/deadlock-livelock.html[diff]
cif/language-tutorial/time/equations.html[diff]
cif/language-tutorial/time/intro.html[diff]
cif/language-tutorial/time/machine_plot.png.dat[diff]
cif/language-tutorial/time/machine_plot.png.plt[diff]
cif/language-tutorial/time/machine_state_space.png.tex[diff]
cif/language-tutorial/time/person_plot.png.dat[diff]
cif/language-tutorial/time/person_plot.png.plt[diff]
cif/language-tutorial/time/tank.png.svg[diff]
cif/language-tutorial/time/urgency.html[diff]
cif/language-tutorial/time/usecase_nonurg_state_space.png.tex[diff]
cif/language-tutorial/time/usecase_urgloc_state_space.png.tex[diff]
cif/language-tutorial/time/user_state_space.png.tex[diff]
cif/language-tutorial/time/var-overview.html[diff]
cif/language-tutorial/values/booleans.html[diff]
cif/language-tutorial/values/bounded-lists-and-arrays.html[diff]
cif/language-tutorial/values/combining-values.html[diff]
cif/language-tutorial/values/dictionaries.html[diff]
cif/language-tutorial/values/enumerations.html[diff]
cif/language-tutorial/values/integer-ranges.html[diff]
cif/language-tutorial/values/integers.html[diff]
cif/language-tutorial/values/list_indices.png.svg[diff]
cif/language-tutorial/values/list_slicing.png.svg[diff]
cif/language-tutorial/values/lists.html[diff]
cif/language-tutorial/values/overview.html[diff]
cif/language-tutorial/values/reals.html[diff]
cif/language-tutorial/values/sets.html[diff]
cif/language-tutorial/values/strings.html[diff]
cif/language-tutorial/values/tuples.html[diff]
cif/language-tutorial/values/types-values-exprs.html[diff]
cif/release-notes.html[diff]
cif/synthesis-based-engineering/approaches/index.html[Added - diff]
cif/synthesis-based-engineering/approaches/model-based-engineering.html[Added - diff]
cif/synthesis-based-engineering/approaches/overview.png[Added - diff]
cif/synthesis-based-engineering/approaches/overview.pptx[Added - diff]
cif/synthesis-based-engineering/approaches/plant_gate_sensors.png[Added - diff]
cif/synthesis-based-engineering/approaches/plant_gate_sensors.png.tex[Added - diff]
cif/synthesis-based-engineering/approaches/process_model_based.png[Added - diff]
cif/synthesis-based-engineering/approaches/process_model_based.pptx[Added - diff]
cif/synthesis-based-engineering/approaches/process_synthesis_based.png[Added - diff]
cif/synthesis-based-engineering/approaches/process_synthesis_based.pptx[Added - diff]
cif/synthesis-based-engineering/approaches/process_traditional_engineering.png[Added - diff]
cif/synthesis-based-engineering/approaches/process_traditional_engineering.pptx[Added - diff]
cif/synthesis-based-engineering/approaches/process_verification_based.png[Added - diff]
cif/synthesis-based-engineering/approaches/process_verification_based.pptx[Added - diff]
cif/synthesis-based-engineering/approaches/synthesis-based-engineering.html[Added - diff]
cif/synthesis-based-engineering/approaches/traditional-engineering.html[Added - diff]
cif/synthesis-based-engineering/approaches/verification-based-engineering.html[Added - diff]
cif/synthesis-based-engineering/challenges.html[Added - diff]
cif/synthesis-based-engineering/control_layers.png[Added - diff]
cif/synthesis-based-engineering/control_layers.png.tex[Added - diff]
cif/synthesis-based-engineering/example.html[Added - diff]
cif/synthesis-based-engineering/example_fifo_flow.png[Added - diff]
cif/synthesis-based-engineering/example_fifo_sim_and_interact.png[Added - diff]
cif/synthesis-based-engineering/example_fifo_sim_viz.png[Added - diff]
cif/synthesis-based-engineering/in-practice/advanced/incremental-development.html[Added - diff]
cif/synthesis-based-engineering/in-practice/advanced/non-monolithic-synthesis.html[Added - diff]
cif/synthesis-based-engineering/in-practice/advanced/synthesis-performance.html[Added - diff]
cif/synthesis-based-engineering/in-practice/advanced/too-limited-behavior.html[Added - diff]
cif/synthesis-based-engineering/in-practice/example.html[Added - diff]
cif/synthesis-based-engineering/in-practice/index.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/implementation.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/marking.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-events.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-plant-relations.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-plant.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-requirements.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/synthesis.html[Added - diff]
cif/synthesis-based-engineering/in-practice/steps/validation.html[Added - diff]
cif/synthesis-based-engineering/index.html[Added - diff]
cif/synthesis-based-engineering/supervisory-controllers.html[Added - diff]
cif/tools/cif2cif/add-default-init-values.html[diff]
cif/tools/cif2cif/anonymize-names.html[Added - diff]
cif/tools/cif2cif/convert-cntrl-events-to-uncntrl.html[Added - diff]
cif/tools/cif2cif/convert-uncntrl-events-to-cntrl.html[Added - diff]
cif/tools/cif2cif/elim-alg-vars.html[diff]
cif/tools/cif2cif/elim-aut-casts.html[diff]
cif/tools/cif2cif/elim-comp-def-inst.html[diff]
cif/tools/cif2cif/elim-consts.html[diff]
cif/tools/cif2cif/elim-equations.html[diff]
cif/tools/cif2cif/elim-groups.html[diff]
cif/tools/cif2cif/elim-if-updates.html[diff]
cif/tools/cif2cif/elim-locs-in-exprs.html[diff]
cif/tools/cif2cif/elim-monitors.html[diff]
cif/tools/cif2cif/elim-self.html[diff]
cif/tools/cif2cif/elim-state-event-excl-invs.html[diff]
cif/tools/cif2cif/elim-tau-event.html[diff]
cif/tools/cif2cif/elim-tuple-field-projs.html[diff]
cif/tools/cif2cif/elim-type-decls.html[diff]
cif/tools/cif2cif/enums-to-consts.html[diff]
cif/tools/cif2cif/enums-to-ints.html[diff]
cif/tools/cif2cif/index.html[diff]
cif/tools/cif2cif/lift-events.html[diff]
cif/tools/cif2cif/linearize-merge.html[diff]
cif/tools/cif2cif/linearize-product.html[diff]
cif/tools/cif2cif/merge-enums.html[diff]
cif/tools/cif2cif/print-file-into-decls.html[diff]
cif/tools/cif2cif/remove-cif-svg-decls.html[diff]
cif/tools/cif2cif/remove-io-decls.html[diff]
cif/tools/cif2cif/remove-pos-info.html[diff]
cif/tools/cif2cif/remove-print-decls.html[diff]
cif/tools/cif2cif/remove-reqs.html[diff]
cif/tools/cif2cif/remove-unused-alg-vars.html[Added - diff]
cif/tools/cif2cif/simplify-others.html[diff]
cif/tools/cif2cif/simplify-values-no-refs-optimized.html[diff]
cif/tools/cif2cif/simplify-values-no-refs.html[diff]
cif/tools/cif2cif/simplify-values-optimized.html[diff]
cif/tools/cif2cif/simplify-values.html[diff]
cif/tools/cif2cif/svg-file-into-decls.html[diff]
cif/tools/cif2cif/switches-to-ifs.html[diff]
cif/tools/cif2mcrl2.html[diff]
cif/tools/cif2plc/index.html[diff]
cif/tools/cif2plc/s7.html[Added - diff]
cif/tools/cif2plc/twincat.html[diff]
cif/tools/cif2supremica.html[diff]
cif/tools/cif2uppaal.html[diff]
cif/tools/cif2yed.html[diff]
cif/tools/cif2yed/machine_buffer.events.layouted.graphml[diff]
cif/tools/cif2yed/machine_buffer.events.orig.graphml[diff]
cif/tools/cif2yed/tank.model.layouted.graphml[diff]
cif/tools/cif2yed/tank.model.orig.graphml[diff]
cif/tools/cifsim/complete-mode.html[diff]
cif/tools/cifsim/debug-gen-code.html[diff]
cif/tools/cifsim/distr-seeds.html[diff]
cif/tools/cifsim/env-events.html[diff]
cif/tools/cifsim/extfuncs-java.html[diff]
cif/tools/cifsim/extfuncs.html[diff]
cif/tools/cifsim/index.html[diff]
cif/tools/cifsim/init.html[diff]
cif/tools/cifsim/input/automatic.html[diff]
cif/tools/cifsim/input/console.html[diff]
cif/tools/cifsim/input/gui.html[diff]
cif/tools/cifsim/input/history.html[diff]
cif/tools/cifsim/input/history_0.png.svg[diff]
cif/tools/cifsim/input/history_01.png.svg[diff]
cif/tools/cifsim/input/history_012.png.svg[diff]
cif/tools/cifsim/input/history_0123.png.svg[diff]
cif/tools/cifsim/input/history_0234.png.svg[diff]
cif/tools/cifsim/input/index.html[diff]
cif/tools/cifsim/input/semi-automatic.html[diff]
cif/tools/cifsim/input/svg/index.html[diff]
cif/tools/cifsim/input/svg/simulation.html[diff]
cif/tools/cifsim/input/svg/svgin.html[diff]
cif/tools/cifsim/input/trace.html[diff]
cif/tools/cifsim/java-compiler.html[diff]
cif/tools/cifsim/max-time-point-tol.html[diff]
cif/tools/cifsim/options.html[diff]
cif/tools/cifsim/output/debug.html[diff]
cif/tools/cifsim/output/index.html[diff]
cif/tools/cifsim/output/normal.html[diff]
cif/tools/cifsim/output/plotviz.html[diff]
cif/tools/cifsim/output/print/index.html[diff]
cif/tools/cifsim/output/print/ref-fmt.html[diff]
cif/tools/cifsim/output/print/ref-printdecl.html[diff]
cif/tools/cifsim/output/print/ref-printfile.html[diff]
cif/tools/cifsim/output/print/ref-sim.html[diff]
cif/tools/cifsim/output/print/trace_extended.png.svg[diff]
cif/tools/cifsim/output/print/trace_normal.png.svg[diff]
cif/tools/cifsim/output/print/transition.png.svg[diff]
cif/tools/cifsim/output/print/tut-fmt.html[diff]
cif/tools/cifsim/output/print/tut-print.html[diff]
cif/tools/cifsim/output/realtime.html[diff]
cif/tools/cifsim/output/stateviz.html[diff]
cif/tools/cifsim/output/svgviz/cifsvg.html[diff]
cif/tools/cifsim/output/svgviz/debugging.html[diff]
cif/tools/cifsim/output/svgviz/example-buffers-products.html[diff]
cif/tools/cifsim/output/svgviz/example-lamps.html[diff]
cif/tools/cifsim/output/svgviz/example-rate.html[diff]
cif/tools/cifsim/output/svgviz/example-sun-moon.html[diff]
cif/tools/cifsim/output/svgviz/example-tank.html[diff]
cif/tools/cifsim/output/svgviz/example-walk.html[diff]
cif/tools/cifsim/output/svgviz/example-workstation.html[diff]
cif/tools/cifsim/output/svgviz/first-example.html[diff]
cif/tools/cifsim/output/svgviz/index.html[diff]
cif/tools/cifsim/output/svgviz/inkscape.html[diff]
cif/tools/cifsim/output/svgviz/lamp/lamp.svg[diff]
cif/tools/cifsim/output/svgviz/lamps/lamps2.svg[diff]
cif/tools/cifsim/output/svgviz/lamps/lamps2.tooldef[diff]
cif/tools/cifsim/output/svgviz/lamps/lamps3.svg[diff]
cif/tools/cifsim/output/svgviz/lamps/lamps3.tooldef[diff]
cif/tools/cifsim/output/svgviz/rate/rate.svg[diff]
cif/tools/cifsim/output/svgviz/rate/rate.tooldef[diff]
cif/tools/cifsim/output/svgviz/simulation.html[diff]
cif/tools/cifsim/output/svgviz/sun_moon/sun_moon.svg[diff]
cif/tools/cifsim/output/svgviz/sun_moon/sun_moon.tooldef[diff]
cif/tools/cifsim/output/svgviz/svg.html[diff]
cif/tools/cifsim/output/svgviz/svgcopy.html[diff]
cif/tools/cifsim/output/svgviz/svgcopy/svgcopy.tooldef[diff]
cif/tools/cifsim/output/svgviz/svgfile.html[diff]
cif/tools/cifsim/output/svgviz/svgmove.html[diff]
cif/tools/cifsim/output/svgviz/svgmove/svgmove.tooldef[diff]
cif/tools/cifsim/output/svgviz/svgout.html[diff]
cif/tools/cifsim/output/svgviz/tank/tank.svg[diff]
cif/tools/cifsim/output/svgviz/tank/tank.tooldef[diff]
cif/tools/cifsim/output/svgviz/tank/tank2.cif[diff]
cif/tools/cifsim/output/svgviz/tank/tank2.svg[diff]
cif/tools/cifsim/output/svgviz/tank/tank2.tooldef[diff]
cif/tools/cifsim/output/svgviz/viewer.html[diff]
cif/tools/cifsim/output/svgviz/walk_floor/walk_floor.svg[diff]
cif/tools/cifsim/output/svgviz/walk_floor/walk_floor.tooldef[diff]
cif/tools/cifsim/output/svgviz/walk_floor/walk_floor_orig.svg[diff]
cif/tools/cifsim/output/svgviz/walk_room/walk_room.svg[diff]
cif/tools/cifsim/output/svgviz/walk_room/walk_room.tooldef[diff]
cif/tools/cifsim/output/svgviz/workstation/workstation.svg[diff]
cif/tools/cifsim/output/svgviz/workstation/workstation.tooldef[diff]
cif/tools/cifsim/output/trajdata.html[diff]
cif/tools/cifsim/performance.html[diff]
cif/tools/cifsim/profiling.html[diff]
cif/tools/cifsim/repeated-simulation.html[diff]
cif/tools/cifsim/solver/basics-int.html[diff]
cif/tools/cifsim/solver/basics-root.html[diff]
cif/tools/cifsim/solver/endtime-maxdelay.html[diff]
cif/tools/cifsim/solver/index.html[diff]
cif/tools/cifsim/solver/integr_discont.png.dat[diff]
cif/tools/cifsim/solver/integr_discont.png.plt[diff]
cif/tools/cifsim/solver/integr_discont.tooldef[diff]
cif/tools/cifsim/solver/integr_linear.png.plt[diff]
cif/tools/cifsim/solver/integr_linear.tooldef[diff]
cif/tools/cifsim/solver/integr_nonlinear.png.dat[diff]
cif/tools/cifsim/solver/integr_nonlinear.png.plt[diff]
cif/tools/cifsim/solver/integr_nonlinear.tooldef[diff]
cif/tools/cifsim/solver/options-int.html[diff]
cif/tools/cifsim/solver/options-outstep.html[diff]
cif/tools/cifsim/solver/options-root.html[diff]
cif/tools/cifsim/solver/root-problems.html[diff]
cif/tools/cifsim/solver/root_problem.png.dat[diff]
cif/tools/cifsim/solver/root_problem.png.plt[diff]
cif/tools/cifsim/solver/root_problem.tooldef[diff]
cif/tools/cifsim/solver/root_problem2.png.dat[diff]
cif/tools/cifsim/solver/root_problem2.png.plt[diff]
cif/tools/cifsim/solver/root_problem2.tooldef[diff]
cif/tools/cifsim/solver/root_root.png.dat[diff]
cif/tools/cifsim/solver/root_root.png.plt[diff]
cif/tools/cifsim/solver/root_simple.png.dat[diff]
cif/tools/cifsim/solver/root_simple.png.plt[diff]
cif/tools/cifsim/solver/root_simple.tooldef[diff]
cif/tools/cifsim/solver/root_simple2.cif[diff]
cif/tools/cifsim/solver/root_simple2.png.dat[diff]
cif/tools/cifsim/solver/root_simple2.png.plt[diff]
cif/tools/cifsim/solver/root_simple2.tooldef[diff]
cif/tools/cifsim/solver/root_simple_guard.png.dat[diff]
cif/tools/cifsim/solver/root_simple_guard.png.plt[diff]
cif/tools/cifsim/start.html[diff]
cif/tools/cifsim/state_space.png.tex[diff]
cif/tools/cifsim/supported.html[diff]
cif/tools/cifsim/termination.html[diff]
cif/tools/cifsim/test-mode.html[diff]
cif/tools/cifsim/traces.html[diff]
cif/tools/codegen/c89.html[diff]
cif/tools/codegen/c99.html[diff]
cif/tools/codegen/index.html[diff]
cif/tools/codegen/java.html[diff]
cif/tools/codegen/simulink-example.html[diff]
cif/tools/codegen/simulink-example/tank.svg[diff]
cif/tools/codegen/simulink.html[diff]
cif/tools/controller-checker.html[diff]
cif/tools/datasynth.html[diff]
cif/tools/event-disabler.html[diff]
cif/tools/eventbased/automaton-abstraction.html[diff]
cif/tools/eventbased/controllability-check.html[diff]
cif/tools/eventbased/dfa-minimize.html[diff]
cif/tools/eventbased/index.html[diff]
cif/tools/eventbased/language-equivalence-check.html[diff]
cif/tools/eventbased/nfa-to-dfa.html[diff]
cif/tools/eventbased/nonconflicting-check.html[diff]
cif/tools/eventbased/observer-check.html[diff]
cif/tools/eventbased/product.html[diff]
cif/tools/eventbased/projection.html[diff]
cif/tools/eventbased/supervisorsynthesis.html[diff]
cif/tools/eventbased/synthesis-analysis.html[diff]
cif/tools/eventbased/trim-check.html[diff]
cif/tools/eventbased/trim.html[diff]
cif/tools/explorer.html[diff]
cif/tools/index.html[diff]
cif/tools/mergecif.html[diff]
cif/tools/mergecif/merge.tooldef[diff]
cif/tools/scripting/intro.html[diff]
cif/tools/scripting/tools.html[diff]
cif/tools/text-editor.html[diff]
contact-and-support.html[diff]
development.html[diff]
development/app-framework/application-class.html[diff]
development/app-framework/compiler-framework.html[diff]
development/app-framework/exception-framework.html[diff]
development/app-framework/execution.html[diff]
development/app-framework/exit-codes.html[diff]
development/app-framework/implement-your-application.html[diff]
development/app-framework/index.html[diff]
development/app-framework/introduction.html[diff]
development/app-framework/io-framework.html[diff]
development/app-framework/option-framework.html[diff]
development/app-framework/registration.html[diff]
development/app-framework/standalone-vs-eclipse.html[diff]
development/development/building-and-testing.html[diff]
development/development/coding-standards.html[diff]
development/development/contributing.html[diff]
development/development/dependency-upgrades.html[Copied from development/development/upgrade-instructions.html - diff]
development/development/dev-env-setup.html[diff]
development/development/dev-list.html[diff]
development/development/development-process.html[diff]
development/development/git-repo.html[diff]
development/development/issue-tracking.html[diff]
development/development/release-process.html[diff]
development/development/third-party-tools.html[diff]
development/eclipse-escet-dev-incubation-manual.pdf[diff]
development/index-single-page.html[diff]
development/index.html[diff]
development/legal.html[diff]
development/multivalue/combining-relations.html[diff]
development/multivalue/computing.html[diff]
development/multivalue/goals.html[diff]
development/multivalue/index.html[diff]
development/multivalue/practical-usage.html[diff]
development/multivalue/variables-and-relations.html[diff]
development/rail/_generate_rail_diagrams.tooldef[diff]
development/rail/abcd.png[diff]
development/rail/abcdefgh.png[diff]
development/rail/alternating.png[diff]
development/rail/alternative.png[diff]
development/rail/alternative.props[diff]
development/rail/alternative.rr[diff]
development/rail/choice.png[diff]
development/rail/choice2.png[diff]
development/rail/commandline.html[Copied from development/development/upgrade-instructions.html - diff]
development/rail/customizing-output.html[diff]
development/rail/debugging.html[Renamed from development/development/upgrade-instructions.html - diff]
development/rail/diagram.png[diff]
development/rail/diagram.props[diff]
development/rail/diagram.rr[diff]
development/rail/emptyalternating.png[diff]
development/rail/examples.html[diff]
development/rail/factor.png[diff]
development/rail/factor.props[diff]
development/rail/factor.rr[diff]
development/rail/grammar.html[diff]
development/rail/index.html[diff]
development/rail/introduction.html[diff]
development/rail/lexical-syntax.html[diff]
development/rail/meta_terminals.png[Added - diff]
development/rail/meta_terminals.props[Added - diff]
development/rail/meta_terminals.rr[Added - diff]
development/rail/optional.png[diff]
development/rail/refpath.png[diff]
development/rail/rendering_debug_4x.png[Added - diff]
development/rail/rendering_issue.png[Added - diff]
development/rail/rendering_issue_4x.png[Added - diff]
development/rail/rule.png[diff]
development/rail/rule.props[diff]
development/rail/rule.rr[diff]
development/rail/sequence.png[diff]
development/rail/sequence_loops.png[diff]
development/rail/sequence_loops.props[diff]
development/rail/spec.png[diff]
development/rail/spec.props[diff]
development/rail/spec.rr[diff]
development/rail/terminals.png[diff]
development/rail/terminals.props[diff]
development/rail/terminals.rr[diff]
development/setext/generated-scanners-parsers.html[diff]
development/setext/imports.html[diff]
development/setext/index.html[diff]
development/setext/lexical-syntax.html[diff]
development/setext/limitations.html[diff]
development/setext/parser-hooks.html[diff]
development/setext/regular-expressions.html[diff]
development/setext/scanner-hooks.html[diff]
development/setext/specifying-grammars.html[diff]
development/setext/specifying-lexical-syntax.html[diff]
development/setext/terminal-descriptions.html[diff]
development/setext/usage-hints.html[diff]
development/setext/using-in-an-eclipse-plugin-project.html[diff]
documentation-legal.html[diff]
documentation-single-page.html[diff]
documentation.html[diff]
download.html[diff]
eclipse-escet-project-incubation-manual.pdf[diff]
index.html[diff]
legal.html[diff]
performance/clear-console.html[diff]
performance/close-running-apps.html[diff]
performance/index.html[diff]
performance/java_memory.png.svg[diff]
performance/reduce-console-output.html[diff]
performance/tweak-perf-settings.html[diff]
release-notes.html[diff]
tooldef/about.html[diff]
tooldef/documentation-legal.html[diff]
tooldef/documentation-single-page.html[diff]
tooldef/documentation.html[diff]
tooldef/eclipse-escet-incubation-tooldef-manual.pdf[diff]
tooldef/index.html[diff]
tooldef/introduction.html[diff]
tooldef/language-reference/builtins/data.html[diff]
tooldef/language-reference/builtins/file.html[diff]
tooldef/language-reference/builtins/generic.html[diff]
tooldef/language-reference/builtins/io.html[diff]
tooldef/language-reference/builtins/operators.html[diff]
tooldef/language-reference/builtins/path.html[diff]
tooldef/language-reference/index.html[diff]
tooldef/language-reference/syntax/grammar.html[diff]
tooldef/language-reference/syntax/lexical.html[diff]
tooldef/release-notes.html[diff]
tooldef/tools.html[diff]
use/apps-view.html[diff]
use/edit-exec.html[diff]
use/escet-perspective.html[diff]
use/index.html[diff]
use/projects.html[diff]
use/remove.html[diff]
use/starting-first-time.html[diff]
use/terminology.html[diff]
use/update.html[diff]

677 files changed