- Committer: libowen96
- Date: 2015-12-25 23:12:03 UTC
- mfrom: (665.1.1 trunk-son-time-intermediate)
- Revision ID: libowen96@hotmail.com-20151225231203-dcvarrxghswrshlu
merged with trunk-son-time-intermediate
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
lib
|
518 | 9 years ago | Danil Sokolov | Help files updated |
|
||
apple-touch-icon.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 973 bytes |
|
|
boolean_expression.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 10.9 KB |
|
|
circuit-connection-fork.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 40.2 KB |
|
|
circuit-connection-invalid.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 40.3 KB |
|
|
circuit-function-many_outputs.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 40.2 KB |
|
|
circuit-function-render_type.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 37.4 KB |
|
|
circuit-function.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 32.4 KB |
|
|
circuit-ports.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 32.8 KB |
|
|
cpog-inserted_graph.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 7.3 KB |
|
|
cpog-tool_controls-select.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 8.5 KB |
|
|
|
cpog_plugin.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 16.9 KB |
|
|
|
digital_circuit_plugin.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 18.5 KB |
|
|
|
editor_panel.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 9 KB |
|
|
editor_tools-channel_place.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 995 bytes |
|
|
editor_tools-connect.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 578 bytes |
|
|
editor_tools-function.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 802 bytes |
|
|
editor_tools-place.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 1.1 KB |
|
|
editor_tools-port.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 466 bytes |
|
|
editor_tools-select.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 797 bytes |
|
|
editor_tools-signal_transition.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 688 bytes |
|
|
editor_tools-simulate.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 727 bytes |
|
|
editor_tools-text_note.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 825 bytes |
|
|
editor_tools-transition.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 426 bytes |
|
|
editor_tools-vertex.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 1 KB |
|
|
editor_tools.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 4.7 KB |
|
|
|
editor_tools_panel.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 13.8 KB |
|
|
encoding-heuristic.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 30.5 KB |
|
|
encoding-sat.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 11.2 KB |
|
|
encoding-sequential.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 7 KB |
|
|
encoding-single_literal.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 6.9 KB |
|
|
|
encoding_plugin.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 17.2 KB |
|
|
|
favicon.ico |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 4.1 KB |
|
|
gui-directed_graph.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 53.9 KB |
|
|
logo.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 8.7 KB |
|
|
|
main_menu.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 17 KB |
|
|
|
main_window.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 10.2 KB |
|
|
new_work-circuit.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 16.3 KB |
|
|
new_work-cpog.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 19.7 KB |
|
|
new_work-petri_net.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 16.5 KB |
|
|
new_work-son.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 18.5 KB |
|
|
new_work-stg.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 16.6 KB |
|
|
petri_net-editing.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 45.4 KB |
|
|
petri_net-invalid_connection.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 34.8 KB |
|
|
petri_net-simulation.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 41.6 KB |
|
|
petri_net-verification.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 44.4 KB |
|
|
|
petri_net_plugin.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 13.9 KB |
|
|
preferences-common-comment.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 18.6 KB |
|
|
preferences-common-editor.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 24.7 KB |
|
|
preferences-common-simulation.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 19.8 KB |
|
|
preferences-common-visual.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 27.2 KB |
|
|
|
preferences-common.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 15.9 KB |
|
|
preferences-layout-dot.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 17.4 KB |
|
|
preferences-layout-random.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 18.3 KB |
|
|
|
preferences-layout.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 9.8 KB |
|
|
preferences-models-stg.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 18.2 KB |
|
|
property_editor-connection.png |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 7.3 KB |
|
|
property_editor-group.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 3.1 KB |
|
|
property_editor-node.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 8.1 KB |
|
|
property_editor-text_note.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 6.1 KB |
|
|
|
property_editor_panel.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 14.5 KB |
|
|
|
reach.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 20.7 KB |
|
|
|
scenco.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 10.1 KB |
|
|
son-abbrevation.jpeg |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 16.5 KB |
|
|
son-bson_example.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 35.6 KB |
|
|
son-cson_example.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 44.6 KB |
|
|
son-group_entered.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 41.2 KB |
|
|
son-group_selected.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 43 KB |
|
|
son-on_example.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 25.8 KB |
|
|
son-phases_and_cuts.jpeg |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 23.3 KB |
|
|
son-simulation_controls.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 14.5 KB |
|
|
son-simulation_example.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 41.6 KB |
|
|
son-tson_example1.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 34.3 KB |
|
|
son-verification-cson_example.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 30.3 KB |
|
|
son-verification-cson_results.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 21.7 KB |
|
|
son-verification-on_example.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 24.1 KB |
|
|
son-verification-on_results.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 61.9 KB |
|
|
son-verification-reachability.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 33.3 KB |
|
|
son-verification-structural.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 21.4 KB |
|
|
|
son_plugin.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 34.8 KB |
|
|
|
start.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 11.9 KB |
|
|
stg-editing.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 51.1 KB |
|
|
stg-invalid_connection.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 47.6 KB |
|
|
stg-simulation.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 54.7 KB |
|
|
stg-synthesis.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 44.3 KB |
|
|
stg-transition_types.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 40.8 KB |
|
|
stg-verification.png |
589 | 9 years ago | Danil Sokolov | Offline help and tutorial files are updated. Workc | 46.7 KB |
|
|
|
stg_plugin.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 25.6 KB |
|
|
|
tips.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 12.5 KB |
|
|
|
toc_advanced.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 8.5 KB |
|
|
|
toc_generic.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 9.1 KB |
|
|
|
toc_plugins.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 8.8 KB |
|
|
|
toc_settings.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 8.4 KB |
|
|
tool_controls-select-block.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 946 bytes |
|
|
tool_controls-select-flip_horizontal.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 602 bytes |
|
|
tool_controls-select-flip_vertical.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 635 bytes |
|
|
tool_controls-select-group.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 832 bytes |
|
|
tool_controls-select-level_down.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 770 bytes |
|
|
tool_controls-select-level_up.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 718 bytes |
|
|
tool_controls-select-page.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 926 bytes |
|
|
tool_controls-select-rotate_clockwise.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 978 bytes |
|
|
tool_controls-select-rotate_counterclockwise.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 1000 bytes |
|
|
tool_controls-select-ungroup.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 915 bytes |
|
|
tool_controls-select.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 6.2 KB |
|
|
tool_controls-simulate-copy_trace.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 1 KB |
|
|
tool_controls-simulate-direction.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 1.1 KB |
|
|
tool_controls-simulate-merge_trace.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 844 bytes |
|
|
tool_controls-simulate-paste_trace.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 991 bytes |
|
|
tool_controls-simulate-play.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 732 bytes |
|
|
tool_controls-simulate-random.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 930 bytes |
|
|
tool_controls-simulate-save_state.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 967 bytes |
|
|
tool_controls-simulate-step_backward.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 851 bytes |
|
|
tool_controls-simulate-step_forward.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 833 bytes |
|
|
tool_controls-simulate-stop.png |
554 | 9 years ago | Danil Sokolov | Help files are updated frpm the wiki. | 525 bytes |
|
|
tool_controls-simulate.png |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 8.6 KB |
|
|
|
tool_controls_panel.html |
636 | 8 years ago | Danil Sokolov | Updated help and tutorial files. | 16.1 KB |
|
|
workspace.png |
518 | 9 years ago | Danil Sokolov | Help files updated | 7.4 KB |
|
|
|
workspace_panel.html |
613 | 9 years ago | Danil Sokolov | Updated overview, help and tutorial files. | 8.7 KB |
|
|