From ef16392657d28eaa355c4b3606438106e1d6fcd1 Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Fri, 4 Nov 2022 14:47:01 -0600 Subject: [PATCH 01/40] Create indexer --- indexing/indexer.py | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100755 indexing/indexer.py diff --git a/indexing/indexer.py b/indexing/indexer.py new file mode 100755 index 0000000..c056c89 --- /dev/null +++ b/indexing/indexer.py @@ -0,0 +1,28 @@ +#!/usr/bin/env python3 + +import os + +o = '{' +c = '}' + +def getTags(fullPath): + return [] # TODO + +def createJSONFromFolder(folder, indentationLevel = 0): + json = "[" + tabs = "\t" * indentationLevel + for f in os.listdir(folder): + if os.path.isdir(folder + '/' + f) and not f.startswith('.'): + json += f"\n{tabs}{o} \"name\":\"{f}\"\n{tabs}, \"type\":\"folder\"\n{tabs}, \"contents\":{createJSONFromFolder(folder + '/' + f, indentationLevel + 1)} {c}" + elif os.path.isfile(folder + '/' + f): + tags = "[" + for tag in getTags(folder + '/' + f): + tags += f"\"tag\"," + tags = f"{tags[:len(tags) - 1]}]" + json += f"\n{tabs}{o} \"name\":\"{f}\"\n{tabs}, \"type\":\"file\"\n{tabs}, \"tags\":{tags}{c}" + json += "]" + return json + +if __name__=='__main__': + print(createJSONFromFolder(os.getcwd())) + From 8f181dbe595d64ffa1842b432ec297f2ac515956 Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Fri, 4 Nov 2022 14:50:59 -0600 Subject: [PATCH 02/40] Index webpage --- indexing/index.html | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 indexing/index.html diff --git a/indexing/index.html b/indexing/index.html new file mode 100644 index 0000000..bd62421 --- /dev/null +++ b/indexing/index.html @@ -0,0 +1,9 @@ + + + + FLUENT Verification Case Studies + + + TODO + + From 5156efd44ef74590435c2f898191c486653151e7 Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Fri, 4 Nov 2022 14:53:34 -0600 Subject: [PATCH 03/40] Basic skeleton for webpage --- indexing/{ => webpage}/index.html | 0 indexing/webpage/scripts/indexReader.js | 3 +++ indexing/webpage/styles/styles.css | 3 +++ 3 files changed, 6 insertions(+) rename indexing/{ => webpage}/index.html (100%) create mode 100644 indexing/webpage/scripts/indexReader.js create mode 100644 indexing/webpage/styles/styles.css diff --git a/indexing/index.html b/indexing/webpage/index.html similarity index 100% rename from indexing/index.html rename to indexing/webpage/index.html diff --git a/indexing/webpage/scripts/indexReader.js b/indexing/webpage/scripts/indexReader.js new file mode 100644 index 0000000..9761b03 --- /dev/null +++ b/indexing/webpage/scripts/indexReader.js @@ -0,0 +1,3 @@ +function createTag() { + // TODO +} diff --git a/indexing/webpage/styles/styles.css b/indexing/webpage/styles/styles.css new file mode 100644 index 0000000..a326381 --- /dev/null +++ b/indexing/webpage/styles/styles.css @@ -0,0 +1,3 @@ +body { + font-family: sans-serif; +} From e96dc766fae2f4b730ee9b20822388fe52a17ae7 Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Fri, 4 Nov 2022 15:18:34 -0600 Subject: [PATCH 04/40] Added some basic design for website --- indexing/webpage/index.html | 19 ++++++++++- indexing/webpage/styles/styles.css | 51 ++++++++++++++++++++++++++++++ 2 files changed, 69 insertions(+), 1 deletion(-) diff --git a/indexing/webpage/index.html b/indexing/webpage/index.html index bd62421..10c4246 100644 --- a/indexing/webpage/index.html +++ b/indexing/webpage/index.html @@ -2,8 +2,25 @@ FLUENT Verification Case Studies + + - TODO + +
+
 
