Created
June 30, 2020 18:53
-
-
Save r-ryantm/19a80cdfc08970a3980d89dba7361273 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /nix/store/7016aixpq9sg778lpdmd6hal884yp61z-workcraft-3.3.0 | |
| ├── bin | |
| │ └── workcraft | |
| └── share | |
| ├── bin | |
| │ ├── AtacsPlugin.jar | |
| │ ├── CircuitPlugin.jar | |
| │ ├── CpogPlugin.jar | |
| │ ├── DfsPlugin.jar | |
| │ ├── DtdPlugin.jar | |
| │ ├── FsmPlugin.jar | |
| │ ├── FstPlugin.jar | |
| │ ├── GraphPlugin.jar | |
| │ ├── MpsatSynthesisPlugin.jar | |
| │ ├── MpsatVerificationPlugin.jar | |
| │ ├── MsfsmPlugin.jar | |
| │ ├── PcompPlugin.jar | |
| │ ├── PetrifyPlugin.jar | |
| │ ├── PetriPlugin.jar | |
| │ ├── PlatoPlugin.jar | |
| │ ├── PolicyPlugin.jar | |
| │ ├── PunfPlugin.jar | |
| │ ├── ShuttersPlugin.jar | |
| │ ├── SonPlugin.jar | |
| │ ├── StgPlugin.jar | |
| │ ├── WorkcraftCore.jar | |
| │ ├── WtgPlugin.jar | |
| │ └── XmasPlugin.jar | |
| ├── help | |
| │ ├── a2a | |
| │ │ ├── merge.sg.svg | |
| │ │ ├── om-box.circuit.svg | |
| │ │ ├── om-box.circuit.work | |
| │ │ ├── om.circuit.svg | |
| │ │ ├── om.circuit.work | |
| │ │ ├── om.sg.svg | |
| │ │ ├── rwait0-box.circuit.svg | |
| │ │ ├── rwait0-box.circuit.work | |
| │ │ ├── rwait0.circuit.svg | |
| │ │ ├── rwait0.circuit.work | |
| │ │ ├── rwait0.stg.svg | |
| │ │ ├── rwait0.stg.work | |
| │ │ ├── rwait-box.circuit.svg | |
| │ │ ├── rwait-box.circuit.work | |
| │ │ ├── rwait.circuit.svg | |
| │ │ ├── rwait.circuit.work | |
| │ │ ├── rwait.stg.svg | |
| │ │ ├── rwait.stg.work | |
| │ │ ├── sample-box.circuit.svg | |
| │ │ ├── sample-box.circuit.work | |
| │ │ ├── sample.circuit.svg | |
| │ │ ├── sample.circuit.work | |
| │ │ ├── sample.stg.svg | |
| │ │ ├── sample.stg.work | |
| │ │ ├── sg-wait.svg | |
| │ │ ├── start.html | |
| │ │ ├── wait01-box.circuit.svg | |
| │ │ ├── wait01-box.circuit.work | |
| │ │ ├── wait01.circuit.svg | |
| │ │ ├── wait01.circuit.work | |
| │ │ ├── wait01.stg.svg | |
| │ │ ├── wait01.stg.work | |
| │ │ ├── wait0-box.circuit.svg | |
| │ │ ├── wait0-box.circuit.work | |
| │ │ ├── wait0.circuit.svg | |
| │ │ ├── wait0.circuit.work | |
| │ │ ├── wait0.stg.svg | |
| │ │ ├── wait0.stg.work | |
| │ │ ├── wait10-box.circuit.svg | |
| │ │ ├── wait10-box.circuit.work | |
| │ │ ├── wait10.circuit.svg | |
| │ │ ├── wait10.circuit.work | |
| │ │ ├── wait10.stg.svg | |
| │ │ ├── wait10.stg.work | |
| │ │ ├── wait2-box.circuit.svg | |
| │ │ ├── wait2-box.circuit.work | |
| │ │ ├── wait2.circuit.svg | |
| │ │ ├── wait2.circuit.work | |
| │ │ ├── wait2.stg.svg | |
| │ │ ├── wait2.stg.work | |
| │ │ ├── wait-box.circuit.svg | |
| │ │ ├── wait-box.circuit.work | |
| │ │ ├── wait.circuit.svg | |
| │ │ ├── wait.circuit.work | |
| │ │ ├── wait.stg.svg | |
| │ │ ├── wait.stg.work | |
| │ │ ├── waitx2-box.circuit.svg | |
| │ │ ├── waitx2-box.circuit.work | |
| │ │ ├── waitx2.circuit.svg | |
| │ │ ├── waitx2.circuit.work | |
| │ │ ├── waitx2.stg.svg | |
| │ │ ├── waitx2.stg.work | |
| │ │ ├── waitx-box.circuit.svg | |
| │ │ ├── waitx-box.circuit.work | |
| │ │ ├── waitx.circuit.svg | |
| │ │ ├── waitx.circuit.work | |
| │ │ ├── waitx.stg.svg | |
| │ │ └── waitx.stg.work | |
| │ ├── apple-touch-icon.png | |
| │ ├── assertion.html | |
| │ ├── backend | |
| │ │ ├── mpsat.html | |
| │ │ ├── pcomp.html | |
| │ │ ├── petrify.html | |
| │ │ ├── punf.html | |
| │ │ └── start.html | |
| │ ├── boolean_expression.html | |
| │ ├── circuit | |
| │ │ ├── component.png | |
| │ │ ├── connection-fork.png | |
| │ │ ├── connection-invalid.png | |
| │ │ ├── editor_tools-cycle_analysis.png | |
| │ │ ├── editor_tools-function.png | |
| │ │ ├── editor_tools-initialisation_analysis.png | |
| │ │ ├── editor_tools-port.png | |
| │ │ ├── function.png | |
| │ │ ├── function-render_type.png | |
| │ │ ├── initialisation-forced.png | |
| │ │ ├── initialisation.html | |
| │ │ ├── initialisation-reset.png | |
| │ │ ├── initialisation-undefined.png | |
| │ │ ├── loop_breaking.html | |
| │ │ ├── ports.png | |
| │ │ ├── simulation.png | |
| │ │ ├── simulation-trace_diagram.png | |
| │ │ ├── start.html | |
| │ │ ├── tool_controls-initialisation-clear_all.png | |
| │ │ ├── tool_controls-initialisation-input_port.png | |
| │ │ ├── tool_controls-initialisation.png | |
| │ │ ├── tool_controls-initialisation-problematic.png | |
| │ │ ├── tool_controls-initialisation-sequential.png | |
| │ │ ├── tool_controls-initialisation-tag_necessary.png | |
| │ │ ├── tool_controls-initialisation-untag_redundant.png | |
| │ │ ├── tool_controls-loop_breaking-clear_all.png | |
| │ │ ├── tool_controls-loop_breaking.png | |
| │ │ ├── tool_controls-loop_breaking-self_loop.png | |
| │ │ ├── tool_controls-loop_breaking-tag_necessary.png | |
| │ │ └── tool_controls-loop_breaking-untag_redundant.png | |
| │ ├── core | |
| │ │ ├── editor_tools-connect.png | |
| │ │ ├── editor_tools-place.png | |
| │ │ ├── editor_tools-select.png | |
| │ │ ├── editor_tools-simulate.png | |
| │ │ ├── editor_tools-text_note.png | |
| │ │ ├── editor_tools-transition.png | |
| │ │ ├── editor_tools-vertex.png | |
| │ │ ├── familiarise_hint.html | |
| │ │ ├── global_tools-copy.png | |
| │ │ ├── global_tools-grid_toggle.png | |
| │ │ ├── global_tools.html | |
| │ │ ├── global_tools-label_toggle.png | |
| │ │ ├── global_tools-name_toggle.png | |
| │ │ ├── global_tools-new_work.png | |
| │ │ ├── global_tools-open_work.png | |
| │ │ ├── global_tools-paste.png | |
| │ │ ├── global_tools.png | |
| │ │ ├── global_tools-redo.png | |
| │ │ ├── global_tools-ruler_toggle.png | |
| │ │ ├── global_tools-save_work.png | |
| │ │ ├── global_tools-undo.png | |
| │ │ ├── global_tools-zoom_default.png | |
| │ │ ├── global_tools-zoom_fit.png | |
| │ │ ├── global_tools-zoom_in.png | |
| │ │ ├── global_tools-zoom_out.png | |
| │ │ ├── main_menu.html | |
| │ │ ├── main_window.png | |
| │ │ ├── model_tools.html | |
| │ │ ├── model_tools.png | |
| │ │ ├── new_work-all.png | |
| │ │ ├── new_work-favorite.png | |
| │ │ ├── new_work.html | |
| │ │ ├── preferences-common-comment.png | |
| │ │ ├── preferences-common-debug.png | |
| │ │ ├── preferences-common-editor.png | |
| │ │ ├── preferences-common.html | |
| │ │ ├── preferences-common-log.png | |
| │ │ ├── preferences-common-signal.png | |
| │ │ ├── preferences-common-visual.png | |
| │ │ ├── preferences-decoration-analysis.png | |
| │ │ ├── preferences-decoration.html | |
| │ │ ├── preferences-decoration-selection.png | |
| │ │ ├── preferences-decoration-simulation.png | |
| │ │ ├── preferences.html | |
| │ │ ├── preferences-layout-circuit.png | |
| │ │ ├── preferences-layout-dot.png | |
| │ │ ├── preferences-layout.html | |
| │ │ ├── preferences-layout-random.png | |
| │ │ ├── preferences-models.html | |
| │ │ ├── preferences-tools.html | |
| │ │ ├── property_editor-connection.png | |
| │ │ ├── property_editor-group.png | |
| │ │ ├── property_editor.html | |
| │ │ ├── property_editor-node.png | |
| │ │ ├── property_editor-text_note.png | |
| │ │ ├── start.html | |
| │ │ ├── tips.html | |
| │ │ ├── tool_controls.html | |
| │ │ ├── tool_controls-select-flip_horizontal.png | |
| │ │ ├── tool_controls-select-flip_vertical.png | |
| │ │ ├── tool_controls-select-group.png | |
| │ │ ├── tool_controls-select-level_down.png | |
| │ │ ├── tool_controls-select-level_up.png | |
| │ │ ├── tool_controls-select-page.png | |
| │ │ ├── tool_controls-select.png | |
| │ │ ├── tool_controls-select-rotate_clockwise.png | |
| │ │ ├── tool_controls-select-rotate_counterclockwise.png | |
| │ │ ├── tool_controls-select-ungroup.png | |
| │ │ ├── tool_controls-simulate-backward.png | |
| │ │ ├── tool_controls-simulate-copy_trace.png | |
| │ │ ├── tool_controls-simulate-eject.png | |
| │ │ ├── tool_controls-simulate-forward.png | |
| │ │ ├── tool_controls-simulate-generate_trace_diagram.png | |
| │ │ ├── tool_controls-simulate-merge_trace.png | |
| │ │ ├── tool_controls-simulate-paste_trace.png | |
| │ │ ├── tool_controls-simulate-pause.png | |
| │ │ ├── tool_controls-simulate-play.png | |
| │ │ ├── tool_controls-simulate.png | |
| │ │ ├── tool_controls-simulate-record.png | |
| │ │ ├── tool_controls-simulate-save_state.png | |
| │ │ └── tool_controls-simulate-stop.png | |
| │ ├── cpog | |
| │ │ ├── encoding-heuristic.png | |
| │ │ ├── encoding_plugin.html | |
| │ │ ├── encoding-sat.png | |
| │ │ ├── encoding-sequential.png | |
| │ │ ├── encoding-single_literal.png | |
| │ │ ├── inserted_graph.png | |
| │ │ ├── start.html | |
| │ │ └── tool_controls-select.png | |
| │ ├── dfs | |
| │ │ ├── capturing.png | |
| │ │ ├── cycle_analysis.png | |
| │ │ ├── editor_tools-control.png | |
| │ │ ├── editor_tools-counterflow_logic.png | |
| │ │ ├── editor_tools-counterflow_register.png | |
| │ │ ├── editor_tools-cycle_analysis.png | |
| │ │ ├── editor_tools-logic.png | |
| │ │ ├── editor_tools-pop.png | |
| │ │ ├── editor_tools-push.png | |
| │ │ ├── editor_tools-register.png | |
| │ │ ├── simulation.png | |
| │ │ ├── start.html | |
| │ │ └── verification-deadlock.png | |
| │ ├── favicon.ico | |
| │ ├── lib | |
| │ │ ├── exe | |
| │ │ │ ├── css.php.t.dokuwiki-light-export.css | |
| │ │ │ ├── jquery.php.t.dokuwiki-light-export.js | |
| │ │ │ └── js.php.t.dokuwiki-light-export.js | |
| │ │ ├── images | |
| │ │ │ ├── bullet.png | |
| │ │ │ ├── closed.png | |
| │ │ │ ├── closed-rtl.png | |
| │ │ │ ├── email.png | |
| │ │ │ ├── error.png | |
| │ │ │ ├── external-link.png | |
| │ │ │ ├── fileicons | |
| │ │ │ │ ├── file.png | |
| │ │ │ │ ├── png.png | |
| │ │ │ │ ├── svg.png | |
| │ │ │ │ ├── tar.png | |
| │ │ │ │ ├── tgz.png | |
| │ │ │ │ ├── txt.png | |
| │ │ │ │ ├── work.png | |
| │ │ │ │ └── zip.png | |
| │ │ │ ├── icon-list.png | |
| │ │ │ ├── icon-sort.png | |
| │ │ │ ├── info.png | |
| │ │ │ ├── interwiki | |
| │ │ │ │ ├── doku.gif | |
| │ │ │ │ ├── user.png | |
| │ │ │ │ └── wp.gif | |
| │ │ │ ├── interwiki.png | |
| │ │ │ ├── notify.png | |
| │ │ │ ├── ns.png | |
| │ │ │ ├── open.png | |
| │ │ │ ├── page.png | |
| │ │ │ ├── resizecol.png | |
| │ │ │ ├── success.png | |
| │ │ │ ├── throbber.gif | |
| │ │ │ ├── unc.png | |
| │ │ │ └── up.png | |
| │ │ ├── plugins | |
| │ │ │ ├── folded | |
| │ │ │ │ ├── closed.gif | |
| │ │ │ │ └── open.gif | |
| │ │ │ ├── move | |
| │ │ │ │ └── images | |
| │ │ │ │ ├── disk.png | |
| │ │ │ │ ├── page_link.png | |
| │ │ │ │ └── page.png | |
| │ │ │ ├── slider | |
| │ │ │ │ └── images | |
| │ │ │ │ ├── bx_loader.gif | |
| │ │ │ │ └── controls.png | |
| │ │ │ └── wrap | |
| │ │ │ └── images | |
| │ │ │ └── note | |
| │ │ │ ├── 16 | |
| │ │ │ │ ├── alert.png | |
| │ │ │ │ ├── download.png | |
| │ │ │ │ ├── help.png | |
| │ │ │ │ ├── important.png | |
| │ │ │ │ ├── info.png | |
| │ │ │ │ ├── tip.png | |
| │ │ │ │ └── todo.png | |
| │ │ │ └── 48 | |
| │ │ │ ├── alert.png | |
| │ │ │ ├── download.png | |
| │ │ │ ├── help.png | |
| │ │ │ ├── important.png | |
| │ │ │ ├── info.png | |
| │ │ │ ├── tip.png | |
| │ │ │ └── todo.png | |
| │ │ └── tpl | |
| │ │ └── dokuwiki-light-export | |
| │ │ └── images | |
| │ │ ├── button-css.png | |
| │ │ ├── button-donate.gif | |
| │ │ ├── button-dw.png | |
| │ │ ├── button-html5.png | |
| │ │ ├── button-php.gif | |
| │ │ ├── page-gradient.png | |
| │ │ ├── search.png | |
| │ │ ├── toc-arrows.png | |
| │ │ ├── toc-bullet.png | |
| │ │ └── usertools.png | |
| │ ├── logo.png | |
| │ ├── petri | |
| │ │ ├── editing.png | |
| │ │ ├── invalid_connection.png | |
| │ │ ├── simulation.png | |
| │ │ ├── start.html | |
| │ │ └── verification.png | |
| │ ├── plato | |
| │ │ ├── design_flow.svg | |
| │ │ └── start.html | |
| │ ├── reach.html | |
| │ ├── scenco | |
| │ │ └── start.html | |
| │ ├── scripting.html | |
| │ ├── son | |
| │ │ ├── abbrevation.jpeg | |
| │ │ ├── bson_example.png | |
| │ │ ├── cson_example.png | |
| │ │ ├── editor_tools-channel_place.png | |
| │ │ ├── group_entered.png | |
| │ │ ├── group_selected.png | |
| │ │ ├── on_example.png | |
| │ │ ├── phases_and_cuts.jpeg | |
| │ │ ├── simulation_controls.png | |
| │ │ ├── simulation_example.png | |
| │ │ ├── start.html | |
| │ │ ├── tool_controls-select-block.png | |
| │ │ ├── tool_controls-simulate-direction.png | |
| │ │ ├── tson_example1.png | |
| │ │ ├── verification-cson_example.png | |
| │ │ ├── verification-cson_results.png | |
| │ │ ├── verification-on_example.png | |
| │ │ ├── verification-on_results.png | |
| │ │ ├── verification-reachability.png | |
| │ │ └── verification-structural.png | |
| │ ├── start.html | |
| │ ├── stg | |
| │ │ ├── editor_tools-connect_undirected.png | |
| │ │ ├── editor_tools-signal_transition.png | |
| │ │ ├── invalid_connection.png | |
| │ │ ├── invalid_read_arc.png | |
| │ │ ├── simulation.png | |
| │ │ ├── simulation-trace_diagram.png | |
| │ │ ├── start.html | |
| │ │ ├── synthesis.png | |
| │ │ ├── transition_types.png | |
| │ │ ├── verification-csc_cores.png | |
| │ │ └── verification.png | |
| │ ├── synthesis.html | |
| │ ├── verification.html | |
| │ ├── wtg | |
| │ │ ├── editor_tools-signal.png | |
| │ │ ├── guards.png | |
| │ │ ├── initial_state-high.png | |
| │ │ ├── initial_state-low.png | |
| │ │ ├── initial_state-stable.png | |
| │ │ ├── initial_state-unstable.png | |
| │ │ ├── invalid_connection.png | |
| │ │ ├── invalid_loop_connection.png | |
| │ │ ├── property_editor-signal_declaration.png | |
| │ │ ├── start.html | |
| │ │ ├── synthesisable.html | |
| │ │ ├── synthetisable.html | |
| │ │ ├── transition-destabilise.png | |
| │ │ ├── transition-fall.png | |
| │ │ ├── transition-rise.png | |
| │ │ ├── transition-stabilise.png | |
| │ │ ├── waveform_level.png | |
| │ │ ├── wtg-irreducible_conflict.svg | |
| │ │ ├── wtg-non_commutativity.svg | |
| │ │ ├── wtg-non_output_determinate.svg | |
| │ │ └── wtg-timing_assumption.svg | |
| │ └── xmas | |
| │ ├── analysis.png | |
| │ ├── capturing.png | |
| │ ├── editor_tools-fork.png | |
| │ ├── editor_tools-function.png | |
| │ ├── editor_tools-join.png | |
| │ ├── editor_tools-merge.png | |
| │ ├── editor_tools-queue.png | |
| │ ├── editor_tools-sink.png | |
| │ ├── editor_tools-source.png | |
| │ ├── editor_tools-switch.png | |
| │ ├── editor_tools-sync.png | |
| │ ├── query.png | |
| │ ├── simulation.png | |
| │ ├── start.html | |
| │ └── verification.png | |
| ├── icon.svg | |
| ├── lib | |
| │ ├── annotations-13.0.jar | |
| │ ├── batik-anim-1.13.jar | |
| │ ├── batik-awt-util-1.13.jar | |
| │ ├── batik-bridge-1.13.jar | |
| │ ├── batik-codec-1.13.jar | |
| │ ├── batik-constants-1.13.jar | |
| │ ├── batik-css-1.13.jar | |
| │ ├── batik-dom-1.13.jar | |
| │ ├── batik-ext-1.13.jar | |
| │ ├── batik-gvt-1.13.jar | |
| │ ├── batik-i18n-1.13.jar | |
| │ ├── batik-parser-1.13.jar | |
| │ ├── batik-script-1.13.jar | |
| │ ├── batik-svg-dom-1.13.jar | |
| │ ├── batik-svggen-1.13.jar | |
| │ ├── batik-transcoder-1.13.jar | |
| │ ├── batik-util-1.13.jar | |
| │ ├── batik-xml-1.13.jar | |
| │ ├── commons-io-1.3.1.jar | |
| │ ├── commons-logging-1.0.4.jar | |
| │ ├── flexdock-1.2.4.jar | |
| │ ├── fop-transcoder-2.5.jar | |
| │ ├── jackson-core-asl-1.9.13.jar | |
| │ ├── jackson-mapper-asl-1.9.13.jar | |
| │ ├── javax.activation-1.2.0.jar | |
| │ ├── jbpt-0.2.429.jar | |
| │ ├── jdd-111.jar | |
| │ ├── jga-0.8.3.jar | |
| │ ├── kotlin-stdlib-1.3.72.jar | |
| │ ├── kotlin-stdlib-common-1.3.72.jar | |
| │ ├── log4j-1.2.17.jar | |
| │ ├── rhino-1.7.12.jar | |
| │ ├── table-layout-4.3.0.jar | |
| │ ├── xml-apis-ext-1.3.04.jar | |
| │ └── xmlgraphics-commons-2.4.jar | |
| ├── libraries | |
| │ ├── petrify.lib | |
| │ ├── workcraft.lib | |
| │ ├── workcraft-tsmc_bcd.cnv | |
| │ └── workcraft-tsmc_ghp.cnv | |
| ├── LICENSE.txt | |
| ├── overview | |
| │ ├── apple-touch-icon.png | |
| │ ├── arm_instruction_set | |
| │ │ ├── arm_m0-instruction_classes.cpog.work | |
| │ │ ├── arm_m0-instruction_composition_compact.cpog.work | |
| │ │ ├── arm_m0-instruction_composition.cpog.work | |
| │ │ ├── screenshot.png | |
| │ │ └── start.html | |
| │ ├── asymmetric_key_generator | |
| │ │ ├── aes-abstract.pn.work | |
| │ │ ├── aes-interface.pn.work | |
| │ │ ├── aes-result.pn.work | |
| │ │ ├── screenshot.png | |
| │ │ └── start.html | |
| │ ├── backend_tools.html | |
| │ ├── baseband_transmitter | |
| │ │ ├── screenshot.png | |
| │ │ ├── start.html | |
| │ │ ├── transmitter-abstract.dfs.work | |
| │ │ ├── transmitter-refinement-deadlock.dfs.work | |
| │ │ └── transmitter-refinement.dfs.work | |
| │ ├── circuit.html | |
| │ ├── cpog.html | |
| │ ├── dfs.html | |
| │ ├── dtd.html | |
| │ ├── favicon.ico | |
| │ ├── fsm.html | |
| │ ├── fst.html | |
| │ ├── graph.html | |
| │ ├── instruction_decoder | |
| │ │ ├── conditional_partial_order_graph.work | |
| │ │ ├── instruction_set_generated.work | |
| │ │ ├── microcontroller_interface.work | |
| │ │ ├── screenshot.png | |
| │ │ ├── simulation_of_the_push_instruction.work | |
| │ │ ├── start.html | |
| │ │ └── synthesised_microcontroller.work | |
| │ ├── lib | |
| │ │ ├── exe | |
| │ │ │ ├── css.php.t.dokuwiki-light-export.css | |
| │ │ │ ├── jquery.php.t.dokuwiki-light-export.js | |
| │ │ │ └── js.php.t.dokuwiki-light-export.js | |
| │ │ ├── images | |
| │ │ │ ├── bullet.png | |
| │ │ │ ├── closed.png | |
| │ │ │ ├── closed-rtl.png | |
| │ │ │ ├── email.png | |
| │ │ │ ├── error.png | |
| │ │ │ ├── external-link.png | |
| │ │ │ ├── fileicons | |
| │ │ │ │ ├── file.png | |
| │ │ │ │ ├── png.png | |
| │ │ │ │ ├── svg.png | |
| │ │ │ │ ├── tar.png | |
| │ │ │ │ ├── tgz.png | |
| │ │ │ │ ├── txt.png | |
| │ │ │ │ ├── work.png | |
| │ │ │ │ └── zip.png | |
| │ │ │ ├── icon-list.png | |
| │ │ │ ├── icon-sort.png | |
| │ │ │ ├── info.png | |
| │ │ │ ├── interwiki | |
| │ │ │ │ ├── doku.gif | |
| │ │ │ │ └── wp.gif | |
| │ │ │ ├── interwiki.png | |
| │ │ │ ├── notify.png | |
| │ │ │ ├── ns.png | |
| │ │ │ ├── open.png | |
| │ │ │ ├── page.png | |
| │ │ │ ├── resizecol.png | |
| │ │ │ ├── success.png | |
| │ │ │ ├── throbber.gif | |
| │ │ │ ├── unc.png | |
| │ │ │ └── up.png | |
| │ │ ├── plugins | |
| │ │ │ ├── folded | |
| │ │ │ │ ├── closed.gif | |
| │ │ │ │ └── open.gif | |
| │ │ │ └── wrap | |
| │ │ │ └── images | |
| │ │ │ └── note | |
| │ │ │ ├── 16 | |
| │ │ │ │ ├── alert.png | |
| │ │ │ │ ├── download.png | |
| │ │ │ │ ├── help.png | |
| │ │ │ │ ├── important.png | |
| │ │ │ │ ├── info.png | |
| │ │ │ │ ├── tip.png | |
| │ │ │ │ └── todo.png | |
| │ │ │ └── 48 | |
| │ │ │ ├── alert.png | |
| │ │ │ ├── download.png | |
| │ │ │ ├── help.png | |
| │ │ │ ├── important.png | |
| │ │ │ ├── info.png | |
| │ │ │ ├── tip.png | |
| │ │ │ └── todo.png | |
| │ │ └── tpl | |
| │ │ └── dokuwiki-light-export | |
| │ │ └── images | |
| │ │ ├── button-css.png | |
| │ │ ├── button-donate.gif | |
| │ │ ├── button-dw.png | |
| │ │ ├── button-html5.png | |
| │ │ ├── button-php.gif | |
| │ │ ├── page-gradient.png | |
| │ │ ├── search.png | |
| │ │ ├── toc-arrows.png | |
| │ │ ├── toc-bullet.png | |
| │ │ └── usertools.png | |
| │ ├── logo.png | |
| │ ├── model_relationship.svg | |
| │ ├── petri.html | |
| │ ├── policy.html | |
| │ ├── screenshot-circuit.png | |
| │ ├── screenshot-cpog.png | |
| │ ├── screenshot-dfs.png | |
| │ ├── screenshot-pn.png | |
| │ ├── screenshot-policy.png | |
| │ ├── screenshot-son.png | |
| │ ├── screenshot-stg.png | |
| │ ├── screenshot-xmas.png | |
| │ ├── son.html | |
| │ ├── start.html | |
| │ ├── stg.html | |
| │ ├── vme_bus_controller | |
| │ │ ├── screenshot.png | |
| │ │ ├── start.html | |
| │ │ ├── vme-cg.circuit.work | |
| │ │ ├── vme.stg.work | |
| │ │ └── vme-tm.circuit.work | |
| │ ├── wtg-choice.svg | |
| │ ├── wtg-complete_example_guards.svg | |
| │ ├── wtg.html | |
| │ ├── wtg-waveform_transitions.svg | |
| │ └── xmas.html | |
| ├── README.txt | |
| ├── tools | |
| │ ├── ATACS | |
| │ │ ├── atacs | |
| │ │ └── LICENSE.txt | |
| │ ├── Espresso | |
| │ │ ├── COPYING | |
| │ │ └── espresso | |
| │ ├── PetrifyTools | |
| │ │ ├── COPYRIGHT | |
| │ │ └── petrify | |
| │ ├── PGMiner | |
| │ │ ├── AUTHORS | |
| │ │ ├── LICENSE | |
| │ │ └── pgminer | |
| │ ├── plato | |
| │ │ ├── appveyor.yml | |
| │ │ ├── AUTHORS | |
| │ │ ├── BoolTest.hs | |
| │ │ ├── boolToConcept | |
| │ │ │ └── Main.hs | |
| │ │ ├── doc | |
| │ │ │ └── manual.md | |
| │ │ ├── examples | |
| │ │ │ ├── Celement_with_env_1.hs | |
| │ │ │ ├── Celement_with_env_2.hs | |
| │ │ │ ├── Celement_with_env_3.hs | |
| │ │ │ ├── zcAbsent_scenario.hs | |
| │ │ │ ├── zcEarly_scenario.hs | |
| │ │ │ └── zcLate_scenario.hs | |
| │ │ ├── LICENSE | |
| │ │ ├── plato.cabal | |
| │ │ ├── README.md | |
| │ │ ├── SimTest.hs | |
| │ │ ├── simulate | |
| │ │ │ └── Main.hs | |
| │ │ ├── src | |
| │ │ │ └── Tuura | |
| │ │ │ ├── Concept | |
| │ │ │ │ ├── Abstract.hs | |
| │ │ │ │ ├── Circuit | |
| │ │ │ │ │ ├── Basic.hs | |
| │ │ │ │ │ └── Derived.hs | |
| │ │ │ │ ├── Circuit.hs | |
| │ │ │ │ ├── Examples | |
| │ │ │ │ │ └── SimpleBuck.hs | |
| │ │ │ │ ├── FSM | |
| │ │ │ │ │ ├── Simulation.hs | |
| │ │ │ │ │ └── Translation.hs | |
| │ │ │ │ ├── FSM.hs | |
| │ │ │ │ ├── Simulation.hs | |
| │ │ │ │ ├── STG | |
| │ │ │ │ │ ├── Simulation.hs | |
| │ │ │ │ │ └── Translation.hs | |
| │ │ │ │ └── STG.hs | |
| │ │ │ ├── Concept.hs | |
| │ │ │ ├── PetriNet.hs | |
| │ │ │ └── Plato | |
| │ │ │ ├── BoolToConcept | |
| │ │ │ │ └── Options.hs | |
| │ │ │ ├── BoolToConcept.hs | |
| │ │ │ ├── Options.hs | |
| │ │ │ ├── Translate | |
| │ │ │ │ ├── Options.hs | |
| │ │ │ │ └── Translation.hs | |
| │ │ │ └── Translation.hs | |
| │ │ ├── stack.yaml | |
| │ │ ├── translate | |
| │ │ │ ├── Component.hs | |
| │ │ │ ├── Main.hs | |
| │ │ │ └── System.hs | |
| │ │ └── TransTest.hs | |
| │ ├── ScEnco | |
| │ │ ├── LICENSE | |
| │ │ └── scenco | |
| │ ├── Spot | |
| │ │ ├── COPYING | |
| │ │ ├── ltl2tgba | |
| │ │ └── README.txt | |
| │ ├── UnfoldingTools | |
| │ │ ├── license.txt | |
| │ │ ├── mpsat | |
| │ │ ├── pcomp | |
| │ │ └── punf | |
| │ └── vxm | |
| │ ├── vsettings | |
| │ └── vxm | |
| ├── tutorial | |
| │ ├── apple-touch-icon.png | |
| │ ├── design | |
| │ │ ├── basic_buck | |
| │ │ │ ├── buck-cg.circuit.svg | |
| │ │ │ ├── buck-cg-decomposed-monot.circuit.svg | |
| │ │ │ ├── buck-cg-feedback.circuit.svg | |
| │ │ │ ├── buck-deco2-wc.circuit.svg | |
| │ │ │ ├── buck-mapped-pfy-wc.circuit.svg | |
| │ │ │ ├── buck-phase_diagram.svg | |
| │ │ │ ├── buck-scenario1_no_zc.stg.svg | |
| │ │ │ ├── buck-scenario2_late_zc.stg.svg | |
| │ │ │ ├── buck-scenario3_early_zc.stg.svg | |
| │ │ │ ├── buck-scenarios_merged.stg.svg | |
| │ │ │ ├── buck-schematic_diagram.svg | |
| │ │ │ ├── buck-short_circuit-property_dialog.png | |
| │ │ │ ├── buck-simplified.stg.svg | |
| │ │ │ ├── buck.zip | |
| │ │ │ ├── standard-c-architecture.circuit.svg | |
| │ │ │ └── start.html | |
| │ │ ├── basic_buck-wtg | |
| │ │ │ ├── start.html | |
| │ │ │ ├── wtg_buck-basic_structure2.svg | |
| │ │ │ ├── wtg_buck-basic_structure.svg | |
| │ │ │ ├── wtg_buck-early_zc.svg | |
| │ │ │ ├── wtg_buck-late_zc.svg | |
| │ │ │ ├── wtg_buck-no_zc.svg | |
| │ │ │ ├── wtg_buck-oc_handling.svg | |
| │ │ │ └── wtg_buck-simplified.svg | |
| │ │ ├── c_element | |
| │ │ │ ├── celement-cg.circuit.svg | |
| │ │ │ ├── celement-cg-step2.circuit.svg | |
| │ │ │ ├── celement-cg-step3.circuit.svg | |
| │ │ │ ├── celement-cg-step4.circuit.svg | |
| │ │ │ ├── celement-circuit_stg.stg.svg | |
| │ │ │ ├── celement-decomposed.circuit.svg | |
| │ │ │ ├── celement-decomposed.circuit.work | |
| │ │ │ ├── celement-decomposed-hazard.circuit.svg | |
| │ │ │ ├── celement-decomposed-hazard.circuit.work | |
| │ │ │ ├── celement.dtd.svg | |
| │ │ │ ├── celement-output_persistency-violation_dialog.png | |
| │ │ │ ├── celement.schematic.svg | |
| │ │ │ ├── celement-step1.stg.svg | |
| │ │ │ ├── celement-step2.stg.svg | |
| │ │ │ ├── celement-step3.stg.svg | |
| │ │ │ ├── celement.stg.svg | |
| │ │ │ ├── celement.td.svg | |
| │ │ │ ├── celement.zip | |
| │ │ │ └── start.html | |
| │ │ ├── communication_fabrics | |
| │ │ │ ├── circ-deadlock.png | |
| │ │ │ ├── circ-ex.svg | |
| │ │ │ ├── circ-ex.work | |
| │ │ │ ├── circ-verif.png | |
| │ │ │ ├── gals-ex1.svg | |
| │ │ │ ├── gals-ex1.work | |
| │ │ │ ├── gals-ex2.svg | |
| │ │ │ ├── gals-ex2.work | |
| │ │ │ ├── gals-ex3.work | |
| │ │ │ ├── gals-ex4.work | |
| │ │ │ ├── gals-ex5.work | |
| │ │ │ ├── gals-ex.svg | |
| │ │ │ ├── gals-ex.work | |
| │ │ │ ├── gals-query1.png | |
| │ │ │ ├── gals-query2.png | |
| │ │ │ ├── gals-verif1.png | |
| │ │ │ ├── gals-verif.png | |
| │ │ │ └── start.html | |
| │ │ ├── hierarchical_buck | |
| │ │ │ ├── charge-compr-fr.stg.svg | |
| │ │ │ ├── charge-compr.stg.svg | |
| │ │ │ ├── charge.stg.svg | |
| │ │ │ ├── charge-tm.circuit.svg | |
| │ │ │ ├── charge-tm.circuit.work | |
| │ │ │ ├── ctrl-decomposed.circuit.svg | |
| │ │ │ ├── ctrl-top.circuit.svg | |
| │ │ │ ├── cycle-mutex.stg.svg | |
| │ │ │ ├── cycle-opt.stg.svg | |
| │ │ │ ├── cycle.stg.svg | |
| │ │ │ ├── cycle-tm.circuit.svg | |
| │ │ │ ├── decomposition.zip | |
| │ │ │ ├── mutex-box.circuit.svg | |
| │ │ │ ├── mutex.stg.svg | |
| │ │ │ ├── schematic_diagram.svg | |
| │ │ │ └── start.html | |
| │ │ ├── vme_bus | |
| │ │ │ ├── start.html | |
| │ │ │ ├── vme-cg.circuit.svg | |
| │ │ │ ├── vme-cg.circuit.work | |
| │ │ │ ├── vme-csc.stg.svg | |
| │ │ │ ├── vme-read.stg.svg | |
| │ │ │ ├── vme-read.td.svg | |
| │ │ │ ├── vme-read_write.stg.svg | |
| │ │ │ ├── vme.schematic.svg | |
| │ │ │ ├── vme.stg.svg | |
| │ │ │ ├── vme-tm.circuit.svg | |
| │ │ │ ├── vme-tm.circuit.work | |
| │ │ │ ├── vme-write.stg.svg | |
| │ │ │ ├── vme-write.td.svg | |
| │ │ │ └── vme.zip | |
| │ │ └── wait2 | |
| │ │ ├── start.html | |
| │ │ ├── w2c-cr.stg.svg | |
| │ │ ├── w2c.stg.svg | |
| │ │ ├── w2c-tm.circuit.svg | |
| │ │ └── wait2.circuit.svg | |
| │ ├── favicon.ico | |
| │ ├── lib | |
| │ │ ├── exe | |
| │ │ │ ├── css.php.t.dokuwiki-light-export.css | |
| │ │ │ ├── jquery.php.t.dokuwiki-light-export.js | |
| │ │ │ └── js.php.t.dokuwiki-light-export.js | |
| │ │ ├── images | |
| │ │ │ ├── bullet.png | |
| │ │ │ ├── closed.png | |
| │ │ │ ├── closed-rtl.png | |
| │ │ │ ├── email.png | |
| │ │ │ ├── error.png | |
| │ │ │ ├── external-link.png | |
| │ │ │ ├── fileicons | |
| │ │ │ │ ├── file.png | |
| │ │ │ │ ├── png.png | |
| │ │ │ │ ├── svg.png | |
| │ │ │ │ ├── tar.png | |
| │ │ │ │ ├── tgz.png | |
| │ │ │ │ ├── txt.png | |
| │ │ │ │ ├── work.png | |
| │ │ │ │ └── zip.png | |
| │ │ │ ├── icon-list.png | |
| │ │ │ ├── icon-sort.png | |
| │ │ │ ├── info.png | |
| │ │ │ ├── interwiki | |
| │ │ │ │ ├── doku.gif | |
| │ │ │ │ ├── user.png | |
| │ │ │ │ └── wp.gif | |
| │ │ │ ├── interwiki.png | |
| │ │ │ ├── notify.png | |
| │ │ │ ├── ns.png | |
| │ │ │ ├── open.png | |
| │ │ │ ├── page.png | |
| │ │ │ ├── resizecol.png | |
| │ │ │ ├── smileys | |
| │ │ │ │ ├── facepalm.gif | |
| │ │ │ │ ├── fixme.gif | |
| │ │ │ │ ├── icon_sad.gif | |
| │ │ │ │ ├── icon_smile.gif | |
| │ │ │ │ └── icon_wink.gif | |
| │ │ │ ├── success.png | |
| │ │ │ ├── throbber.gif | |
| │ │ │ ├── unc.png | |
| │ │ │ └── up.png | |
| │ │ ├── plugins | |
| │ │ │ ├── folded | |
| │ │ │ │ ├── closed.gif | |
| │ │ │ │ └── open.gif | |
| │ │ │ └── wrap | |
| │ │ │ └── images | |
| │ │ │ └── note | |
| │ │ │ ├── 16 | |
| │ │ │ │ ├── alert.png | |
| │ │ │ │ ├── download.png | |
| │ │ │ │ ├── help.png | |
| │ │ │ │ ├── important.png | |
| │ │ │ │ ├── info.png | |
| │ │ │ │ ├── tip.png | |
| │ │ │ │ └── todo.png | |
| │ │ │ └── 48 | |
| │ │ │ ├── alert.png | |
| │ │ │ ├── download.png | |
| │ │ │ ├── help.png | |
| │ │ │ ├── important.png | |
| │ │ │ ├── info.png | |
| │ │ │ ├── tip.png | |
| │ │ │ └── todo.png | |
| │ │ └── tpl | |
| │ │ └── dokuwiki-light-export | |
| │ │ └── images | |
| │ │ ├── button-css.png | |
| │ │ ├── button-donate.gif | |
| │ │ ├── button-dw.png | |
| │ │ ├── button-html5.png | |
| │ │ ├── button-php.gif | |
| │ │ ├── page-gradient.png | |
| │ │ ├── search.png | |
| │ │ ├── toc-arrows.png | |
| │ │ ├── toc-bullet.png | |
| │ │ └── usertools.png | |
| │ ├── logo.png | |
| │ ├── method | |
| │ │ ├── csc_resolution | |
| │ │ │ ├── a2d-csc-mpsat.svg | |
| │ │ │ ├── a2d-csc-petrify.svg | |
| │ │ │ ├── a2d-sg.svg | |
| │ │ │ ├── a2d.svg | |
| │ │ │ ├── butterfly-csc.svg | |
| │ │ │ ├── butterfly.svg | |
| │ │ │ ├── call-final.circuit.svg | |
| │ │ │ ├── call-final.stg.svg | |
| │ │ │ ├── call-handshakes.stg.svg | |
| │ │ │ ├── call-original.stg.svg | |
| │ │ │ ├── circuit-vme-read_resolved.svg | |
| │ │ │ ├── concurrency-reduction-choice.svg | |
| │ │ │ ├── concurrency-reduction-simple.svg | |
| │ │ │ ├── csc-resolution.zip | |
| │ │ │ ├── flip_slave_final.svg | |
| │ │ │ ├── flip_slave_no_cr.svg | |
| │ │ │ ├── par2.svg | |
| │ │ │ ├── par2.work | |
| │ │ │ ├── par4-sg.svg | |
| │ │ │ ├── par4.svg | |
| │ │ │ ├── screenshot-a2d-core_and_height_map-cr.png | |
| │ │ │ ├── screenshot-a2d-core_and_height_map.png | |
| │ │ │ ├── screenshot-flip_slave-coremap.png | |
| │ │ │ ├── screenshot-flip_slave_intermediate-coremap.png | |
| │ │ │ ├── screenshot-par4-coremap.png | |
| │ │ │ ├── screenshot-vme-coremap.png | |
| │ │ │ ├── sram-master.svg | |
| │ │ │ ├── sram-master.work | |
| │ │ │ ├── start.html | |
| │ │ │ ├── stg-vme-read-cr-benign.svg | |
| │ │ │ ├── stg-vme-read-cr-malignant.svg | |
| │ │ │ ├── stg-vme-read-csc.svg | |
| │ │ │ ├── stg-vme-read-rta.svg | |
| │ │ │ ├── stg-vme-read.svg | |
| │ │ │ ├── surgery.png | |
| │ │ │ ├── vme-read-cr-sg.svg | |
| │ │ │ ├── vme-read_resolved-sg.svg | |
| │ │ │ ├── vme-read-sg-rta.svg | |
| │ │ │ └── vme-read-sg.svg | |
| │ │ ├── handshake_verification | |
| │ │ │ ├── buggy-decoupler.stg.svg | |
| │ │ │ ├── buggy-decoupler.stg.work | |
| │ │ │ ├── call-final-a12.stg.svg | |
| │ │ │ ├── call-final-a12.stg.work | |
| │ │ │ ├── call-final.circuit.svg | |
| │ │ │ ├── call-final.stg.svg | |
| │ │ │ ├── call-final.stg.work | |
| │ │ │ ├── decoupler-interface.circuit.svg | |
| │ │ │ ├── decoupler.stg.svg | |
| │ │ │ ├── decoupler.stg.work | |
| │ │ │ ├── handshake_wizard-active.png | |
| │ │ │ ├── handshake_wizard-passive.png | |
| │ │ │ ├── handshake_wizard.zip | |
| │ │ │ ├── start.html | |
| │ │ │ └── wait-interface.circuit.svg | |
| │ │ ├── hierarchical_design | |
| │ │ │ ├── charge_gn-cr.stg.svg | |
| │ │ │ ├── charge_gn-cr.stg.work | |
| │ │ │ ├── charge_gn.stg.svg | |
| │ │ │ ├── charge_gn.stg.work | |
| │ │ │ ├── charge_gp-cr.stg.svg | |
| │ │ │ ├── charge_gp-cr.stg.work | |
| │ │ │ ├── charge_gp.stg.svg | |
| │ │ │ ├── charge_gp.stg.work | |
| │ │ │ ├── composition.zip | |
| │ │ │ ├── control-composed.stg.svg | |
| │ │ │ ├── control-composed.stg.work | |
| │ │ │ ├── control-decomposed.circuit.svg | |
| │ │ │ ├── control-simplified.stg.svg | |
| │ │ │ ├── control-simplified.stg.work | |
| │ │ │ ├── custom_property-dialog.png | |
| │ │ │ ├── cycle-mutex.stg.svg | |
| │ │ │ ├── cycle-mutex.stg.work | |
| │ │ │ ├── nway_conformation-dialog.png | |
| │ │ │ ├── nway_conformation-failure.png | |
| │ │ │ ├── parallel_composition-dialog.png | |
| │ │ │ └── start.html | |
| │ │ ├── initialisation | |
| │ │ │ ├── charge.stg.work | |
| │ │ │ ├── charge-tm-analysis-alt.circuit.png | |
| │ │ │ ├── charge-tm-analysis-alt-reset.circuit.png | |
| │ │ │ ├── charge-tm-analysis-reset.circuit.png | |
| │ │ │ ├── charge-tm-analysis-step1.circuit.png | |
| │ │ │ ├── charge-tm-analysis-step2.circuit.png | |
| │ │ │ ├── charge-tm-analysis-step3.circuit.png | |
| │ │ │ ├── charge-tm.circuit.work | |
| │ │ │ ├── cycle.stg.work | |
| │ │ │ ├── cycle-tm-analysis.circuit.png | |
| │ │ │ ├── cycle-tm-analysis-conflict.circuit.png | |
| │ │ │ ├── cycle-tm-analysis-reset.circuit.png | |
| │ │ │ ├── cycle-tm.circuit.work | |
| │ │ │ ├── initialisation.zip | |
| │ │ │ ├── start.html | |
| │ │ │ └── top-level.circuit.svg | |
| │ │ ├── loop_breaking | |
| │ │ │ ├── loop_breaking.zip | |
| │ │ │ ├── start.html | |
| │ │ │ ├── vme.stg.svg | |
| │ │ │ ├── vme.stg.work | |
| │ │ │ ├── vme-tm-break_self_loops.circuit.png | |
| │ │ │ ├── vme-tm-break_timing_arcs-complete.circuit.png | |
| │ │ │ ├── vme-tm-break_timing_arcs-selfloops.circuit.png | |
| │ │ │ ├── vme-tm.circuit.work | |
| │ │ │ ├── vme-tm-cycle_analysis.circuit.png | |
| │ │ │ ├── vme-tm-scan.circuit.png | |
| │ │ │ └── vme-tm-tbuf.circuit.png | |
| │ │ ├── petri_synthesis | |
| │ │ │ ├── fsm-vm-concurrent.png | |
| │ │ │ ├── pn-vm-concurrent-map.png | |
| │ │ │ ├── start.html | |
| │ │ │ └── stg-vm-concurrent-synth.png | |
| │ │ ├── pipeline_wagging | |
| │ │ │ ├── dfs-arisc.svg | |
| │ │ │ ├── dfs-arisc.work | |
| │ │ │ ├── dfs-basic_2way_wagging-cycle-analysis-screenshot.png | |
| │ │ │ ├── dfs-basic-cycle-analysis-screenshot.png | |
| │ │ │ ├── dfs-basic.svg | |
| │ │ │ ├── start.html | |
| │ │ │ └── wagging.png | |
| │ │ ├── technology_mapping | |
| │ │ │ ├── master-read-write-interface-resynth.stg.svg | |
| │ │ │ ├── master-read-write-interface-resynth.stg.work | |
| │ │ │ ├── master-read-write-interface.stg.svg | |
| │ │ │ ├── master-read-write-interface.stg.work | |
| │ │ │ ├── or5-simple-structure-proxy.stg.svg | |
| │ │ │ ├── or5-simple-structure-proxy.stg.work | |
| │ │ │ ├── or5-simple-structure.stg.svg | |
| │ │ │ ├── or5-simple-structure.stg.work | |
| │ │ │ ├── or5-split.stg.svg | |
| │ │ │ ├── or5-split.stg.work | |
| │ │ │ ├── or5.stg.svg | |
| │ │ │ ├── or5.stg.work | |
| │ │ │ ├── phase-tm.circuit.svg | |
| │ │ │ ├── start.html | |
| │ │ │ ├── tech_mapping.zip | |
| │ │ │ ├── vme-read-csc.circuit.svg | |
| │ │ │ ├── vme-read-csc.circuit.work | |
| │ │ │ ├── vme-read-csc-mapped-2input.circuit.svg | |
| │ │ │ ├── vme-read-csc-mapped-2input.circuit.work | |
| │ │ │ ├── vme-read-csc-mapped-celement.circuit.svg | |
| │ │ │ ├── vme-read-csc-mapped-celement.circuit.work | |
| │ │ │ ├── vme-read-csc-naive.circuit.svg | |
| │ │ │ ├── vme-read-csc-naive.circuit.work | |
| │ │ │ ├── vme-read-csc.stg.svg | |
| │ │ │ ├── vme-read-csc.stg.work | |
| │ │ │ ├── waitx-cr.stg.svg | |
| │ │ │ ├── waitx-cr.stg.work | |
| │ │ │ ├── waitx.stg.svg | |
| │ │ │ └── waitx.stg.work | |
| │ │ └── temporal_verification | |
| │ │ ├── hs.svg | |
| │ │ ├── hs-time-thief.svg | |
| │ │ ├── lasso-shaped-trace.svg | |
| │ │ ├── mutex.stg.svg | |
| │ │ ├── start.html | |
| │ │ └── temporal_verification.zip | |
| │ ├── model | |
| │ │ ├── d_flip_flop | |
| │ │ │ ├── start.html | |
| │ │ │ ├── wtg_flipflop-d_high_q_rise.svg | |
| │ │ │ ├── wtg_flipflop-d_high_q_same.svg | |
| │ │ │ ├── wtg_flipflop-d_low_q_same.svg | |
| │ │ │ ├── wtg_flipflop-final.svg | |
| │ │ │ ├── wtg_flipflop-guards1.svg | |
| │ │ │ └── wtg_flipflop-initialisation.svg | |
| │ │ ├── dining_philosophers | |
| │ │ │ ├── deadlock_trace-two_philosophers.png | |
| │ │ │ ├── dining_philosophers.zip | |
| │ │ │ ├── philosopher.pn.svg | |
| │ │ │ ├── property_check-two_philosophers-never_eat_simultaneously.png | |
| │ │ │ ├── property_satisfied-two_philosophers-never_eat_simultaniously.png | |
| │ │ │ ├── start.html | |
| │ │ │ └── two_philosophers.pn.svg | |
| │ │ ├── distributed_mutual_exclusion | |
| │ │ │ ├── circuit-dme.png | |
| │ │ │ ├── dme1.png | |
| │ │ │ ├── dme2.png | |
| │ │ │ ├── dme_composed.png | |
| │ │ │ ├── dme_composed_resyn.png | |
| │ │ │ ├── dme_composed_simplified.png | |
| │ │ │ ├── parallel_composition_dialog-dme1_dme2.png | |
| │ │ │ └── start.html | |
| │ │ ├── instruction_decoder | |
| │ │ │ ├── instruction_decoder-arithmetic.svg | |
| │ │ │ ├── instruction_decoder-branch_no_jmp.svg | |
| │ │ │ ├── instruction_decoder-branch_structure.svg | |
| │ │ │ ├── instruction_decoder-branch.svg | |
| │ │ │ ├── instruction_decoder-diagram.svg | |
| │ │ │ ├── instruction_decoder-simplified.svg | |
| │ │ │ ├── instruction_decoder-wtg_structure.svg | |
| │ │ │ ├── instruction_decoder.wtg.work | |
| │ │ │ ├── instruction_decoder.zip | |
| │ │ │ └── start.html | |
| │ │ ├── investigation | |
| │ │ │ ├── car_accident.svg | |
| │ │ │ ├── car_accident.work | |
| │ │ │ ├── consistency.png | |
| │ │ │ ├── crime.svg | |
| │ │ │ ├── crime.work | |
| │ │ │ ├── scenario-generator.png | |
| │ │ │ ├── scenario-gen.png | |
| │ │ │ ├── scenario-gui.png | |
| │ │ │ ├── scenario-reset.png | |
| │ │ │ ├── son-structure-new.png | |
| │ │ │ ├── son-time.png | |
| │ │ │ └── start.html | |
| │ │ ├── phage_lambda | |
| │ │ │ ├── boolean_network.svg | |
| │ │ │ ├── errors.png | |
| │ │ │ ├── lambda.circuit.svg | |
| │ │ │ ├── lambda.circuit.work | |
| │ │ │ ├── lambda-foe1.stg.svg | |
| │ │ │ ├── lambda-foe.stg.svg | |
| │ │ │ ├── lambda-resynth.stg.svg | |
| │ │ │ ├── lambda.stg.svg | |
| │ │ │ └── start.html | |
| │ │ ├── read_write_lock | |
| │ │ │ ├── rw_1process.svg | |
| │ │ │ ├── rw_biased_1process.svg | |
| │ │ │ ├── rw_biased_template.svg | |
| │ │ │ ├── rw.svg | |
| │ │ │ ├── start.html | |
| │ │ │ └── stg-rw_biased_template.work | |
| │ │ └── vending_machine | |
| │ │ ├── start.html | |
| │ │ ├── vm-basic.svg | |
| │ │ └── vm-nondet-unreach.svg | |
| │ └── start.html | |
| └── workcraft | |
| 128 directories, 971 files |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment