Viewing all changes in revision 614.
- Committer: Danil Sokolov
- Date: 2015-05-22 22:48:58 UTC
- Revision ID: danilovesky@gmail.com-20150522224858-nnw4l16cyd7yt194
Restructured tutorials files.
- files added:
- tutorial/modelling/fsm
- tutorial/modelling/fsm_pn
- tutorial/modelling/petri_net
- tutorial/modelling/phage_lambda
- tutorial/modelling/rw_lock
- tutorial/modelling/stg
- tutorial/modelling/wagging
- tutorial/synthesis/buck
- tutorial/synthesis/celement
- tutorial/synthesis/vme
expand all
collapse all
added
removed
tutorial/modelling/fsm/fsm-vm-basic.png
tutorial/modelling/fsm/fsm-vm-nondet_unreach.png
tutorial/modelling/fsm_pn/fsm-vm-concurrent.png
tutorial/modelling/fsm_pn/pn-vm-concurrent-map.png
tutorial/modelling/fsm_pn/stg-vm-concurrent-synth.png
tutorial/modelling/petri_net/deadlock_trace-two_philosophers.png
tutorial/modelling/petri_net/pn-philosopher.png
tutorial/modelling/petri_net/pn-two_philosophers.png
tutorial/modelling/petri_net/property_check-two_philosophers-never_eat_simultaneously.png
tutorial/modelling/petri_net/property_satisfied-two_philosophers-never_eat_simultaniously.png
tutorial/modelling/phage_lambda/boolean_network.png
tutorial/modelling/phage_lambda/circuit-lambda.png
tutorial/modelling/phage_lambda/errors.png
tutorial/modelling/phage_lambda/stg-circuit-lambda-foe.png
tutorial/modelling/phage_lambda/stg-circuit-lambda-foe1.png
tutorial/modelling/phage_lambda/stg-circuit-lambda.png
tutorial/modelling/phage_lambda/stg-lambda-resynth.png
tutorial/modelling/rw_lock/stg-rw.png
tutorial/modelling/rw_lock/stg-rw_1process.png
tutorial/modelling/rw_lock/stg-rw_biased_1process.png
tutorial/modelling/rw_lock/stg-rw_biased_template.png
tutorial/modelling/stg/circuit-dme.png
tutorial/modelling/stg/dme1.png
tutorial/modelling/stg/dme2.png
tutorial/modelling/stg/dme_composed.png
tutorial/modelling/stg/dme_composed_resyn.png
tutorial/modelling/stg/dme_composed_simplified.png
tutorial/modelling/stg/parallel_composition_dialog-dme1_dme2.png
tutorial/modelling/wagging/dfs-arisc.png
tutorial/modelling/wagging/dfs-basic-2way_wagging.png
tutorial/modelling/wagging/dfs-basic-cycle-analisys-screenshot.png
tutorial/modelling/wagging/dfs-basic.png
tutorial/modelling/wagging/dfs-basic_3way_wagging-cycle-analisys-screenshot.png
tutorial/modelling/wagging/wagging.png
tutorial/synthesis/buck/circuit-buck-cg.png
tutorial/synthesis/buck/pd-buck.png
tutorial/synthesis/buck/property_check-short_circuit.png
tutorial/synthesis/buck/schematic-buck.png
tutorial/synthesis/buck/stg-buck-scenario1_no_zc.png
tutorial/synthesis/buck/stg-buck-scenario2_late_zc.png
tutorial/synthesis/buck/stg-buck-scenario3_early_zc.png
tutorial/synthesis/buck/stg-buck-scenarios_merged.png
tutorial/synthesis/buck/stg-buck-simplified.png
tutorial/synthesis/celement/circuit-celement-cg-step1.png
tutorial/synthesis/celement/circuit-celement-cg-step2.png
tutorial/synthesis/celement/circuit-celement-cg-step3.png
tutorial/synthesis/celement/circuit-celement-cg-step4.png
tutorial/synthesis/celement/circuit-celement-cg-step5.png
tutorial/synthesis/celement/circuit-celement-cg-step6.png
tutorial/synthesis/celement/circuit-celement-decomposed-hazard.png
tutorial/synthesis/celement/circuit-celement-decomposed.png
tutorial/synthesis/celement/schematic-celement.png
tutorial/synthesis/celement/stg-celement-circuit_stg.png
tutorial/synthesis/celement/stg-celement-step1.png
tutorial/synthesis/celement/stg-celement-step2.png
tutorial/synthesis/celement/stg-celement-step3.png
tutorial/synthesis/celement/stg-celement.png
tutorial/synthesis/celement/td-celement.png
tutorial/synthesis/vme/circuit-vme-cg.png
tutorial/synthesis/vme/schemetic-vme.png
tutorial/synthesis/vme/stg-vme-csc.png
tutorial/synthesis/vme/stg-vme-read.png
tutorial/synthesis/vme/stg-vme-read_write.png
tutorial/synthesis/vme/stg-vme-write.png
tutorial/synthesis/vme/stg-vme.png
tutorial/synthesis/vme/td-vme-read.png
tutorial/synthesis/vme/td-vme-write.png