+ +
+ TODO: Results will display here +
+
diff --git a/indexing/webpage/styles/styles.css b/indexing/webpage/styles/styles.css index a326381..4c2d1bf 100644 --- a/indexing/webpage/styles/styles.css +++ b/indexing/webpage/styles/styles.css @@ -1,3 +1,54 @@ body { font-family: sans-serif; } + +#navbar { + position: fixed; + width: 100%; + display: block; + top: 0px; + left: 0px; + background-color: #1370c1; + color: white; +} + +#navbar a { + color: white; + text-decoration: none; + padding: 15px; + display: inline-block; + border-bottom: 4px solid #1370c1; + border-top: 4px solid #1370c1; + transition: all 200ms ease; +} + +#navbar a:hover { + border-bottom: 4px solid #ffffff; +} + +#logo { + font-weight: bold; +} + +#top-buffer { + height: 70px; +} + +#search input[type="text"] { + width: 100%; + border: 1px solid #7d7d7d; + padding: 10px; + border-radius: 20px; + padding-left: 30px; +} + +#contents { + padding-left: 10%; + padding-right: 10%; +} + +#results, .results { + background-color: #eeeeee; + padding: 10px; + border-radius: 5px; +} From 50de69beed6455a8302da3e8601295a4ecdc45bb Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Fri, 4 Nov 2022 15:31:04 -0600 Subject: [PATCH 05/40] First draft of index --- indexing/index.json | 1891 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 1891 insertions(+) create mode 100644 indexing/index.json diff --git a/indexing/index.json b/indexing/index.json new file mode 100644 index 0000000..c50de64 --- /dev/null +++ b/indexing/index.json @@ -0,0 +1,1891 @@ +[ +{ "name":"crn" +, "type":"folder" +, "contents":[ + { "name":"KuwaharaEnzyme" + , "type":"folder" + , "contents":[ + { "name":"simple_enzyme.csl" + , "type":"file" + , "tags":]} + { "name":"simple_enzyme.modest" + , "type":"file" + , "tags":]} + { "name":"simple_enzyme.jani" + , "type":"file" + , "tags":]} + { "name":"simple_enzyme.sm" + , "type":"file" + , "tags":]} + { "name":"simple_enzyme_11.ivy" + , "type":"file" + , "tags":]}] } + { "name":"DonovanYeastPolarization" + , "type":"folder" + , "contents":[ + { "name":"layered_yeast_variant2.ivy" + , "type":"file" + , "tags":]} + { "name":"yeastPolarization.modest" + , "type":"file" + , "tags":]} + { "name":"yeastPolarization.dot" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_v4.ivy" + , "type":"file" + , "tags":]} + { "name":"layered_yeast_v2.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_3and5_v3.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_v2.ivy" + , "type":"file" + , "tags":]} + { "name":"yeastPolarization.csl" + , "type":"file" + , "tags":]} + { "name":"bank.ivy" + , "type":"file" + , "tags":]} + { "name":"layered_yeast_variant3.ivy" + , "type":"file" + , "tags":]} + { "name":"yeastPolarization.jani" + , "type":"file" + , "tags":]} + { "name":"yeastPolarization.sm" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_v3.ivy" + , "type":"file" + , "tags":]} + { "name":"fifth_other.ivy" + , "type":"file" + , "tags":]} + { "name":"assertion_test_yeast1.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_3and5_v03.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model.ivy" + , "type":"file" + , "tags":]} + { "name":"chem_obj_fifth_iso_variant.ivy" + , "type":"file" + , "tags":]} + { "name":"yeastPolarization.png" + , "type":"file" + , "tags":]} + { "name":"yeastPolarization_1.modest" + , "type":"file" + , "tags":]} + { "name":"chem_obj_fifth_iso.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_variant1.ivy" + , "type":"file" + , "tags":]} + { "name":"yeast1.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_v5.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_v03.ivy" + , "type":"file" + , "tags":]} + { "name":"layered_yeast_variant.ivy" + , "type":"file" + , "tags":]} + { "name":"layered_yeast.ivy" + , "type":"file" + , "tags":]} + { "name":"fifth_reaction_isolate.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_3and5_v02.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_v02.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_short_3and5_v2.ivy" + , "type":"file" + , "tags":]} + { "name":"test_fifth_isolate_yeast1.ivy" + , "type":"file" + , "tags":]} + { "name":"fifth_reaction_isolate_variant.ivy" + , "type":"file" + , "tags":]} + { "name":"controlled_model_separated.ivy" + , "type":"file" + , "tags":]}] }] } +{ "name":".gitignore" +, "type":"file" +, "tags":]} +{ "name":"SBML" +, "type":"folder" +, "contents":[ + { "name":"Repressilator.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit_0x8E" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_100to010_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to100_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to101_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to010_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to000_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to011_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to010_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to011_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to000_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to100_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to101_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to111_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to111_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to111_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to101_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to100_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to100_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to000_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to010_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to000_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to011_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to010_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to111_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to011_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to111_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100_G0_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to011_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to101_G1_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010_G0_10_10.xml" + , "type":"file" + , "tags":]}] } + { "name":"Toggle_Switch_RBA.xml" + , "type":"file" + , "tags":]} + { "name":"Dual_Feedback_Oscillator.xml" + , "type":"file" + , "tags":]} + { "name":"Toggle_Switch.xml" + , "type":"file" + , "tags":]} + { "name":"Muller_C_Element" + , "type":"folder" + , "contents":[ + { "name":"Majority_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Majority.xml" + , "type":"file" + , "tags":]} + { "name":"Speed_Independent_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Speed_Independent.xml" + , "type":"file" + , "tags":]} + { "name":"Toggle_10_10.xml" + , "type":"file" + , "tags":]} + { "name":"Toggle.xml" + , "type":"file" + , "tags":]}] }] } +{ "name":"Figures" +, "type":"folder" +, "contents":[ + { "name":"ToggleSwitch.png" + , "type":"file" + , "tags":]} + { "name":"Majority.png" + , "type":"file" + , "tags":]} + { "name":"Repressilator.PNG" + , "type":"file" + , "tags":]} + { "name":"Speed_Independent.png" + , "type":"file" + , "tags":]} + { "name":"0x8E_LogicHazardFree.png" + , "type":"file" + , "tags":]} + { "name":"0x8E_TwoInverter.png" + , "type":"file" + , "tags":]} + { "name":"DualFeedback.png" + , "type":"file" + , "tags":]} + { "name":"0x8E_Original.png" + , "type":"file" + , "tags":]} + { "name":"Toggle.png" + , "type":"file" + , "tags":]}] } +{ "name":"README.md" +, "type":"file" +, "tags":]} +{ "name":"indexing" +, "type":"folder" +, "contents":[ + { "name":"indexer.py" + , "type":"file" + , "tags":]} + { "name":"webpage" + , "type":"folder" + , "contents":[ + { "name":"scripts" + , "type":"folder" + , "contents":[ + { "name":"indexReader.js" + , "type":"file" + , "tags":]}] } + { "name":"index.html" + , "type":"file" + , "tags":]} + { "name":"styles" + , "type":"folder" + , "contents":[ + { "name":"styles.css" + , "type":"file" + , "tags":]}] }] } + { "name":"index.json" + , "type":"file" + , "tags":]}] } +{ "name":"prism" +, "type":"folder" +, "contents":[ + { "name":"HazardCct" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_Two_Inverter" + , "type":"folder" + , "contents":[ + { "name":"Glitch Zero" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_TI_111to010.sm" + , "type":"file" + , "tags":]} + { "name":"pro.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to010.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to111.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to100.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to010.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to111.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to010.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to111.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to111.xml" + , "type":"file" + , "tags":]} + { "name":"Unbounded" + , "type":"folder" + , "contents":[ + { "name":"pro.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to100_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to010_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"FinalResults" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_TI_100to010_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to100_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to100_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to111_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to010_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to111_unbounded.txt" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_TI_111to010_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to100_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to111_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to111_unbounded.sm" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_TI_010to100.sm" + , "type":"file" + , "tags":]} + { "name":"results.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to100.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to100.sm" + , "type":"file" + , "tags":]}] } + { "name":"Glitch One" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_TI_011to101.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to011.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to101.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to000.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to011.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to101.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to000.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to000.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to011.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to000.sm" + , "type":"file" + , "tags":]} + { "name":"Unbounded" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_TI_000to101_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to000_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to011_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to101_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"FinalResults" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_TI_011to101_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to000_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to011_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to000_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to011_unbounded.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to101_unbounded.txt" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_TI_000to011_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to000_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"pro1.csl" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_TI_000to101.sm" + , "type":"file" + , "tags":]} + { "name":"pro1.csl" + , "type":"file" + , "tags":]} + { "name":"results.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to011.sm" + , "type":"file" + , "tags":]}] }] } + { "name":"Circuit0x8E_original" + , "type":"folder" + , "contents":[ + { "name":"Reaction_based_abstraction" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_flat_10.sm" + , "type":"file" + , "tags":]} + { "name":"hazard.csl" + , "type":"file" + , "tags":]} + { "name":"deprecated" + , "type":"folder" + , "contents":[ + { "name":"degradeBy10.sm" + , "type":"file" + , "tags":]} + { "name":"Top.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0xE8_no_abs.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0xE8_max50_no_abs.sm" + , "type":"file" + , "tags":]}] } + { "name":"README.md" + , "type":"file" + , "tags":]} + { "name":"Glitch-One" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_flat_10_011to000_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_011to101_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_011to101_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_000to011_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_000to011_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_000to101_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_101to000_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_101to000_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_101to011_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_011to000_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_000to101_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_101to011_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"hazard_glitch_one.csl" + , "type":"file" + , "tags":]} + { "name":"stamina_results" + , "type":"folder" + , "contents":[ + { "name":"stamina_results_101to000.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_101to011.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_000to011_greater_eq_30.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_000to011_less_eq_30.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_000to011.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_000to101.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_011to101.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_011to000.txt" + , "type":"file" + , "tags":]}] }] } + { "name":"Glitch-Zero" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_flat_10_111to100_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_100to111_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_010to100_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_010to111_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"hazard_glitch_zero_invertUntil.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_010to111_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_100to010_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_100to010_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_111to010_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"hazard_glitch_zero.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_111to100_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"test.txt" + , "type":"file" + , "tags":]} + { "name":"results.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_100to111_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_010to100_unbounded.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_flat_10_111to010_bounded.sm" + , "type":"file" + , "tags":]} + { "name":"stamina_results" + , "type":"folder" + , "contents":[ + { "name":"stamina_results_010to100.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_111to010.txt" + , "type":"file" + , "tags":]} + { "name":"incomplete" + , "type":"folder" + , "contents":[ + { "name":"stamina_results_100to111.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_010to111.txt" + , "type":"file" + , "tags":]}] } + { "name":"stamina_results_111to100.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_100to010.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_010to111_errPminPmax.txt" + , "type":"file" + , "tags":]} + { "name":"stamina_results_010to111.txt" + , "type":"file" + , "tags":]}] }] }] } + { "name":"No_abstraction" + , "type":"folder" + , "contents":[ + { "name":"Glitch_Zero" + , "type":"folder" + , "contents":[ + { "name":"pro.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_Zero_Glitches" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to111.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to111.xml" + , "type":"file" + , "tags":]} + { "name":"Unbounded" + , "type":"folder" + , "contents":[ + { "name":"pro.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010_unb.sm" + , "type":"file" + , "tags":]} + { "name":"FinalResults" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_100to111_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100_unb.txt" + , "type":"file" + , "tags":]} + { "name":"010to111.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100_unb.txt" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_010to111_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111_unb.sm" + , "type":"file" + , "tags":]} + { "name":"results.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100_unb.sm" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_010to100.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010.xml" + , "type":"file" + , "tags":]}] } + { "name":"Glitch_One" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_101to011.xml" + , "type":"file" + , "tags":]} + { "name":"Unbound" + , "type":"folder" + , "contents":[ + { "name":"000to011_combined" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_unb_test.sm" + , "type":"file" + , "tags":]} + { "name":"FinalResults" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_101to000_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to011_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101_unb.txt" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_101to011_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000_unb.sm" + , "type":"file" + , "tags":]} + { "name":"pro1.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_unb.sm" + , "type":"file" + , "tags":]} + { "name":"results.txt" + , "type":"file" + , "tags":]} + { "name":"000to011_merged.sm" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_000to101.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to011.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_test.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011.sm" + , "type":"file" + , "tags":]} + { "name":"pro1.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101.xml" + , "type":"file" + , "tags":]} + { "name":"results.txt" + , "type":"file" + , "tags":]}] }] }] } + { "name":"README.md" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LogicHazardFree" + , "type":"folder" + , "contents":[ + { "name":"Glitch Zero" + , "type":"folder" + , "contents":[ + { "name":"pro.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to100.xml" + , "type":"file" + , "tags":]} + { "name":"err.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to100.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to100.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to111.sm" + , "type":"file" + , "tags":]} + { "name":"Unbounded" + , "type":"folder" + , "contents":[ + { "name":"pro.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to010_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to100_unb.sm" + , "type":"file" + , "tags":]} + { "name":"FinalResults" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_LHF_010to111_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to100_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to010_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to100_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to111_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to010_unb.txt" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_LHF_100to111_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to111_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to010_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to100_unb.sm" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_LHF_111to100.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to010.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to111.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to010.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to010.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to111.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to111.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to010.sm" + , "type":"file" + , "tags":]}] } + { "name":"Glitch One" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_LHF_000to101.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to101.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to011.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to000.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to101.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to011.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to000.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to000.sm" + , "type":"file" + , "tags":]} + { "name":"Unbounded" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_LHF_000to011_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to011_unb.sm" + , "type":"file" + , "tags":]} + { "name":"FinalResults" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_LHF_101to011_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to000_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to101_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to011_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to000_unb.txt" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to101_unb.txt" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_LHF_101to000_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to101_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to000_unb.sm" + , "type":"file" + , "tags":]} + { "name":"pro1.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to101_unb.sm" + , "type":"file" + , "tags":]}] } + { "name":"Circuit0x8E_LHF_101to011.xml" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to011.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to101.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to000.xml" + , "type":"file" + , "tags":]} + { "name":"pro1.csl" + , "type":"file" + , "tags":]}] }] }] } + { "name":"Circuit0x8E" + , "type":"folder" + , "contents":[ + { "name":"Circuit0x8E_LHF_G1.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100_G0_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to101_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101_G1_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to101_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010_G0_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to100_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101_G1_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to111_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to101_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to010_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to010_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to000_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to100_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111_G0_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010_G0_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_G1_unb.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_G0csl.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to111_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to011_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to011_G1_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to000_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to111_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111_G0_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to011_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to101_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to011_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_G0_unb.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to111_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to111_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to111_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000_G1_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to011_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010_G0_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_G1_RBA.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000_G1_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to101_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to011_G1_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to111_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_G1_unb.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101_G1_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to000_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to010_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to000_G1_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to010_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to111_G0_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to011_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to000_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to000_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_100to010_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_G1.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to000_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100_G0_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to000_G1_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to100_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_011to101_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to101_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_011to000_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_G0_RBA.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to000_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_000to011_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100_G0_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_G1_10_10_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_010to100_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to100_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_G1.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to100_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to010_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_G0.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to010_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to011_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to010_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_G0_unb.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_101to011_G1_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to111_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_G1_unb.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to011_G1_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_G0_unb.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to010_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_111to100_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_011to101_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to100_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100_G0_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_100to111_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_101to011_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_000to101_G1_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to111_G0_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_LHF_111to100_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_000to101_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_100to111_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_010to111_G0_10_10_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_111to010_G0_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_TI_101to011_G1_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_G0.csl" + , "type":"file" + , "tags":]} + { "name":"Circuit0x8E_010to100_G0_10_10_RBA_unb.sm" + , "type":"file" + , "tags":]}] } + { "name":"RobotWorld" + , "type":"folder" + , "contents":[ + { "name":"robot_n_32.prism" + , "type":"file" + , "tags":]} + { "name":"robot_n_32.csl" + , "type":"file" + , "tags":]} + { "name":"robot_n_64.prism" + , "type":"file" + , "tags":]} + { "name":"robot_n_64.csl" + , "type":"file" + , "tags":]}] } + { "name":"Jackson" + , "type":"folder" + , "contents":[ + { "name":"jackson_lambda_5_N_5.csl" + , "type":"file" + , "tags":]} + { "name":"jackson_lambda_5_N_4.csl" + , "type":"file" + , "tags":]} + { "name":"jackson_lambda_5_N_5.prism" + , "type":"file" + , "tags":]} + { "name":"jackson_lambda_5_N_4.prism" + , "type":"file" + , "tags":]}] } + { "name":"toy" + , "type":"folder" + , "contents":[ + { "name":"toy2_combined4.prism" + , "type":"file" + , "tags":]} + { "name":"toy.csl" + , "type":"file" + , "tags":]} + { "name":"toy1_separate.prism" + , "type":"file" + , "tags":]} + { "name":"toy2_separate.prism" + , "type":"file" + , "tags":]} + { "name":"toy1_combined.prism" + , "type":"file" + , "tags":]} + { "name":"toy2_combined3.prism" + , "type":"file" + , "tags":]} + { "name":"toy2_combined2.prism" + , "type":"file" + , "tags":]} + { "name":"toy2_combined.prism" + , "type":"file" + , "tags":]}] } + { "name":"Tandem" + , "type":"folder" + , "contents":[ + { "name":"tandem_c_2047_T_0.25.csl" + , "type":"file" + , "tags":]} + { "name":"tandem_c_2047_T_0.25.prism" + , "type":"file" + , "tags":]} + { "name":"tandem_c_4095_T_0.25.prism" + , "type":"file" + , "tags":]} + { "name":"tandem_c_4095_T_0.25.csl" + , "type":"file" + , "tags":]}] } + { "name":"Dual_Feedback_Oscillator.sm" + , "type":"file" + , "tags":]} + { "name":"README.md" + , "type":"file" + , "tags":]} + { "name":"Polling" + , "type":"folder" + , "contents":[ + { "name":"polling_T_10_N_20.csl" + , "type":"file" + , "tags":]} + { "name":"polling_T_10_N_20.prism" + , "type":"file" + , "tags":]} + { "name":"polling_T_10_N_16.prism" + , "type":"file" + , "tags":]} + { "name":"polling_T_10_N_16.csl" + , "type":"file" + , "tags":]} + { "name":"polling_T_10_N_12.csl" + , "type":"file" + , "tags":]} + { "name":"polling_T_10_N_12.prism" + , "type":"file" + , "tags":]}] } + { "name":"Toggle_Switch_RBA.sm" + , "type":"file" + , "tags":]} + { "name":"Repressilator.sm" + , "type":"file" + , "tags":]} + { "name":"Muller_C_Element" + , "type":"folder" + , "contents":[ + { "name":"Speed_Independent_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Toggle_10_10.props" + , "type":"file" + , "tags":]} + { "name":"Majority.props" + , "type":"file" + , "tags":]} + { "name":"Majority.sm" + , "type":"file" + , "tags":]} + { "name":"Speed_Independent.sm" + , "type":"file" + , "tags":]} + { "name":"Majority_10_10.props" + , "type":"file" + , "tags":]} + { "name":"C-Element_w_Tolerances" + , "type":"folder" + , "contents":[ + { "name":"OldStyle" + , "type":"folder" + , "contents":[ + { "name":"majority" + , "type":"folder" + , "contents":[ + { "name":"majority0.50.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.15.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.20.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.65.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.85.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.25.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.75.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.30.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.35.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.95.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.55.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.10.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.60.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.80.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.70.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.05.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.90.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.40.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.00.prism" + , "type":"file" + , "tags":]} + { "name":"majority1.00.prism" + , "type":"file" + , "tags":]} + { "name":"majority0.45.prism" + , "type":"file" + , "tags":]}] } + { "name":"toggle" + , "type":"folder" + , "contents":[ + { "name":"toggle0.55.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.70.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.45.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.35.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.75.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.20.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.40.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.50.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.60.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.85.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.95.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.00.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.15.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.80.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.05.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.65.prism" + , "type":"file" + , "tags":]} + { "name":"toggle1.00.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.90.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.30.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.10.prism" + , "type":"file" + , "tags":]} + { "name":"toggle0.25.prism" + , "type":"file" + , "tags":]}] } + { "name":"speed-ind" + , "type":"folder" + , "contents":[ + { "name":"speed0.20.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.90.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.00.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.65.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.45.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.05.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.50.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.60.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.70.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.55.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.25.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.30.prism" + , "type":"file" + , "tags":]} + { "name":"speed1.00.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.85.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.10.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.15.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.40.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.35.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.95.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.75.prism" + , "type":"file" + , "tags":]} + { "name":"speed0.80.prism" + , "type":"file" + , "tags":]}] }] } + { "name":"SynchronizedStyle" + , "type":"folder" + , "contents":[ + { "name":"Majority" + , "type":"folder" + , "contents":[ + { "name":"Majority_0p10.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p20.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p40.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p90.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p80.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p60.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p70.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_1p00.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p50.prism" + , "type":"file" + , "tags":]} + { "name":"Majority_0p30.prism" + , "type":"file" + , "tags":]}] } + { "name":"Speed-ind" + , "type":"folder" + , "contents":[ + { "name":"Speed-Ind_1p00.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p70.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p40.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p20.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p50.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p90.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p80.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p30.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p10.prism" + , "type":"file" + , "tags":]} + { "name":"Speed-Ind_0p60.prism" + , "type":"file" + , "tags":]}] } + { "name":"Toggle" + , "type":"folder" + , "contents":[ + { "name":"Toggle_0p90.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p80.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p10.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p20.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p30.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p50.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_1p00.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p70.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p40.prism" + , "type":"file" + , "tags":]} + { "name":"Toggle_0p60.prism" + , "type":"file" + , "tags":]}] }] }] } + { "name":"Toggle.props" + , "type":"file" + , "tags":]} + { "name":"Toggle_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Majority_10_10.sm" + , "type":"file" + , "tags":]} + { "name":"Speed_Independent_10_10.props" + , "type":"file" + , "tags":]} + { "name":"Toggle.sm" + , "type":"file" + , "tags":]} + { "name":"Speed_Independent.props" + , "type":"file" + , "tags":]}] } + { "name":"Toggle" + , "type":"folder" + , "contents":[ + { "name":"toggle_IPTG_100.prism" + , "type":"file" + , "tags":]} + { "name":"toggle_IPTG_0.csl" + , "type":"file" + , "tags":]} + { "name":"toggle_IPTG_0.prism" + , "type":"file" + , "tags":]} + { "name":"toggle_IPTG_100.csl" + , "type":"file" + , "tags":]} + { "name":"results.txt" + , "type":"file" + , "tags":]}] }] }] From bf1453f6f29375b2efeaea30d99627e0594922de Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Fri, 4 Nov 2022 20:28:25 -0600 Subject: [PATCH 06/40] Added some more css --- indexing/webpage/index.html | 10 ++++++++- indexing/webpage/styles/styles.css | 36 +++++++++++++++++++++++++++++- 2 files changed, 44 insertions(+), 2 deletions(-) diff --git a/indexing/webpage/index.html b/indexing/webpage/index.html index 10c4246..232b364 100644 --- a/indexing/webpage/index.html +++ b/indexing/webpage/index.html @@ -19,7 +19,15 @@
- TODO: Results will display here +
+ Circuit0x8E/hazardFree.prism + Prism + Infinite + Benchmark +
+ Some information about the model here +
+
diff --git a/indexing/webpage/styles/styles.css b/indexing/webpage/styles/styles.css index 4c2d1bf..933038b 100644 --- a/indexing/webpage/styles/styles.css +++ b/indexing/webpage/styles/styles.css @@ -48,7 +48,41 @@ body { } #results, .results { - background-color: #eeeeee; + border: 1px solid #7d7d7d; padding: 10px; border-radius: 5px; } + +.result { +/* background-color: #eeeeee; */ + display: inline-block; + width: calc(100% - 40px); + border: 1px solid #7d7d7d; + padding: 20px; + margin-bottom: 20px; +} + +.result .result-title { + display: inline-block; + width: 100%; + font-weight: bold; + padding-bottom: 10px; + padding-top: 10px; +} + +.tag { + display: inline-block; + border-radius: 20px; + background-color: #1370c1; + color: white; + padding-left: 20px; + padding-right: 20px; + transition: all 200ms ease; + cursor: pointer; +} + +.tag:hover { + color: #1370c1; + border: 1px solid #1370c1; + background-color: white; +} From 562d4f081b5b8ef865d2a290558ff71454c612b5 Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Sun, 6 Nov 2022 09:27:29 -0700 Subject: [PATCH 07/40] Added footer and some better stylesheet code --- indexing/webpage/index.html | 61 ++++++++++++++++-------------- indexing/webpage/styles/styles.css | 13 +++++++ 2 files changed, 46 insertions(+), 28 deletions(-) diff --git a/indexing/webpage/index.html b/indexing/webpage/index.html index 232b364..bf36d5e 100644 --- a/indexing/webpage/index.html +++ b/indexing/webpage/index.html @@ -1,34 +1,39 @@ - - FLUENT Verification Case Studies - - - - - -
-
 
