From 5eb8e3b63dafa79df6ca3def1d988db84b37338c Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 3 Mar 2019 22:26:00 +0000 Subject: [PATCH] Moved files to 'reactics-smt' --- Makefile => reactics-smt/Makefile | 0 colour.py => reactics-smt/colour.py | 0 {doc => reactics-smt/doc}/overview.py | 0 {logics => reactics-smt/logics}/__init__.py | 0 {logics => reactics-smt/logics}/bags.py | 0 {logics => reactics-smt/logics}/param_constr.py | 0 {logics => reactics-smt/logics}/param_constr_encoder.py | 0 {logics => reactics-smt/logics}/rsltl.py | 0 {logics => reactics-smt/logics}/rsltl_encoder.py | 0 {rs => reactics-smt/rs}/__init__.py | 0 {rs => reactics-smt/rs}/context_automaton.py | 0 {rs => reactics-smt/rs}/context_automaton_with_concentrations.py | 0 {rs => reactics-smt/rs}/extended_context_automaton.py | 0 {rs => reactics-smt/rs}/network_of_context_automata.py | 0 {rs => reactics-smt/rs}/reaction_system.py | 0 {rs => reactics-smt/rs}/reaction_system_with_autnet.py | 0 {rs => reactics-smt/rs}/reaction_system_with_automaton.py | 0 {rs => reactics-smt/rs}/reaction_system_with_concentrations.py | 0 .../rs}/reaction_system_with_concentrations_param.py | 0 rs_examples.py => reactics-smt/rs_examples.py | 0 rs_testing.py => reactics-smt/rs_testing.py | 0 rsltl_shortcuts.py => reactics-smt/rsltl_shortcuts.py | 0 rssmt.py => reactics-smt/rssmt.py | 0 {scripts => reactics-smt/scripts}/avg.py | 0 {scripts => reactics-smt/scripts}/mkplotdat.sh | 0 {scripts => reactics-smt/scripts}/run.sh | 0 {scripts => reactics-smt/scripts}/run_3d.sh | 0 {scripts => reactics-smt/scripts}/run_mutex_param.sh | 0 {scripts => reactics-smt/scripts}/run_scalable_chain_rsLTL_FI.sh | 0 {smt => reactics-smt/smt}/__init__.py | 0 {smt => reactics-smt/smt}/smt_checker_rs.py | 0 {smt => reactics-smt/smt}/smt_checker_rsc.py | 0 {smt => reactics-smt/smt}/smt_checker_rsc_param.py | 0 33 files changed, 0 insertions(+), 0 deletions(-) rename Makefile => reactics-smt/Makefile (100%) rename colour.py => reactics-smt/colour.py (100%) rename {doc => reactics-smt/doc}/overview.py (100%) rename {logics => reactics-smt/logics}/__init__.py (100%) rename {logics => reactics-smt/logics}/bags.py (100%) rename {logics => reactics-smt/logics}/param_constr.py (100%) rename {logics => reactics-smt/logics}/param_constr_encoder.py (100%) rename {logics => reactics-smt/logics}/rsltl.py (100%) rename {logics => reactics-smt/logics}/rsltl_encoder.py (100%) rename {rs => reactics-smt/rs}/__init__.py (100%) rename {rs => reactics-smt/rs}/context_automaton.py (100%) rename {rs => reactics-smt/rs}/context_automaton_with_concentrations.py (100%) rename {rs => reactics-smt/rs}/extended_context_automaton.py (100%) rename {rs => reactics-smt/rs}/network_of_context_automata.py (100%) rename {rs => reactics-smt/rs}/reaction_system.py (100%) rename {rs => reactics-smt/rs}/reaction_system_with_autnet.py (100%) rename {rs => reactics-smt/rs}/reaction_system_with_automaton.py (100%) rename {rs => reactics-smt/rs}/reaction_system_with_concentrations.py (100%) rename {rs => reactics-smt/rs}/reaction_system_with_concentrations_param.py (100%) rename rs_examples.py => reactics-smt/rs_examples.py (100%) rename rs_testing.py => reactics-smt/rs_testing.py (100%) rename rsltl_shortcuts.py => reactics-smt/rsltl_shortcuts.py (100%) rename rssmt.py => reactics-smt/rssmt.py (100%) rename {scripts => reactics-smt/scripts}/avg.py (100%) rename {scripts => reactics-smt/scripts}/mkplotdat.sh (100%) rename {scripts => reactics-smt/scripts}/run.sh (100%) rename {scripts => reactics-smt/scripts}/run_3d.sh (100%) rename {scripts => reactics-smt/scripts}/run_mutex_param.sh (100%) rename {scripts => reactics-smt/scripts}/run_scalable_chain_rsLTL_FI.sh (100%) rename {smt => reactics-smt/smt}/__init__.py (100%) rename {smt => reactics-smt/smt}/smt_checker_rs.py (100%) rename {smt => reactics-smt/smt}/smt_checker_rsc.py (100%) rename {smt => reactics-smt/smt}/smt_checker_rsc_param.py (100%) diff --git a/Makefile b/reactics-smt/Makefile similarity index 100% rename from Makefile rename to reactics-smt/Makefile diff --git a/colour.py b/reactics-smt/colour.py similarity index 100% rename from colour.py rename to reactics-smt/colour.py diff --git a/doc/overview.py b/reactics-smt/doc/overview.py similarity index 100% rename from doc/overview.py rename to reactics-smt/doc/overview.py diff --git a/logics/__init__.py b/reactics-smt/logics/__init__.py similarity index 100% rename from logics/__init__.py rename to reactics-smt/logics/__init__.py diff --git a/logics/bags.py b/reactics-smt/logics/bags.py similarity index 100% rename from logics/bags.py rename to reactics-smt/logics/bags.py diff --git a/logics/param_constr.py b/reactics-smt/logics/param_constr.py similarity index 100% rename from logics/param_constr.py rename to reactics-smt/logics/param_constr.py diff --git a/logics/param_constr_encoder.py b/reactics-smt/logics/param_constr_encoder.py similarity index 100% rename from logics/param_constr_encoder.py rename to reactics-smt/logics/param_constr_encoder.py diff --git a/logics/rsltl.py b/reactics-smt/logics/rsltl.py similarity index 100% rename from logics/rsltl.py rename to reactics-smt/logics/rsltl.py diff --git a/logics/rsltl_encoder.py b/reactics-smt/logics/rsltl_encoder.py similarity index 100% rename from logics/rsltl_encoder.py rename to reactics-smt/logics/rsltl_encoder.py diff --git a/rs/__init__.py b/reactics-smt/rs/__init__.py similarity index 100% rename from rs/__init__.py rename to reactics-smt/rs/__init__.py diff --git a/rs/context_automaton.py b/reactics-smt/rs/context_automaton.py similarity index 100% rename from rs/context_automaton.py rename to reactics-smt/rs/context_automaton.py diff --git a/rs/context_automaton_with_concentrations.py b/reactics-smt/rs/context_automaton_with_concentrations.py similarity index 100% rename from rs/context_automaton_with_concentrations.py rename to reactics-smt/rs/context_automaton_with_concentrations.py diff --git a/rs/extended_context_automaton.py b/reactics-smt/rs/extended_context_automaton.py similarity index 100% rename from rs/extended_context_automaton.py rename to reactics-smt/rs/extended_context_automaton.py diff --git a/rs/network_of_context_automata.py b/reactics-smt/rs/network_of_context_automata.py similarity index 100% rename from rs/network_of_context_automata.py rename to reactics-smt/rs/network_of_context_automata.py diff --git a/rs/reaction_system.py b/reactics-smt/rs/reaction_system.py similarity index 100% rename from rs/reaction_system.py rename to reactics-smt/rs/reaction_system.py diff --git a/rs/reaction_system_with_autnet.py b/reactics-smt/rs/reaction_system_with_autnet.py similarity index 100% rename from rs/reaction_system_with_autnet.py rename to reactics-smt/rs/reaction_system_with_autnet.py diff --git a/rs/reaction_system_with_automaton.py b/reactics-smt/rs/reaction_system_with_automaton.py similarity index 100% rename from rs/reaction_system_with_automaton.py rename to reactics-smt/rs/reaction_system_with_automaton.py diff --git a/rs/reaction_system_with_concentrations.py b/reactics-smt/rs/reaction_system_with_concentrations.py similarity index 100% rename from rs/reaction_system_with_concentrations.py rename to reactics-smt/rs/reaction_system_with_concentrations.py diff --git a/rs/reaction_system_with_concentrations_param.py b/reactics-smt/rs/reaction_system_with_concentrations_param.py similarity index 100% rename from rs/reaction_system_with_concentrations_param.py rename to reactics-smt/rs/reaction_system_with_concentrations_param.py diff --git a/rs_examples.py b/reactics-smt/rs_examples.py similarity index 100% rename from rs_examples.py rename to reactics-smt/rs_examples.py diff --git a/rs_testing.py b/reactics-smt/rs_testing.py similarity index 100% rename from rs_testing.py rename to reactics-smt/rs_testing.py diff --git a/rsltl_shortcuts.py b/reactics-smt/rsltl_shortcuts.py similarity index 100% rename from rsltl_shortcuts.py rename to reactics-smt/rsltl_shortcuts.py diff --git a/rssmt.py b/reactics-smt/rssmt.py similarity index 100% rename from rssmt.py rename to reactics-smt/rssmt.py diff --git a/scripts/avg.py b/reactics-smt/scripts/avg.py similarity index 100% rename from scripts/avg.py rename to reactics-smt/scripts/avg.py diff --git a/scripts/mkplotdat.sh b/reactics-smt/scripts/mkplotdat.sh similarity index 100% rename from scripts/mkplotdat.sh rename to reactics-smt/scripts/mkplotdat.sh diff --git a/scripts/run.sh b/reactics-smt/scripts/run.sh similarity index 100% rename from scripts/run.sh rename to reactics-smt/scripts/run.sh diff --git a/scripts/run_3d.sh b/reactics-smt/scripts/run_3d.sh similarity index 100% rename from scripts/run_3d.sh rename to reactics-smt/scripts/run_3d.sh diff --git a/scripts/run_mutex_param.sh b/reactics-smt/scripts/run_mutex_param.sh similarity index 100% rename from scripts/run_mutex_param.sh rename to reactics-smt/scripts/run_mutex_param.sh diff --git a/scripts/run_scalable_chain_rsLTL_FI.sh b/reactics-smt/scripts/run_scalable_chain_rsLTL_FI.sh similarity index 100% rename from scripts/run_scalable_chain_rsLTL_FI.sh rename to reactics-smt/scripts/run_scalable_chain_rsLTL_FI.sh diff --git a/smt/__init__.py b/reactics-smt/smt/__init__.py similarity index 100% rename from smt/__init__.py rename to reactics-smt/smt/__init__.py diff --git a/smt/smt_checker_rs.py b/reactics-smt/smt/smt_checker_rs.py similarity index 100% rename from smt/smt_checker_rs.py rename to reactics-smt/smt/smt_checker_rs.py diff --git a/smt/smt_checker_rsc.py b/reactics-smt/smt/smt_checker_rsc.py similarity index 100% rename from smt/smt_checker_rsc.py rename to reactics-smt/smt/smt_checker_rsc.py diff --git a/smt/smt_checker_rsc_param.py b/reactics-smt/smt/smt_checker_rsc_param.py similarity index 100% rename from smt/smt_checker_rsc_param.py rename to reactics-smt/smt/smt_checker_rsc_param.py