├── .gitignore ├── .travis.yml ├── README ├── README.git ├── README.release ├── bin ├── quantomatic └── to_dir.rb ├── bintray-release.json ├── bintray.json ├── build.sh ├── console └── quanto.rb ├── core ├── Makefile ├── Pure │ ├── Concurrent │ │ ├── bash.ML │ │ ├── bash_sequential.ML │ │ ├── cache.ML │ │ ├── consumer_thread.scala │ │ ├── counter.ML │ │ ├── counter.scala │ │ ├── event_timer.ML │ │ ├── event_timer.scala │ │ ├── future.ML │ │ ├── future.scala │ │ ├── lazy.ML │ │ ├── lazy_sequential.ML │ │ ├── mailbox.ML │ │ ├── mailbox.scala │ │ ├── par_exn.ML │ │ ├── par_list.ML │ │ ├── par_list_sequential.ML │ │ ├── simple_thread.ML │ │ ├── simple_thread.scala │ │ ├── single_assignment.ML │ │ ├── single_assignment_sequential.ML │ │ ├── synchronized.ML │ │ ├── synchronized.scala │ │ ├── synchronized_sequential.ML │ │ ├── task_queue.ML │ │ └── time_limit.ML │ ├── GUI │ │ ├── color_value.scala │ │ ├── gui.scala │ │ ├── gui_thread.scala │ │ ├── html5_panel.scala │ │ ├── jfx_thread.scala │ │ ├── popup.scala │ │ ├── system_dialog.scala │ │ └── wrap_panel.scala │ ├── General │ │ ├── alist.ML │ │ ├── antiquote.ML │ │ ├── antiquote.scala │ │ ├── balanced_tree.ML │ │ ├── basics.ML │ │ ├── binding.ML │ │ ├── buffer.ML │ │ ├── bytes.scala │ │ ├── change_table.ML │ │ ├── completion.ML │ │ ├── completion.scala │ │ ├── exn.ML │ │ ├── exn.scala │ │ ├── file.ML │ │ ├── file.scala │ │ ├── graph.ML │ │ ├── graph.scala │ │ ├── graph_display.ML │ │ ├── graphics_file.scala │ │ ├── heap.ML │ │ ├── integer.ML │ │ ├── linear_set.ML │ │ ├── linear_set.scala │ │ ├── long_name.ML │ │ ├── long_name.scala │ │ ├── multi_map.scala │ │ ├── name_space.ML │ │ ├── ord_list.ML │ │ ├── output.ML │ │ ├── output.scala │ │ ├── path.ML │ │ ├── path.scala │ │ ├── position.ML │ │ ├── position.scala │ │ ├── pretty.ML │ │ ├── pretty.scala │ │ ├── print_mode.ML │ │ ├── properties.ML │ │ ├── properties.scala │ │ ├── queue.ML │ │ ├── same.ML │ │ ├── scan.ML │ │ ├── scan.scala │ │ ├── secure.ML │ │ ├── seq.ML │ │ ├── sha1.ML │ │ ├── sha1.scala │ │ ├── sha1_polyml.ML │ │ ├── sha1_samples.ML │ │ ├── socket_io.ML │ │ ├── source.ML │ │ ├── stack.ML │ │ ├── symbol.ML │ │ ├── symbol.scala │ │ ├── symbol_pos.ML │ │ ├── table.ML │ │ ├── time.scala │ │ ├── timing.ML │ │ ├── timing.scala │ │ ├── untyped.scala │ │ ├── url.ML │ │ ├── url.scala │ │ ├── word.scala │ │ └── xz_file.scala │ ├── Isar │ │ ├── args.ML │ │ ├── attrib.ML │ │ ├── auto_bind.ML │ │ ├── bundle.ML │ │ ├── calculation.ML │ │ ├── class.ML │ │ ├── class_declaration.ML │ │ ├── code.ML │ │ ├── context_rules.ML │ │ ├── element.ML │ │ ├── expression.ML │ │ ├── generic_target.ML │ │ ├── isar_cmd.ML │ │ ├── isar_syn.ML │ │ ├── keyword.ML │ │ ├── keyword.scala │ │ ├── local_defs.ML │ │ ├── local_theory.ML │ │ ├── locale.ML │ │ ├── method.ML │ │ ├── named_target.ML │ │ ├── object_logic.ML │ │ ├── obtain.ML │ │ ├── outer_syntax.ML │ │ ├── outer_syntax.scala │ │ ├── overloading.ML │ │ ├── parse.ML │ │ ├── parse.scala │ │ ├── parse_spec.ML │ │ ├── proof.ML │ │ ├── proof_context.ML │ │ ├── proof_display.ML │ │ ├── proof_node.ML │ │ ├── rule_cases.ML │ │ ├── runtime.ML │ │ ├── spec_rules.ML │ │ ├── specification.ML │ │ ├── token.ML │ │ ├── token.scala │ │ ├── toplevel.ML │ │ └── typedecl.ML │ ├── ML-Systems │ │ ├── compiler_polyml.ML │ │ ├── ml_name_space.ML │ │ ├── ml_positions.ML │ │ ├── ml_pretty.ML │ │ ├── ml_system.ML │ │ ├── multithreading.ML │ │ ├── multithreading_polyml.ML │ │ ├── overloading_smlnj.ML │ │ ├── polyml-5.5.2.ML │ │ ├── polyml.ML │ │ ├── pp_dummy.ML │ │ ├── proper_int.ML │ │ ├── share_common_data_polyml-5.3.0.ML │ │ ├── single_assignment.ML │ │ ├── single_assignment_polyml.ML │ │ ├── smlnj.ML │ │ ├── thread_dummy.ML │ │ ├── universal.ML │ │ ├── unsynchronized.ML │ │ └── use_context.ML │ ├── ML │ │ ├── exn_output.ML │ │ ├── exn_output_polyml.ML │ │ ├── exn_properties_dummy.ML │ │ ├── exn_properties_polyml.ML │ │ ├── exn_trace_polyml-5.5.1.ML │ │ ├── install_pp_polyml.ML │ │ ├── ml_antiquotation.ML │ │ ├── ml_antiquotations.ML │ │ ├── ml_compiler.ML │ │ ├── ml_compiler_polyml.ML │ │ ├── ml_context.ML │ │ ├── ml_env.ML │ │ ├── ml_lex.ML │ │ ├── ml_lex.scala │ │ ├── ml_options.ML │ │ ├── ml_parse.ML │ │ ├── ml_statistics_dummy.ML │ │ ├── ml_statistics_polyml-5.5.0.ML │ │ ├── ml_syntax.ML │ │ └── ml_thms.ML │ ├── PIDE │ │ ├── active.ML │ │ ├── command.ML │ │ ├── command.scala │ │ ├── document.ML │ │ ├── document.scala │ │ ├── document_id.ML │ │ ├── document_id.scala │ │ ├── editor.scala │ │ ├── execution.ML │ │ ├── markup.ML │ │ ├── markup.scala │ │ ├── markup_tree.scala │ │ ├── protocol.ML │ │ ├── protocol.scala │ │ ├── prover.scala │ │ ├── query_operation.ML │ │ ├── query_operation.scala │ │ ├── resources.ML │ │ ├── resources.scala │ │ ├── session.ML │ │ ├── session.scala │ │ ├── text.scala │ │ ├── xml.ML │ │ ├── xml.scala │ │ ├── yxml.ML │ │ └── yxml.scala │ ├── Proof │ │ ├── extraction.ML │ │ ├── proof_checker.ML │ │ ├── proof_rewrite_rules.ML │ │ ├── proof_syntax.ML │ │ └── reconstruct.ML │ ├── Pure.thy │ ├── README │ ├── ROOT │ ├── ROOT.ML │ ├── ROOT.scala │ ├── Syntax │ │ ├── ast.ML │ │ ├── lexicon.ML │ │ ├── local_syntax.ML │ │ ├── mixfix.ML │ │ ├── parser.ML │ │ ├── printer.ML │ │ ├── simple_syntax.ML │ │ ├── syntax.ML │ │ ├── syntax_ext.ML │ │ ├── syntax_phases.ML │ │ ├── syntax_trans.ML │ │ ├── term_position.ML │ │ └── type_annotation.ML │ ├── System │ │ ├── command_line.ML │ │ ├── command_line.scala │ │ ├── invoke_scala.ML │ │ ├── invoke_scala.scala │ │ ├── isabelle_charset.scala │ │ ├── isabelle_font.scala │ │ ├── isabelle_process.ML │ │ ├── isabelle_process.scala │ │ ├── isabelle_system.ML │ │ ├── isabelle_system.scala │ │ ├── isar.ML │ │ ├── message_channel.ML │ │ ├── options.ML │ │ ├── options.scala │ │ ├── platform.scala │ │ ├── posix_interrupt.scala │ │ ├── system_channel.ML │ │ ├── system_channel.scala │ │ └── utf8.scala │ ├── Thy │ │ ├── html.ML │ │ ├── html.scala │ │ ├── latex.ML │ │ ├── present.ML │ │ ├── present.scala │ │ ├── term_style.ML │ │ ├── thm_deps.ML │ │ ├── thy_header.ML │ │ ├── thy_header.scala │ │ ├── thy_info.ML │ │ ├── thy_info.scala │ │ ├── thy_output.ML │ │ ├── thy_syntax.ML │ │ └── thy_syntax.scala │ ├── Tools │ │ ├── build.ML │ │ ├── build.scala │ │ ├── build_console.scala │ │ ├── build_doc.scala │ │ ├── check_source.scala │ │ ├── doc.scala │ │ ├── find_consts.ML │ │ ├── find_theorems.ML │ │ ├── keywords.scala │ │ ├── main.scala │ │ ├── ml_statistics.scala │ │ ├── named_thms.ML │ │ ├── print_operation.ML │ │ ├── print_operation.scala │ │ ├── proof_general.ML │ │ ├── proof_general_pure.ML │ │ ├── rail.ML │ │ ├── rule_insts.ML │ │ ├── simplifier_trace.ML │ │ ├── simplifier_trace.scala │ │ └── task_statistics.scala │ ├── assumption.ML │ ├── axclass.ML │ ├── build │ ├── build-jars │ ├── config.ML │ ├── conjunction.ML │ ├── consts.ML │ ├── context.ML │ ├── context_position.ML │ ├── conv.ML │ ├── defs.ML │ ├── display.ML │ ├── drule.ML │ ├── envir.ML │ ├── facts.ML │ ├── global_theory.ML │ ├── goal.ML │ ├── goal_display.ML │ ├── interpretation.ML │ ├── item_net.ML │ ├── library.ML │ ├── library.scala │ ├── logic.ML │ ├── more_thm.ML │ ├── morphism.ML │ ├── name.ML │ ├── net.ML │ ├── pattern.ML │ ├── primitive_defs.ML │ ├── proofterm.ML │ ├── pure_syn.ML │ ├── pure_thy.ML │ ├── raw_simplifier.ML │ ├── search.ML │ ├── sign.ML │ ├── simplifier.ML │ ├── skip_proof.ML │ ├── sorts.ML │ ├── subgoal.ML │ ├── tactic.ML │ ├── tactical.ML │ ├── term.ML │ ├── term.scala │ ├── term_ord.ML │ ├── term_sharing.ML │ ├── term_subst.ML │ ├── term_xml.ML │ ├── term_xml.scala │ ├── theory.ML │ ├── thm.ML │ ├── type.ML │ ├── type_infer.ML │ ├── type_infer_context.ML │ ├── unify.ML │ └── variable.ML ├── ROOT.ML ├── build_heap.ML ├── controller.thy ├── core.thy ├── dnets │ ├── .gitignore │ ├── Contour.ML │ ├── ContourList.ML │ ├── DNetsLib.ML │ ├── Literal.ML │ ├── TopDNet.ML │ ├── perf.ML │ └── test.ML ├── expressions │ ├── alg.ML │ ├── coeff.ML │ ├── expr.ML │ ├── hilb.ML │ ├── lex.ML │ ├── linrat_angle_expr.ML │ ├── linrat_angle_matcher.ML │ ├── linrat_expr.ML │ ├── linrat_matcher.ML │ ├── matrix.ML │ ├── semiring.ML │ ├── tensor.ML │ └── test │ │ ├── linrat_angle_expr-test.ML │ │ ├── linrat_expr-test.ML │ │ └── linrat_matcher-test.ML ├── graph │ ├── arity.ML │ ├── bang_graph.ML │ ├── bang_graph.sig.ML │ ├── graph_annotations.ML │ ├── graph_data.ML │ ├── nhd.ML │ ├── ograph.sig.ML │ └── test │ │ ├── test-bang-graph.ML │ │ ├── test-graph-setup.ML │ │ ├── test-nhd.ML │ │ └── test-ograph.ML ├── io │ ├── file_io.ML │ ├── graph_annotations_json.ML │ ├── graph_component_io.ML │ ├── graph_dot_output.ML │ ├── graph_json.ML │ ├── graph_json_io.ML │ ├── graphical_theory_io.ML │ ├── input.ML │ ├── json_io.ML │ ├── linrat_json.ML │ ├── output.ML │ ├── rewrite_json.ML │ ├── rule_json.ML │ ├── rule_json_io.ML │ ├── ruleset_annotations_json.ML │ ├── ruleset_json.ML │ ├── ruleset_json_io.ML │ └── test │ │ ├── graph-json-test.ML │ │ └── linrat-json-test.ML ├── isabelle_env.ML ├── json_interface │ ├── controller.ML │ ├── controller_module.ML │ ├── controller_registry.ML │ ├── controller_util.ML │ ├── modules │ │ ├── cosy.ML │ │ ├── rewrite.ML │ │ ├── simplify.ML │ │ └── test.ML │ ├── protocol.ML │ └── run.ML ├── lib.thy ├── lib │ ├── json.ML │ ├── log.ML │ ├── maps │ │ ├── abstract_map.ML │ │ ├── name_function.ML │ │ ├── name_injection.ML │ │ ├── name_relation.ML │ │ ├── name_substitution.ML │ │ ├── name_table.ML │ │ └── test │ │ │ ├── name_function-test.ML │ │ │ ├── name_injection-test.ML │ │ │ ├── name_relation-test.ML │ │ │ ├── name_substitution-test.ML │ │ │ ├── name_table-test.ML │ │ │ └── test_maps_util.ML │ ├── names │ │ ├── basic_name.ML │ │ ├── basic_nameset.ML │ │ ├── basic_nametab.ML │ │ ├── basic_renaming.ML │ │ ├── compound_renaming.ML │ │ ├── name_binrel.ML │ │ ├── name_inj.ML │ │ ├── name_injendo.ML │ │ ├── name_map.ML │ │ ├── namer.ML │ │ ├── namers.ML │ │ ├── names.ML │ │ ├── names_common.ML │ │ ├── nameset.ML │ │ ├── nametab.ML │ │ ├── renaming.ML │ │ └── test │ │ │ ├── ROOT.ML │ │ │ ├── name_brel.ML │ │ │ └── nameset.ML │ ├── raw_source.ML │ ├── testing.ML │ └── text_socket.ML ├── matching │ ├── bang_graph_homeomorphism_search.ML │ ├── bg_match.ML │ ├── concrete_match_search.ML │ ├── greedy_match_search.ML │ ├── match.ML │ ├── match_search.ML │ ├── match_state.ML │ ├── progressive_match_search.ML │ └── test │ │ ├── test-bang-graph-homeomorphism-search.ML │ │ ├── test-bg-to-bg-matching.ML │ │ ├── test-bg-to-sg-matching.ML │ │ ├── test-concrete-matcher.ML │ │ ├── test-greedy-matcher.ML │ │ ├── test-matching-setup.ML │ │ └── test-sg-to-sg-matching.ML ├── names.ML ├── quanto.thy ├── rewriting │ ├── heuristic │ │ └── distancematrix.ML │ ├── indexing │ │ ├── Histogram.ML │ │ ├── adjacency.ML │ │ ├── atree.ML │ │ ├── htree.ML │ │ ├── htreeREF.ML │ │ ├── rbuild.ML │ │ ├── rtest.ML │ │ ├── test.ML │ │ ├── test │ │ │ ├── histtest │ │ │ │ ├── answer1.xml │ │ │ │ ├── answer2.xml │ │ │ │ ├── rule1.xml │ │ │ │ ├── rule2.xml │ │ │ │ ├── rule3.xml │ │ │ │ ├── rule4.xml │ │ │ │ ├── rule5.xml │ │ │ │ ├── rule6.xml │ │ │ │ └── tgt1.xml │ │ │ ├── results │ │ │ │ ├── simple-adj-10-20.txt │ │ │ │ ├── simple-match-10-20.txt │ │ │ │ ├── simple-match-5-10.txt │ │ │ │ ├── std-adj-10-20.txt │ │ │ │ ├── std-adj-25-30.txt │ │ │ │ ├── std-hist-1-5-2.txt │ │ │ │ ├── std-hist-1-5.txt │ │ │ │ ├── std-match-1-5.txt │ │ │ │ ├── std-match-10-20.txt │ │ │ │ ├── std-match-25-30.txt │ │ │ │ ├── std-match-5-10.txt │ │ │ │ ├── std-rule-varied-adj-1-40.txt │ │ │ │ ├── std-rule-varied-hist-10.txt │ │ │ │ ├── std-rule-varied-match-1-40.txt │ │ │ │ ├── std-tgt-varied-adj-1-40.txt │ │ │ │ └── std-tgt-varied-match-1-40.txt │ │ │ └── saved │ │ │ │ └── rand1.xml │ │ ├── treetest.ML │ │ └── vkind.ML │ ├── rewriter.ML │ ├── rule.ML │ ├── ruleset_rewriter.ML │ ├── simp_util.ML │ └── test │ │ ├── graphs │ │ ├── .gitignore │ │ ├── bare-wire-rule-1-expected.graph │ │ ├── bare-wire-rule-1-lhs.graph │ │ ├── bare-wire-rule-1-rhs.graph │ │ ├── bare-wire-rule-1-target.graph │ │ ├── bare-wire-rule-2-expected.graph │ │ ├── bare-wire-rule-2-lhs.graph │ │ ├── bare-wire-rule-2-rhs.graph │ │ ├── bare-wire-rule-2-target.graph │ │ ├── red-spider-1-expected.graph │ │ ├── red-spider-1-lhs.graph │ │ ├── red-spider-1-rhs.graph │ │ ├── red-spider-1-tgt.graph │ │ ├── spider-bbox-expected.graph │ │ ├── spider-bbox-lhs.graph │ │ ├── spider-bbox-rhs.graph │ │ ├── spider-bbox-target.graph │ │ ├── spider-expected.graph │ │ ├── spider-lhs.graph │ │ ├── spider-rhs.graph │ │ ├── spider-subst-expected.graph │ │ ├── spider-subst-lhs.graph │ │ ├── spider-subst-rhs.graph │ │ ├── spider-subst-target.graph │ │ └── spider-target.graph │ │ ├── rewriter-test.ML │ │ ├── rule-test.ML │ │ └── ruleset_rewriter-tests.ML ├── run_protocol.ML ├── scratch.thy ├── synth.thy ├── synth │ ├── default_gens.ML │ ├── default_rws.ML │ ├── eq_class_tab.ML │ ├── fast_graph_enum.ML │ ├── graph_equiv.ML │ ├── metric.ML │ ├── synth_util.ML │ ├── tensor_equiv.ML │ └── theories.ML ├── test │ ├── PROTOCOLTEST.ML │ ├── graphs │ │ ├── ghz_w │ │ │ ├── 2 times 0 plus 2.graph │ │ │ ├── 2 times 2.graph │ │ │ ├── 4.graph │ │ │ └── ghz-spider-simple.graph │ │ └── red_green │ │ │ ├── bbox.qgraph │ │ │ ├── d2-ladder_rw1.graph │ │ │ ├── d2-ladder_rw2.graph │ │ │ ├── d2-ladder_rw3.graph │ │ │ ├── d2-ladder_rw3_norm.graph │ │ │ ├── gen-bialg-inst.qgraph │ │ │ └── x-isom.graph │ ├── load_heap.ML │ ├── old-rg-ruleset-rewriter-tests.ML │ ├── performance.ML │ ├── protocol │ │ ├── console-tests.ML │ │ ├── core-tester.ML │ │ ├── rg-graph-tests.ML │ │ ├── simple-test.ML │ │ ├── test-utils.ML │ │ └── theory-tests.ML │ ├── regression-tests.ML │ └── rulesets │ │ ├── ghz_w │ │ └── default.rules │ │ └── red_green │ │ ├── basic.rules │ │ └── basic_all.rules ├── theories.thy ├── theories │ ├── generate-no-data-io.py │ ├── generate-no-data-theory.py │ ├── ghz_w │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── graphical_theory.ML │ ├── isaplanner_rtechn │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── rippling.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── petri │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── rational_pair │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ └── current_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── red_green │ │ ├── data.ML │ │ ├── io.ML │ │ ├── rg_mathematica.ML │ │ ├── rg_simp_util.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── red_green_blue │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── ruleset.ML │ ├── ruleset_annotations.ML │ ├── string_data.ML │ ├── string_ve │ │ ├── data.ML │ │ ├── graph.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── substr_linrat │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── empty_graph.graph │ │ │ │ ├── g3.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ ├── rules │ │ │ │ └── r1.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── substrings │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── empty_graph.graph │ │ │ │ ├── g3.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ ├── rules │ │ │ │ └── r1.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── test │ │ └── ruleset-test.ML │ └── unused │ │ ├── theory.ML │ │ └── theory_dir.ML └── use_thy.ML ├── cosy ├── INSTALL ├── Makefile ├── ROOT.ML ├── chromeui │ ├── cosy.css │ ├── cosy.html │ ├── cosy.js │ ├── cosy.sml │ ├── cosy_ghzw.sml │ ├── cosy_rg.sml │ ├── cosy_rgb.sml │ ├── cosy_util.sml │ ├── jquery.js │ ├── polychrome │ │ ├── canvas.sig │ │ ├── canvas.sml │ │ ├── console.sml │ │ ├── dom.sig │ │ ├── dom.sml │ │ ├── dom_more_structured_example.sml │ │ ├── jsffi.sig │ │ ├── jsffi.sml │ │ ├── json.sig │ │ ├── json.sml │ │ ├── main.sml │ │ └── profiling.sml │ └── test.html ├── console.ML ├── default_eq_class_tab.ML ├── default_gens.ML ├── default_rws.ML ├── enumerate.ML ├── eq_class_tab.ML ├── fast_graph_enum.ML ├── generators.ML ├── graph_equiv.ML ├── graph_equivalence.ML ├── load_heap.ML ├── make_polychrome.ML ├── metric.ML ├── par_names.ML ├── ruleset_builder.ML ├── synthesize.ML ├── tensor_equiv.ML ├── theories.ML └── util.ML ├── docs ├── DISCLAIMER.txt ├── GUIprotocol.txt ├── LICENSE.txt ├── README-core_top_level.txt ├── README-latex.txt ├── README-make_core.txt ├── cas_integration.png ├── classical_str_mathematica.m ├── cmus │ ├── Quantomatic.dmg │ └── cmus_pres.pdf ├── furtherwork.txt ├── graphics │ ├── blank_doc.ai │ ├── derive-icon.psd │ ├── derive_icon.ai │ ├── derive_icon_small.ai │ ├── graph-icon.psd │ ├── quantoderive.icns │ ├── quantoderive.ico │ ├── quantoderive.iconset │ │ ├── icon_128x128.png │ │ ├── icon_16x16.png │ │ ├── icon_16x16@2x.png │ │ ├── icon_256x256.png │ │ ├── icon_32x32.png │ │ ├── icon_512x512.png │ │ ├── icon_512x512@2x.png │ │ ├── icon_64x64.png │ │ └── icon_64x64@2x.png │ ├── quantoderive.other │ │ ├── icon_24x24.png │ │ └── icon_48x48.png │ └── rule-icon.psd ├── json_formats.txt ├── lyx_layouts │ ├── tikz.module │ └── tikz_quanto.module ├── matching_algo │ ├── .gitignore │ ├── Makefile │ ├── Rakefile │ ├── component_pattern_part.dot │ ├── concrete_part.dot │ ├── concrete_wrapper.dot │ ├── matching_algo.tex │ ├── nonstrict.dot │ └── pattern_part.dot ├── mathematica.png ├── notebooks │ ├── 5cycle.nb │ ├── ClassicalStructures.m │ ├── EasyKets │ │ ├── FrobeniusStates.m │ │ └── init.m │ ├── Quanto.m │ ├── classical_str.nb │ ├── demo.nb │ ├── demo1.nb │ ├── demo_unrolled.nb │ ├── general_wstate.nb │ ├── graphs.nb │ ├── jlink.nb │ ├── more_w_states.nb │ ├── scratch.nb │ ├── supp.nb │ ├── tetrahedron.nb │ ├── w_to_ghz_state_booyah.nb │ └── wstate.nb ├── programming-quanto │ ├── Rakefile │ ├── bibfile.bib │ ├── build.rake │ ├── figures │ │ ├── arch0-core-overview.eps │ │ ├── arch1-names-graphs-rewriting.eps │ │ └── architecture.svg │ ├── manual.tex │ └── tex │ │ ├── allmtt.sty │ │ ├── tikzfig.sty │ │ ├── tikzstyles.sty │ │ └── todo.sty ├── quanto.png ├── quanto2.png ├── quanto_icon_sm2.png ├── spiders.nb └── tikzquanto.sty ├── examples ├── ZX_CliffordT │ ├── B1.qrule │ ├── B1s.qrule │ ├── B2.qrule │ ├── C1.qrule │ ├── C2.qrule │ ├── C3.qrule │ ├── E.qrule │ ├── EU.qrule │ ├── H.qrule │ ├── K2.qrule │ ├── K2s.qrule │ ├── REDUCIBLE.qrule │ ├── S1.qrule │ ├── S1s.qrule │ ├── S2.qrule │ ├── S2s.qrule │ ├── SUP.qrule │ ├── SUPs.qrule │ └── main.qproject ├── ZX_errors │ ├── ErrorGate.qgraph │ ├── Huge_No_Error.qgraph │ ├── Huge_With_Error.qgraph │ ├── gG.qrule │ ├── gR.qrule │ └── g_ann.qrule ├── demo │ ├── ghzw │ │ ├── 2 times 0 plus 2.graph │ │ ├── 2 times 0 plus 3.graph │ │ └── 3 times 3.graph │ └── red_green │ │ ├── d1-control-not.graph │ │ ├── d2-ladder.graph │ │ ├── d3-QFT2qubit.graph │ │ ├── d4-MC1qubit-unitary-non-norm2.graph │ │ ├── d5-non_term.graph │ │ ├── d6-QFT-big-mess.graph │ │ ├── triangle_left.graph │ │ ├── triangle_right.graph │ │ └── triangle_target.graph ├── isaplanner_rtechn │ ├── test1.graph │ ├── test2.graph │ └── test_rs.ruleset ├── new_ladder.qgraph ├── red_green │ ├── 3c_unnorm.graph │ ├── 3cycle.graph │ ├── 4cycle.graph │ ├── GHZstate.graph │ ├── MC1qubit-unitary-non-norm.graph │ ├── MC1qubit-unitary.graph │ ├── QFT2qubit.graph │ ├── QFT2qubit_10qbits.graph │ ├── Wstate.graph │ ├── Wstate_0.graph │ ├── angle_test.graph │ ├── bug1.graph │ ├── bug_selfloop.graph │ ├── error_case_1.graph │ ├── ladder.graph │ ├── spider-lhs.graph │ ├── spider-rhs.graph │ ├── supp_lhs.graph │ ├── supp_rhs.graph │ ├── supplement.graph │ ├── supplement_rhs.graph │ └── tetra.graph ├── red_green_blue │ └── frob_var_1.graph └── steane │ ├── decoder.qgraph │ ├── enc_dec.qgraph │ ├── enc_dec_normal.qgraph │ ├── enc_dec_sp_norm.qgraph │ ├── enc_dec_working.qgraph │ ├── encoder.qgraph │ ├── sp2legs.qgraph │ ├── splhs.qgraph │ └── steane.qrules ├── gui ├── app_skel.zip ├── build.xml ├── jung-src │ └── edu │ │ └── uci │ │ └── ics │ │ └── jung │ │ ├── algorithms │ │ ├── blockmodel │ │ │ ├── StructurallyEquivalent.java │ │ │ ├── VertexPartition.java │ │ │ └── package.html │ │ ├── cluster │ │ │ ├── BicomponentClusterer.java │ │ │ ├── EdgeBetweennessClusterer.java │ │ │ ├── VoltageClusterer.java │ │ │ ├── WeakComponentClusterer.java │ │ │ └── package.html │ │ ├── filters │ │ │ ├── EdgePredicateFilter.java │ │ │ ├── Filter.java │ │ │ ├── FilterUtils.java │ │ │ ├── KNeighborhoodFilter.java │ │ │ ├── VertexPredicateFilter.java │ │ │ └── package.html │ │ ├── flows │ │ │ ├── EdmondsKarpMaxFlow.java │ │ │ └── package.html │ │ ├── generators │ │ │ ├── EvolvingGraphGenerator.java │ │ │ ├── GraphGenerator.java │ │ │ ├── Lattice2DGenerator.java │ │ │ ├── package.html │ │ │ └── random │ │ │ │ ├── BarabasiAlbertGenerator.java │ │ │ │ ├── EppsteinPowerLawGenerator.java │ │ │ │ ├── ErdosRenyiGenerator.java │ │ │ │ ├── KleinbergSmallWorldGenerator.java │ │ │ │ ├── MixedRandomGraphGenerator.java │ │ │ │ └── package.html │ │ ├── importance │ │ │ ├── AbstractRanker.java │ │ │ ├── BetweennessCentrality.java │ │ │ ├── KStepMarkov.java │ │ │ ├── MarkovCentrality.java │ │ │ ├── RandomWalkBetweenness.java │ │ │ ├── RandomWalkSTBetweenness.java │ │ │ ├── Ranking.java │ │ │ ├── RelativeAuthorityRanker.java │ │ │ └── WeightedNIPaths.java │ │ ├── layout │ │ │ ├── AbstractLayout.java │ │ │ ├── AggregateLayout.java │ │ │ ├── BalloonLayout.java │ │ │ ├── CircleLayout.java │ │ │ ├── DAGLayout.java │ │ │ ├── FRLayout.java │ │ │ ├── FRLayout2.java │ │ │ ├── GraphElementAccessor.java │ │ │ ├── ISOMLayout.java │ │ │ ├── KKLayout.java │ │ │ ├── Layout.java │ │ │ ├── LayoutDecorator.java │ │ │ ├── PolarPoint.java │ │ │ ├── RadialTreeLayout.java │ │ │ ├── RadiusGraphElementAccessor.java │ │ │ ├── SmoothLayoutDecorator.java │ │ │ ├── SpringLayout.java │ │ │ ├── SpringLayout2.java │ │ │ ├── StaticLayout.java │ │ │ ├── TreeLayout.java │ │ │ ├── package.html │ │ │ └── util │ │ │ │ ├── RandomLocationTransformer.java │ │ │ │ ├── Relaxer.java │ │ │ │ ├── VisRunner.java │ │ │ │ └── package.html │ │ ├── matrix │ │ │ ├── GraphMatrixOperations.java │ │ │ ├── MatrixElementOperations.java │ │ │ ├── RealMatrixElementOperations.java │ │ │ └── package.html │ │ ├── metrics │ │ │ ├── Metrics.java │ │ │ ├── StructuralHoles.java │ │ │ ├── TriadicCensus.java │ │ │ └── package.html │ │ ├── package.html │ │ ├── scoring │ │ │ ├── AbstractIterativeScorer.java │ │ │ ├── AbstractIterativeScorerWithPriors.java │ │ │ ├── BarycenterScorer.java │ │ │ ├── BetweennessCentrality.java │ │ │ ├── ClosenessCentrality.java │ │ │ ├── DegreeScorer.java │ │ │ ├── DistanceCentralityScorer.java │ │ │ ├── EdgeScorer.java │ │ │ ├── EigenvectorCentrality.java │ │ │ ├── HITS.java │ │ │ ├── HITSWithPriors.java │ │ │ ├── KStepMarkov.java │ │ │ ├── PageRank.java │ │ │ ├── PageRankWithPriors.java │ │ │ ├── VertexScorer.java │ │ │ ├── VoltageScorer.java │ │ │ ├── package.html │ │ │ └── util │ │ │ │ ├── DelegateToEdgeTransformer.java │ │ │ │ ├── ScoringUtils.java │ │ │ │ ├── UniformDegreeWeight.java │ │ │ │ ├── UniformInOut.java │ │ │ │ ├── VEPair.java │ │ │ │ ├── VertexScoreTransformer.java │ │ │ │ └── package.html │ │ ├── shortestpath │ │ │ ├── BFSDistanceLabeler.java │ │ │ ├── DijkstraDistance.java │ │ │ ├── DijkstraShortestPath.java │ │ │ ├── Distance.java │ │ │ ├── DistanceStatistics.java │ │ │ ├── MinimumSpanningForest.java │ │ │ ├── MinimumSpanningForest2.java │ │ │ ├── PrimMinimumSpanningTree.java │ │ │ ├── ShortestPath.java │ │ │ ├── ShortestPathUtils.java │ │ │ ├── UnweightedShortestPath.java │ │ │ └── package.html │ │ ├── transformation │ │ │ ├── DirectionTransformer.java │ │ │ ├── FoldingTransformer.java │ │ │ ├── VertexPartitionCollapser.java │ │ │ └── package.html │ │ └── util │ │ │ ├── BasicMapEntry.java │ │ │ ├── ConstantMap.java │ │ │ ├── DiscreteDistribution.java │ │ │ ├── Indexer.java │ │ │ ├── IterativeContext.java │ │ │ ├── IterativeProcess.java │ │ │ ├── KMeansClusterer.java │ │ │ ├── MapBinaryHeap.java │ │ │ ├── MapSettableTransformer.java │ │ │ ├── SelfLoopEdgePredicate.java │ │ │ ├── SettableTransformer.java │ │ │ ├── WeightedChoice.java │ │ │ └── package.html │ │ ├── contrib │ │ ├── algorithms │ │ │ └── layout │ │ │ │ ├── AKDotLayout.java │ │ │ │ ├── AbstractDotBangBoxLayout.java │ │ │ │ ├── AbstractDotLayout.java │ │ │ │ ├── AbstractForceLayout.java │ │ │ │ ├── DotException.java │ │ │ │ ├── DotLayout.java │ │ │ │ └── DynamicBoundsLayout.java │ │ ├── graph │ │ │ ├── BangBoxGraph.java │ │ │ ├── DirectedBangBoxGraph.java │ │ │ └── DirectedSparseBangBoxMultigraph.java │ │ └── visualization │ │ │ ├── BangBoxGraphElementAccessor.java │ │ │ ├── BangBoxGraphRenderContext.java │ │ │ ├── BangBoxGraphVisualizationServer.java │ │ │ ├── BangBoxGraphVisualizationViewer.java │ │ │ ├── DefaultBangBoxLabelRenderer.java │ │ │ ├── DefaultBangBoxShapeTransformer.java │ │ │ ├── LayerTransformer.java │ │ │ ├── LayoutContext.java │ │ │ ├── PluggableBangBoxGraphRenderContext.java │ │ │ ├── ShapeBangBoxPickSupport.java │ │ │ ├── ViewZoomScrollPane.java │ │ │ ├── control │ │ │ ├── AddEdgeGraphMousePlugin.java │ │ │ ├── ConstrainedPickingBangBoxGraphMousePlugin.java │ │ │ ├── ConstrainedPickingGraphMousePlugin.java │ │ │ ├── PickingBangBoxMousePlugin.java │ │ │ └── ViewScrollingGraphMousePlugin.java │ │ │ ├── decorators │ │ │ ├── GridPaintable.java │ │ │ ├── MixedShapeTransformer.java │ │ │ ├── PickableBangBoxPaintTransformer.java │ │ │ └── PickableElementStrokeTransformer.java │ │ │ └── renderers │ │ │ ├── BangBoxGraphRenderer.java │ │ │ ├── BangBoxLabelRenderer.java │ │ │ ├── BasicBangBoxGraphRenderer.java │ │ │ ├── BasicBangBoxLabelRenderer.java │ │ │ └── BasicBangBoxRenderer.java │ │ ├── graph │ │ ├── AbstractGraph.java │ │ ├── AbstractTypedGraph.java │ │ ├── DelegateForest.java │ │ ├── DelegateTree.java │ │ ├── DirectedGraph.java │ │ ├── DirectedOrderedSparseMultigraph.java │ │ ├── DirectedSparseGraph.java │ │ ├── DirectedSparseMultigraph.java │ │ ├── Forest.java │ │ ├── Graph.java │ │ ├── GraphDecorator.java │ │ ├── Hypergraph.java │ │ ├── KPartiteGraph.java │ │ ├── MultiGraph.java │ │ ├── ObservableGraph.java │ │ ├── OrderedKAryTree.java │ │ ├── OrderedSparseMultigraph.java │ │ ├── SetHypergraph.java │ │ ├── SortedSparseMultigraph.java │ │ ├── SparseGraph.java │ │ ├── SparseMultigraph.java │ │ ├── Tree.java │ │ ├── UndirectedGraph.java │ │ ├── UndirectedOrderedSparseMultigraph.java │ │ ├── UndirectedSparseGraph.java │ │ ├── UndirectedSparseMultigraph.java │ │ ├── event │ │ │ ├── GraphEvent.java │ │ │ ├── GraphEventListener.java │ │ │ └── package.html │ │ ├── package.html │ │ └── util │ │ │ ├── BalancedEdgeIndexFunction.java │ │ │ ├── Context.java │ │ │ ├── DefaultParallelEdgeIndexFunction.java │ │ │ ├── EdgeIndexFunction.java │ │ │ ├── EdgeType.java │ │ │ ├── Graphs.java │ │ │ ├── IncidentEdgeIndexFunction.java │ │ │ ├── Pair.java │ │ │ ├── TestGraphs.java │ │ │ ├── TreeUtils.java │ │ │ └── package.html │ │ └── visualization │ │ ├── BasicTransformer.java │ │ ├── BasicVisualizationServer.java │ │ ├── DefaultVisualizationModel.java │ │ ├── FourPassImageShaper.java │ │ ├── GraphZoomScrollPane.java │ │ ├── Layer.java │ │ ├── LayeredIcon.java │ │ ├── MultiLayerTransformer.java │ │ ├── PivotingImageShaper.java │ │ ├── PluggableRenderContext.java │ │ ├── RenderContext.java │ │ ├── VisualizationImageServer.java │ │ ├── VisualizationModel.java │ │ ├── VisualizationServer.java │ │ ├── VisualizationViewer.java │ │ ├── annotations │ │ ├── AnnotatingGraphMousePlugin.java │ │ ├── AnnotatingModalGraphMouse.java │ │ ├── Annotation.java │ │ ├── AnnotationControls.java │ │ ├── AnnotationManager.java │ │ ├── AnnotationPaintable.java │ │ ├── AnnotationRenderer.java │ │ └── package.html │ │ ├── control │ │ ├── AbsoluteCrossoverScalingControl.java │ │ ├── AbstractGraphMousePlugin.java │ │ ├── AbstractModalGraphMouse.java │ │ ├── AbstractPopupGraphMousePlugin.java │ │ ├── AnimatedPickingGraphMousePlugin.java │ │ ├── CrossoverScalingControl.java │ │ ├── DefaultModalGraphMouse.java │ │ ├── EditingGraphMousePlugin.java │ │ ├── EditingModalGraphMouse.java │ │ ├── EditingPopupGraphMousePlugin.java │ │ ├── GraphMouseAdapter.java │ │ ├── GraphMouseListener.java │ │ ├── GraphMousePlugin.java │ │ ├── LabelEditingGraphMousePlugin.java │ │ ├── LayoutScalingControl.java │ │ ├── LensMagnificationGraphMousePlugin.java │ │ ├── LensTranslatingGraphMousePlugin.java │ │ ├── ModalGraphMouse.java │ │ ├── ModalLensGraphMouse.java │ │ ├── ModalSatelliteGraphMouse.java │ │ ├── MouseListenerTranslator.java │ │ ├── PickingGraphMousePlugin.java │ │ ├── PluggableGraphMouse.java │ │ ├── RotatingGraphMousePlugin.java │ │ ├── SatelliteAnimatedPickingGraphMousePlugin.java │ │ ├── SatelliteRotatingGraphMousePlugin.java │ │ ├── SatelliteScalingGraphMousePlugin.java │ │ ├── SatelliteShearingGraphMousePlugin.java │ │ ├── SatelliteTranslatingGraphMousePlugin.java │ │ ├── SatelliteVisualizationViewer.java │ │ ├── ScalingControl.java │ │ ├── ScalingGraphMousePlugin.java │ │ ├── ShearingGraphMousePlugin.java │ │ ├── TranslatingGraphMousePlugin.java │ │ ├── ViewScalingControl.java │ │ ├── ViewTranslatingGraphMousePlugin.java │ │ └── package.html │ │ ├── decorators │ │ ├── AbstractEdgeShapeTransformer.java │ │ ├── AbstractVertexShapeTransformer.java │ │ ├── ConstantDirectionalEdgeValueTransformer.java │ │ ├── DefaultVertexIconTransformer.java │ │ ├── DirectionalEdgeArrowTransformer.java │ │ ├── EdgeShape.java │ │ ├── EllipseVertexShapeTransformer.java │ │ ├── GradientEdgePaintTransformer.java │ │ ├── InterpolatingVertexSizeTransformer.java │ │ ├── NumberFormattingTransformer.java │ │ ├── PickableEdgePaintTransformer.java │ │ ├── PickableVertexIconTransformer.java │ │ ├── PickableVertexPaintTransformer.java │ │ ├── SettableVertexShapeTransformer.java │ │ ├── ToStringLabeller.java │ │ ├── VertexIconShapeTransformer.java │ │ └── package.html │ │ ├── layout │ │ ├── BoundingRectangleCollector.java │ │ ├── BoundingRectanglePaintable.java │ │ ├── CachingLayout.java │ │ ├── LayoutTransition.java │ │ ├── ObservableCachingLayout.java │ │ ├── PersistentLayout.java │ │ ├── PersistentLayoutImpl.java │ │ └── package.html │ │ ├── package.html │ │ ├── picking │ │ ├── AbstractPickedState.java │ │ ├── ClassicPickSupport.java │ │ ├── ClosestShapePickSupport.java │ │ ├── LayoutLensShapePickSupport.java │ │ ├── MultiPickedState.java │ │ ├── PickedInfo.java │ │ ├── PickedState.java │ │ ├── RadiusPickSupport.java │ │ ├── ShapePickSupport.java │ │ ├── ViewLensShapePickSupport.java │ │ └── package.html │ │ ├── renderers │ │ ├── BasicEdgeArrowRenderingSupport.java │ │ ├── BasicEdgeLabelRenderer.java │ │ ├── BasicEdgeRenderer.java │ │ ├── BasicRenderer.java │ │ ├── BasicVertexLabelRenderer.java │ │ ├── BasicVertexRenderer.java │ │ ├── CenterEdgeArrowRenderingSupport.java │ │ ├── Checkmark.java │ │ ├── DefaultEdgeLabelRenderer.java │ │ ├── DefaultVertexLabelRenderer.java │ │ ├── EdgeArrowRenderingSupport.java │ │ ├── EdgeLabelRenderer.java │ │ ├── GradientVertexRenderer.java │ │ ├── Renderer.java │ │ ├── ReshapingEdgeRenderer.java │ │ ├── VertexLabelAsShapeRenderer.java │ │ ├── VertexLabelRenderer.java │ │ └── package.html │ │ ├── subLayout │ │ ├── GraphCollapser.java │ │ ├── TreeCollapser.java │ │ └── package.html │ │ ├── transform │ │ ├── AbstractLensSupport.java │ │ ├── AffineTransformer.java │ │ ├── BidirectionalTransformer.java │ │ ├── HyperbolicTransformer.java │ │ ├── LayoutLensSupport.java │ │ ├── LensSupport.java │ │ ├── LensTransformer.java │ │ ├── MagnifyTransformer.java │ │ ├── MutableAffineTransformer.java │ │ ├── MutableTransformer.java │ │ ├── MutableTransformerDecorator.java │ │ ├── package.html │ │ └── shape │ │ │ ├── Graphics2DWrapper.java │ │ │ ├── GraphicsDecorator.java │ │ │ ├── HyperbolicShapeTransformer.java │ │ │ ├── Intersector.java │ │ │ ├── MagnifyIconGraphics.java │ │ │ ├── MagnifyImageLensSupport.java │ │ │ ├── MagnifyShapeTransformer.java │ │ │ ├── ShapeFlatnessTransformer.java │ │ │ ├── ShapeTransformer.java │ │ │ ├── TransformingFlatnessGraphics.java │ │ │ ├── TransformingGraphics.java │ │ │ ├── ViewLensSupport.java │ │ │ └── package.html │ │ └── util │ │ ├── Animator.java │ │ ├── ArrowFactory.java │ │ ├── Caching.java │ │ ├── ChangeEventSupport.java │ │ ├── DefaultChangeEventSupport.java │ │ ├── GeneralPathAsString.java │ │ ├── LabelWrapper.java │ │ ├── PredicatedParallelEdgeIndexFunction.java │ │ ├── VertexShapeFactory.java │ │ └── package.html ├── lib │ ├── collections-generic-4.01.jar │ ├── colt-1.2.0.jar │ ├── iText-5.0.6.jar │ ├── jackson-annotations-2.1.0.jar │ ├── jackson-core-2.1.0.jar │ ├── jackson-databind-2.1.0.jar │ └── javacc.jar ├── lindenb-src │ └── org │ │ └── lindenb │ │ ├── awt │ │ ├── Cap.java │ │ ├── ColorUtils.java │ │ ├── Dimension2D.java │ │ └── Join.java │ │ ├── io │ │ └── IOUtils.java │ │ ├── lang │ │ └── InvalidXMLException.java │ │ ├── svg │ │ ├── SVGRenderer.java │ │ ├── SVGUtils.java │ │ ├── path │ │ │ └── SVGPathParser.jj │ │ └── transform │ │ │ └── SVGTransformParser.jj │ │ ├── sw │ │ └── vocabulary │ │ │ ├── Namespace.java │ │ │ └── SVG.java │ │ ├── util │ │ ├── Compilation.java │ │ └── StringUtils.java │ │ └── xml │ │ └── XMLUtilities.java ├── resources │ ├── icons │ │ ├── quanto_icon.svg │ │ ├── quanto_icon_128.png │ │ ├── quanto_icon_16.png │ │ ├── quanto_icon_24.png │ │ ├── quanto_icon_32.png │ │ ├── quanto_icon_48.png │ │ ├── quanto_icon_512.png │ │ ├── quanto_icon_64.png │ │ └── quanto_icon_small.svg │ ├── theories │ │ ├── black_white │ │ │ ├── black-white-theory.qth │ │ │ ├── black.svg │ │ │ └── white.svg │ │ ├── red_green │ │ │ ├── green.svg │ │ │ ├── hadamard.svg │ │ │ ├── red-green-theory.qth │ │ │ └── red.svg │ │ └── string │ │ │ ├── string-theory.qth │ │ │ └── white.svg │ └── toolbarButtonGraphics │ │ ├── development │ │ ├── Applet16.gif │ │ ├── Applet24.gif │ │ ├── Application16.gif │ │ ├── Application24.gif │ │ ├── ApplicationDeploy16.gif │ │ ├── ApplicationDeploy24.gif │ │ ├── Bean16.gif │ │ ├── Bean24.gif │ │ ├── BeanAdd16.gif │ │ ├── BeanAdd24.gif │ │ ├── EnterpriseJavaBean16.gif │ │ ├── EnterpriseJavaBean24.gif │ │ ├── EnterpriseJavaBeanJar16.gif │ │ ├── EnterpriseJavaBeanJar24.gif │ │ ├── Host16.gif │ │ ├── Host24.gif │ │ ├── J2EEApplication16.gif │ │ ├── J2EEApplication24.gif │ │ ├── J2EEApplicationClient16.gif │ │ ├── J2EEApplicationClient24.gif │ │ ├── J2EEApplicationClientAdd16.gif │ │ ├── J2EEApplicationClientAdd24.gif │ │ ├── J2EEServer16.gif │ │ ├── J2EEServer24.gif │ │ ├── Jar16.gif │ │ ├── Jar24.gif │ │ ├── JarAdd16.gif │ │ ├── JarAdd24.gif │ │ ├── Server16.gif │ │ ├── Server24.gif │ │ ├── War16.gif │ │ ├── War24.gif │ │ ├── WarAdd16.gif │ │ ├── WarAdd24.gif │ │ ├── WebComponent16.gif │ │ ├── WebComponent24.gif │ │ ├── WebComponentAdd16.gif │ │ └── WebComponentAdd24.gif │ │ ├── general │ │ ├── About16.gif │ │ ├── About24.gif │ │ ├── Add16.gif │ │ ├── Add24.gif │ │ ├── AlignBottom16.gif │ │ ├── AlignBottom24.gif │ │ ├── AlignCenter16.gif │ │ ├── AlignCenter24.gif │ │ ├── AlignJustifyHorizontal16.gif │ │ ├── AlignJustifyHorizontal24.gif │ │ ├── AlignJustifyVertical16.gif │ │ ├── AlignJustifyVertical24.gif │ │ ├── AlignLeft16.gif │ │ ├── AlignLeft24.gif │ │ ├── AlignRight16.gif │ │ ├── AlignRight24.gif │ │ ├── AlignTop16.gif │ │ ├── AlignTop24.gif │ │ ├── Bookmarks16.gif │ │ ├── Bookmarks24.gif │ │ ├── ComposeMail16.gif │ │ ├── ComposeMail24.gif │ │ ├── ContextualHelp16.gif │ │ ├── ContextualHelp24.gif │ │ ├── Copy16.gif │ │ ├── Copy24.gif │ │ ├── Cut16.gif │ │ ├── Cut24.gif │ │ ├── Delete16.gif │ │ ├── Delete24.gif │ │ ├── Edit16.gif │ │ ├── Edit24.gif │ │ ├── Export16.gif │ │ ├── Export24.gif │ │ ├── Find16.gif │ │ ├── Find24.gif │ │ ├── FindAgain16.gif │ │ ├── FindAgain24.gif │ │ ├── Help16.gif │ │ ├── Help24.gif │ │ ├── History16.gif │ │ ├── History24.gif │ │ ├── Import16.gif │ │ ├── Import24.gif │ │ ├── Information16.gif │ │ ├── Information24.gif │ │ ├── New16.gif │ │ ├── New24.gif │ │ ├── Open16.gif │ │ ├── Open24.gif │ │ ├── PageSetup16.gif │ │ ├── PageSetup24.gif │ │ ├── Paste16.gif │ │ ├── Paste24.gif │ │ ├── Preferences16.gif │ │ ├── Preferences24.gif │ │ ├── Print16.gif │ │ ├── Print24.gif │ │ ├── PrintPreview16.gif │ │ ├── PrintPreview24.gif │ │ ├── Properties16.gif │ │ ├── Properties24.gif │ │ ├── Redo16.gif │ │ ├── Redo24.gif │ │ ├── Refresh16.gif │ │ ├── Refresh24.gif │ │ ├── Remove16.gif │ │ ├── Remove24.gif │ │ ├── Replace16.gif │ │ ├── Replace24.gif │ │ ├── Save16.gif │ │ ├── Save24.gif │ │ ├── SaveAll16.gif │ │ ├── SaveAll24.gif │ │ ├── SaveAs16.gif │ │ ├── SaveAs24.gif │ │ ├── Search16.gif │ │ ├── Search24.gif │ │ ├── Select16.gif │ │ ├── Select24.gif │ │ ├── SendMail16.gif │ │ ├── SendMail24.gif │ │ ├── Stop16.gif │ │ ├── Stop24.gif │ │ ├── TipOfTheDay16.gif │ │ ├── TipOfTheDay24.gif │ │ ├── Undo16.gif │ │ ├── Undo24.gif │ │ ├── Zoom16.gif │ │ ├── Zoom24.gif │ │ ├── ZoomIn16.gif │ │ ├── ZoomIn24.gif │ │ ├── ZoomOut16.gif │ │ └── ZoomOut24.gif │ │ ├── media │ │ ├── FastForward16.gif │ │ ├── FastForward24.gif │ │ ├── Movie16.gif │ │ ├── Movie24.gif │ │ ├── Pause16.gif │ │ ├── Pause24.gif │ │ ├── Play16.gif │ │ ├── Play24.gif │ │ ├── Rewind16.gif │ │ ├── Rewind24.gif │ │ ├── StepBack16.gif │ │ ├── StepBack24.gif │ │ ├── StepForward16.gif │ │ ├── StepForward24.gif │ │ ├── Stop16.gif │ │ ├── Stop24.gif │ │ ├── Volume16.gif │ │ └── Volume24.gif │ │ ├── navigation │ │ ├── Back16.gif │ │ ├── Back24.gif │ │ ├── Down16.gif │ │ ├── Down24.gif │ │ ├── Forward16.gif │ │ ├── Forward24.gif │ │ ├── Home16.gif │ │ ├── Home24.gif │ │ ├── Up16.gif │ │ └── Up24.gif │ │ ├── quanto │ │ ├── BangVertex32.png │ │ ├── BangVertex64.gif │ │ ├── Compute16.gif │ │ ├── Compute24.gif │ │ ├── ComputeAdd16.gif │ │ ├── ComputeAdd24.gif │ │ ├── ComputeRemove16.gif │ │ ├── ComputeRemove24.gif │ │ ├── DirectedLink16.gif │ │ ├── DuplicateBangBox32.png │ │ ├── EdgePointIcon20.png │ │ ├── KillBangBox32.png │ │ ├── Link16.gif │ │ ├── Lock12.gif │ │ ├── Lock24.gif │ │ ├── UnbangVertex32.png │ │ ├── Unlock12.gif │ │ └── Unlock24.gif │ │ ├── table │ │ ├── ColumnDelete16.gif │ │ ├── ColumnDelete24.gif │ │ ├── ColumnInsertAfter16.gif │ │ ├── ColumnInsertAfter24.gif │ │ ├── ColumnInsertBefore16.gif │ │ ├── ColumnInsertBefore24.gif │ │ ├── RowDelete16.gif │ │ ├── RowDelete24.gif │ │ ├── RowInsertAfter16.gif │ │ ├── RowInsertAfter24.gif │ │ ├── RowInsertBefore16.gif │ │ └── RowInsertBefore24.gif │ │ └── text │ │ ├── AlignCenter16.gif │ │ ├── AlignCenter24.gif │ │ ├── AlignJustify16.gif │ │ ├── AlignJustify24.gif │ │ ├── AlignLeft16.gif │ │ ├── AlignLeft24.gif │ │ ├── AlignRight16.gif │ │ ├── AlignRight24.gif │ │ ├── Bold16.gif │ │ ├── Bold24.gif │ │ ├── Italic16.gif │ │ ├── Italic24.gif │ │ ├── Normal16.gif │ │ ├── Normal24.gif │ │ ├── Underline16.gif │ │ └── Underline24.gif └── src │ ├── apple │ └── dts │ │ └── samplecode │ │ └── osxadapter │ │ └── OSXAdapter.java │ ├── com │ └── sun │ │ └── jaf │ │ └── ui │ │ ├── ActionList.java │ │ ├── ActionManager.java │ │ ├── DelegateAction.java │ │ ├── StateChangeAction.java │ │ ├── ToggleActionPropertyChangeListener.java │ │ ├── UIFactory.java │ │ └── resources │ │ └── action-set.dtd │ ├── org │ └── apache │ │ └── commons │ │ └── collections15 │ │ └── contrib │ │ └── HashCodeComparator.java │ └── quanto │ ├── core │ ├── BadResponseException.java │ ├── Completer.java │ ├── ConsoleInterface.java │ ├── ConsoleOutput.java │ ├── Core.java │ ├── CoreChangeListener.java │ ├── CoreCommunicationException.java │ ├── CoreException.java │ ├── CoreExecutionException.java │ ├── CoreTerminatedException.java │ ├── ParseException.java │ ├── Ruleset.java │ ├── RulesetChangeListener.java │ ├── Theory.java │ ├── TheoryChangeEvent.java │ ├── data │ │ ├── AttachedRewrite.java │ │ ├── BangBox.java │ │ ├── CoreGraph.java │ │ ├── CoreObject.java │ │ ├── Edge.java │ │ ├── GraphElement.java │ │ ├── GraphElementData.java │ │ ├── GraphElementDataType.java │ │ ├── GraphElementMathsData.java │ │ ├── Rule.java │ │ ├── SVGDocument.java │ │ ├── SvgVertexVisualizationData.java │ │ ├── TexConstants.java │ │ ├── Vertex.java │ │ ├── VertexType.java │ │ └── VertexVisualizationData.java │ └── protocol │ │ ├── CommandArgumentsException.java │ │ ├── CommandException.java │ │ ├── CoreProcess.java │ │ ├── CoreTalker.java │ │ ├── LoggingInputStream.java │ │ ├── LoggingOutputStream.java │ │ ├── ProtocolException.java │ │ ├── RequestBuilder.java │ │ ├── RequestWriter.java │ │ ├── Response.java │ │ ├── ResponseReader.java │ │ ├── StreamRedirector.java │ │ ├── UnknownCommandException.java │ │ ├── Utils.java │ │ └── userdata │ │ ├── CopyOfGraphUserDataSerializer.java │ │ ├── GraphUserDataSerializer.java │ │ ├── PositionGraphUserDataSerializer.java │ │ ├── QuantoAppUserDataSerializer.java │ │ ├── RulePriorityRuleUserDataSerializer.java │ │ ├── RuleUserDataSerializer.java │ │ └── dataserialization │ │ ├── DataSerializer.java │ │ ├── IntegerDataSerializer.java │ │ ├── Point2DDataSerializer.java │ │ └── StringDataSerializer.java │ ├── gui │ ├── CommandManager.java │ ├── ConsoleView.java │ ├── DetailedErrorDialog.java │ ├── DuplicateTheoryException.java │ ├── GraphVisualizationViewer.java │ ├── InteractiveGraphView.java │ ├── InteractiveView.java │ ├── InteractiveViewManager.java │ ├── JavaQuantoDotLayout.java │ ├── Job.java │ ├── JobEndEvent.java │ ├── JobListener.java │ ├── LeftTabbedPane.java │ ├── PdfGraphVisualizationServer.java │ ├── QuantoApp.java │ ├── QuantoAutoLayout.java │ ├── QuantoDotLayout.java │ ├── QuantoForceLayout.java │ ├── QuantoFrame.java │ ├── RecentDirectoryChangeListener.java │ ├── RewriteViewer.java │ ├── RulesBar.java │ ├── SplitGraphView.java │ ├── TextView.java │ ├── TheoryManager.java │ ├── TheoryMenu.java │ ├── TikzOutput.java │ ├── Toolbox.java │ ├── ViewPort.java │ ├── ViewPortHost.java │ ├── ViewUnavailableException.java │ ├── graphhelpers │ │ ├── BackdropPaintable.java │ │ ├── BangBoxRenderer.java │ │ ├── ConstrainedMutableAffineTransformer.java │ │ ├── Labeler.java │ │ ├── QBangBoxLabeler.java │ │ ├── QVertexAngleLabeler.java │ │ ├── QVertexColorTransformer.java │ │ ├── QVertexIconTransformer.java │ │ ├── QVertexLabelTransformer.java │ │ ├── QVertexRenderer.java │ │ └── QVertexShapeTransformer.java │ └── resources │ │ └── actions.xml │ └── util │ ├── FileUtils.java │ └── StringNamer.java ├── oldcore ├── Makefile ├── ROOT.ML ├── build_heap.ML ├── buildheap.bat ├── dev │ ├── algebra.ML │ ├── hilb2.ML │ └── maxima.ML ├── dnets │ ├── .gitignore │ ├── Contour.ML │ ├── ContourList.ML │ ├── DNetsLib.ML │ ├── Literal.ML │ ├── TopDNet.ML │ ├── perf.ML │ └── test.ML ├── example_code │ ├── ROOT.ML │ ├── foo.svg │ ├── graph_io_and_basic_manipulation.ML │ ├── layout.ML │ ├── layout.html │ └── ml_hackery.ML ├── expressions │ ├── alg.ML │ ├── coeff.ML │ ├── expr.ML │ ├── hilb.ML │ ├── lex.ML │ ├── linrat_angle_expr.ML │ ├── linrat_angle_matcher.ML │ ├── linrat_expr.ML │ ├── linrat_matcher.ML │ ├── matrix.ML │ ├── semiring.ML │ ├── tensor.ML │ └── test │ │ ├── linrat_angle_expr-test.ML │ │ ├── linrat_expr-test.ML │ │ └── linrat_matcher-test.ML ├── graph │ ├── arity.ML │ ├── bang_graph.ML │ ├── bang_graph.sig.ML │ ├── graph_annotations.ML │ ├── graph_data.ML │ ├── nhd.ML │ ├── ograph.sig.ML │ └── test │ │ ├── test-bang-graph.ML │ │ ├── test-graph-setup.ML │ │ ├── test-nhd.ML │ │ └── test-ograph.ML ├── interface │ ├── console.ML │ ├── console_commands.ML │ ├── console_interface.ML │ ├── console_lexer.ML │ ├── control_interface.ML │ ├── controller.ML │ ├── controller_registry.ML │ ├── controller_state.ML │ └── protocol.ML ├── io │ ├── file_io.ML │ ├── graph_annotations_json.ML │ ├── graph_component_io.ML │ ├── graph_dot_output.ML │ ├── graph_json.ML │ ├── graph_json_io.ML │ ├── graphical_theory_io.ML │ ├── input.ML │ ├── json_io.ML │ ├── linrat_json.ML │ ├── output.ML │ ├── rewrite_json.ML │ ├── rule_json.ML │ ├── rule_json_io.ML │ ├── ruleset_annotations_json.ML │ ├── ruleset_json.ML │ ├── ruleset_json_io.ML │ └── test │ │ ├── graph-json-test.ML │ │ └── linrat-json-test.ML ├── isabelle │ ├── QuantoCore.thy │ ├── expressions.thy │ ├── graph.thy │ ├── io.thy │ ├── match.thy │ ├── rewriting.thy │ └── theories.thy ├── json_interface │ ├── controller.ML │ ├── controller_module.ML │ ├── controller_registry.ML │ ├── controller_util.ML │ ├── modules │ │ ├── cosy.ML │ │ ├── rewrite.ML │ │ ├── simplify.ML │ │ └── test.ML │ ├── protocol.ML │ └── run.ML ├── layout │ └── ograph_layout.ML ├── matching │ ├── bang_graph_homeomorphism_search.ML │ ├── bg_match.ML │ ├── concrete_match_search.ML │ ├── greedy_match_search.ML │ ├── match.ML │ ├── match_search.ML │ ├── match_state.ML │ ├── progressive_match_search.ML │ └── test │ │ ├── test-bang-graph-homeomorphism-search.ML │ │ ├── test-bg-to-bg-matching.ML │ │ ├── test-bg-to-sg-matching.ML │ │ ├── test-concrete-matcher.ML │ │ ├── test-greedy-matcher.ML │ │ ├── test-matching-setup.ML │ │ └── test-sg-to-sg-matching.ML ├── metrics │ ├── metric_type.ML │ ├── metrics.ML │ ├── metrics │ │ ├── edge_complexity_metric.ML │ │ ├── metric.ML │ │ ├── sets_cardinals_metric.ML │ │ └── weighted_arity_metric.ML │ └── test │ │ └── test.ML ├── names.ML ├── quanto-lib.ML ├── rewriting │ ├── heuristic │ │ └── distancematrix.ML │ ├── indexing │ │ ├── Histogram.ML │ │ ├── adjacency.ML │ │ ├── atree.ML │ │ ├── htree.ML │ │ ├── htreeREF.ML │ │ ├── rbuild.ML │ │ ├── rtest.ML │ │ ├── test.ML │ │ ├── test │ │ │ ├── histtest │ │ │ │ ├── answer1.xml │ │ │ │ ├── answer2.xml │ │ │ │ ├── rule1.xml │ │ │ │ ├── rule2.xml │ │ │ │ ├── rule3.xml │ │ │ │ ├── rule4.xml │ │ │ │ ├── rule5.xml │ │ │ │ ├── rule6.xml │ │ │ │ └── tgt1.xml │ │ │ ├── results │ │ │ │ ├── simple-adj-10-20.txt │ │ │ │ ├── simple-match-10-20.txt │ │ │ │ ├── simple-match-5-10.txt │ │ │ │ ├── std-adj-10-20.txt │ │ │ │ ├── std-adj-25-30.txt │ │ │ │ ├── std-hist-1-5-2.txt │ │ │ │ ├── std-hist-1-5.txt │ │ │ │ ├── std-match-1-5.txt │ │ │ │ ├── std-match-10-20.txt │ │ │ │ ├── std-match-25-30.txt │ │ │ │ ├── std-match-5-10.txt │ │ │ │ ├── std-rule-varied-adj-1-40.txt │ │ │ │ ├── std-rule-varied-hist-10.txt │ │ │ │ ├── std-rule-varied-match-1-40.txt │ │ │ │ ├── std-tgt-varied-adj-1-40.txt │ │ │ │ └── std-tgt-varied-match-1-40.txt │ │ │ └── saved │ │ │ │ └── rand1.xml │ │ ├── treetest.ML │ │ └── vkind.ML │ ├── rewriter.ML │ ├── rule.ML │ ├── ruleset_rewriter.ML │ ├── simp_util.ML │ └── test │ │ ├── graphs │ │ ├── .gitignore │ │ ├── bare-wire-rule-1-expected.graph │ │ ├── bare-wire-rule-1-lhs.graph │ │ ├── bare-wire-rule-1-rhs.graph │ │ ├── bare-wire-rule-1-target.graph │ │ ├── bare-wire-rule-2-expected.graph │ │ ├── bare-wire-rule-2-lhs.graph │ │ ├── bare-wire-rule-2-rhs.graph │ │ ├── bare-wire-rule-2-target.graph │ │ ├── red-spider-1-expected.graph │ │ ├── red-spider-1-lhs.graph │ │ ├── red-spider-1-rhs.graph │ │ ├── red-spider-1-tgt.graph │ │ ├── spider-bbox-expected.graph │ │ ├── spider-bbox-lhs.graph │ │ ├── spider-bbox-rhs.graph │ │ ├── spider-bbox-target.graph │ │ ├── spider-expected.graph │ │ ├── spider-lhs.graph │ │ ├── spider-rhs.graph │ │ ├── spider-subst-expected.graph │ │ ├── spider-subst-lhs.graph │ │ ├── spider-subst-rhs.graph │ │ ├── spider-subst-target.graph │ │ └── spider-target.graph │ │ ├── rewriter-test.ML │ │ ├── rule-test.ML │ │ └── ruleset_rewriter-tests.ML ├── run_protocol.ML ├── scratch │ ├── crib.ML │ ├── rg_normalise.ML │ ├── rules │ │ ├── green_elim.qrule │ │ ├── green_ids.qrule │ │ ├── green_scalar.qrule │ │ ├── green_sp.qrule │ │ ├── hopf.qrule │ │ ├── red_copy.qrule │ │ ├── red_scalar.qrule │ │ ├── red_sp.qrule │ │ └── rotate.qrule │ ├── sample.qgraph │ └── sample2.qgraph ├── stub_run.ML ├── test │ ├── PROTOCOLTEST.ML │ ├── graphs │ │ ├── ghz_w │ │ │ ├── 2 times 0 plus 2.graph │ │ │ ├── 2 times 2.graph │ │ │ ├── 4.graph │ │ │ └── ghz-spider-simple.graph │ │ └── red_green │ │ │ ├── bbox.qgraph │ │ │ ├── d2-ladder_rw1.graph │ │ │ ├── d2-ladder_rw2.graph │ │ │ ├── d2-ladder_rw3.graph │ │ │ ├── d2-ladder_rw3_norm.graph │ │ │ ├── gen-bialg-inst.qgraph │ │ │ └── x-isom.graph │ ├── load_heap.ML │ ├── old-rg-ruleset-rewriter-tests.ML │ ├── performance.ML │ ├── protocol │ │ ├── console-tests.ML │ │ ├── core-tester.ML │ │ ├── rg-graph-tests.ML │ │ ├── simple-test.ML │ │ ├── test-utils.ML │ │ └── theory-tests.ML │ ├── regression-tests.ML │ └── rulesets │ │ ├── ghz_w │ │ └── default.rules │ │ └── red_green │ │ ├── basic.rules │ │ └── basic_all.rules ├── theories │ ├── generate-no-data-io.py │ ├── generate-no-data-theory.py │ ├── ghz_w │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── graphical_theory.ML │ ├── isaplanner_rtechn │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── rippling.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── petri │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── rational_pair │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ └── current_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── red_green │ │ ├── data.ML │ │ ├── io.ML │ │ ├── rg_mathematica.ML │ │ ├── rg_simp_util.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── red_green_blue │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── ruleset.ML │ ├── ruleset_annotations.ML │ ├── string_data.ML │ ├── string_ve │ │ ├── data.ML │ │ ├── graph.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── substr_linrat │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── empty_graph.graph │ │ │ │ ├── g3.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ ├── rules │ │ │ │ └── r1.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── substrings │ │ ├── data.ML │ │ ├── io.ML │ │ ├── test │ │ │ ├── graphs │ │ │ │ ├── current_format.graph │ │ │ │ ├── empty_graph.graph │ │ │ │ ├── g3.graph │ │ │ │ ├── v1_format.graph │ │ │ │ └── v2_format.graph │ │ │ ├── rules │ │ │ │ └── r1.graph │ │ │ └── test.ML │ │ └── theory.ML │ ├── test │ │ └── ruleset-test.ML │ └── unused │ │ ├── theory.ML │ │ └── theory_dir.ML └── toplevel │ ├── quanto-core.ML │ ├── quanto-xml-to-json.ML │ └── quanto-xml-to-json │ ├── convert_theory.ML │ ├── graph_annotations_xml_input.ML │ ├── graph_xml_v1_input.ML │ ├── graph_xml_v2_input.ML │ ├── linrat_xml.ML │ ├── rule_xml_input.ML │ ├── ruleset_annotations_xml_input.ML │ ├── ruleset_xml_input.ML │ ├── test │ ├── ghzw │ │ ├── 2 times 0 plus 2.graph │ │ └── default.rules │ ├── isaplanner_rtechn │ │ └── rippling.graph │ └── red_green │ │ ├── basic_v1.rules │ │ ├── basic_v2.rules │ │ └── d2-ladder_rw1.graph │ ├── xml_input.ML │ └── xml_parse_utils.ML ├── rulesets ├── empty.rules ├── ghzw │ ├── arithmetic.rules │ ├── default.rules │ └── extra.rules ├── red_green │ ├── default.rules │ ├── extra.rules │ ├── inverse-bialg.rules │ ├── inverse-rules.rules │ ├── remove-red.rules │ ├── spidered-rules.rules │ ├── symtest.rules │ └── test.rules ├── red_green_blue │ └── symmetric_FA.rules └── substr_linrat │ └── default_substr_linrat.rules ├── scala ├── .gitignore ├── build.sbt ├── dist │ ├── linux-dist │ │ ├── libpolyml.so.4 │ │ ├── poly │ │ ├── polybin │ │ └── quanto-derive.sh │ ├── mk-linux-generic.sh │ ├── mk-osx.sh │ ├── mk-windows.bat │ ├── ml.xml │ ├── python.xml │ ├── scala.xml │ └── windows-dist │ │ ├── QuantoDerive.aip │ │ ├── QuantoDerive.exe │ │ ├── cyggcc_s-1.dll │ │ ├── cyggmp-3.dll │ │ ├── cygpolyml-4.dll │ │ ├── cygstdc++-6.dll │ │ ├── cygwin1.dll │ │ ├── launch4j.cfg.xml │ │ ├── libpolymain.a │ │ ├── libpolymain.la │ │ ├── libpolyml.a │ │ ├── libpolyml.dll.a │ │ ├── libpolyml.la │ │ └── poly.exe ├── lib │ ├── jedit-textArea.jar │ ├── jsr305.jar │ └── jython-standalone-2.7.0.jar ├── project │ ├── build.properties │ └── plugins.sbt ├── src-old │ ├── ColbournReadEnum-arities.scala │ ├── ConstraintSolver.scala │ ├── RankLayout.scala │ └── rank_tests.scala └── src │ ├── main │ ├── java │ │ ├── org │ │ │ └── lindenb │ │ │ │ ├── awt │ │ │ │ ├── Cap.java │ │ │ │ ├── ColorUtils.java │ │ │ │ ├── Dimension2D.java │ │ │ │ └── Join.java │ │ │ │ ├── io │ │ │ │ └── IOUtils.java │ │ │ │ ├── lang │ │ │ │ └── InvalidXMLException.java │ │ │ │ ├── svg │ │ │ │ ├── SVGRenderer.java │ │ │ │ ├── SVGUtils.java │ │ │ │ ├── path │ │ │ │ │ ├── ParseException.java │ │ │ │ │ ├── SVGPathParser.java │ │ │ │ │ ├── SVGPathParser.jj │ │ │ │ │ ├── SVGPathParserConstants.java │ │ │ │ │ ├── SVGPathParserTokenManager.java │ │ │ │ │ ├── SimpleCharStream.java │ │ │ │ │ ├── Token.java │ │ │ │ │ └── TokenMgrError.java │ │ │ │ └── transform │ │ │ │ │ └── SVGTransformParser.jj │ │ │ │ ├── sw │ │ │ │ └── vocabulary │ │ │ │ │ ├── Namespace.java │ │ │ │ │ └── SVG.java │ │ │ │ ├── util │ │ │ │ ├── Compilation.java │ │ │ │ └── StringUtils.java │ │ │ │ └── xml │ │ │ │ └── XMLUtilities.java │ │ └── quanto │ │ │ ├── core │ │ │ └── data │ │ │ │ └── TexConstants.java │ │ │ └── util │ │ │ ├── FileUtils.java │ │ │ ├── LoggingInputStream.java │ │ │ ├── LoggingOutputStream.java │ │ │ ├── SVGDocument.java │ │ │ ├── StreamRedirector.java │ │ │ ├── StringNamer.java │ │ │ └── json │ │ │ ├── Json.scala │ │ │ └── JsonPath.scala │ ├── resources │ │ └── quanto │ │ │ ├── data │ │ │ ├── ZW.qtheory │ │ │ ├── ZX.qtheory │ │ │ ├── ZXRails.qtheory │ │ │ ├── composite.qtheory │ │ │ ├── ghz_w.qtheory │ │ │ ├── plain.qtheory │ │ │ ├── red_green.qtheory │ │ │ ├── strategy_graph.qtheory │ │ │ └── string_ve.qtheory │ │ │ ├── gui │ │ │ ├── Mac_OS_X_keys.props │ │ │ ├── add-edge.png │ │ │ ├── blank.xml │ │ │ ├── derive-icon.png │ │ │ ├── document-save.png │ │ │ ├── draw-bang.png │ │ │ ├── draw-bbox.png │ │ │ ├── draw-ellipse-b.png │ │ │ ├── draw-ellipse.png │ │ │ ├── draw-path.png │ │ │ ├── edit-copy.png │ │ │ ├── edit-delete.png │ │ │ ├── expand.png │ │ │ ├── focus.png │ │ │ ├── generic-change.svg │ │ │ ├── go-first.png │ │ │ ├── go-last.png │ │ │ ├── go-next.png │ │ │ ├── go-previous.png │ │ │ ├── graph-icon.png │ │ │ ├── jEdit_keys.props │ │ │ ├── jedit.props │ │ │ ├── list-add.png │ │ │ ├── list-remove.png │ │ │ ├── ml.xml │ │ │ ├── normalise.png │ │ │ ├── process-stop.png │ │ │ ├── python.xml │ │ │ ├── quantoderive.ico │ │ │ ├── rule-icon.png │ │ │ ├── scala.xml │ │ │ ├── select-rectangular.png │ │ │ ├── start.png │ │ │ ├── stop.png │ │ │ ├── system-search.png │ │ │ ├── text-x-generic.png │ │ │ ├── text-x-script.png │ │ │ └── view-refresh.png │ │ │ └── rewrite │ │ │ └── bialg-lhs.qgraph │ └── scala │ │ ├── quanto │ │ ├── core │ │ │ ├── Core.scala │ │ │ ├── CoreException.scala │ │ │ └── CoreProcess.scala │ │ ├── cosy │ │ │ ├── BlockEnumeration.scala │ │ │ ├── BlockGenerators.scala │ │ │ ├── CoSyRun.scala │ │ │ ├── ColbournReadEnum.scala │ │ │ ├── Complex.scala │ │ │ ├── EQCAnalysis.scala │ │ │ ├── EquivClassBatchRunner.scala │ │ │ ├── EquivalenceClasses.scala │ │ │ ├── GraphAnalysis.scala │ │ │ ├── Interpreter.scala │ │ │ ├── RuleSynthesis.scala │ │ │ ├── SimplificationProcedure.scala │ │ │ ├── SimprocBatch.scala │ │ │ └── Tensor.scala │ │ ├── data │ │ │ ├── BBData.scala │ │ │ ├── BinRel.scala │ │ │ ├── CompositeExpression.scala │ │ │ ├── Derivation.scala │ │ │ ├── EData.scala │ │ │ ├── GData.scala │ │ │ ├── Graph.scala │ │ │ ├── GraphElementData.scala │ │ │ ├── GraphMap.scala │ │ │ ├── GraphTikz.scala │ │ │ ├── HasGraph.scala │ │ │ ├── Names.scala │ │ │ ├── PFun.scala │ │ │ ├── PhaseExpression.scala │ │ │ ├── Project.scala │ │ │ ├── ResultSet.scala │ │ │ ├── Rule.scala │ │ │ ├── Theory.scala │ │ │ └── VData.scala │ │ ├── gui │ │ │ ├── AddRuleDialog.scala │ │ │ ├── BatchDerivationCreationDocument.scala │ │ │ ├── BatchDerivationCreatorPanel.scala │ │ │ ├── BatchDerivationResultsDocument.scala │ │ │ ├── BatchDerivationResultsPanel.scala │ │ │ ├── ClosableTabbedPane.scala │ │ │ ├── CodeDocument.scala │ │ │ ├── CodeTextArea.java │ │ │ ├── ColourSwapDialog.scala │ │ │ ├── DerivationController.scala │ │ │ ├── DerivationDocument.scala │ │ │ ├── DerivationPanel.scala │ │ │ ├── Document.scala │ │ │ ├── DocumentPage.scala │ │ │ ├── FileTree.scala │ │ │ ├── FilteredList.scala │ │ │ ├── GraphDocument.scala │ │ │ ├── GraphEditController.scala │ │ │ ├── GraphEditPanel.scala │ │ │ ├── GraphEditor.scala │ │ │ ├── JsonConsole.scala │ │ │ ├── LayoutTest.scala │ │ │ ├── LayoutTestGUI1.scala │ │ │ ├── MLEditPanel.scala │ │ │ ├── MLEditor.scala │ │ │ ├── MouseState.scala │ │ │ ├── NewProjectDialog.scala │ │ │ ├── PopupMenu.scala │ │ │ ├── PythonEditPanel.scala │ │ │ ├── QuantoDerive.scala │ │ │ ├── RewriteController.scala │ │ │ ├── RuleDocument.scala │ │ │ ├── RuleEditPanel.scala │ │ │ ├── RuleEditor.scala │ │ │ ├── SimpleSelectionPanel.scala │ │ │ ├── SimplifyController.scala │ │ │ ├── SimprocProgress.scala │ │ │ ├── SimulatedAnnealingDialog.scala │ │ │ ├── SpecifyVariablesDialog.scala │ │ │ ├── StatusBar.scala │ │ │ ├── TextAreaOutputStream.scala │ │ │ ├── TextEditor.scala │ │ │ ├── TheoryDocument.scala │ │ │ ├── TheoryEditPanel.scala │ │ │ ├── Transformer.scala │ │ │ ├── UndoStack.scala │ │ │ ├── graphview │ │ │ │ ├── BBoxDisplayData.scala │ │ │ │ ├── EdgeDisplayData.scala │ │ │ │ ├── GraphView.scala │ │ │ │ ├── LabelDisplayData.scala │ │ │ │ └── VertexDisplayData.scala │ │ │ ├── histview │ │ │ │ ├── HistNode.scala │ │ │ │ ├── HistView.scala │ │ │ │ └── HistViewItem.scala │ │ │ └── test │ │ │ │ └── LayoutTestGUI.scala │ │ ├── layout │ │ │ ├── Constraints.scala │ │ │ ├── DeriveLayout.scala │ │ │ ├── DotLayout.scala │ │ │ ├── ForceLayout.scala │ │ │ ├── GraphLayout.scala │ │ │ ├── GraphTransform.scala │ │ │ ├── QLayout.scala │ │ │ └── constraint │ │ │ │ ├── Clusters.scala │ │ │ │ ├── NoTweaks.scala │ │ │ │ ├── Ranking.scala │ │ │ │ └── VerticalBoundary.scala │ │ ├── rewrite │ │ │ ├── CompositeExpressionMatcher.scala │ │ │ ├── Match.scala │ │ │ ├── MatchState.scala │ │ │ ├── Matcher.scala │ │ │ ├── Rewriter.scala │ │ │ └── Simproc.scala │ │ └── util │ │ │ ├── DirectoryWatcher.scala │ │ │ ├── FileHelper.scala │ │ │ ├── Geometry.scala │ │ │ ├── Globals.scala │ │ │ ├── QuadTree.scala │ │ │ ├── Rational.scala │ │ │ ├── RationalMatrix.scala │ │ │ ├── RichCubicCurve.scala │ │ │ ├── Scripting.scala │ │ │ ├── SignallingStreamRedirector.scala │ │ │ ├── SwingTimer.scala │ │ │ ├── TreeSeq.scala │ │ │ ├── UserAlerts.scala │ │ │ ├── UserOptions.scala │ │ │ ├── WebHelper.scala │ │ │ └── swing │ │ │ └── ToolBar.scala │ │ └── test.scala │ └── test │ └── scala │ └── quanto │ ├── core │ └── test │ │ ├── CoreSpec.scala │ │ └── ParCoreSpec.scala │ ├── cosy │ └── test │ │ ├── BlockEnumerationSpec.scala │ │ ├── BlockGeneratorsSpec.scala │ │ ├── CoSyRunSpec.scala │ │ ├── ColbournReadEnumSpec.scala │ │ ├── EQCAnalysisSpec.scala │ │ ├── EquivalenceClassesSpec.scala │ │ ├── GraphAnalysisSpec.scala │ │ ├── InterpreterSpec.scala │ │ ├── RuleSynthesisSpec.scala │ │ ├── SimplificationProcedureSpec.scala │ │ └── TensorSpec.scala │ ├── data │ └── test │ │ ├── BinRelSpec.scala │ │ ├── BooleanExpressionSpec.scala │ │ ├── CompositeExpressionSpec.scala │ │ ├── GraphAdjmatSpec.scala │ │ ├── GraphBBoxSpec.scala │ │ ├── GraphSpec.scala │ │ ├── PhaseExpressionSpec.scala │ │ └── TheorySpec.scala │ ├── gui │ └── test │ │ ├── HistViewTest.scala │ │ └── UndoStackSpec.scala │ ├── layout │ └── test │ │ └── LayoutSpec.scala │ ├── rewrite │ └── test │ │ ├── AngleExpressionMatcherSpec.scala │ │ ├── BBoxMatcherSpec.scala │ │ ├── CompositeExpressionMatcherSpec.scala │ │ └── MatcherSpec.scala │ └── util │ ├── Scratch.scala │ ├── json │ └── test │ │ └── JsonSpec.scala │ └── test │ ├── RationalMatrixSpec.scala │ ├── SimpleTreeSeq.scala │ └── TreeSeqSpec.scala ├── theory-visualizations ├── black-white-theory.qth ├── black.svg ├── blue.svg ├── green.svg ├── hadamard.svg ├── red-green-blue-theory.qth ├── red-green-substr-linrat.qth ├── red-green-theory.qth ├── red.svg ├── rtechn.qth ├── string-theory.qth └── white.svg ├── todo.txt └── tools ├── findpoly.sh ├── poly-build-heap ├── polyc └── polyml-toplevel /.gitignore: -------------------------------------------------------------------------------- 1 | core/heaps 2 | .DS_Store 3 | **/build/ 4 | /gui/dist/ 5 | .polysave 6 | *.heap 7 | *.polyml-heap 8 | *.o 9 | *.log 10 | .*.swp 11 | *.iml 12 | .idea2 13 | /core/bin 14 | /core/heaps 15 | *.rules_v2 16 | /gui/build-debug/ 17 | /core/local_config.ML 18 | /gui/.classpath 19 | /gui/.project 20 | /gui/generated/ 21 | /gui/nbproject 22 | /gui/bin/ 23 | *~ 24 | *# 25 | .ensime 26 | .ensime_lucene 27 | lib_managed/ 28 | *.gen.ML 29 | \.vscode/ 30 | \.idea/ 31 | out/ 32 | 33 | cosy_synth/ 34 | -------------------------------------------------------------------------------- /bintray-release.json: -------------------------------------------------------------------------------- 1 | { 2 | "package": { 3 | "name": "quantomatic", 4 | "repo": "quantomatic", 5 | "subject": "quantomatic" 6 | }, 7 | "version": { 8 | "name": "0.6.1", 9 | "released": "2017-11-23" 10 | }, 11 | "files": [{ 12 | "includePattern": "scala/target/scala-(.*)/Quantomatic.jar", 13 | "uploadPattern": "release-0.6.1/Quantomatic.jar", 14 | "matrixParams": {"override": 1} 15 | }], 16 | "publish": true 17 | } 18 | -------------------------------------------------------------------------------- /bintray.json: -------------------------------------------------------------------------------- 1 | { 2 | "package": { 3 | "name": "quantomatic", 4 | "repo": "quantomatic", 5 | "subject": "quantomatic" 6 | }, 7 | "version": { 8 | "name": "bleeding-edge" 9 | }, 10 | "files": [{ 11 | "includePattern": "scala/target/scala-2.12/Quantomatic.jar", 12 | "uploadPattern": "bleeding-edge/Quantomatic.jar", 13 | "matrixParams": {"override": 1} 14 | }], 15 | "publish": true 16 | } 17 | -------------------------------------------------------------------------------- /build.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | cd scala 3 | sbt assembly 4 | -------------------------------------------------------------------------------- /core/Makefile: -------------------------------------------------------------------------------- 1 | # build the quantomatic heap (for development setup) 2 | 3 | all: 4 | cat build_heap.ML | poly -------------------------------------------------------------------------------- /core/Pure/Concurrent/par_list_sequential.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/Concurrent/par_list_sequential.ML 2 | Author: Makarius 3 | 4 | Dummy version of parallel list combinators -- plain sequential evaluation. 5 | *) 6 | 7 | structure Par_List: PAR_LIST = 8 | struct 9 | 10 | fun managed_results _ f = map (Exn.capture f); 11 | fun map_name _ = map; 12 | val map = map; 13 | val get_some = get_first; 14 | val find_some = find_first; 15 | val exists = exists; 16 | val forall = forall; 17 | 18 | end; 19 | -------------------------------------------------------------------------------- /core/Pure/ML-Systems/polyml-5.5.2.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML-Systems/polyml-5.5.2.ML 2 | Author: Makarius 3 | 4 | Compatibility wrapper for Poly/ML 5.5.2. 5 | *) 6 | 7 | structure Thread = 8 | struct 9 | open Thread; 10 | 11 | structure Thread = 12 | struct 13 | open Thread; 14 | 15 | fun numProcessors () = 16 | (case Thread.numPhysicalProcessors () of 17 | SOME n => n 18 | | NONE => Thread.numProcessors ()); 19 | end; 20 | end; 21 | 22 | use "ML-Systems/polyml.ML"; 23 | 24 | -------------------------------------------------------------------------------- /core/Pure/ML-Systems/pp_dummy.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML-Systems/pp_dummy.ML 2 | 3 | Dummy setup for toplevel pretty printing. 4 | *) 5 | 6 | fun ml_pretty _ = raise Fail "ml_pretty dummy"; 7 | fun pretty_ml _ = raise Fail "pretty_ml dummy"; 8 | 9 | structure PolyML = 10 | struct 11 | fun addPrettyPrinter _ = (); 12 | fun prettyRepresentation _ = 13 | raise Fail "PolyML.prettyRepresentation dummy"; 14 | open PolyML; 15 | end; 16 | 17 | -------------------------------------------------------------------------------- /core/Pure/ML-Systems/share_common_data_polyml-5.3.0.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML-Systems/share_common_data_polyml-5.3.0.ML 2 | 3 | Dummy for Poly/ML 5.3.0, which cannot share the massive heap of HOL 4 | anymore. 5 | *) 6 | 7 | structure PolyML = 8 | struct 9 | open PolyML; 10 | fun shareCommonData _ = (); 11 | end; 12 | -------------------------------------------------------------------------------- /core/Pure/ML-Systems/use_context.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML-Systems/use_context.ML 2 | Author: Makarius 3 | 4 | Common context for "use" operations (compiler invocation). 5 | *) 6 | 7 | type use_context = 8 | {tune_source: string -> string, 9 | name_space: ML_Name_Space.T, 10 | str_of_pos: int -> string -> string, 11 | print: string -> unit, 12 | error: string -> unit}; 13 | 14 | -------------------------------------------------------------------------------- /core/Pure/ML/exn_output.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML/exn_output.ML 2 | Author: Makarius 3 | 4 | Auxiliary operations for exception output -- generic version. 5 | *) 6 | 7 | signature EXN_OUTPUT = 8 | sig 9 | val position: exn -> Position.T 10 | val pretty: exn -> Pretty.T 11 | end 12 | 13 | structure Exn_Output: EXN_OUTPUT = 14 | struct 15 | 16 | fun position (_: exn) = Position.none 17 | val pretty = Pretty.str o General.exnMessage; 18 | 19 | end; 20 | 21 | -------------------------------------------------------------------------------- /core/Pure/ML/exn_output_polyml.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML/exn_output_polyml.ML 2 | Author: Makarius 3 | 4 | Auxiliary operations for exception output -- Poly/ML version. 5 | *) 6 | 7 | structure Exn_Output: EXN_OUTPUT = 8 | struct 9 | 10 | fun position exn = 11 | (case PolyML.exceptionLocation exn of 12 | NONE => Position.none 13 | | SOME loc => Exn_Properties.position_of loc); 14 | 15 | fun pretty (exn: exn) = 16 | Pretty.from_ML (pretty_ml (PolyML.prettyRepresentation (exn, ML_Options.get_print_depth ()))); 17 | 18 | end; 19 | 20 | -------------------------------------------------------------------------------- /core/Pure/ML/exn_properties_dummy.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML/exn_properties_dummy.ML 2 | Author: Makarius 3 | 4 | Exception properties -- dummy version. 5 | *) 6 | 7 | signature EXN_PROPERTIES = 8 | sig 9 | val get: exn -> Properties.T 10 | val update: Properties.entry list -> exn -> exn 11 | end; 12 | 13 | structure Exn_Properties: EXN_PROPERTIES = 14 | struct 15 | 16 | fun get _ = []; 17 | fun update _ exn = exn; 18 | 19 | end; 20 | 21 | -------------------------------------------------------------------------------- /core/Pure/ML/exn_trace_polyml-5.5.1.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML/exn_trace_polyml-5.5.1.ML 2 | Author: Makarius 3 | 4 | Exception trace for Poly/ML 5.5.1, using regular Isabelle output. 5 | *) 6 | 7 | fun print_exception_trace exn_message e = 8 | PolyML.Exception.traceException 9 | (e, fn (trace, exn) => 10 | let 11 | val title = "Exception trace - " ^ exn_message exn; 12 | val _ = tracing (cat_lines (title :: trace)); 13 | in reraise exn end); 14 | 15 | PolyML.Compiler.reportExhaustiveHandlers := true; 16 | 17 | -------------------------------------------------------------------------------- /core/Pure/ML/ml_statistics_dummy.ML: -------------------------------------------------------------------------------- 1 | (* Title: Pure/ML/ml_statistics_dummy.ML 2 | Author: Makarius 3 | 4 | ML runtime statistics -- dummy version. 5 | *) 6 | 7 | signature ML_STATISTICS = 8 | sig 9 | val get: unit -> Properties.T 10 | end; 11 | 12 | structure ML_Statistics: ML_STATISTICS = 13 | struct 14 | 15 | fun get () = []; 16 | 17 | end; 18 | 19 | -------------------------------------------------------------------------------- /core/Pure/README: -------------------------------------------------------------------------------- 1 | 2 | Pure: The Pure Isabelle System 3 | 4 | 5 | This directory contains the ML source files for Pure Isabelle, which 6 | is the basis for all object-logics. Building the Isabelle/Pure heap 7 | image in batch mode works as for any other session: 8 | 9 | isabelle build -b Pure 10 | 11 | To explore the bootstrap of Pure interactively, the raw ML console can 12 | be used like this: 13 | 14 | isabelle console -l RAW 15 | use "ROOT.ML"; 16 | 17 | -------------------------------------------------------------------------------- /core/Pure/ROOT.scala: -------------------------------------------------------------------------------- 1 | /* Title: Pure/ROOT.scala 2 | Module: PIDE 3 | Author: Makarius 4 | 5 | Root of isabelle package. 6 | */ 7 | 8 | package object isabelle extends isabelle.Basic_Library 9 | { 10 | object Distribution /*filled-in by makedist*/ 11 | { 12 | val version = "Isabelle2014: August 2014" 13 | val is_identified = true 14 | val is_official = true 15 | } 16 | } 17 | 18 | -------------------------------------------------------------------------------- /core/build_heap.ML: -------------------------------------------------------------------------------- 1 | val _ = PolyML.exception_trace (fn () => PolyML.use "ROOT.ML") 2 | handle _ => OS.Process.exit OS.Process.failure; 3 | PolyML.SaveState.saveState "heaps/quanto.heap"; 4 | val _ = OS.Process.exit OS.Process.success; 5 | -------------------------------------------------------------------------------- /core/dnets/.gitignore: -------------------------------------------------------------------------------- 1 | /*.txt 2 | -------------------------------------------------------------------------------- /core/io/graph_component_io.ML: -------------------------------------------------------------------------------- 1 | signature GRAPH_COMPONENT_DATA_IO = 2 | sig 3 | type nvdata 4 | type edata 5 | 6 | structure IVDataInputJSON : INPUT_JSON 7 | where type data = nvdata 8 | structure IVDataOutputJSON : OUTPUT_JSON 9 | where type data = nvdata 10 | structure EDataInputJSON : INPUT_JSON 11 | where type data = edata 12 | structure EDataOutputJSON : OUTPUT_JSON 13 | where type data = edata 14 | structure DotStyle : DOT_STYLE 15 | where type nvdata = nvdata 16 | end 17 | -------------------------------------------------------------------------------- /core/io/input.ML: -------------------------------------------------------------------------------- 1 | signature INPUT = 2 | sig 3 | type T 4 | type data 5 | val input : T -> data 6 | 7 | exception bad_input_exp of string*string; (* message, location *) 8 | end; 9 | -------------------------------------------------------------------------------- /core/io/output.ML: -------------------------------------------------------------------------------- 1 | signature OUTPUT = 2 | sig 3 | type data 4 | type T 5 | val output : data -> T 6 | end; 7 | -------------------------------------------------------------------------------- /core/json_interface/controller_module.ML: -------------------------------------------------------------------------------- 1 | 2 | signature CONTROLLER_MODULE = 3 | sig 4 | (* a table mapping function name to function * docstring *) 5 | val ftab : JsonControllerUtil.ftab 6 | end 7 | -------------------------------------------------------------------------------- /core/lib/names/test/ROOT.ML: -------------------------------------------------------------------------------- 1 | PolyML.Project.make "nameset.ML"; 2 | PolyML.Project.make "name_brel.ML"; 3 | -------------------------------------------------------------------------------- /core/matching/test/test-concrete-matcher.ML: -------------------------------------------------------------------------------- 1 | structure Test_ConcreteMatcher = 2 | ConcreteMatchSearch(Test_OGraph); 3 | 4 | (* set to 4 for really detailed messages *) 5 | (* 6 | Test_ConcreteMatcher.Log.level_ref := 2; 7 | *) 8 | 9 | structure Concrete_Matcher_Tests = 10 | SG_To_SG_Matching_Tests(Test_Match_Tools(Test_ConcreteMatcher)) 11 | 12 | -------------------------------------------------------------------------------- /core/quanto.thy: -------------------------------------------------------------------------------- 1 | theory quanto 2 | imports lib core theories controller synth 3 | begin 4 | end 5 | -------------------------------------------------------------------------------- /core/rewriting/indexing/test/results/std-match-1-5.txt: -------------------------------------------------------------------------------- 1 | 0 10 50 2 2 | 2 10 100 6 3 | 3 10 150 10 4 | 1 10 200 9 5 | 3 10 250 15 6 | 2 20 50 3 7 | 1 20 100 8 8 | 6 20 150 16 9 | 3 20 200 19 10 | 6 20 250 23 11 | 6 30 50 6 12 | 4 30 100 13 13 | 7 30 150 19 14 | 4 30 200 26 15 | 4 30 250 32 16 | 1 40 50 8 17 | 3 40 100 20 18 | 7 40 150 41 19 | 9 40 200 49 20 | 10 40 250 52 21 | 1 50 50 8 22 | 10 50 100 19 23 | 7 50 150 28 24 | 16 50 200 79 25 | 15 50 250 52 26 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/.gitignore: -------------------------------------------------------------------------------- 1 | /*.dot 2 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-1-expected.graph: -------------------------------------------------------------------------------- 1 | { 2 | "node_vertices" : ["a","b","c"], 3 | "dir_edges" : 4 | { 5 | "1" : { "src" : "a", "tgt" : "b" }, 6 | "2" : { "src" : "b", "tgt" : "c" } 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-1-lhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["a","b"], 3 | "dir_edges" : 4 | { 5 | "1" : { "src" : "a", "tgt" : "b" } 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-1-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["a","b"], 3 | "node_vertices" : ["c"], 4 | "dir_edges" : 5 | { 6 | "2" : { "src" : "a", "tgt" : "c" }, 7 | "3" : { "src" : "c", "tgt" : "b" } 8 | } 9 | } 10 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-1-target.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["n","o"], 3 | "node_vertices" : ["m","p"], 4 | "dir_edges" : 5 | { 6 | "10" : { "src" : "m", "tgt" : "n" }, 7 | "11" : { "src" : "n", "tgt" : "o" }, 8 | "12" : { "src" : "o", "tgt" : "p" } 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-2-expected.graph: -------------------------------------------------------------------------------- 1 | { 2 | "node_vertices" : ["Va","Vb","Vc"], 3 | "dir_edges" : 4 | { 5 | "Ea" : { "src" : "Va", "tgt" : "Vb" }, 6 | "Eb" : { "src" : "Vb", "tgt" : "Vc" } 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-2-lhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["Vf","Ve"], 3 | "dir_edges" : 4 | { 5 | "Ea" : { "src" : "Vf", "tgt" : "Ve" } 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-2-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["Ve","Vf"], 3 | "node_vertices" : ["Va"], 4 | "dir_edges" : 5 | { 6 | "Ea" : { "src" : "Vf", "tgt" : "Va" }, 7 | "Eb" : { "src" : "Va", "tgt" : "Ve" } 8 | } 9 | } 10 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/bare-wire-rule-2-target.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["Vc","Vd"], 3 | "node_vertices" : ["Va","Vb"], 4 | "dir_edges" : 5 | { 6 | "Ea" : { "src" : "Va", "tgt" : "Vc" }, 7 | "Eb" : { "src" : "Vc", "tgt" : "Vd" }, 8 | "Ec" : { "src" : "Vd", "tgt" : "Vb" } 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/spider-expected.graph: -------------------------------------------------------------------------------- 1 | { 2 | "node_vertices" : { 3 | "x1":{"data":"vunit1"}, 4 | "z1":{"data":"vunit2"}, 5 | "z2":{"data":"vunit2"}, 6 | "z3":{"data":"vunit2"}, 7 | "z4":{"data":"vunit2"} 8 | }, 9 | "dir_edges" : { 10 | "e1": { "src" : "z1", "tgt" : "x1" }, 11 | "e2": { "src" : "z2", "tgt" : "x1" }, 12 | "e3": { "src" : "x1", "tgt" : "z3" }, 13 | "e4": { "src" : "x1", "tgt" : "z4" } 14 | } 15 | } 16 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/spider-lhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["in1","in2","out1","out2"], 3 | "node_vertices" : { 4 | "x1":{"data":"vunit1"}, 5 | "x2":{"data":"vunit1"} 6 | }, 7 | "dir_edges" : { 8 | "e1": { "src" : "in1", "tgt" : "x1" }, 9 | "e2": { "src" : "x1", "tgt" : "out1" }, 10 | "e3": { "src" : "in2", "tgt" : "x2" }, 11 | "e4": { "src" : "x2", "tgt" : "out2" }, 12 | "e5": { "src" : "x1", "tgt" : "x2" } 13 | } 14 | } 15 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/spider-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["in1","in2","out1","out2"], 3 | "node_vertices" : { 4 | "x1":{"data":"vunit1"} 5 | }, 6 | "dir_edges" : { 7 | "e1": { "src" : "in1", "tgt" : "x1" }, 8 | "e2": { "src" : "x1", "tgt" : "out1" }, 9 | "e3": { "src" : "in2", "tgt" : "x1" }, 10 | "e4": { "src" : "x1", "tgt" : "out2" } 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /core/rewriting/test/graphs/spider-subst-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["in1","in2","out1","out2"], 3 | "node_vertices" : { 4 | "x1":{"data":{"type":"vexpr1","angle":"a + b"}} 5 | }, 6 | "dir_edges" : { 7 | "e1": { "src" : "in1", "tgt" : "x1" }, 8 | "e2": { "src" : "x1", "tgt" : "out1" }, 9 | "e3": { "src" : "in2", "tgt" : "x1" }, 10 | "e4": { "src" : "x1", "tgt" : "out2" } 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /core/rewriting/test/ruleset_rewriter-tests.ML: -------------------------------------------------------------------------------- 1 | structure Test_RulesetRewriter : RULESET_REWRITER = RulesetRewriter( 2 | structure Ruleset = Test_BG_Ruleset; 3 | structure Rewriter = Test_BangGraphRewriter; 4 | ); 5 | (* set to 4 for really detailed messages *) 6 | (* Test_RulesetRewriter.Log.level_ref := 2; *) 7 | 8 | (* TODO: tests for rewriting against rulesets *) 9 | 10 | -------------------------------------------------------------------------------- /core/synth.thy: -------------------------------------------------------------------------------- 1 | theory synth 2 | imports core theories 3 | begin 4 | 5 | ML_file "synth/default_gens.ML" 6 | ML_file "synth/metric.ML" 7 | ML_file "synth/graph_equiv.ML" 8 | ML_file "synth/eq_class_tab.ML" 9 | ML_file "synth/default_rws.ML" 10 | ML_file "synth/fast_graph_enum.ML" 11 | ML_file "synth/tensor_equiv.ML" 12 | ML_file "synth/synth_util.ML" 13 | ML_file "synth/theories.ML" 14 | 15 | end 16 | -------------------------------------------------------------------------------- /core/synth/graph_equiv.ML: -------------------------------------------------------------------------------- 1 | signature GRAPH_EQUIV = 2 | sig 3 | structure Graph : BANG_GRAPH 4 | type T 5 | 6 | (* compute data that is used to check graph equivalence. This function may 7 | also do some renaming of the graph to put it in some canonical form (e.g. 8 | wrt. the ordering of inputs and outputs). *) 9 | val compute_equiv_data : Graph.T -> Graph.T * T 10 | val to_string : T -> string 11 | val eq : T * T -> bool 12 | end 13 | 14 | 15 | -------------------------------------------------------------------------------- /core/test/graphs/ghz_w/2 times 0 plus 2.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Vb":{}},"node_vertices":{"Va":{"data":"GHZ"},"Vc":{"data":"W"},"Vd":{"data":"W"},"Ve":{"data":"W"},"Vf":{"data":"W"},"Vg":{"data":"GHZ"},"Vh":{"data":"GHZ"},"Vj":{"data":"GHZ"},"Vk":{"data":"GHZ"}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vg","tgt":"Vc"},"Ec":{"src":"Vh","tgt":"Vc"},"Ed":{"src":"Vc","tgt":"Va"},"Ee":{"src":"Ve","tgt":"Vd"},"Ef":{"src":"Vf","tgt":"Vd"},"Eg":{"src":"Vj","tgt":"Vf"},"Eh":{"src":"Vk","tgt":"Vf"},"Ei":{"src":"Vd","tgt":"Va"}}} -------------------------------------------------------------------------------- /core/test/graphs/ghz_w/2 times 2.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Vb":{}},"node_vertices":{"Va":{"data":"GHZ"},"Vc":{"data":"W"},"Vg":{"data":"GHZ"},"Vh":{"data":"GHZ"},"Vj":{"data":"GHZ"},"Vk":{"data":"GHZ"},"Vw":{"data":"W","annotation":{"quanto-gui:position":"119:80"}}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vg","tgt":"Vc"},"Ec":{"src":"Vh","tgt":"Vc"},"Ed":{"src":"Vc","tgt":"Va"},"Ee":{"src":"Vj","tgt":"Vw"},"Ef":{"src":"Vk","tgt":"Vw"},"Eg":{"src":"Vw","tgt":"Va"}}} -------------------------------------------------------------------------------- /core/test/graphs/red_green/bbox.qgraph: -------------------------------------------------------------------------------- 1 | {"bang_boxes":{"bx0":{"contents":["b0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.22,-0.44]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.22,0.88]}}},"undir_edges":{"e0":{"src":"v0","tgt":"b0"}}} -------------------------------------------------------------------------------- /core/test/graphs/red_green/d2-ladder_rw1.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{},"c":{},"d":{}},"node_vertices":{"i":{"data":{"type":"X","angle":{"pretty":"0"}}},"j":{"data":{"type":"Z","angle":{"pretty":"0"}}},"s":{"data":{"type":"Z","angle":{"pretty":"0"}}},"t":{"data":{"type":"X","angle":{"pretty":"0"}}}},"undir_edges":{"Ei":{"src":"j","tgt":"i"},"Ej":{"src":"i","tgt":"d"},"Ek":{"src":"j","tgt":"c"},"El":{"src":"t","tgt":"i"},"Em":{"src":"t","tgt":"a"},"Ev":{"src":"b","tgt":"s"},"Ew":{"src":"j","tgt":"s"},"Ex":{"src":"s","tgt":"t"}}} -------------------------------------------------------------------------------- /core/test/graphs/red_green/d2-ladder_rw2.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{},"c":{},"d":{}},"node_vertices":{"e":{"data":{"type":"Z","angle":{"pretty":"0"}}},"i":{"data":{"type":"X","angle":{"pretty":"0"}}},"t":{"data":{"type":"X","angle":{"pretty":"0"}}}},"undir_edges":{"Ed":{"src":"e","tgt":"b"},"Ee":{"src":"i","tgt":"e"},"Ef":{"src":"c","tgt":"e"},"Eg":{"src":"e","tgt":"t"},"Ej":{"src":"i","tgt":"d"},"El":{"src":"t","tgt":"i"},"Em":{"src":"t","tgt":"a"}},"bang_boxes":{"Bc":{"contents":[]},"Bd":{"contents":[]}}} -------------------------------------------------------------------------------- /core/test/graphs/red_green/d2-ladder_rw3_norm.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{"annotation":{"quanto-gui:position":"60:20"}},"b":{"annotation":{"quanto-gui:position":"107:20"}},"c":{"annotation":{"quanto-gui:position":"109:74"}},"d":{"annotation":{"quanto-gui:position":"60:81"}}},"undir_edges":{"Ea":{"src":"a","tgt":"d"},"Eb":{"src":"b","tgt":"c"}}} -------------------------------------------------------------------------------- /core/test/graphs/red_green/x-isom.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"Va":{"data":{"type":"Z","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"60:20"}},"Vb":{"data":{"type":"Z","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"64:179"}},"Vc":{"data":{"type":"X","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"64:75"}},"Vd":{"data":{"type":"X","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"63:120"}}},"undir_edges":{"Ea":{"src":"Va","tgt":"Vc"},"Eb":{"src":"Vc","tgt":"Vd"},"Ec":{"src":"Vc","tgt":"Vd"},"Ed":{"src":"Vd","tgt":"Vb"}}} -------------------------------------------------------------------------------- /core/test/load_heap.ML: -------------------------------------------------------------------------------- 1 | PolyML.SaveState.loadState "../heaps/quanto.heap"; 2 | PolyML.Compiler.printDepth:=10; 3 | -------------------------------------------------------------------------------- /core/test/protocol/simple-test.ML: -------------------------------------------------------------------------------- 1 | CoreTester.registerTest "Simple test" (fn session => 2 | let val version = CoreTester.protocolVersion session in 3 | if version <> "1.0" then 4 | raise CoreTester.test_exp ("Wrong version (got "^version^", expected 1.0)") 5 | else () 6 | end 7 | ); 8 | 9 | (* vi:et:sw=2:sts=2 10 | *) 11 | -------------------------------------------------------------------------------- /core/theories/ghz_w/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"w":{"data":{"type":"W"}},"ghz":{"data":{"type":"GHZ"}},"tick":{"data":{"type":"TICK"}},"zero":{"data":{"type":"ZERO"}}}} -------------------------------------------------------------------------------- /core/theories/ghz_w/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"w":{"data":"W"},"ghz":{"data":"GHZ"},"tick":{"data":"tick"},"zero":{"data":"zero"}}} -------------------------------------------------------------------------------- /core/theories/ghz_w/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"w":{"data":{"type":"W"}},"ghz":{"data":{"type":"GHZ"}},"tick":{"data":{"type":"TICK"}},"zero":{"data":{"type":"ZERO"}}}} -------------------------------------------------------------------------------- /core/theories/ghz_w/theory.ML: -------------------------------------------------------------------------------- 1 | structure GHZW_Theory = GraphicalTheory( 2 | structure Data = GHZW_Data 3 | structure DataIO = GHZW_ComponentDataIO) 4 | 5 | (* Use this for convenience if you don't need annotations *) 6 | (*structure GHZW_GraphicalTheoryIO = GraphicalTheoryIO( 7 | structure Theory = GHZW_Theory 8 | structure GraphComponentDataIO = GHZW_ComponentDataIO 9 | )*) 10 | -------------------------------------------------------------------------------- /core/theories/isaplanner_rtechn/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"RT"}},"b":{"data":{"type":"Gs","label":"bar","value":{"goal_type":"bar","goal_names":[{"string":"x","number":1},{"string":"y","number":-1}]}}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":"z"},"e2":{"src":"w","tgt":"b","data":"z"}}} -------------------------------------------------------------------------------- /core/theories/isaplanner_rtechn/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"RT","tactic":"foo"}},"b":{"data":{"type":"Gs","goal_type":"bar","goal_names":[{"string":"x","number":1},{"string":"y","number":-1}]}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":"z"},"e2":{"src":"w","tgt":"b","data":"z"}}} -------------------------------------------------------------------------------- /core/theories/isaplanner_rtechn/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"RT"}},"b":{"data":{"type":"Gs","label":"bar","value":{"goal_type":"bar","goal_names":[{"string":"x","number":1},{"string":"y","number":-1}]}}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":"z"},"e2":{"src":"w","tgt":"b","data":"z"}}} -------------------------------------------------------------------------------- /core/theories/isaplanner_rtechn/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure RTechn_Theory = GraphicalTheory( 4 | structure Data = RTechn_Data 5 | structure DataIO = RTechn_ComponentDataIO) 6 | 7 | (* Use this for convenience if you don't need annotations *) 8 | (*structure RTechn_GraphicalTheoryIO = GraphicalTheoryIO( 9 | structure Theory = RTechn_Theory 10 | structure GraphComponentDataIO = RTechn_ComponentDataIO 11 | )*) 12 | 13 | -------------------------------------------------------------------------------- /core/theories/petri/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"c":{"data":{"type":"COPY"}},"s":{"data":{"type":"SWITCH"}},"0":{"data":{"type":"BUF0"}},"1":{"data":{"type":"BUF1"}}},"dir_edges":{"e1":{"src":"c","tgt":"w"},"e2":{"src":"w","tgt":"s"}}} -------------------------------------------------------------------------------- /core/theories/petri/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"c":{"data":"COPY"},"s":{"data":"SWITCH"},"0":{"data":"BUF0"},"1":{"data":"BUF1"}},"dir_edges":{"e1":{"src":"c","tgt":"w"},"e2":{"src":"w","tgt":"s"}}} -------------------------------------------------------------------------------- /core/theories/petri/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"c":{"data":{"type":"COPY"}},"s":{"data":{"type":"SWITCH"}},"0":{"data":{"type":"BUF0"}},"1":{"data":{"type":"BUF1"}}},"dir_edges":{"e1":{"src":"c","tgt":"w"},"e2":{"src":"w","tgt":"s"}}} -------------------------------------------------------------------------------- /core/theories/petri/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure Petri_Theory = GraphicalTheory( 4 | structure Data = Petri_Data 5 | structure DataIO = Petri_ComponentDataIO) 6 | 7 | 8 | (* Use this for convenience if you don't need annotations *) 9 | (*structure Petri_GraphicalTheoryIO = GraphicalTheoryIO( 10 | structure Theory = Petri_Theory 11 | structure GraphComponentDataIO = Petri_ComponentDataIO 12 | )*) 13 | -------------------------------------------------------------------------------- /core/theories/rational_pair/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"B","value":""}},"b":{"data":{"type":"B","value":"a + b"}},"c":{"data":{"type":"W","value":""}},"d":{"data":{"type":"W","value":"c"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/red_green/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"Z","value":""}},"b":{"data":{"type":"Z","value":"a + b"}},"c":{"data":{"type":"X","value":""}},"d":{"data":{"type":"X","value":"c"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/red_green/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"Z","angle":{"pretty":"0"}}},"b":{"data":{"type":"Z","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}},"c":{"data":{"type":"X","angle":{"pretty":"0"}}},"d":{"data":{"type":"X","angle":{"vars":{"c":{"denom":1,"num":1}},"pretty":"c"}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/red_green/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}},"b":{"data":{"type":"Z","label":"a + b","value":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}},"c":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"d":{"data":{"type":"X","label":"c","value":{"vars":{"c":{"denom":1,"num":1}},"pretty":"c"}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/red_green_blue/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"b":{"data":{"type":"Blue"}},"g":{"data":{"type":"Green"}},"r":{"data":{"type":"Red"}}},"dir_edges":{"e1":{"src":"r","tgt":"w"},"e2":{"src":"w","tgt":"g"}}} -------------------------------------------------------------------------------- /core/theories/red_green_blue/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"b":{"data":"Blue"},"g":{"data":"Green"},"r":{"data":"Red"}},"dir_edges":{"e1":{"src":"r","tgt":"w"},"e2":{"src":"w","tgt":"g"}}} -------------------------------------------------------------------------------- /core/theories/red_green_blue/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"b":{"data":{"type":"Blue"}},"g":{"data":{"type":"Green"}},"r":{"data":{"type":"Red"}}},"dir_edges":{"e1":{"src":"r","tgt":"w"},"e2":{"src":"w","tgt":"g"}}} -------------------------------------------------------------------------------- /core/theories/red_green_blue/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure RGB_Theory = GraphicalTheory( 4 | structure Data = RGB_Data 5 | structure DataIO = RGB_ComponentDataIO) 6 | 7 | 8 | (* Use this for convenience if you don't need annotations *) 9 | (*structure RGB_GraphicalTheoryIO = GraphicalTheoryIO( 10 | structure Theory = RGB_Theory 11 | structure GraphComponentDataIO = RGB_ComponentDataIO 12 | )*) 13 | -------------------------------------------------------------------------------- /core/theories/string_ve/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":{"value":"x","label":"x","type":"string"}},"e2":{"src":"w","tgt":"b","data":{"value":"x","label":"x","type":"string"}}}} -------------------------------------------------------------------------------- /core/theories/string_ve/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","type":"string"}},"b":{"data":{"value":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":{"value":"x","type":"string"}},"e2":{"src":"w","tgt":"b","data":{"value":"x","type":"string"}}}} -------------------------------------------------------------------------------- /core/theories/string_ve/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":{"value":"x","label":"x","type":"string"}},"e2":{"src":"w","tgt":"b","data":{"value":"x","label":"x","type":"string"}}}} -------------------------------------------------------------------------------- /core/theories/substr_linrat/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"string_linrat","label":"foo","value":{"string":"foo","angle":{"pretty":"0"}}}},"b":{"data":{"type":"string_linrat","label":"bar","value":{"string":"bar","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/substr_linrat/test/graphs/empty_graph.graph: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /core/theories/substr_linrat/test/graphs/g3.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Va":{}},"node_vertices":{"Vb":{"data":{"string":"blah.foo.","angle":{"pretty":"0"}}},"Vc":{"data":{"string":"blah.bar.","angle":{"pretty":"0"}}}},"undir_edges":{"Ec":{"src":"Vc","tgt":"Vc"}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vb","tgt":"Vc"}}} -------------------------------------------------------------------------------- /core/theories/substr_linrat/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"string":"foo","angle":{"pretty":"0"}}},"b":{"data":{"string":"bar","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/substr_linrat/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"string_linrat","label":"foo","value":{"string":"foo","angle":{"pretty":"0"}}}},"b":{"data":{"type":"string_linrat","label":"bar","value":{"string":"bar","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/substr_linrat/test/rules/r1.graph: -------------------------------------------------------------------------------- 1 | {"lhs":{"wire_vertices":{"Va":{}},"node_vertices":{"Vb":{"data":{"string":"blah.foo.","angle":{"pretty":"0"}}},"Vc":{"data":{"string":"blah.bar.","angle":{"pretty":"0"}}}},"undir_edges":{"Ec":{"src":"Vc","tgt":"Vc"}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vb","tgt":"Vc"}}},"rhs":{"wire_vertices":{"Va":{}},"node_vertices":{"Vd":{"data":{"string":"blah.foo.","angle":{"pretty":"0"}}},"Ve":{"data":{"string":"blah.bar.","angle":{"pretty":"0"}}}},"dir_edges":{"Ed":{"src":"Va","tgt":"Vd"},"Ee":{"src":"Vd","tgt":"Ve"}}}} -------------------------------------------------------------------------------- /core/theories/substrings/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/substrings/test/graphs/empty_graph.graph: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /core/theories/substrings/test/graphs/g3.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Va":{}},"node_vertices":{"Vb":{"data":{"value":"blah.foo.","label":"blah.foo.","type":"string"}},"Vc":{"data":{"value":"blah.bar.","label":"blah.bar.","type":"string"}}},"undir_edges":{"Ec":{"src":"Vc","tgt":"Vc"}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vb","tgt":"Vc"}}} -------------------------------------------------------------------------------- /core/theories/substrings/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":"foo"},"b":{"data":"bar"}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/substrings/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /core/theories/substrings/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure Substrings_Theory = GraphicalTheory( 4 | structure Data = Substrings_Data 5 | structure DataIO = Substrings_ComponentDataIO) 6 | 7 | 8 | (* Use this for convenience if you don't need annotations *) 9 | structure Substrings_GraphicalTheoryIO = GraphicalTheoryIO( 10 | structure Theory = Substrings_Theory 11 | structure GraphComponentDataIO = Substrings_ComponentDataIO 12 | ) 13 | -------------------------------------------------------------------------------- /core/theories/test/ruleset-test.ML: -------------------------------------------------------------------------------- 1 | (* test constrcution of rule and ruleset *) 2 | structure Test_BG_Ruleset = BangGraphRuleset(Test_BG_Rule); 3 | 4 | -------------------------------------------------------------------------------- /cosy/Makefile: -------------------------------------------------------------------------------- 1 | 2 | polychrome.: 3 | echo 'use "make_polychrome.ML";' | poly -H 200 4 | 5 | clean: 6 | rm -f chromeui/polychrome.polyml-heap 7 | find . -type d -name .polysave | xargs rm -rf 8 | -------------------------------------------------------------------------------- /cosy/chromeui/polychrome/console.sml: -------------------------------------------------------------------------------- 1 | structure Console = struct 2 | fun print (m) = 3 | let 4 | val json_obj = JSON.empty 5 | |> JSON.add ("type", JSON.Int 0) 6 | |> JSON.add ("output", (JSON.String m)) 7 | in 8 | PolyChrome.send_request (JSON.encode json_obj) 9 | end 10 | end; -------------------------------------------------------------------------------- /cosy/console.ML: -------------------------------------------------------------------------------- 1 | OS.FileSys.chDir "chromeui/"; 2 | 3 | PolyML.SaveState.loadState "polychrome.polyml-heap"; 4 | 5 | -------------------------------------------------------------------------------- /cosy/generators.ML: -------------------------------------------------------------------------------- 1 | use "tensor.ML"; 2 | 3 | val wunit = Tensor.tensor (2,0,1) 4 | [ 0, 5 | 1 ]; 6 | 7 | val wcounit = Tensor.tensor (2,1,0) 8 | [ 1, 0 ]; 9 | 10 | val wmult = Tensor.tensor (2,2,1) 11 | [ 0, 1, 1, 0, 12 | 0, 0, 0, 1 ]; 13 | 14 | val wcomult = Tensor.tensor (2,1,2) 15 | [ 1, 0, 16 | 0, 1, 17 | 0, 1, 18 | 0, 0 ]; 19 | 20 | val ghzmult = Tensor.tensor (2,2,1) 21 | [ 1, 0, 0, 0, 22 | 0, 0, 0, 1 ]; 23 | 24 | val ghzcomult = Tensor.tensor (2,1,2) 25 | [ 1, 0, 26 | 0, 0, 27 | 0, 0, 28 | 0, 1 ]; 29 | 30 | -------------------------------------------------------------------------------- /cosy/graph_equiv.ML: -------------------------------------------------------------------------------- 1 | signature GRAPH_EQUIV = 2 | sig 3 | structure Graph : BANG_GRAPH 4 | type T 5 | 6 | (* compute data that is used to check graph equivalence. This function may 7 | also do some renaming of the graph to put it in some canonical form (e.g. 8 | wrt. the ordering of inputs and outputs). *) 9 | val compute_equiv_data : Graph.T -> Graph.T * T 10 | val to_string : T -> string 11 | val eq : T * T -> bool 12 | end 13 | 14 | 15 | -------------------------------------------------------------------------------- /cosy/graph_equivalence.ML: -------------------------------------------------------------------------------- 1 | signature GRAPH_EQUIVALENCE = 2 | sig 3 | structure Graph : BANG_GRAPH 4 | val eq : Graph.T * Graph.T -> bool 5 | end 6 | 7 | 8 | -------------------------------------------------------------------------------- /cosy/load_heap.ML: -------------------------------------------------------------------------------- 1 | PolyML.SaveState.loadState "../core/heaps/quanto.polyml-heap"; 2 | -------------------------------------------------------------------------------- /docs/README-latex.txt: -------------------------------------------------------------------------------- 1 | In preamble add: 2 | 3 | \usepackage{tikz} 4 | \usepackage{tikzquanto} 5 | 6 | with these you can directly use the latex output from quanto in a 7 | latex paper. 8 | -------------------------------------------------------------------------------- /docs/cas_integration.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/cas_integration.png -------------------------------------------------------------------------------- /docs/cmus/Quantomatic.dmg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/cmus/Quantomatic.dmg -------------------------------------------------------------------------------- /docs/cmus/cmus_pres.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/cmus/cmus_pres.pdf -------------------------------------------------------------------------------- /docs/graphics/blank_doc.ai: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/blank_doc.ai -------------------------------------------------------------------------------- /docs/graphics/derive-icon.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/derive-icon.psd -------------------------------------------------------------------------------- /docs/graphics/derive_icon.ai: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/derive_icon.ai -------------------------------------------------------------------------------- /docs/graphics/derive_icon_small.ai: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/derive_icon_small.ai -------------------------------------------------------------------------------- /docs/graphics/graph-icon.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/graph-icon.psd -------------------------------------------------------------------------------- /docs/graphics/quantoderive.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.icns -------------------------------------------------------------------------------- /docs/graphics/quantoderive.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.ico -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_128x128.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_128x128.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_16x16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_16x16.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_16x16@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_16x16@2x.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_256x256.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_256x256.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_32x32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_32x32.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_512x512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_512x512.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_512x512@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_512x512@2x.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_64x64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_64x64.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.iconset/icon_64x64@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.iconset/icon_64x64@2x.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.other/icon_24x24.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.other/icon_24x24.png -------------------------------------------------------------------------------- /docs/graphics/quantoderive.other/icon_48x48.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/quantoderive.other/icon_48x48.png -------------------------------------------------------------------------------- /docs/graphics/rule-icon.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/graphics/rule-icon.psd -------------------------------------------------------------------------------- /docs/lyx_layouts/tikz_quanto.module: -------------------------------------------------------------------------------- 1 | #\DeclareLyXModule{TiKZ Quanto} 2 | #DescriptionBegin 3 | #Adds tikz quantomatic definitions 4 | #DescriptionEnd 5 | 6 | Format 11 7 | 8 | AddToPreamble 9 | \usepackage{tikzquanto} 10 | EndPreamble 11 | 12 | -------------------------------------------------------------------------------- /docs/matching_algo/.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | matching_algo.pdf -------------------------------------------------------------------------------- /docs/matching_algo/Rakefile: -------------------------------------------------------------------------------- 1 | task :default => ['build'] do 2 | cp Dir['matching_algo.tex', '*.dot'], 'build' 3 | cd 'build' 4 | Dir['*.dot'].each {|f| sh %{dot -Tpdf #{f} -o #{f[0..-5]}.pdf}} 5 | sh 'pdflatex matching_algo.tex' 6 | cd '..' 7 | cp 'build/matching_algo.pdf', '.' 8 | end 9 | 10 | directory 'build' 11 | 12 | task :clean do 13 | sh 'rm -rf build matching_algo.pdf' 14 | end 15 | 16 | task :view => ['default'] do 17 | sh 'xdg-open matching_algo.pdf' 18 | end 19 | -------------------------------------------------------------------------------- /docs/mathematica.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/mathematica.png -------------------------------------------------------------------------------- /docs/programming-quanto/Rakefile: -------------------------------------------------------------------------------- 1 | # Name of the tex file (without extension) 2 | $MAIN_JOB = 'manual' 3 | # What to name the archive/final version pdf 4 | $DIST_NAME = 'programming-quantomatic' 5 | # Any non-standard files to copy into the build dir 6 | $EXTRA_INCLUDES = [] 7 | 8 | import 'build.rake' 9 | -------------------------------------------------------------------------------- /docs/programming-quanto/tex/tikzfig.sty: -------------------------------------------------------------------------------- 1 | \usepackage{tikz} 2 | 3 | \usepackage{ifthen} 4 | \ifthenelse{\isundefined{\realjobname}}{}{\pgfrealjobname{\realjobname}} 5 | 6 | \usetikzlibrary{shapes} 7 | \usetikzlibrary[shapes.geometric] 8 | 9 | \newcommand{\tikzfig}[1]{% 10 | \beginpgfgraphicnamed{#1} 11 | \InputIfFileExists{#1.tikz}{}{\input{./figures/#1.tikz}} 12 | \endpgfgraphicnamed} 13 | 14 | \newcommand{\inlinetikzfig}[1]{\InputIfFileExists{#1.tikz}{}{\input{./figures/#1.tikz}}} 15 | -------------------------------------------------------------------------------- /docs/quanto.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/quanto.png -------------------------------------------------------------------------------- /docs/quanto2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/quanto2.png -------------------------------------------------------------------------------- /docs/quanto_icon_sm2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/docs/quanto_icon_sm2.png -------------------------------------------------------------------------------- /examples/ZX_CliffordT/E.qrule: -------------------------------------------------------------------------------- 1 | {"lhs":{"node_vertices":{"v0":{"data":{"type":"X","value":"- \\pi / 4"},"annotation":{"coord":[-0.25,-0.75]}},"v1":{"data":{"type":"Z","value":"\\pi / 4"},"annotation":{"coord":[-0.25,1.0]}}},"undir_edges":{"e0":{"src":"v1","tgt":"v0"}}},"rhs":{}} -------------------------------------------------------------------------------- /examples/ZX_CliffordT/S2.qrule: -------------------------------------------------------------------------------- 1 | {"lhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.75]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[0.0,0.75]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"b1"}}},"rhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.75,4.5]}},"b1":{"annotation":{"boundary":true,"coord":[-0.25,-5.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"b1"}}}} -------------------------------------------------------------------------------- /examples/ZX_CliffordT/S2s.qrule: -------------------------------------------------------------------------------- 1 | {"lhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-1.0,5.75]}},"b1":{"annotation":{"boundary":true,"coord":[-0.75,-2.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-1.0,2.5]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"b1"}}},"rhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[1.0,5.75]}},"b1":{"annotation":{"boundary":true,"coord":[1.0,-2.5]}}},"undir_edges":{"e0":{"src":"b0","tgt":"b1"}}}} -------------------------------------------------------------------------------- /examples/ZX_CliffordT/main.qproject: -------------------------------------------------------------------------------- 1 | {"theory":"red_green"} -------------------------------------------------------------------------------- /examples/demo/red_green/d1-control-not.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"c":{},"d":{},"e":{},"f":{}},"node_vertices":{"a":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"b":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}}},"undir_edges":{"Ea":{"src":"d","tgt":"a"},"Eb":{"src":"a","tgt":"b"},"Ec":{"src":"f","tgt":"b"},"Ed":{"src":"b","tgt":"e"},"Ee":{"src":"a","tgt":"c"}}} -------------------------------------------------------------------------------- /examples/demo/red_green/d5-non_term.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{}},"node_vertices":{"e":{"data":{"type":"Z","label":"a","value":{"vars":{"a":{"denom":1,"num":1}},"pretty":"a"}}},"g":{"data":{"type":"hadamard"}},"h":{"data":{"type":"hadamard"}}},"undir_edges":{"Ea":{"src":"b","tgt":"g"},"Eb":{"src":"g","tgt":"e"},"Ec":{"src":"e","tgt":"h"},"Ed":{"src":"h","tgt":"a"}}} -------------------------------------------------------------------------------- /examples/demo/red_green/triangle_left.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{},"c":{}},"node_vertices":{"d":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}},"e":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}},"f":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}}},"undir_edges":{"a":{"src":"d","tgt":"f"},"b":{"src":"f","tgt":"e"},"c":{"src":"d","tgt":"e"},"d":{"src":"a","tgt":"d"},"e":{"src":"c","tgt":"e"},"f":{"src":"b","tgt":"f"}}} -------------------------------------------------------------------------------- /examples/demo/red_green/triangle_right.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{},"c":{}},"node_vertices":{"d":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}}},"undir_edges":{"a":{"src":"c","tgt":"d"},"b":{"src":"a","tgt":"d"},"c":{"src":"b","tgt":"d"}}} -------------------------------------------------------------------------------- /examples/isaplanner_rtechn/test2.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Va":{},"Vd":{}},"node_vertices":{"id":{"data":{"value":"id","label":"id","type":"RT"}},"ie":{"data":{"value":"ie","label":"ie","type":"RT"}},"G":{"data":{"type":"Gs","label":"","value":{"goal_type":"","goal_names":[]}}}},"dir_edges":{"Ea":{"src":"id","tgt":"ie","data":"goal0a"},"goal0":{"src":"Va","tgt":"G","data":"goal0"},"goal1":{"src":"G","tgt":"id","data":"goal0"},"goal3":{"src":"ie","tgt":"Vd","data":"goal0c"}}} -------------------------------------------------------------------------------- /examples/red_green/GHZstate.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"b":{},"c":{},"d":{}},"node_vertices":{"a":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}}},"undir_edges":{"Ea":{"src":"a","tgt":"b"},"Eb":{"src":"a","tgt":"c"},"Ec":{"src":"a","tgt":"d"}}} -------------------------------------------------------------------------------- /examples/red_green/angle_test.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"c":{},"d":{}},"node_vertices":{"i":{"data":{"type":"X","label":"\\pi","value":{"pi":{"denom":1,"num":1},"pretty":"\\pi"}}},"j":{"data":{"type":"Z","label":"-a","value":{"vars":{"a":{"denom":1,"num":-1}},"pretty":"-a"}}}},"undir_edges":{"Eg":{"src":"j","tgt":"c"},"Eh":{"src":"i","tgt":"j"},"Ei":{"src":"d","tgt":"i"}}} -------------------------------------------------------------------------------- /examples/red_green/bug1.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"k":{}},"node_vertices":{"a":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"g":{"data":{"type":"Z","label":"(1/4) \\pi","value":{"pi":{"denom":4,"num":1},"pretty":"(1/4) \\pi"}}},"h":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"spider0":{"data":{"type":"Z","label":"(3/4) \\pi","value":{"pi":{"denom":4,"num":3},"pretty":"(3/4) \\pi"}}}},"undir_edges":{"Ea":{"src":"g","tgt":"k"},"Eb":{"src":"a","tgt":"g"},"Ed":{"src":"spider0","tgt":"a"},"Ek":{"src":"a","tgt":"h"}}} -------------------------------------------------------------------------------- /examples/red_green/bug_selfloop.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"a":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"b":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}}},"undir_edges":{"Ea":{"src":"b","tgt":"a"},"Eb":{"src":"b","tgt":"b"}}} -------------------------------------------------------------------------------- /examples/red_green/error_case_1.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{},"c":{},"d":{}},"node_vertices":{"i":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"k":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}},"t":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}}},"undir_edges":{"Ed":{"src":"k","tgt":"t"},"Ee":{"src":"i","tgt":"k"},"Eh":{"src":"c","tgt":"k"},"Ej":{"src":"i","tgt":"d"},"El":{"src":"k","tgt":"b"},"Et":{"src":"t","tgt":"i"},"Eu":{"src":"t","tgt":"a"}}} -------------------------------------------------------------------------------- /examples/red_green/spider-lhs.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{}},"node_vertices":{"c":{"data":{"type":"X","label":"a","value":{"vars":{"a":{"denom":1,"num":1}},"pretty":"a"}}},"d":{"data":{"type":"X","label":"b","value":{"vars":{"b":{"denom":1,"num":1}},"pretty":"b"}}}},"undir_edges":{"Ea":{"src":"d","tgt":"b"},"Eb":{"src":"a","tgt":"c"},"Ec":{"src":"c","tgt":"d"}},"bang_boxes":{"Ba":{"contents":["a"]},"Bb":{"contents":["b"]}}} -------------------------------------------------------------------------------- /examples/red_green/spider-rhs.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{}},"node_vertices":{"c":{"data":{"type":"X","label":"a + b","value":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}}},"undir_edges":{"Ea":{"src":"c","tgt":"b"},"Eb":{"src":"a","tgt":"c"}},"bang_boxes":{"Ba":{"contents":["a"]},"Bb":{"contents":["b"]}}} -------------------------------------------------------------------------------- /examples/red_green/supp_lhs.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{}},"node_vertices":{"c":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"d":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"e":{"data":{"type":"Z","label":"-a","value":{"vars":{"a":{"denom":1,"num":-1}},"pretty":"-a"}}},"f":{"data":{"type":"Z","label":"a","value":{"vars":{"a":{"denom":1,"num":1}},"pretty":"a"}}}},"undir_edges":{"Ea":{"src":"a","tgt":"d"},"Eb":{"src":"d","tgt":"f"},"Ec":{"src":"d","tgt":"e"},"Ed":{"src":"e","tgt":"c"},"Ee":{"src":"f","tgt":"c"},"Ef":{"src":"c","tgt":"b"}}} -------------------------------------------------------------------------------- /examples/red_green/supp_rhs.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{}},"node_vertices":{"c":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"d":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}}},"undir_edges":{"Ea":{"src":"a","tgt":"d"},"Eb":{"src":"c","tgt":"b"}}} -------------------------------------------------------------------------------- /examples/red_green/supplement_rhs.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"h":{},"i":{}},"node_vertices":{"a":{"data":{"type":"X","label":"\\pi","value":{"pi":{"denom":1,"num":1},"pretty":"\\pi"}}},"b":{"data":{"type":"X","label":"\\pi","value":{"pi":{"denom":1,"num":1},"pretty":"\\pi"}}},"c":{"data":{"type":"X","label":"\\pi","value":{"pi":{"denom":1,"num":1},"pretty":"\\pi"}}},"d":{"data":{"type":"X","label":"\\pi","value":{"pi":{"denom":1,"num":1},"pretty":"\\pi"}}}},"undir_edges":{"Ea":{"src":"d","tgt":"a"},"Eb":{"src":"b","tgt":"c"},"Eh":{"src":"a","tgt":"h"},"Ei":{"src":"c","tgt":"i"}}} -------------------------------------------------------------------------------- /examples/steane/sp2legs.qgraph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Vc":{"annotation":{"quanto-gui:position":"154:20"}},"Vd":{"annotation":{"quanto-gui:position":"201:20"}}},"node_vertices":{"Va":{"data":{"type":"X","label":"0","value":{"pretty":"0"}},"annotation":{"quanto-gui:position":"175:66"}},"Vb":{"data":{"type":"X","label":"0","value":{"pretty":"0"}},"annotation":{"quanto-gui:position":"175:130"}}},"undir_edges":{"Ea":{"src":"Vc","tgt":"Va"},"Eb":{"src":"Vd","tgt":"Va"},"Ec":{"src":"Va","tgt":"Vb"}}} -------------------------------------------------------------------------------- /examples/steane/splhs.qgraph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Vc":{"annotation":{"quanto-gui:position":"154:20"}}},"node_vertices":{"Va":{"data":{"type":"X","label":"0","value":{"pretty":"0"}},"annotation":{"quanto-gui:position":"60:20"}},"Vb":{"data":{"type":"X","label":"0","value":{"pretty":"0"}},"annotation":{"quanto-gui:position":"107:20"}}},"undir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vb","tgt":"Vc"}},"bang_boxes":{"Ba":{"contents":["Vc"]}}} -------------------------------------------------------------------------------- /gui/app_skel.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/app_skel.zip -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/blockmodel/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/blockmodel/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/cluster/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/cluster/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/filters/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/filters/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/flows/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/flows/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/generators/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/generators/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/generators/random/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/generators/random/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/layout/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/layout/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/layout/util/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/layout/util/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/matrix/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/matrix/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/metrics/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/metrics/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/scoring/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/scoring/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/scoring/util/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/scoring/util/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/shortestpath/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/shortestpath/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/transformation/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/transformation/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/algorithms/util/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/algorithms/util/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/contrib/algorithms/layout/DotException.java: -------------------------------------------------------------------------------- 1 | package edu.uci.ics.jung.contrib.algorithms.layout; 2 | 3 | public class DotException extends RuntimeException { 4 | 5 | private static final long serialVersionUID = 8173148319748759814L; 6 | 7 | public DotException(String s) { 8 | super(s); 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/contrib/algorithms/layout/DynamicBoundsLayout.java: -------------------------------------------------------------------------------- 1 | /* 2 | * To change this template, choose Tools | Templates 3 | * and open the template in the editor. 4 | */ 5 | 6 | package edu.uci.ics.jung.contrib.algorithms.layout; 7 | 8 | /** 9 | * 10 | * @author alex 11 | */ 12 | public interface DynamicBoundsLayout { 13 | public void recalculateSize(); 14 | } 15 | -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/contrib/graph/DirectedBangBoxGraph.java: -------------------------------------------------------------------------------- 1 | /* 2 | * To change this template, choose Tools | Templates 3 | * and open the template in the editor. 4 | */ 5 | 6 | package edu.uci.ics.jung.contrib.graph; 7 | 8 | import edu.uci.ics.jung.graph.DirectedGraph; 9 | 10 | /** 11 | * Interface for a directed graph with a collection of subgraphs, known as 12 | * !-boxes. 13 | * 14 | * @author alex 15 | */ 16 | public interface DirectedBangBoxGraph 17 | extends BangBoxGraph, 18 | DirectedGraph { 19 | } 20 | -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/graph/event/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/graph/event/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/graph/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/graph/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/graph/util/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/graph/util/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/Layer.java: -------------------------------------------------------------------------------- 1 | package edu.uci.ics.jung.visualization; 2 | 3 | public enum Layer { 4 | LAYOUT, VIEW 5 | } 6 | -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/annotations/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/annotations/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/control/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/control/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/decorators/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/decorators/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/layout/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/layout/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/picking/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/picking/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/renderers/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/renderers/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/subLayout/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/subLayout/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/transform/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/transform/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/transform/shape/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/transform/shape/package.html -------------------------------------------------------------------------------- /gui/jung-src/edu/uci/ics/jung/visualization/util/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/jung-src/edu/uci/ics/jung/visualization/util/package.html -------------------------------------------------------------------------------- /gui/lib/collections-generic-4.01.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/lib/collections-generic-4.01.jar -------------------------------------------------------------------------------- /gui/lib/colt-1.2.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/lib/colt-1.2.0.jar -------------------------------------------------------------------------------- /gui/lib/iText-5.0.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/lib/iText-5.0.6.jar -------------------------------------------------------------------------------- /gui/lib/jackson-annotations-2.1.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/lib/jackson-annotations-2.1.0.jar -------------------------------------------------------------------------------- /gui/lib/jackson-core-2.1.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/lib/jackson-core-2.1.0.jar -------------------------------------------------------------------------------- /gui/lib/jackson-databind-2.1.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/lib/jackson-databind-2.1.0.jar -------------------------------------------------------------------------------- /gui/lib/javacc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/lib/javacc.jar -------------------------------------------------------------------------------- /gui/lindenb-src/org/lindenb/sw/vocabulary/Namespace.java: -------------------------------------------------------------------------------- 1 | package org.lindenb.sw.vocabulary; 2 | 3 | public class Namespace { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /gui/lindenb-src/org/lindenb/sw/vocabulary/SVG.java: -------------------------------------------------------------------------------- 1 | package org.lindenb.sw.vocabulary; 2 | 3 | public class SVG extends Namespace { 4 | public static final String NS="http://www.w3.org/2000/svg"; 5 | public static final String DOCTYPE=""; 6 | } 7 | -------------------------------------------------------------------------------- /gui/lindenb-src/org/lindenb/util/Compilation.java: -------------------------------------------------------------------------------- 1 | /** 2 | * 3 | */ 4 | package org.lindenb.util; 5 | 6 | /** 7 | * @author pierre 8 | * 9 | */ 10 | public class Compilation { 11 | private Compilation() 12 | { 13 | 14 | } 15 | static public String getName() { return "?";} 16 | static public String getDate() { return "__DATE__";} 17 | static public String getUser() { return "__USER__";} 18 | static public String getPath() { return "__PWD__";} 19 | static public String getLabel() { return "Compiled by "+getUser()+" on "+getDate()+" in "+getPath();} 20 | } 21 | -------------------------------------------------------------------------------- /gui/resources/icons/quanto_icon_128.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/icons/quanto_icon_128.png -------------------------------------------------------------------------------- /gui/resources/icons/quanto_icon_16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/icons/quanto_icon_16.png -------------------------------------------------------------------------------- /gui/resources/icons/quanto_icon_24.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/icons/quanto_icon_24.png -------------------------------------------------------------------------------- /gui/resources/icons/quanto_icon_32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/icons/quanto_icon_32.png -------------------------------------------------------------------------------- /gui/resources/icons/quanto_icon_48.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/icons/quanto_icon_48.png -------------------------------------------------------------------------------- /gui/resources/icons/quanto_icon_512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/icons/quanto_icon_512.png -------------------------------------------------------------------------------- /gui/resources/icons/quanto_icon_64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/icons/quanto_icon_64.png -------------------------------------------------------------------------------- /gui/resources/theories/black_white/black-white-theory.qth: -------------------------------------------------------------------------------- 1 | { 2 | "name": "Black/White", 3 | "coreName": "ghz_w", 4 | "vertexTypePath": "", 5 | "vertexTypes": { 6 | "GHZ": { 7 | "mnemonic": "g", 8 | "visualization": { 9 | "node": "white.svg" 10 | } 11 | }, 12 | "W": { 13 | "mnemonic": "w", 14 | "visualization": { 15 | "node": "black.svg" 16 | } 17 | } 18 | } 19 | } 20 | -------------------------------------------------------------------------------- /gui/resources/theories/black_white/black.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | -------------------------------------------------------------------------------- /gui/resources/theories/black_white/white.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | -------------------------------------------------------------------------------- /gui/resources/theories/red_green/green.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | -------------------------------------------------------------------------------- /gui/resources/theories/red_green/red.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | -------------------------------------------------------------------------------- /gui/resources/theories/string/string-theory.qth: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 10 | 11 | 12 | 13 | -------------------------------------------------------------------------------- /gui/resources/theories/string/white.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Applet16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Applet16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Applet24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Applet24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Application16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Application16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Application24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Application24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/ApplicationDeploy16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/ApplicationDeploy16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/ApplicationDeploy24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/ApplicationDeploy24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Bean16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Bean16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Bean24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Bean24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/BeanAdd16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/BeanAdd16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/BeanAdd24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/BeanAdd24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBean16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBean16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBean24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBean24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBeanJar16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBeanJar16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBeanJar24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/EnterpriseJavaBeanJar24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Host16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Host16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Host24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Host24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEApplication16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEApplication16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEApplication24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEApplication24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEApplicationClient16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEApplicationClient16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEApplicationClient24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEApplicationClient24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEApplicationClientAdd16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEApplicationClientAdd16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEApplicationClientAdd24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEApplicationClientAdd24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEServer16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEServer16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/J2EEServer24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/J2EEServer24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Jar16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Jar16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Jar24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Jar24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/JarAdd16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/JarAdd16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/JarAdd24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/JarAdd24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Server16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Server16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/Server24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/Server24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/War16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/War16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/War24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/War24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/WarAdd16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/WarAdd16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/WarAdd24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/WarAdd24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/WebComponent16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/WebComponent16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/WebComponent24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/WebComponent24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/WebComponentAdd16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/WebComponentAdd16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/development/WebComponentAdd24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/development/WebComponentAdd24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/About16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/About16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/About24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/About24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Add16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Add16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Add24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Add24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignBottom16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignBottom16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignBottom24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignBottom24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignCenter16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignCenter16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignCenter24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignCenter24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignJustifyHorizontal16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignJustifyHorizontal16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignJustifyHorizontal24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignJustifyHorizontal24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignJustifyVertical16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignJustifyVertical16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignJustifyVertical24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignJustifyVertical24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignLeft16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignLeft16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignLeft24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignLeft24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignRight16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignRight16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignRight24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignRight24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignTop16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignTop16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/AlignTop24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/AlignTop24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Bookmarks16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Bookmarks16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Bookmarks24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Bookmarks24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ComposeMail16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ComposeMail16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ComposeMail24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ComposeMail24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ContextualHelp16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ContextualHelp16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ContextualHelp24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ContextualHelp24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Copy16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Copy16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Copy24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Copy24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Cut16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Cut16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Cut24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Cut24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Delete16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Delete16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Delete24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Delete24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Edit16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Edit16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Edit24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Edit24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Export16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Export16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Export24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Export24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Find16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Find16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Find24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Find24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/FindAgain16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/FindAgain16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/FindAgain24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/FindAgain24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Help16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Help16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Help24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Help24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/History16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/History16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/History24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/History24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Import16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Import16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Import24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Import24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Information16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Information16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Information24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Information24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/New16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/New16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/New24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/New24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Open16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Open16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Open24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Open24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/PageSetup16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/PageSetup16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/PageSetup24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/PageSetup24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Paste16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Paste16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Paste24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Paste24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Preferences16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Preferences16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Preferences24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Preferences24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Print16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Print16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Print24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Print24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/PrintPreview16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/PrintPreview16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/PrintPreview24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/PrintPreview24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Properties16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Properties16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Properties24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Properties24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Redo16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Redo16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Redo24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Redo24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Refresh16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Refresh16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Refresh24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Refresh24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Remove16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Remove16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Remove24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Remove24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Replace16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Replace16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Replace24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Replace24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Save16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Save16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Save24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Save24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/SaveAll16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/SaveAll16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/SaveAll24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/SaveAll24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/SaveAs16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/SaveAs16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/SaveAs24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/SaveAs24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Search16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Search16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Search24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Search24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Select16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Select16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Select24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Select24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/SendMail16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/SendMail16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/SendMail24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/SendMail24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Stop16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Stop16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Stop24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Stop24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/TipOfTheDay16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/TipOfTheDay16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/TipOfTheDay24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/TipOfTheDay24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Undo16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Undo16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Undo24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Undo24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Zoom16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Zoom16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/Zoom24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/Zoom24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ZoomIn16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ZoomIn16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ZoomIn24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ZoomIn24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ZoomOut16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ZoomOut16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/general/ZoomOut24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/general/ZoomOut24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/FastForward16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/FastForward16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/FastForward24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/FastForward24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Movie16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Movie16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Movie24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Movie24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Pause16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Pause16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Pause24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Pause24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Play16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Play16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Play24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Play24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Rewind16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Rewind16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Rewind24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Rewind24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/StepBack16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/StepBack16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/StepBack24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/StepBack24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/StepForward16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/StepForward16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/StepForward24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/StepForward24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Stop16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Stop16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Stop24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Stop24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Volume16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Volume16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/media/Volume24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/media/Volume24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Back16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Back16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Back24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Back24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Down16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Down16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Down24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Down24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Forward16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Forward16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Forward24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Forward24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Home16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Home16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Home24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Home24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Up16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Up16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/navigation/Up24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/navigation/Up24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/BangVertex32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/BangVertex32.png -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/BangVertex64.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/BangVertex64.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/Compute16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/Compute16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/Compute24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/Compute24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/ComputeAdd16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/ComputeAdd16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/ComputeAdd24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/ComputeAdd24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/ComputeRemove16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/ComputeRemove16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/ComputeRemove24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/ComputeRemove24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/DirectedLink16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/DirectedLink16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/DuplicateBangBox32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/DuplicateBangBox32.png -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/EdgePointIcon20.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/EdgePointIcon20.png -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/KillBangBox32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/KillBangBox32.png -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/Link16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/Link16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/Lock12.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/Lock12.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/Lock24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/Lock24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/UnbangVertex32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/UnbangVertex32.png -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/Unlock12.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/Unlock12.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/quanto/Unlock24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/quanto/Unlock24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/ColumnDelete16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/ColumnDelete16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/ColumnDelete24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/ColumnDelete24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/ColumnInsertAfter16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/ColumnInsertAfter16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/ColumnInsertAfter24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/ColumnInsertAfter24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/ColumnInsertBefore16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/ColumnInsertBefore16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/ColumnInsertBefore24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/ColumnInsertBefore24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/RowDelete16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/RowDelete16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/RowDelete24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/RowDelete24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/RowInsertAfter16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/RowInsertAfter16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/RowInsertAfter24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/RowInsertAfter24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/RowInsertBefore16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/RowInsertBefore16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/table/RowInsertBefore24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/table/RowInsertBefore24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignCenter16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignCenter16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignCenter24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignCenter24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignJustify16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignJustify16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignJustify24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignJustify24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignLeft16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignLeft16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignLeft24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignLeft24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignRight16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignRight16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/AlignRight24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/AlignRight24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Bold16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Bold16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Bold24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Bold24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Italic16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Italic16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Italic24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Italic24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Normal16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Normal16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Normal24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Normal24.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Underline16.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Underline16.gif -------------------------------------------------------------------------------- /gui/resources/toolbarButtonGraphics/text/Underline24.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/gui/resources/toolbarButtonGraphics/text/Underline24.gif -------------------------------------------------------------------------------- /gui/src/quanto/core/CoreChangeListener.java: -------------------------------------------------------------------------------- 1 | /* 2 | * To change this template, choose Tools | Templates 3 | * and open the template in the editor. 4 | */ 5 | package quanto.core; 6 | 7 | import java.util.EventListener; 8 | 9 | /** 10 | * 11 | * @author alemer 12 | */ 13 | public interface CoreChangeListener extends EventListener { 14 | void theoryAboutToChange(TheoryChangeEvent evt); 15 | void theoryChanged(TheoryChangeEvent evt); 16 | } 17 | -------------------------------------------------------------------------------- /gui/src/quanto/core/data/GraphElementMathsData.java: -------------------------------------------------------------------------------- 1 | /* 2 | * To change this template, choose Tools | Templates 3 | * and open the template in the editor. 4 | */ 5 | package quanto.core.data; 6 | 7 | /** 8 | * 9 | * @author alemer 10 | */ 11 | public class GraphElementMathsData extends GraphElementData { 12 | 13 | public GraphElementMathsData(String value) { 14 | super(value); 15 | } 16 | 17 | @Override 18 | public String getDisplayString() { 19 | return TexConstants.translate(getEditableString()); 20 | } 21 | } 22 | -------------------------------------------------------------------------------- /gui/src/quanto/core/data/VertexVisualizationData.java: -------------------------------------------------------------------------------- 1 | package quanto.core.data; 2 | 3 | import java.awt.Color; 4 | import java.awt.Shape; 5 | import javax.swing.Icon; 6 | 7 | public interface VertexVisualizationData { 8 | Shape getShape(); 9 | Color getLabelColour(); 10 | Icon getIcon(); 11 | } 12 | -------------------------------------------------------------------------------- /gui/src/quanto/core/protocol/CommandArgumentsException.java: -------------------------------------------------------------------------------- 1 | package quanto.core.protocol; 2 | 3 | /** 4 | * The command was given the wrong arguments 5 | */ 6 | public class CommandArgumentsException extends CommandException { 7 | 8 | private static final long serialVersionUID = 1232814923748927383L; 9 | 10 | public CommandArgumentsException(String message) { 11 | super("BADARGS", message); 12 | } 13 | } 14 | -------------------------------------------------------------------------------- /gui/src/quanto/core/protocol/CommandException.java: -------------------------------------------------------------------------------- 1 | package quanto.core.protocol; 2 | 3 | import quanto.core.CoreException; 4 | 5 | /** 6 | * A command failed 7 | */ 8 | public class CommandException extends CoreException { 9 | 10 | private static final long serialVersionUID = 1232814923748927383L; 11 | private String code; 12 | 13 | public CommandException(String code, String message) { 14 | super(message); 15 | this.code = code; 16 | } 17 | 18 | public String getCode() { 19 | return code; 20 | } 21 | } 22 | -------------------------------------------------------------------------------- /gui/src/quanto/core/protocol/userdata/QuantoAppUserDataSerializer.java: -------------------------------------------------------------------------------- 1 | package quanto.core.protocol.userdata; 2 | 3 | import quanto.core.protocol.CoreTalker; 4 | 5 | /** 6 | * User: benjaminfrot 7 | * Date: 7/21/12 8 | */ 9 | public class QuantoAppUserDataSerializer { 10 | protected String prefix = "quanto-gui:"; 11 | protected CoreTalker talker = null; 12 | public QuantoAppUserDataSerializer(CoreTalker talker) { 13 | this.talker = talker; 14 | } 15 | } 16 | -------------------------------------------------------------------------------- /gui/src/quanto/core/protocol/userdata/dataserialization/DataSerializer.java: -------------------------------------------------------------------------------- 1 | package quanto.core.protocol.userdata.dataserialization; 2 | 3 | /** 4 | * User: benjaminfrot 5 | * Date: 7/21/12 6 | */ 7 | 8 | /* 9 | Convert data to and from String 10 | */ 11 | public interface DataSerializer { 12 | public D fromString(String data); 13 | public String toString(D data); 14 | } 15 | -------------------------------------------------------------------------------- /gui/src/quanto/core/protocol/userdata/dataserialization/IntegerDataSerializer.java: -------------------------------------------------------------------------------- 1 | package quanto.core.protocol.userdata.dataserialization; 2 | 3 | /** 4 | * User: benjaminfrot 5 | * Date: 7/21/12 6 | */ 7 | public class IntegerDataSerializer implements DataSerializer { 8 | public Integer fromString(String data) { 9 | return Integer.parseInt(data); 10 | } 11 | 12 | public String toString(Integer data) { 13 | return Integer.toString(data); 14 | } 15 | } 16 | -------------------------------------------------------------------------------- /gui/src/quanto/core/protocol/userdata/dataserialization/StringDataSerializer.java: -------------------------------------------------------------------------------- 1 | package quanto.core.protocol.userdata.dataserialization; 2 | 3 | /** 4 | * User: benjaminfrot 5 | * Date: 7/21/12 6 | */ 7 | 8 | //Identity 9 | 10 | public class StringDataSerializer implements DataSerializer { 11 | public String fromString(String data) { 12 | return data; 13 | } 14 | 15 | public String toString(String data) { 16 | return data; 17 | } 18 | } 19 | -------------------------------------------------------------------------------- /gui/src/quanto/gui/DuplicateTheoryException.java: -------------------------------------------------------------------------------- 1 | package quanto.gui; 2 | 3 | /** 4 | * 5 | * @author alex 6 | */ 7 | public class DuplicateTheoryException extends Exception { 8 | 9 | private String theoryName; 10 | 11 | public DuplicateTheoryException(String theoryName) { 12 | super("There is already a theory called \"" + theoryName + "\""); 13 | this.theoryName = theoryName; 14 | } 15 | 16 | public String getTheoryName() { 17 | return theoryName; 18 | } 19 | } 20 | -------------------------------------------------------------------------------- /gui/src/quanto/gui/RecentDirectoryChangeListener.java: -------------------------------------------------------------------------------- 1 | package quanto.gui; 2 | 3 | import java.io.File; 4 | import java.util.EventListener; 5 | 6 | /** 7 | * 8 | * @author alex 9 | */ 10 | public interface RecentDirectoryChangeListener extends EventListener { 11 | void recentDirectoryChanged(Object source, File directory); 12 | } 13 | -------------------------------------------------------------------------------- /gui/src/quanto/gui/ViewUnavailableException.java: -------------------------------------------------------------------------------- 1 | package quanto.gui; 2 | 3 | /** 4 | * 5 | * @author alemer 6 | */ 7 | public class ViewUnavailableException extends RuntimeException { 8 | 9 | private static final long serialVersionUID = 5716777233300586133L; 10 | } 11 | -------------------------------------------------------------------------------- /oldcore/build_heap.ML: -------------------------------------------------------------------------------- 1 | val _ = PolyML.Compiler.printDepth := 0; 2 | val _ = PolyML.exception_trace (fn () => PolyML.use "ROOT.ML") 3 | handle _ => OS.Process.exit OS.Process.failure; 4 | PolyML.Project.ensure_at_latest_heap (); 5 | PolyML.fullGC (); 6 | PolyML.SaveState.saveState "heaps/quanto.heap"; 7 | val _ = OS.Process.exit OS.Process.success; 8 | -------------------------------------------------------------------------------- /oldcore/buildheap.bat: -------------------------------------------------------------------------------- 1 | ..\scala\dist\windows-dist\poly.exe --use build_heap.ML 2 | -------------------------------------------------------------------------------- /oldcore/dnets/.gitignore: -------------------------------------------------------------------------------- 1 | /*.txt 2 | -------------------------------------------------------------------------------- /oldcore/example_code/ROOT.ML: -------------------------------------------------------------------------------- 1 | Testing.make_test "ml_hackery.ML"; 2 | Testing.make_test "graph_io_and_basic_manipulation.ML"; 3 | Testing.make_test "../layout/ograph_layout.ML"; 4 | Testing.make_test "layout.ML"; 5 | 6 | 7 | -------------------------------------------------------------------------------- /oldcore/example_code/foo.svg: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | -------------------------------------------------------------------------------- /oldcore/example_code/ml_hackery.ML: -------------------------------------------------------------------------------- 1 | (*------------------------------------------------------------------------------ 2 | This file demonstrates some handy bits of ML for playing with graphs in Quantomatic. 3 | ------------------------------------------------------------------------------*) 4 | 5 | local 6 | structure Theory = RTechn_Theory 7 | open Theory 8 | in 9 | val g = "../theories/isaplanner_rtechn/test/graphs/rippling.graph" 10 | |> Json.read_file 11 | |> GraphJSON.input 12 | end 13 | -------------------------------------------------------------------------------- /oldcore/interface/control_interface.ML: -------------------------------------------------------------------------------- 1 | signature CONTROL_INTERFACE 2 | = sig 3 | val run_in_textstreams : TextIO.instream * TextIO.outstream -> unit 4 | val run_in_stdio : unit -> unit 5 | end; -------------------------------------------------------------------------------- /oldcore/io/graph_component_io.ML: -------------------------------------------------------------------------------- 1 | signature GRAPH_COMPONENT_DATA_IO = 2 | sig 3 | type nvdata 4 | type edata 5 | 6 | structure IVDataInputJSON : INPUT_JSON 7 | where type data = nvdata 8 | structure IVDataOutputJSON : OUTPUT_JSON 9 | where type data = nvdata 10 | structure EDataInputJSON : INPUT_JSON 11 | where type data = edata 12 | structure EDataOutputJSON : OUTPUT_JSON 13 | where type data = edata 14 | structure DotStyle : DOT_STYLE 15 | where type nvdata = nvdata 16 | end 17 | -------------------------------------------------------------------------------- /oldcore/io/input.ML: -------------------------------------------------------------------------------- 1 | signature INPUT = 2 | sig 3 | type T 4 | type data 5 | val input : T -> data 6 | 7 | exception bad_input_exp of string*string; (* message, location *) 8 | end; 9 | -------------------------------------------------------------------------------- /oldcore/io/output.ML: -------------------------------------------------------------------------------- 1 | signature OUTPUT = 2 | sig 3 | type data 4 | type T 5 | val output : data -> T 6 | end; 7 | -------------------------------------------------------------------------------- /oldcore/isabelle/QuantoCore.thy: -------------------------------------------------------------------------------- 1 | theory QuantoCore 2 | imports io 3 | begin 4 | 5 | end 6 | -------------------------------------------------------------------------------- /oldcore/json_interface/controller_module.ML: -------------------------------------------------------------------------------- 1 | 2 | signature CONTROLLER_MODULE = 3 | sig 4 | (* a table mapping function name to function * docstring *) 5 | val ftab : JsonControllerUtil.ftab 6 | end 7 | -------------------------------------------------------------------------------- /oldcore/matching/test/test-concrete-matcher.ML: -------------------------------------------------------------------------------- 1 | structure Test_ConcreteMatcher = 2 | ConcreteMatchSearch(Test_OGraph); 3 | 4 | (* set to 4 for really detailed messages *) 5 | (* 6 | Test_ConcreteMatcher.Log.level_ref := 2; 7 | *) 8 | 9 | structure Concrete_Matcher_Tests = 10 | SG_To_SG_Matching_Tests(Test_Match_Tools(Test_ConcreteMatcher)) 11 | 12 | -------------------------------------------------------------------------------- /oldcore/rewriting/indexing/test/results/std-match-1-5.txt: -------------------------------------------------------------------------------- 1 | 0 10 50 2 2 | 2 10 100 6 3 | 3 10 150 10 4 | 1 10 200 9 5 | 3 10 250 15 6 | 2 20 50 3 7 | 1 20 100 8 8 | 6 20 150 16 9 | 3 20 200 19 10 | 6 20 250 23 11 | 6 30 50 6 12 | 4 30 100 13 13 | 7 30 150 19 14 | 4 30 200 26 15 | 4 30 250 32 16 | 1 40 50 8 17 | 3 40 100 20 18 | 7 40 150 41 19 | 9 40 200 49 20 | 10 40 250 52 21 | 1 50 50 8 22 | 10 50 100 19 23 | 7 50 150 28 24 | 16 50 200 79 25 | 15 50 250 52 26 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/.gitignore: -------------------------------------------------------------------------------- 1 | /*.dot 2 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-1-expected.graph: -------------------------------------------------------------------------------- 1 | { 2 | "node_vertices" : ["a","b","c"], 3 | "dir_edges" : 4 | { 5 | "1" : { "src" : "a", "tgt" : "b" }, 6 | "2" : { "src" : "b", "tgt" : "c" } 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-1-lhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["a","b"], 3 | "dir_edges" : 4 | { 5 | "1" : { "src" : "a", "tgt" : "b" } 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-1-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["a","b"], 3 | "node_vertices" : ["c"], 4 | "dir_edges" : 5 | { 6 | "2" : { "src" : "a", "tgt" : "c" }, 7 | "3" : { "src" : "c", "tgt" : "b" } 8 | } 9 | } 10 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-1-target.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["n","o"], 3 | "node_vertices" : ["m","p"], 4 | "dir_edges" : 5 | { 6 | "10" : { "src" : "m", "tgt" : "n" }, 7 | "11" : { "src" : "n", "tgt" : "o" }, 8 | "12" : { "src" : "o", "tgt" : "p" } 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-2-expected.graph: -------------------------------------------------------------------------------- 1 | { 2 | "node_vertices" : ["Va","Vb","Vc"], 3 | "dir_edges" : 4 | { 5 | "Ea" : { "src" : "Va", "tgt" : "Vb" }, 6 | "Eb" : { "src" : "Vb", "tgt" : "Vc" } 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-2-lhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["Vf","Ve"], 3 | "dir_edges" : 4 | { 5 | "Ea" : { "src" : "Vf", "tgt" : "Ve" } 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-2-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["Ve","Vf"], 3 | "node_vertices" : ["Va"], 4 | "dir_edges" : 5 | { 6 | "Ea" : { "src" : "Vf", "tgt" : "Va" }, 7 | "Eb" : { "src" : "Va", "tgt" : "Ve" } 8 | } 9 | } 10 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/bare-wire-rule-2-target.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["Vc","Vd"], 3 | "node_vertices" : ["Va","Vb"], 4 | "dir_edges" : 5 | { 6 | "Ea" : { "src" : "Va", "tgt" : "Vc" }, 7 | "Eb" : { "src" : "Vc", "tgt" : "Vd" }, 8 | "Ec" : { "src" : "Vd", "tgt" : "Vb" } 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/spider-expected.graph: -------------------------------------------------------------------------------- 1 | { 2 | "node_vertices" : { 3 | "x1":{"data":"vunit1"}, 4 | "z1":{"data":"vunit2"}, 5 | "z2":{"data":"vunit2"}, 6 | "z3":{"data":"vunit2"}, 7 | "z4":{"data":"vunit2"} 8 | }, 9 | "dir_edges" : { 10 | "e1": { "src" : "z1", "tgt" : "x1" }, 11 | "e2": { "src" : "z2", "tgt" : "x1" }, 12 | "e3": { "src" : "x1", "tgt" : "z3" }, 13 | "e4": { "src" : "x1", "tgt" : "z4" } 14 | } 15 | } 16 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/spider-lhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["in1","in2","out1","out2"], 3 | "node_vertices" : { 4 | "x1":{"data":"vunit1"}, 5 | "x2":{"data":"vunit1"} 6 | }, 7 | "dir_edges" : { 8 | "e1": { "src" : "in1", "tgt" : "x1" }, 9 | "e2": { "src" : "x1", "tgt" : "out1" }, 10 | "e3": { "src" : "in2", "tgt" : "x2" }, 11 | "e4": { "src" : "x2", "tgt" : "out2" }, 12 | "e5": { "src" : "x1", "tgt" : "x2" } 13 | } 14 | } 15 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/spider-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["in1","in2","out1","out2"], 3 | "node_vertices" : { 4 | "x1":{"data":"vunit1"} 5 | }, 6 | "dir_edges" : { 7 | "e1": { "src" : "in1", "tgt" : "x1" }, 8 | "e2": { "src" : "x1", "tgt" : "out1" }, 9 | "e3": { "src" : "in2", "tgt" : "x1" }, 10 | "e4": { "src" : "x1", "tgt" : "out2" } 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/graphs/spider-subst-rhs.graph: -------------------------------------------------------------------------------- 1 | { 2 | "wire_vertices" : ["in1","in2","out1","out2"], 3 | "node_vertices" : { 4 | "x1":{"data":{"type":"vexpr1","angle":"a + b"}} 5 | }, 6 | "dir_edges" : { 7 | "e1": { "src" : "in1", "tgt" : "x1" }, 8 | "e2": { "src" : "x1", "tgt" : "out1" }, 9 | "e3": { "src" : "in2", "tgt" : "x1" }, 10 | "e4": { "src" : "x1", "tgt" : "out2" } 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /oldcore/rewriting/test/ruleset_rewriter-tests.ML: -------------------------------------------------------------------------------- 1 | structure Test_RulesetRewriter : RULESET_REWRITER = RulesetRewriter( 2 | structure Ruleset = Test_BG_Ruleset; 3 | structure Rewriter = Test_BangGraphRewriter; 4 | ); 5 | (* set to 4 for really detailed messages *) 6 | (* Test_RulesetRewriter.Log.level_ref := 2; *) 7 | 8 | (* TODO: tests for rewriting against rulesets *) 9 | 10 | -------------------------------------------------------------------------------- /oldcore/scratch/rules/green_scalar.qrule: -------------------------------------------------------------------------------- 1 | {"lhs":{"node_vertices":{"v0":{"annotation":{"coord":[0.37999999999999995,-0.11000000000000006]}}}}, "rhs":{}} -------------------------------------------------------------------------------- /oldcore/scratch/rules/red_scalar.qrule: -------------------------------------------------------------------------------- 1 | {"lhs":{"node_vertices":{"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[0.74,1.33]}}}}, "rhs":{}} -------------------------------------------------------------------------------- /oldcore/stub_run.ML: -------------------------------------------------------------------------------- 1 | fun run () = () 2 | -------------------------------------------------------------------------------- /oldcore/test/graphs/ghz_w/2 times 0 plus 2.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Vb":{}},"node_vertices":{"Va":{"data":"GHZ"},"Vc":{"data":"W"},"Vd":{"data":"W"},"Ve":{"data":"W"},"Vf":{"data":"W"},"Vg":{"data":"GHZ"},"Vh":{"data":"GHZ"},"Vj":{"data":"GHZ"},"Vk":{"data":"GHZ"}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vg","tgt":"Vc"},"Ec":{"src":"Vh","tgt":"Vc"},"Ed":{"src":"Vc","tgt":"Va"},"Ee":{"src":"Ve","tgt":"Vd"},"Ef":{"src":"Vf","tgt":"Vd"},"Eg":{"src":"Vj","tgt":"Vf"},"Eh":{"src":"Vk","tgt":"Vf"},"Ei":{"src":"Vd","tgt":"Va"}}} -------------------------------------------------------------------------------- /oldcore/test/graphs/ghz_w/2 times 2.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Vb":{}},"node_vertices":{"Va":{"data":"GHZ"},"Vc":{"data":"W"},"Vg":{"data":"GHZ"},"Vh":{"data":"GHZ"},"Vj":{"data":"GHZ"},"Vk":{"data":"GHZ"},"Vw":{"data":"W","annotation":{"quanto-gui:position":"119:80"}}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vg","tgt":"Vc"},"Ec":{"src":"Vh","tgt":"Vc"},"Ed":{"src":"Vc","tgt":"Va"},"Ee":{"src":"Vj","tgt":"Vw"},"Ef":{"src":"Vk","tgt":"Vw"},"Eg":{"src":"Vw","tgt":"Va"}}} -------------------------------------------------------------------------------- /oldcore/test/graphs/red_green/bbox.qgraph: -------------------------------------------------------------------------------- 1 | {"bang_boxes":{"bx0":{"contents":["b0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.22,-0.44]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.22,0.88]}}},"undir_edges":{"e0":{"src":"v0","tgt":"b0"}}} -------------------------------------------------------------------------------- /oldcore/test/graphs/red_green/d2-ladder_rw1.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{},"c":{},"d":{}},"node_vertices":{"i":{"data":{"type":"X","angle":{"pretty":"0"}}},"j":{"data":{"type":"Z","angle":{"pretty":"0"}}},"s":{"data":{"type":"Z","angle":{"pretty":"0"}}},"t":{"data":{"type":"X","angle":{"pretty":"0"}}}},"undir_edges":{"Ei":{"src":"j","tgt":"i"},"Ej":{"src":"i","tgt":"d"},"Ek":{"src":"j","tgt":"c"},"El":{"src":"t","tgt":"i"},"Em":{"src":"t","tgt":"a"},"Ev":{"src":"b","tgt":"s"},"Ew":{"src":"j","tgt":"s"},"Ex":{"src":"s","tgt":"t"}}} -------------------------------------------------------------------------------- /oldcore/test/graphs/red_green/d2-ladder_rw2.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{},"b":{},"c":{},"d":{}},"node_vertices":{"e":{"data":{"type":"Z","angle":{"pretty":"0"}}},"i":{"data":{"type":"X","angle":{"pretty":"0"}}},"t":{"data":{"type":"X","angle":{"pretty":"0"}}}},"undir_edges":{"Ed":{"src":"e","tgt":"b"},"Ee":{"src":"i","tgt":"e"},"Ef":{"src":"c","tgt":"e"},"Eg":{"src":"e","tgt":"t"},"Ej":{"src":"i","tgt":"d"},"El":{"src":"t","tgt":"i"},"Em":{"src":"t","tgt":"a"}},"bang_boxes":{"Bc":{"contents":[]},"Bd":{"contents":[]}}} -------------------------------------------------------------------------------- /oldcore/test/graphs/red_green/d2-ladder_rw3_norm.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"a":{"annotation":{"quanto-gui:position":"60:20"}},"b":{"annotation":{"quanto-gui:position":"107:20"}},"c":{"annotation":{"quanto-gui:position":"109:74"}},"d":{"annotation":{"quanto-gui:position":"60:81"}}},"undir_edges":{"Ea":{"src":"a","tgt":"d"},"Eb":{"src":"b","tgt":"c"}}} -------------------------------------------------------------------------------- /oldcore/test/graphs/red_green/x-isom.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"Va":{"data":{"type":"Z","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"60:20"}},"Vb":{"data":{"type":"Z","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"64:179"}},"Vc":{"data":{"type":"X","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"64:75"}},"Vd":{"data":{"type":"X","angle":{"pretty":"0"}},"annotation":{"quanto-gui:position":"63:120"}}},"undir_edges":{"Ea":{"src":"Va","tgt":"Vc"},"Eb":{"src":"Vc","tgt":"Vd"},"Ec":{"src":"Vc","tgt":"Vd"},"Ed":{"src":"Vd","tgt":"Vb"}}} -------------------------------------------------------------------------------- /oldcore/test/load_heap.ML: -------------------------------------------------------------------------------- 1 | PolyML.SaveState.loadState "../heaps/quanto.heap"; 2 | PolyML.Compiler.printDepth:=10; 3 | -------------------------------------------------------------------------------- /oldcore/test/protocol/simple-test.ML: -------------------------------------------------------------------------------- 1 | CoreTester.registerTest "Simple test" (fn session => 2 | let val version = CoreTester.protocolVersion session in 3 | if version <> "1.0" then 4 | raise CoreTester.test_exp ("Wrong version (got "^version^", expected 1.0)") 5 | else () 6 | end 7 | ); 8 | 9 | (* vi:et:sw=2:sts=2 10 | *) 11 | -------------------------------------------------------------------------------- /oldcore/theories/ghz_w/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"w":{"data":{"type":"W"}},"ghz":{"data":{"type":"GHZ"}},"tick":{"data":{"type":"TICK"}},"zero":{"data":{"type":"ZERO"}}}} -------------------------------------------------------------------------------- /oldcore/theories/ghz_w/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"w":{"data":"W"},"ghz":{"data":"GHZ"},"tick":{"data":"tick"},"zero":{"data":"zero"}}} -------------------------------------------------------------------------------- /oldcore/theories/ghz_w/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"node_vertices":{"w":{"data":{"type":"W"}},"ghz":{"data":{"type":"GHZ"}},"tick":{"data":{"type":"TICK"}},"zero":{"data":{"type":"ZERO"}}}} -------------------------------------------------------------------------------- /oldcore/theories/ghz_w/theory.ML: -------------------------------------------------------------------------------- 1 | structure GHZW_Theory = GraphicalTheory( 2 | structure Data = GHZW_Data 3 | structure DataIO = GHZW_ComponentDataIO) 4 | 5 | (* Use this for convenience if you don't need annotations *) 6 | (*structure GHZW_GraphicalTheoryIO = GraphicalTheoryIO( 7 | structure Theory = GHZW_Theory 8 | structure GraphComponentDataIO = GHZW_ComponentDataIO 9 | )*) 10 | -------------------------------------------------------------------------------- /oldcore/theories/isaplanner_rtechn/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"RT"}},"b":{"data":{"type":"Gs","label":"bar","value":{"goal_type":"bar","goal_names":[{"string":"x","number":1},{"string":"y","number":-1}]}}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":"z"},"e2":{"src":"w","tgt":"b","data":"z"}}} -------------------------------------------------------------------------------- /oldcore/theories/isaplanner_rtechn/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"RT","tactic":"foo"}},"b":{"data":{"type":"Gs","goal_type":"bar","goal_names":[{"string":"x","number":1},{"string":"y","number":-1}]}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":"z"},"e2":{"src":"w","tgt":"b","data":"z"}}} -------------------------------------------------------------------------------- /oldcore/theories/isaplanner_rtechn/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"RT"}},"b":{"data":{"type":"Gs","label":"bar","value":{"goal_type":"bar","goal_names":[{"string":"x","number":1},{"string":"y","number":-1}]}}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":"z"},"e2":{"src":"w","tgt":"b","data":"z"}}} -------------------------------------------------------------------------------- /oldcore/theories/isaplanner_rtechn/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure RTechn_Theory = GraphicalTheory( 4 | structure Data = RTechn_Data 5 | structure DataIO = RTechn_ComponentDataIO) 6 | 7 | (* Use this for convenience if you don't need annotations *) 8 | (*structure RTechn_GraphicalTheoryIO = GraphicalTheoryIO( 9 | structure Theory = RTechn_Theory 10 | structure GraphComponentDataIO = RTechn_ComponentDataIO 11 | )*) 12 | 13 | -------------------------------------------------------------------------------- /oldcore/theories/petri/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"c":{"data":{"type":"COPY"}},"s":{"data":{"type":"SWITCH"}},"0":{"data":{"type":"BUF0"}},"1":{"data":{"type":"BUF1"}}},"dir_edges":{"e1":{"src":"c","tgt":"w"},"e2":{"src":"w","tgt":"s"}}} -------------------------------------------------------------------------------- /oldcore/theories/petri/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"c":{"data":"COPY"},"s":{"data":"SWITCH"},"0":{"data":"BUF0"},"1":{"data":"BUF1"}},"dir_edges":{"e1":{"src":"c","tgt":"w"},"e2":{"src":"w","tgt":"s"}}} -------------------------------------------------------------------------------- /oldcore/theories/petri/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"c":{"data":{"type":"COPY"}},"s":{"data":{"type":"SWITCH"}},"0":{"data":{"type":"BUF0"}},"1":{"data":{"type":"BUF1"}}},"dir_edges":{"e1":{"src":"c","tgt":"w"},"e2":{"src":"w","tgt":"s"}}} -------------------------------------------------------------------------------- /oldcore/theories/petri/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure Petri_Theory = GraphicalTheory( 4 | structure Data = Petri_Data 5 | structure DataIO = Petri_ComponentDataIO) 6 | 7 | 8 | (* Use this for convenience if you don't need annotations *) 9 | (*structure Petri_GraphicalTheoryIO = GraphicalTheoryIO( 10 | structure Theory = Petri_Theory 11 | structure GraphComponentDataIO = Petri_ComponentDataIO 12 | )*) 13 | -------------------------------------------------------------------------------- /oldcore/theories/rational_pair/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"B","value":""}},"b":{"data":{"type":"B","value":"a + b"}},"c":{"data":{"type":"W","value":""}},"d":{"data":{"type":"W","value":"c"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/red_green/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"Z","value":""}},"b":{"data":{"type":"Z","value":"a + b"}},"c":{"data":{"type":"X","value":""}},"d":{"data":{"type":"X","value":"c"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/red_green/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"Z","angle":{"pretty":"0"}}},"b":{"data":{"type":"Z","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}},"c":{"data":{"type":"X","angle":{"pretty":"0"}}},"d":{"data":{"type":"X","angle":{"vars":{"c":{"denom":1,"num":1}},"pretty":"c"}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/red_green/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"Z","label":"0","value":{"pretty":"0"}}},"b":{"data":{"type":"Z","label":"a + b","value":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}},"c":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"d":{"data":{"type":"X","label":"c","value":{"vars":{"c":{"denom":1,"num":1}},"pretty":"c"}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/red_green_blue/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"b":{"data":{"type":"Blue"}},"g":{"data":{"type":"Green"}},"r":{"data":{"type":"Red"}}},"dir_edges":{"e1":{"src":"r","tgt":"w"},"e2":{"src":"w","tgt":"g"}}} -------------------------------------------------------------------------------- /oldcore/theories/red_green_blue/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"b":{"data":"Blue"},"g":{"data":"Green"},"r":{"data":"Red"}},"dir_edges":{"e1":{"src":"r","tgt":"w"},"e2":{"src":"w","tgt":"g"}}} -------------------------------------------------------------------------------- /oldcore/theories/red_green_blue/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"b":{"data":{"type":"Blue"}},"g":{"data":{"type":"Green"}},"r":{"data":{"type":"Red"}}},"dir_edges":{"e1":{"src":"r","tgt":"w"},"e2":{"src":"w","tgt":"g"}}} -------------------------------------------------------------------------------- /oldcore/theories/red_green_blue/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure RGB_Theory = GraphicalTheory( 4 | structure Data = RGB_Data 5 | structure DataIO = RGB_ComponentDataIO) 6 | 7 | 8 | (* Use this for convenience if you don't need annotations *) 9 | (*structure RGB_GraphicalTheoryIO = GraphicalTheoryIO( 10 | structure Theory = RGB_Theory 11 | structure GraphComponentDataIO = RGB_ComponentDataIO 12 | )*) 13 | -------------------------------------------------------------------------------- /oldcore/theories/string_ve/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":{"value":"x","label":"x","type":"string"}},"e2":{"src":"w","tgt":"b","data":{"value":"x","label":"x","type":"string"}}}} -------------------------------------------------------------------------------- /oldcore/theories/string_ve/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","type":"string"}},"b":{"data":{"value":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":{"value":"x","type":"string"}},"e2":{"src":"w","tgt":"b","data":{"value":"x","type":"string"}}}} -------------------------------------------------------------------------------- /oldcore/theories/string_ve/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w","data":{"value":"x","label":"x","type":"string"}},"e2":{"src":"w","tgt":"b","data":{"value":"x","label":"x","type":"string"}}}} -------------------------------------------------------------------------------- /oldcore/theories/substr_linrat/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"string_linrat","label":"foo","value":{"string":"foo","angle":{"pretty":"0"}}}},"b":{"data":{"type":"string_linrat","label":"bar","value":{"string":"bar","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/substr_linrat/test/graphs/empty_graph.graph: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /oldcore/theories/substr_linrat/test/graphs/g3.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Va":{}},"node_vertices":{"Vb":{"data":{"string":"blah.foo.","angle":{"pretty":"0"}}},"Vc":{"data":{"string":"blah.bar.","angle":{"pretty":"0"}}}},"undir_edges":{"Ec":{"src":"Vc","tgt":"Vc"}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vb","tgt":"Vc"}}} -------------------------------------------------------------------------------- /oldcore/theories/substr_linrat/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"string":"foo","angle":{"pretty":"0"}}},"b":{"data":{"string":"bar","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/substr_linrat/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"type":"string_linrat","label":"foo","value":{"string":"foo","angle":{"pretty":"0"}}}},"b":{"data":{"type":"string_linrat","label":"bar","value":{"string":"bar","angle":{"vars":{"a":{"denom":1,"num":1},"b":{"denom":1,"num":1}},"pretty":"a + b"}}}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/substrings/test/graphs/current_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/substrings/test/graphs/empty_graph.graph: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /oldcore/theories/substrings/test/graphs/g3.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"Va":{}},"node_vertices":{"Vb":{"data":{"value":"blah.foo.","label":"blah.foo.","type":"string"}},"Vc":{"data":{"value":"blah.bar.","label":"blah.bar.","type":"string"}}},"undir_edges":{"Ec":{"src":"Vc","tgt":"Vc"}},"dir_edges":{"Ea":{"src":"Va","tgt":"Vb"},"Eb":{"src":"Vb","tgt":"Vc"}}} -------------------------------------------------------------------------------- /oldcore/theories/substrings/test/graphs/v1_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":"foo"},"b":{"data":"bar"}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/substrings/test/graphs/v2_format.graph: -------------------------------------------------------------------------------- 1 | {"wire_vertices":{"w":{}},"node_vertices":{"a":{"data":{"value":"foo","label":"foo","type":"string"}},"b":{"data":{"value":"bar","label":"bar","type":"string"}}},"dir_edges":{"e1":{"src":"a","tgt":"w"},"e2":{"src":"w","tgt":"b"}}} -------------------------------------------------------------------------------- /oldcore/theories/substrings/theory.ML: -------------------------------------------------------------------------------- 1 | 2 | 3 | structure Substrings_Theory = GraphicalTheory( 4 | structure Data = Substrings_Data 5 | structure DataIO = Substrings_ComponentDataIO) 6 | 7 | 8 | (* Use this for convenience if you don't need annotations *) 9 | structure Substrings_GraphicalTheoryIO = GraphicalTheoryIO( 10 | structure Theory = Substrings_Theory 11 | structure GraphComponentDataIO = Substrings_ComponentDataIO 12 | ) 13 | -------------------------------------------------------------------------------- /oldcore/theories/test/ruleset-test.ML: -------------------------------------------------------------------------------- 1 | (* test constrcution of rule and ruleset *) 2 | structure Test_BG_Ruleset = BangGraphRuleset(Test_BG_Rule); 3 | 4 | -------------------------------------------------------------------------------- /oldcore/toplevel/quanto-xml-to-json/xml_input.ML: -------------------------------------------------------------------------------- 1 | signature INPUT_XML = INPUT where type T = XML.tree 2 | -------------------------------------------------------------------------------- /rulesets/empty.rules: -------------------------------------------------------------------------------- 1 | {"rules":{},"tags":{},"active_rules":[]} -------------------------------------------------------------------------------- /rulesets/red_green/test.rules: -------------------------------------------------------------------------------- 1 | {"rules":{"broken":{"lhs":{"node_vertices":{"a":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}}}},"rhs":{"node_vertices":{"b":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}},"c":{"data":{"type":"X","label":"0","value":{"pretty":"0"}}}}}}},"tags":{},"active_rules":[]} -------------------------------------------------------------------------------- /scala/.gitignore: -------------------------------------------------------------------------------- 1 | .settings 2 | .cache 3 | .classpath 4 | .project 5 | target 6 | project/target 7 | .idea 8 | .idea_modules 9 | -------------------------------------------------------------------------------- /scala/dist/linux-dist/libpolyml.so.4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/linux-dist/libpolyml.so.4 -------------------------------------------------------------------------------- /scala/dist/linux-dist/poly: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | DIR="$(dirname "$0")" 3 | LD_LIBRARY_PATH=$DIR $DIR/polybin "$@" 4 | -------------------------------------------------------------------------------- /scala/dist/linux-dist/polybin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/linux-dist/polybin -------------------------------------------------------------------------------- /scala/dist/linux-dist/quanto-derive.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | DIR="$(dirname "$0")" 4 | CLASSPATH=$(echo jars/*.jar | tr ' ' ':') 5 | echo $CLASSPATH 6 | cd $DIR 7 | java -Xms512M -Xmx1536M -Xss1M -XX:+CMSClassUnloadingEnabled \ 8 | -XX:MaxPermSize=384M -cp $CLASSPATH quanto.gui.QuantoDerive 9 | -------------------------------------------------------------------------------- /scala/dist/windows-dist/QuantoDerive.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/QuantoDerive.exe -------------------------------------------------------------------------------- /scala/dist/windows-dist/cyggcc_s-1.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/cyggcc_s-1.dll -------------------------------------------------------------------------------- /scala/dist/windows-dist/cyggmp-3.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/cyggmp-3.dll -------------------------------------------------------------------------------- /scala/dist/windows-dist/cygpolyml-4.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/cygpolyml-4.dll -------------------------------------------------------------------------------- /scala/dist/windows-dist/cygstdc++-6.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/cygstdc++-6.dll -------------------------------------------------------------------------------- /scala/dist/windows-dist/cygwin1.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/cygwin1.dll -------------------------------------------------------------------------------- /scala/dist/windows-dist/libpolymain.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/libpolymain.a -------------------------------------------------------------------------------- /scala/dist/windows-dist/libpolyml.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/libpolyml.a -------------------------------------------------------------------------------- /scala/dist/windows-dist/libpolyml.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/libpolyml.dll.a -------------------------------------------------------------------------------- /scala/dist/windows-dist/poly.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/dist/windows-dist/poly.exe -------------------------------------------------------------------------------- /scala/lib/jedit-textArea.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/lib/jedit-textArea.jar -------------------------------------------------------------------------------- /scala/lib/jsr305.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/lib/jsr305.jar -------------------------------------------------------------------------------- /scala/lib/jython-standalone-2.7.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/lib/jython-standalone-2.7.0.jar -------------------------------------------------------------------------------- /scala/project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.15 2 | -------------------------------------------------------------------------------- /scala/project/plugins.sbt: -------------------------------------------------------------------------------- 1 | // addSbtPlugin("com.github.retronym" % "sbt-onejar" % "0.8") 2 | 3 | resolvers += "iBlio Maven Repository" at "http://mirrors.ibiblio.org/maven2/" 4 | 5 | addSbtPlugin("de.sciss" % "sbt-appbundle" % "1.0.1") 6 | 7 | //addSbtPlugin("com.typesafe.sbteclipse" % "sbteclipse-plugin" % "2.4.0") 8 | 9 | addSbtPlugin("com.github.mpeltonen" % "sbt-idea" % "1.6.0") 10 | 11 | addSbtPlugin("org.ensime" % "ensime-sbt-cmd" % "0.1.2") 12 | 13 | addSbtPlugin("com.eed3si9n" % "sbt-assembly" % "0.14.5") 14 | 15 | -------------------------------------------------------------------------------- /scala/src/main/java/org/lindenb/sw/vocabulary/Namespace.java: -------------------------------------------------------------------------------- 1 | package org.lindenb.sw.vocabulary; 2 | 3 | public class Namespace { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /scala/src/main/java/org/lindenb/sw/vocabulary/SVG.java: -------------------------------------------------------------------------------- 1 | package org.lindenb.sw.vocabulary; 2 | 3 | public class SVG extends Namespace { 4 | public static final String NS="http://www.w3.org/2000/svg"; 5 | public static final String DOCTYPE=""; 6 | } 7 | -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/add-edge.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/add-edge.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/blank.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/derive-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/derive-icon.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/document-save.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/document-save.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/draw-bang.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/draw-bang.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/draw-bbox.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/draw-bbox.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/draw-ellipse-b.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/draw-ellipse-b.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/draw-ellipse.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/draw-ellipse.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/draw-path.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/draw-path.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/edit-copy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/edit-copy.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/edit-delete.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/edit-delete.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/expand.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/expand.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/focus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/focus.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/go-first.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/go-first.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/go-last.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/go-last.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/go-next.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/go-next.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/go-previous.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/go-previous.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/graph-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/graph-icon.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/list-add.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/list-add.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/list-remove.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/list-remove.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/normalise.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/normalise.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/process-stop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/process-stop.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/quantoderive.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/quantoderive.ico -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/rule-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/rule-icon.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/select-rectangular.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/select-rectangular.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/start.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/start.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/stop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/stop.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/system-search.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/system-search.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/text-x-generic.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/text-x-generic.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/text-x-script.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/text-x-script.png -------------------------------------------------------------------------------- /scala/src/main/resources/quanto/gui/view-refresh.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zxcalc/quantomatic/c8851ae3ccbbda805b9451abae4ae5c526bf9451/scala/src/main/resources/quanto/gui/view-refresh.png -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/core/CoreException.scala: -------------------------------------------------------------------------------- 1 | package quanto.core 2 | 3 | class CoreException(val message : String = null, val cause: Throwable = null) 4 | extends Exception(message, cause) 5 | 6 | class CoreProtocolException(override val message : String = null, override val cause: Throwable = null) 7 | extends CoreException(message, cause) 8 | 9 | class CoreUserException(override val message : String, val code: Int) 10 | extends CoreException(message, null) 11 | 12 | -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/data/GraphTikz.scala: -------------------------------------------------------------------------------- 1 | package quanto.data 2 | 3 | 4 | object GraphTikz { 5 | // TODO: migrate tikz production code from GraphView to here. Make it tikzit parseable. 6 | def toTikz(g: Graph): String = { 7 | "" 8 | } 9 | } 10 | -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/gui/histview/HistNode.scala: -------------------------------------------------------------------------------- 1 | package quanto.gui.histview 2 | 3 | import java.awt.Color 4 | 5 | 6 | trait HistNode { 7 | def label: String 8 | def color: Color 9 | } 10 | -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/gui/test/LayoutTestGUI.scala: -------------------------------------------------------------------------------- 1 | package quanto.gui.test 2 | 3 | import quanto.gui._ 4 | import quanto.layout._ 5 | import quanto.layout.constraint._ 6 | import quanto.data._ 7 | 8 | //what is "object layout is not a member of package quanto.gui.test.quanto" -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/layout/QLayout.scala: -------------------------------------------------------------------------------- 1 | package quanto.layout 2 | 3 | import quanto.layout.constraint.{Clusters, Ranking, VerticalBoundary} 4 | 5 | class QLayout extends ForceLayout with Ranking with VerticalBoundary with Clusters 6 | -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/util/SwingTimer.scala: -------------------------------------------------------------------------------- 1 | package quanto.util 2 | 3 | object SwingTimer { 4 | def apply(interval: Int, repeats: Boolean = true)(op: => Unit) { 5 | val timeOut = new javax.swing.AbstractAction() { 6 | def actionPerformed(e: java.awt.event.ActionEvent): Unit = op 7 | } 8 | val t = new javax.swing.Timer(interval, timeOut) 9 | t.setRepeats(repeats) 10 | t.start() 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/util/WebHelper.scala: -------------------------------------------------------------------------------- 1 | package quanto.util 2 | 3 | import java.awt.Desktop 4 | import java.net.URL 5 | 6 | object WebHelper { 7 | 8 | // From https://stackoverflow.com/questions/10967451/open-a-link-in-browser-with-java-button 9 | 10 | 11 | def openWebpage(urlString: String): Unit = { 12 | try 13 | Desktop.getDesktop.browse(new URL(urlString).toURI) 14 | catch { 15 | case e: Exception => 16 | e.printStackTrace() 17 | } 18 | } 19 | } 20 | -------------------------------------------------------------------------------- /scala/src/main/scala/quanto/util/swing/ToolBar.scala: -------------------------------------------------------------------------------- 1 | package quanto.util.swing 2 | 3 | import swing._ 4 | import javax.swing.JToolBar 5 | 6 | class ToolBar extends Component with SequentialContainer.Wrapper { 7 | override lazy val peer: JToolBar = new JToolBar 8 | def add( action: Action ) { peer.add( action.peer )} 9 | def add( component: Component ) { peer.add( component.peer )} 10 | } 11 | -------------------------------------------------------------------------------- /scala/src/main/scala/test.scala: -------------------------------------------------------------------------------- 1 | import quanto.core._ 2 | import swing._ 3 | 4 | object Test extends SimpleSwingApplication { 5 | def top = new MainFrame { 6 | title = "Test" 7 | contents = new Button { 8 | text = "Click Me" 9 | } 10 | } 11 | } -------------------------------------------------------------------------------- /theory-visualizations/black-white-theory.qth: -------------------------------------------------------------------------------- 1 | { 2 | "name": "Black/White", 3 | "coreName": "ghz_w", 4 | "vertexTypePath": "type", 5 | "vertexTypes": { 6 | "GHZ": { 7 | "mnemonic": "g", 8 | "visualization": { 9 | "node": "white.svg" 10 | } 11 | }, 12 | "W": { 13 | "mnemonic": "w", 14 | "visualization": { 15 | "node": "black.svg" 16 | } 17 | } 18 | } 19 | } 20 | -------------------------------------------------------------------------------- /theory-visualizations/black.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | -------------------------------------------------------------------------------- /theory-visualizations/blue.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | -------------------------------------------------------------------------------- /theory-visualizations/green.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | -------------------------------------------------------------------------------- /theory-visualizations/red-green-blue-theory.qth: -------------------------------------------------------------------------------- 1 | { 2 | "name": "Red/Green/Blue", 3 | "coreName": "red_green_blue", 4 | "vertexTypePath": "type", 5 | "vertexTypes": { 6 | "Red": { 7 | "mnemonic": "r", 8 | "visualization": { 9 | "node": "red.svg" 10 | } 11 | }, 12 | "Green": { 13 | "mnemonic": "g", 14 | "visualization": { 15 | "node": "green.svg" 16 | } 17 | }, 18 | "Blue": { 19 | "mnemonic": "b", 20 | "visualization": { 21 | "node": "blue.svg" 22 | } 23 | } 24 | } 25 | } 26 | -------------------------------------------------------------------------------- /theory-visualizations/red.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | -------------------------------------------------------------------------------- /theory-visualizations/string-theory.qth: -------------------------------------------------------------------------------- 1 | { 2 | "name": "Strings", 3 | "coreName": "strings", 4 | "vertexTypes": { 5 | "String": { 6 | "labelPath": "", 7 | "labelDataType": "String", 8 | "mnemonic": "n", 9 | "visualization": { 10 | "node": "white.svg", 11 | "label": { 12 | "fill": "white" 13 | } 14 | } 15 | } 16 | } 17 | } 18 | -------------------------------------------------------------------------------- /theory-visualizations/white.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | 6 | 10 | 11 | --------------------------------------------------------------------------------