From 57a92a612768f838479cee332ea7c54dea22444c Mon Sep 17 00:00:00 2001
From: Kia <kia@special-circumstanc.es>
Date: Sun, 14 Mar 2021 18:46:25 -0600
Subject: [PATCH] reorganize everything
---
li.sby => liveness_proving/li.sby | 0
.../liveness_example.v | 0
.../test_formal.sby | 0
cfg_utils.py => misc/broken_cfg_sampler.py | 0
test_fsm.py => misc/nmigen_fsm_experiment.py | 0
.../nmigen_simulation_experiment.py | 0
string_lexer.py => misc/string_lexer.py | 0
tablegen.py => misc/useless_cfg_code.py | 0
CFGBoltzmann.py => old_parser/CFGBoltzmann.py | 0
.../LRtables_to_oldparser_parameters.py | 0
.../automatic_tester.py | 0
.../bison_xml_file_ingest.py | 0
.../combinatorial_LR_parser.py | 0
.../fun_with_bison}/broken_ielr.html | 0
.../fun_with_bison}/broken_ielr_grammar.dot | 0
.../broken_ielr_grammar.output | 0
.../fun_with_bison}/broken_ielr_grammar.tab.c | 0
.../fun_with_bison}/broken_ielr_grammar.xml | 0
.../fun_with_bison}/broken_ielr_grammar.y | 0
.../fun_with_bison}/egg.dot | 0
.../fun_with_bison}/egg.output | 0
.../fun_with_bison}/egg.tab.c | 0
.../fun_with_bison}/egg.tab.h | 0
.../fun_with_bison}/egg.xml | 0
.../fun_with_bison}/egg.y | 0
.../fun_with_bison}/fig5.html | 0
.../fun_with_bison}/fig5_rev.html | 0
.../fun_with_bison}/foobar.dot | 0
.../fun_with_bison}/foobar.tab.c | 0
.../fun_with_bison}/foobar.xml | 0
.../fun_with_bison}/foobar.y | 0
.../fun_with_bison}/ielr.html | 0
.../fun_with_bison}/ielr_grammar.dot | 0
.../fun_with_bison}/ielr_grammar.output | 0
.../fun_with_bison}/ielr_grammar.tab.c | 0
.../fun_with_bison}/ielr_grammar.xml | 0
.../fun_with_bison}/ielr_grammar.y | 0
.../ielr_paper_fig_1_grammar.tab.c | 0
.../ielr_paper_fig_1_grammar.xml | 0
.../ielr_paper_fig_1_grammar.y | 0
.../ielr_paper_fig_2_grammar.tab.c | 0
.../ielr_paper_fig_2_grammar.xml | 0
.../ielr_paper_fig_2_grammar.y | 0
.../ielr_paper_fig_3_grammar.tab.c | 0
.../ielr_paper_fig_3_grammar.xml | 0
.../ielr_paper_fig_3_grammar.y | 0
.../ielr_paper_fig_4_grammar.tab.c | 0
.../ielr_paper_fig_4_grammar.xml | 0
.../ielr_paper_fig_4_grammar.y | 0
.../ielr_paper_fig_5_grammar.dot | 0
.../ielr_paper_fig_5_grammar.tab.c | 0
.../ielr_paper_fig_5_grammar.xml | 0
.../ielr_paper_fig_5_grammar.y | 0
.../fun_with_bison}/java.html | 0
.../reverse_precedence_fig_5.dot | 0
.../reverse_precedence_fig_5.output | 0
.../reverse_precedence_fig_5.tab.c | 0
.../reverse_precedence_fig_5.xml | 0
.../reverse_precedence_fig_5.y | 0
.../fun_with_bison}/tapir.html | 0
.../arbitrary_width_memory.py | 0
rtl_lib/arbitrary_width_memory.sby | 19 +++++++++++++++
gearbox.py => rtl_lib/gearbox.py | 0
one_hot_utils.py => rtl_lib/one_hot_utils.py | 0
PipeStage.py => rtl_lib/pipe_stage.py | 0
pipestage.sby => rtl_lib/pipestage.sby | 0
skidbuffer.py => rtl_lib/skidbuffer.py | 0
.../width_converter_simulator.py | 0
unoptimized_lr/classtest.py | 23 +++++++++++++++++++
69 files changed, 42 insertions(+)
rename li.sby => liveness_proving/li.sby (100%)
rename liveness_example.v => liveness_proving/liveness_example.v (100%)
rename test_formal.sby => liveness_proving/test_formal.sby (100%)
rename cfg_utils.py => misc/broken_cfg_sampler.py (100%)
mode change 100755 => 100644
rename test_fsm.py => misc/nmigen_fsm_experiment.py (100%)
mode change 100755 => 100644
rename test_testing_scheme.py => misc/nmigen_simulation_experiment.py (100%)
mode change 100755 => 100644
rename string_lexer.py => misc/string_lexer.py (100%)
mode change 100755 => 100644
rename tablegen.py => misc/useless_cfg_code.py (100%)
rename CFGBoltzmann.py => old_parser/CFGBoltzmann.py (100%)
mode change 100755 => 100644
rename table_to_stackstates.py => old_parser/LRtables_to_oldparser_parameters.py (100%)
rename automatic_tester.py => old_parser/automatic_tester.py (100%)
mode change 100755 => 100644
rename bison_xml_file_ingest.py => old_parser/bison_xml_file_ingest.py (100%)
rename combinatorial_LR_parser.py => old_parser/combinatorial_LR_parser.py (100%)
mode change 100755 => 100644
rename {fun_with_bison => old_parser/fun_with_bison}/broken_ielr.html (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/broken_ielr_grammar.dot (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/broken_ielr_grammar.output (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/broken_ielr_grammar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/broken_ielr_grammar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/broken_ielr_grammar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/egg.dot (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/egg.output (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/egg.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/egg.tab.h (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/egg.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/egg.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/fig5.html (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/fig5_rev.html (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/foobar.dot (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/foobar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/foobar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/foobar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr.html (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_grammar.dot (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_grammar.output (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_grammar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_grammar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_grammar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_1_grammar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_1_grammar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_1_grammar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_2_grammar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_2_grammar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_2_grammar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_3_grammar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_3_grammar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_3_grammar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_4_grammar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_4_grammar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_4_grammar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_5_grammar.dot (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_5_grammar.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_5_grammar.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/ielr_paper_fig_5_grammar.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/java.html (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/reverse_precedence_fig_5.dot (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/reverse_precedence_fig_5.output (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/reverse_precedence_fig_5.tab.c (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/reverse_precedence_fig_5.xml (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/reverse_precedence_fig_5.y (100%)
rename {fun_with_bison => old_parser/fun_with_bison}/tapir.html (100%)
rename arbitrary_width_memory.py => rtl_lib/arbitrary_width_memory.py (100%)
create mode 100644 rtl_lib/arbitrary_width_memory.sby
rename gearbox.py => rtl_lib/gearbox.py (100%)
mode change 100755 => 100644
rename one_hot_utils.py => rtl_lib/one_hot_utils.py (100%)
mode change 100755 => 100644
rename PipeStage.py => rtl_lib/pipe_stage.py (100%)
rename pipestage.sby => rtl_lib/pipestage.sby (100%)
rename skidbuffer.py => rtl_lib/skidbuffer.py (100%)
mode change 100755 => 100644
rename width_converter_simulator.py => rtl_lib/width_converter_simulator.py (100%)
create mode 100644 unoptimized_lr/classtest.py
diff --git a/li.sby b/liveness_proving/li.sby
similarity index 100%
rename from li.sby
rename to liveness_proving/li.sby
diff --git a/liveness_example.v b/liveness_proving/liveness_example.v
similarity index 100%
rename from liveness_example.v
rename to liveness_proving/liveness_example.v
diff --git a/test_formal.sby b/liveness_proving/test_formal.sby
similarity index 100%
rename from test_formal.sby
rename to liveness_proving/test_formal.sby
diff --git a/cfg_utils.py b/misc/broken_cfg_sampler.py
old mode 100755
new mode 100644
similarity index 100%
rename from cfg_utils.py
rename to misc/broken_cfg_sampler.py
diff --git a/test_fsm.py b/misc/nmigen_fsm_experiment.py
old mode 100755
new mode 100644
similarity index 100%
rename from test_fsm.py
rename to misc/nmigen_fsm_experiment.py
diff --git a/test_testing_scheme.py b/misc/nmigen_simulation_experiment.py
old mode 100755
new mode 100644
similarity index 100%
rename from test_testing_scheme.py
rename to misc/nmigen_simulation_experiment.py
diff --git a/string_lexer.py b/misc/string_lexer.py
old mode 100755
new mode 100644
similarity index 100%
rename from string_lexer.py
rename to misc/string_lexer.py
diff --git a/tablegen.py b/misc/useless_cfg_code.py
similarity index 100%
rename from tablegen.py
rename to misc/useless_cfg_code.py
diff --git a/CFGBoltzmann.py b/old_parser/CFGBoltzmann.py
old mode 100755
new mode 100644
similarity index 100%
rename from CFGBoltzmann.py
rename to old_parser/CFGBoltzmann.py
diff --git a/table_to_stackstates.py b/old_parser/LRtables_to_oldparser_parameters.py
similarity index 100%
rename from table_to_stackstates.py
rename to old_parser/LRtables_to_oldparser_parameters.py
diff --git a/automatic_tester.py b/old_parser/automatic_tester.py
old mode 100755
new mode 100644
similarity index 100%
rename from automatic_tester.py
rename to old_parser/automatic_tester.py
diff --git a/bison_xml_file_ingest.py b/old_parser/bison_xml_file_ingest.py
similarity index 100%
rename from bison_xml_file_ingest.py
rename to old_parser/bison_xml_file_ingest.py
diff --git a/combinatorial_LR_parser.py b/old_parser/combinatorial_LR_parser.py
old mode 100755
new mode 100644
similarity index 100%
rename from combinatorial_LR_parser.py
rename to old_parser/combinatorial_LR_parser.py
diff --git a/fun_with_bison/broken_ielr.html b/old_parser/fun_with_bison/broken_ielr.html
similarity index 100%
rename from fun_with_bison/broken_ielr.html
rename to old_parser/fun_with_bison/broken_ielr.html
diff --git a/fun_with_bison/broken_ielr_grammar.dot b/old_parser/fun_with_bison/broken_ielr_grammar.dot
similarity index 100%
rename from fun_with_bison/broken_ielr_grammar.dot
rename to old_parser/fun_with_bison/broken_ielr_grammar.dot
diff --git a/fun_with_bison/broken_ielr_grammar.output b/old_parser/fun_with_bison/broken_ielr_grammar.output
similarity index 100%
rename from fun_with_bison/broken_ielr_grammar.output
rename to old_parser/fun_with_bison/broken_ielr_grammar.output
diff --git a/fun_with_bison/broken_ielr_grammar.tab.c b/old_parser/fun_with_bison/broken_ielr_grammar.tab.c
similarity index 100%
rename from fun_with_bison/broken_ielr_grammar.tab.c
rename to old_parser/fun_with_bison/broken_ielr_grammar.tab.c
diff --git a/fun_with_bison/broken_ielr_grammar.xml b/old_parser/fun_with_bison/broken_ielr_grammar.xml
similarity index 100%
rename from fun_with_bison/broken_ielr_grammar.xml
rename to old_parser/fun_with_bison/broken_ielr_grammar.xml
diff --git a/fun_with_bison/broken_ielr_grammar.y b/old_parser/fun_with_bison/broken_ielr_grammar.y
similarity index 100%
rename from fun_with_bison/broken_ielr_grammar.y
rename to old_parser/fun_with_bison/broken_ielr_grammar.y
diff --git a/fun_with_bison/egg.dot b/old_parser/fun_with_bison/egg.dot
similarity index 100%
rename from fun_with_bison/egg.dot
rename to old_parser/fun_with_bison/egg.dot
diff --git a/fun_with_bison/egg.output b/old_parser/fun_with_bison/egg.output
similarity index 100%
rename from fun_with_bison/egg.output
rename to old_parser/fun_with_bison/egg.output
diff --git a/fun_with_bison/egg.tab.c b/old_parser/fun_with_bison/egg.tab.c
similarity index 100%
rename from fun_with_bison/egg.tab.c
rename to old_parser/fun_with_bison/egg.tab.c
diff --git a/fun_with_bison/egg.tab.h b/old_parser/fun_with_bison/egg.tab.h
similarity index 100%
rename from fun_with_bison/egg.tab.h
rename to old_parser/fun_with_bison/egg.tab.h
diff --git a/fun_with_bison/egg.xml b/old_parser/fun_with_bison/egg.xml
similarity index 100%
rename from fun_with_bison/egg.xml
rename to old_parser/fun_with_bison/egg.xml
diff --git a/fun_with_bison/egg.y b/old_parser/fun_with_bison/egg.y
similarity index 100%
rename from fun_with_bison/egg.y
rename to old_parser/fun_with_bison/egg.y
diff --git a/fun_with_bison/fig5.html b/old_parser/fun_with_bison/fig5.html
similarity index 100%
rename from fun_with_bison/fig5.html
rename to old_parser/fun_with_bison/fig5.html
diff --git a/fun_with_bison/fig5_rev.html b/old_parser/fun_with_bison/fig5_rev.html
similarity index 100%
rename from fun_with_bison/fig5_rev.html
rename to old_parser/fun_with_bison/fig5_rev.html
diff --git a/fun_with_bison/foobar.dot b/old_parser/fun_with_bison/foobar.dot
similarity index 100%
rename from fun_with_bison/foobar.dot
rename to old_parser/fun_with_bison/foobar.dot
diff --git a/fun_with_bison/foobar.tab.c b/old_parser/fun_with_bison/foobar.tab.c
similarity index 100%
rename from fun_with_bison/foobar.tab.c
rename to old_parser/fun_with_bison/foobar.tab.c
diff --git a/fun_with_bison/foobar.xml b/old_parser/fun_with_bison/foobar.xml
similarity index 100%
rename from fun_with_bison/foobar.xml
rename to old_parser/fun_with_bison/foobar.xml
diff --git a/fun_with_bison/foobar.y b/old_parser/fun_with_bison/foobar.y
similarity index 100%
rename from fun_with_bison/foobar.y
rename to old_parser/fun_with_bison/foobar.y
diff --git a/fun_with_bison/ielr.html b/old_parser/fun_with_bison/ielr.html
similarity index 100%
rename from fun_with_bison/ielr.html
rename to old_parser/fun_with_bison/ielr.html
diff --git a/fun_with_bison/ielr_grammar.dot b/old_parser/fun_with_bison/ielr_grammar.dot
similarity index 100%
rename from fun_with_bison/ielr_grammar.dot
rename to old_parser/fun_with_bison/ielr_grammar.dot
diff --git a/fun_with_bison/ielr_grammar.output b/old_parser/fun_with_bison/ielr_grammar.output
similarity index 100%
rename from fun_with_bison/ielr_grammar.output
rename to old_parser/fun_with_bison/ielr_grammar.output
diff --git a/fun_with_bison/ielr_grammar.tab.c b/old_parser/fun_with_bison/ielr_grammar.tab.c
similarity index 100%
rename from fun_with_bison/ielr_grammar.tab.c
rename to old_parser/fun_with_bison/ielr_grammar.tab.c
diff --git a/fun_with_bison/ielr_grammar.xml b/old_parser/fun_with_bison/ielr_grammar.xml
similarity index 100%
rename from fun_with_bison/ielr_grammar.xml
rename to old_parser/fun_with_bison/ielr_grammar.xml
diff --git a/fun_with_bison/ielr_grammar.y b/old_parser/fun_with_bison/ielr_grammar.y
similarity index 100%
rename from fun_with_bison/ielr_grammar.y
rename to old_parser/fun_with_bison/ielr_grammar.y
diff --git a/fun_with_bison/ielr_paper_fig_1_grammar.tab.c b/old_parser/fun_with_bison/ielr_paper_fig_1_grammar.tab.c
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_1_grammar.tab.c
rename to old_parser/fun_with_bison/ielr_paper_fig_1_grammar.tab.c
diff --git a/fun_with_bison/ielr_paper_fig_1_grammar.xml b/old_parser/fun_with_bison/ielr_paper_fig_1_grammar.xml
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_1_grammar.xml
rename to old_parser/fun_with_bison/ielr_paper_fig_1_grammar.xml
diff --git a/fun_with_bison/ielr_paper_fig_1_grammar.y b/old_parser/fun_with_bison/ielr_paper_fig_1_grammar.y
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_1_grammar.y
rename to old_parser/fun_with_bison/ielr_paper_fig_1_grammar.y
diff --git a/fun_with_bison/ielr_paper_fig_2_grammar.tab.c b/old_parser/fun_with_bison/ielr_paper_fig_2_grammar.tab.c
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_2_grammar.tab.c
rename to old_parser/fun_with_bison/ielr_paper_fig_2_grammar.tab.c
diff --git a/fun_with_bison/ielr_paper_fig_2_grammar.xml b/old_parser/fun_with_bison/ielr_paper_fig_2_grammar.xml
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_2_grammar.xml
rename to old_parser/fun_with_bison/ielr_paper_fig_2_grammar.xml
diff --git a/fun_with_bison/ielr_paper_fig_2_grammar.y b/old_parser/fun_with_bison/ielr_paper_fig_2_grammar.y
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_2_grammar.y
rename to old_parser/fun_with_bison/ielr_paper_fig_2_grammar.y
diff --git a/fun_with_bison/ielr_paper_fig_3_grammar.tab.c b/old_parser/fun_with_bison/ielr_paper_fig_3_grammar.tab.c
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_3_grammar.tab.c
rename to old_parser/fun_with_bison/ielr_paper_fig_3_grammar.tab.c
diff --git a/fun_with_bison/ielr_paper_fig_3_grammar.xml b/old_parser/fun_with_bison/ielr_paper_fig_3_grammar.xml
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_3_grammar.xml
rename to old_parser/fun_with_bison/ielr_paper_fig_3_grammar.xml
diff --git a/fun_with_bison/ielr_paper_fig_3_grammar.y b/old_parser/fun_with_bison/ielr_paper_fig_3_grammar.y
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_3_grammar.y
rename to old_parser/fun_with_bison/ielr_paper_fig_3_grammar.y
diff --git a/fun_with_bison/ielr_paper_fig_4_grammar.tab.c b/old_parser/fun_with_bison/ielr_paper_fig_4_grammar.tab.c
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_4_grammar.tab.c
rename to old_parser/fun_with_bison/ielr_paper_fig_4_grammar.tab.c
diff --git a/fun_with_bison/ielr_paper_fig_4_grammar.xml b/old_parser/fun_with_bison/ielr_paper_fig_4_grammar.xml
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_4_grammar.xml
rename to old_parser/fun_with_bison/ielr_paper_fig_4_grammar.xml
diff --git a/fun_with_bison/ielr_paper_fig_4_grammar.y b/old_parser/fun_with_bison/ielr_paper_fig_4_grammar.y
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_4_grammar.y
rename to old_parser/fun_with_bison/ielr_paper_fig_4_grammar.y
diff --git a/fun_with_bison/ielr_paper_fig_5_grammar.dot b/old_parser/fun_with_bison/ielr_paper_fig_5_grammar.dot
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_5_grammar.dot
rename to old_parser/fun_with_bison/ielr_paper_fig_5_grammar.dot
diff --git a/fun_with_bison/ielr_paper_fig_5_grammar.tab.c b/old_parser/fun_with_bison/ielr_paper_fig_5_grammar.tab.c
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_5_grammar.tab.c
rename to old_parser/fun_with_bison/ielr_paper_fig_5_grammar.tab.c
diff --git a/fun_with_bison/ielr_paper_fig_5_grammar.xml b/old_parser/fun_with_bison/ielr_paper_fig_5_grammar.xml
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_5_grammar.xml
rename to old_parser/fun_with_bison/ielr_paper_fig_5_grammar.xml
diff --git a/fun_with_bison/ielr_paper_fig_5_grammar.y b/old_parser/fun_with_bison/ielr_paper_fig_5_grammar.y
similarity index 100%
rename from fun_with_bison/ielr_paper_fig_5_grammar.y
rename to old_parser/fun_with_bison/ielr_paper_fig_5_grammar.y
diff --git a/fun_with_bison/java.html b/old_parser/fun_with_bison/java.html
similarity index 100%
rename from fun_with_bison/java.html
rename to old_parser/fun_with_bison/java.html
diff --git a/fun_with_bison/reverse_precedence_fig_5.dot b/old_parser/fun_with_bison/reverse_precedence_fig_5.dot
similarity index 100%
rename from fun_with_bison/reverse_precedence_fig_5.dot
rename to old_parser/fun_with_bison/reverse_precedence_fig_5.dot
diff --git a/fun_with_bison/reverse_precedence_fig_5.output b/old_parser/fun_with_bison/reverse_precedence_fig_5.output
similarity index 100%
rename from fun_with_bison/reverse_precedence_fig_5.output
rename to old_parser/fun_with_bison/reverse_precedence_fig_5.output
diff --git a/fun_with_bison/reverse_precedence_fig_5.tab.c b/old_parser/fun_with_bison/reverse_precedence_fig_5.tab.c
similarity index 100%
rename from fun_with_bison/reverse_precedence_fig_5.tab.c
rename to old_parser/fun_with_bison/reverse_precedence_fig_5.tab.c
diff --git a/fun_with_bison/reverse_precedence_fig_5.xml b/old_parser/fun_with_bison/reverse_precedence_fig_5.xml
similarity index 100%
rename from fun_with_bison/reverse_precedence_fig_5.xml
rename to old_parser/fun_with_bison/reverse_precedence_fig_5.xml
diff --git a/fun_with_bison/reverse_precedence_fig_5.y b/old_parser/fun_with_bison/reverse_precedence_fig_5.y
similarity index 100%
rename from fun_with_bison/reverse_precedence_fig_5.y
rename to old_parser/fun_with_bison/reverse_precedence_fig_5.y
diff --git a/fun_with_bison/tapir.html b/old_parser/fun_with_bison/tapir.html
similarity index 100%
rename from fun_with_bison/tapir.html
rename to old_parser/fun_with_bison/tapir.html
diff --git a/arbitrary_width_memory.py b/rtl_lib/arbitrary_width_memory.py
similarity index 100%
rename from arbitrary_width_memory.py
rename to rtl_lib/arbitrary_width_memory.py
diff --git a/rtl_lib/arbitrary_width_memory.sby b/rtl_lib/arbitrary_width_memory.sby
new file mode 100644
index 0000000..89bbf9b
--- /dev/null
+++ b/rtl_lib/arbitrary_width_memory.sby
@@ -0,0 +1,19 @@
+[options]
+mode prove
+multiclock off
+
+[engines]
+smtbmc
+
+[script]
+read_ilang mem.il
+prep -top top
+proc
+opt
+fsm
+flatten
+show -format dot -notitle
+
+
+[files]
+mem.il
\ No newline at end of file
diff --git a/gearbox.py b/rtl_lib/gearbox.py
old mode 100755
new mode 100644
similarity index 100%
rename from gearbox.py
rename to rtl_lib/gearbox.py
diff --git a/one_hot_utils.py b/rtl_lib/one_hot_utils.py
old mode 100755
new mode 100644
similarity index 100%
rename from one_hot_utils.py
rename to rtl_lib/one_hot_utils.py
diff --git a/PipeStage.py b/rtl_lib/pipe_stage.py
similarity index 100%
rename from PipeStage.py
rename to rtl_lib/pipe_stage.py
diff --git a/pipestage.sby b/rtl_lib/pipestage.sby
similarity index 100%
rename from pipestage.sby
rename to rtl_lib/pipestage.sby
diff --git a/skidbuffer.py b/rtl_lib/skidbuffer.py
old mode 100755
new mode 100644
similarity index 100%
rename from skidbuffer.py
rename to rtl_lib/skidbuffer.py
diff --git a/width_converter_simulator.py b/rtl_lib/width_converter_simulator.py
similarity index 100%
rename from width_converter_simulator.py
rename to rtl_lib/width_converter_simulator.py
diff --git a/unoptimized_lr/classtest.py b/unoptimized_lr/classtest.py
new file mode 100644
index 0000000..69d2f31
--- /dev/null
+++ b/unoptimized_lr/classtest.py
@@ -0,0 +1,23 @@
+
+class ParametrizationConstants():
+ def __init__(self, *, number_of_terminals, number_of_nonterminals,
+ number_of_states, number_of_reduce_rules,
+ length_of_longest_rule_RHS, maximum_number_of_stack_items,
+ longest_serialized_parse_tree):
+ self.number_of_terminals = number_of_terminals
+ self.number_of_nonterminals = number_of_nonterminals
+ self.number_of_states = number_of_states
+ self.number_of_reduce_rules = number_of_reduce_rules
+ self.length_of_longest_rule_RHS = length_of_longest_rule_RHS
+ self.maximum_number_of_stack_items = maximum_number_of_stack_items
+ self.longest_serialized_parse_tree = longest_serialized_parse_tree
+
+
+
+
+egg = ParametrizationConstants(number_of_terminals=3, number_of_nonterminals=4,
+ number_of_states=5, number_of_reduce_rules=6,
+ length_of_longest_rule_RHS=7, maximum_number_of_stack_items=8,
+ longest_serialized_parse_tree=9)
+
+print(egg.longest_serialized_parse_tree)
\ No newline at end of file
--
GitLab