ad555db997be21550f7e6613f8becdbb7b16d5c8 - www.eclipse.org/escet

commit	ad555db997be21550f7e6613f8becdbb7b16d5c8	[log] [tgz]
author	Dennis Hendriks <dh_tue@hotmail.com>	Fri Sep 30 16:50:21 2022 +0200
committer	Dennis Hendriks <dh_tue@hotmail.com>	Fri Sep 30 16:50:21 2022 +0200
tree	0ce9915f0b7473c1596ac596b82826bed99a6505
parent	48e0f51a653df19787d3f75eec58a48a0d5890d0 [diff]

Set standard visible website to release v0.7.

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

about.html[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/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/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/index.html[diff]
chi/tutorial/input-output.html[diff]
chi/tutorial/introduction.html[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/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/event-placement.html[diff]
cif/language-tutorial/basics/non-determinism.html[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/void.html[diff]
cif/language-tutorial/data/asgn-old-vs-new.html[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/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/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/tau-event.html[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/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/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/urgency.html[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/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[diff]
cif/synthesis-based-engineering/approaches/model-based-engineering.html[diff]
cif/synthesis-based-engineering/approaches/synthesis-based-engineering.html[diff]
cif/synthesis-based-engineering/approaches/traditional-engineering.html[diff]
cif/synthesis-based-engineering/approaches/verification-based-engineering.html[diff]
cif/synthesis-based-engineering/challenges.html[diff]
cif/synthesis-based-engineering/example.html[diff]
cif/synthesis-based-engineering/in-practice/advanced/incremental-development.html[diff]
cif/synthesis-based-engineering/in-practice/advanced/non-monolithic-synthesis.html[diff]
cif/synthesis-based-engineering/in-practice/advanced/synthesis-performance.html[diff]
cif/synthesis-based-engineering/in-practice/advanced/too-limited-behavior.html[diff]
cif/synthesis-based-engineering/in-practice/example.html[diff]
cif/synthesis-based-engineering/in-practice/index.html[diff]
cif/synthesis-based-engineering/in-practice/steps/implementation.html[diff]
cif/synthesis-based-engineering/in-practice/steps/marking.html[diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-events.html[diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-plant-relations.html[diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-plant.html[diff]
cif/synthesis-based-engineering/in-practice/steps/modeling-requirements.html[diff]
cif/synthesis-based-engineering/in-practice/steps/synthesis.html[diff]
cif/synthesis-based-engineering/in-practice/steps/validation.html[diff]
cif/synthesis-based-engineering/index.html[diff]
cif/synthesis-based-engineering/supervisory-controllers.html[diff]
cif/tools/cif2cif/add-default-init-values.html[diff]
cif/tools/cif2cif/anonymize-names.html[diff]
cif/tools/cif2cif/convert-cntrl-events-to-uncntrl.html[diff]
cif/tools/cif2cif/convert-uncntrl-events-to-cntrl.html[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[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[diff]
cif/tools/cif2plc/twincat.html[diff]
cif/tools/cif2supremica.html[diff]
cif/tools/cif2uppaal.html[diff]
cif/tools/cif2yed.html[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/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/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/simulation.html[diff]
cif/tools/cifsim/output/svgviz/svg.html[diff]
cif/tools/cifsim/output/svgviz/svgcopy.html[diff]
cif/tools/cifsim/output/svgviz/svgfile.html[diff]
cif/tools/cifsim/output/svgviz/svgmove.html[diff]
cif/tools/cifsim/output/svgviz/svgout.html[diff]
cif/tools/cifsim/output/svgviz/viewer.html[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/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/start.html[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.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/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[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/dsm/algorithm.html[diff]
development/dsm/busdetection.html[diff]
development/dsm/entrypoint.html[diff]
development/dsm/index.html[diff]
development/dsm/references.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/commandline.html[diff]
development/rail/customizing-output.html[diff]
development/rail/debugging.html[diff]
development/rail/examples.html[diff]
development/rail/grammar.html[diff]
development/rail/index.html[diff]
development/rail/introduction.html[diff]
development/rail/lexical-syntax.html[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/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]
tools/dsm-clustering.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]

385 files changed