Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
PMC-SOG
experiments
hybrid
Commits
27840bb5
Commit
27840bb5
authored
Apr 26, 2020
by
Jaime Arias
Browse files
remove cloud and kanban files
parent
afc73a79
Changes
1000
Hide whitespace changes
Inline
Side-by-side
Too many changes to show.
To preserve performance only
1000 of 1000+
files are displayed.
Plain diff
Email patch
.gitignore
View file @
27840bb5
...
...
@@ -32,6 +32,9 @@ slurm
# editor
.vscode
# slurm output
slurm-*.out
# Remove previous ipynb_checkpoints
# git rm -r .ipynb_checkpoints/
...
...
formulas/cloud/cloud10by5/cloud10by5-1.ltl
deleted
100644 → 0
View file @
afc73a79
((Wsr3NotDeployed==1) && ((Wsr2NotDeployed==1) <-> <>(ScWorking==1))) <-> []((ScUnavailable==1) || (WebAppRuntime==1) || []<>(WsRuntime3==1))
formulas/cloud/cloud10by5/cloud10by5-1.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
(("Wsr3NotDeployed") && (("Wsr2NotDeployed") <-> <>("ScWorking"))) <-> [](("ScUnavailable") || ("WebAppRuntime") || []<>("WsRuntime3"))
formulas/cloud/cloud10by5/cloud10by5-10.ltl
deleted
100644 → 0
View file @
afc73a79
(OsAvailable==1) <-> (!(WSRuntime2==1) || ([](WebAppRuntime==1) -> !((WsRuntime3==1) && []((Bounder2==1) <-> (ContainerDown==1)))))
formulas/cloud/cloud10by5/cloud10by5-10.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
("OsAvailable") <-> (!("WSRuntime2") || ([]("WebAppRuntime") -> !(("WsRuntime3") && [](("Bounder2") <-> ("ContainerDown")))))
formulas/cloud/cloud10by5/cloud10by5-100.ltl
deleted
100644 → 0
View file @
afc73a79
!(WebAppRuntime==1) || (Wsr3Started==1) || <>((ScStopped==1) -> !((WebAppRuntime==1) <-> ((WSRuntime1==1) <-> (Wsr2Started==1))))
formulas/cloud/cloud10by5/cloud10by5-100.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
!("WebAppRuntime") || ("Wsr3Started") || <>(("ScStopped") -> !(("WebAppRuntime") <-> (("WSRuntime1") <-> ("Wsr2Started"))))
formulas/cloud/cloud10by5/cloud10by5-101.ltl
deleted
100644 → 0
View file @
afc73a79
[](ServerContainer==1) <-> (((Bounder2==1) && !(WSRuntime1==1)) -> ((Wsr2NotDeployed==1) <-> !((SwContainer==1) <-> [](Bounder2==1))))
formulas/cloud/cloud10by5/cloud10by5-101.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
[]("ServerContainer") <-> ((("Bounder2") && !("WSRuntime1")) -> (("Wsr2NotDeployed") <-> !(("SwContainer") <-> []("Bounder2"))))
formulas/cloud/cloud10by5/cloud10by5-102.ltl
deleted
100644 → 0
View file @
afc73a79
(!((ContainerDown==1) || (OsContainer==1)) && <>(OsAvailable==1)) <-> ((SwContainer==1) <-> <>[](ServerContainer==1))
formulas/cloud/cloud10by5/cloud10by5-102.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
(!(("ContainerDown") || ("OsContainer")) && <>("OsAvailable")) <-> (("SwContainer") <-> <>[]("ServerContainer"))
formulas/cloud/cloud10by5/cloud10by5-103.ltl
deleted
100644 → 0
View file @
afc73a79
!(((OsContainer==1) <-> ((Bounder1==1) || !(Container==1) || !(OsContainer==1))) && (!(Bounder1==1) || (Wsr1Started==1)))
formulas/cloud/cloud10by5/cloud10by5-103.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
!((("OsContainer") <-> (("Bounder1") || !("Container") || !("OsContainer"))) && (!("Bounder1") || ("Wsr1Started")))
formulas/cloud/cloud10by5/cloud10by5-104.ltl
deleted
100644 → 0
View file @
afc73a79
(!(SwContainer==1) || ((Bounder1==1) <-> (WebAppRuntime==1))) && ((SwContainer==1) || ([](ScUnavailable==1) <-> <>!(ScWorking==1)))
formulas/cloud/cloud10by5/cloud10by5-104.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
(!("SwContainer") || (("Bounder1") <-> ("WebAppRuntime"))) && (("SwContainer") || ([]("ScUnavailable") <-> <>!("ScWorking")))
formulas/cloud/cloud10by5/cloud10by5-105.ltl
deleted
100644 → 0
View file @
afc73a79
((ServerContainer==1) || !(SwContainer==1) || <>!(Wsr3Deployed==1)) <-> []((Wsr3Deployed==1) || [](WebAppRuntime==1))
formulas/cloud/cloud10by5/cloud10by5-105.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
(("ServerContainer") || !("SwContainer") || <>!("Wsr3Deployed")) <-> [](("Wsr3Deployed") || []("WebAppRuntime"))
formulas/cloud/cloud10by5/cloud10by5-106.ltl
deleted
100644 → 0
View file @
afc73a79
(((OsContainer==1) <-> ((WSRuntime2==1) || !(WebAppRuntime==1))) -> ((ScStopped==1) && (Wsr2Deployed==1))) && []((WsRuntime3==1) -> (Bounder2==1))
formulas/cloud/cloud10by5/cloud10by5-106.ltl.reduced
deleted
100644 → 0
View file @
afc73a79
((("OsContainer") <-> (("WSRuntime2") || !("WebAppRuntime"))) -> (("ScStopped") && ("Wsr2Deployed"))) && [](("WsRuntime3") -> ("Bounder2"))
formulas/cloud/cloud10by5/cloud10by5-107.ltl
deleted
100644 → 0
View file @
afc73a79
<>((WebAppRuntime==1) && (Wsr2Deployed==1)) <-> !((Wsr1Deployed==1) && []((ScStopped==1) || (ScUnavailable==1) || <>(WsRuntime3==1)))
Prev
1
2
3
4
5
…
50
Next
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment