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 0000000000000000000000000000000000000000..89bbf9bb7f2537664e4a93eb7c659c58f013cda7 --- /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 0000000000000000000000000000000000000000..69d2f31c5cd4055b4f1a9a81a39bbe10e0754a72 --- /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