- -
-
- Circuit0x8E/hazardFree.prism - Prism - Infinite - Benchmark -
- Some information about the model here -
+ + FLUENT Verification Case Studies + + + + + +
+
 
+ +
+
+ Circuit0x8E/hazardFree.prism + Prism + Infinite + Benchmark +
+ Some information about the model here
- +
+ + diff --git a/indexing/webpage/styles/styles.css b/indexing/webpage/styles/styles.css index 933038b..bd2092f 100644 --- a/indexing/webpage/styles/styles.css +++ b/indexing/webpage/styles/styles.css @@ -51,6 +51,7 @@ body { border: 1px solid #7d7d7d; padding: 10px; border-radius: 5px; + height: 80%; } .result { @@ -86,3 +87,15 @@ body { border: 1px solid #1370c1; background-color: white; } + +#footer { + background-color: #cccccc; + position: absolute; + display: block; + left: 0px; + margin: 0px; + margin-top: 30px; + padding: 50px; + width: calc(100% - 100px); + font-size: 9pt; +} From 89451d408c224b95f0c6e6ff80882542d5949ae4 Mon Sep 17 00:00:00 2001 From: Josh Jeppson Date: Mon, 7 Nov 2022 10:19:41 -0700 Subject: [PATCH 08/40] Added some better UI for the search function --- indexing/webpage/index.html | 18 ++++++++- indexing/webpage/scripts/scripts.js | 13 +++++++ indexing/webpage/styles/styles.css | 58 ++++++++++++++++++++++++++--- 3 files changed, 81 insertions(+), 8 deletions(-) create mode 100644 indexing/webpage/scripts/scripts.js diff --git a/indexing/webpage/index.html b/indexing/webpage/index.html index bf36d5e..8f6747a 100644 --- a/indexing/webpage/index.html +++ b/indexing/webpage/index.html @@ -1,9 +1,11 @@ - + FLUENT Verification Case Studies + +