Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
isa-afp
afp-2020
Commits
0b34283b213d
Commit
7e17b9be
authored
Aug 03, 2012
by
wenzelm
Browse files
added timeout options (c. afp-build/3867635a2348);
parent
3a1a3ad2a774
Changes
115
Hide whitespace changes
Inline
Side-by-side
thys/AVL-Trees/ROOT
View file @
0b34283b
session "AVL-Trees"! (AFP) in "." = HOL +
options [timeout = 3600]
theories
AVL
AVL2
...
...
thys/Abortable_Linearizable_Modules/ROOT
View file @
0b34283b
session Abortable_Linearizable_Modules! (AFP) in "." = HOLCF +
options [timeout = 600]
theories [document = false]
"~~/src/HOL/Library/List_Prefix"
"~~/src/HOL/HOLCF/IOA/meta_theory/IOA"
...
...
thys/Abstract-Hoare-Logics/ROOT
View file @
0b34283b
session "Abstract-Hoare-Logics"! (AFP) in "." = HOL +
options [timeout = 3600]
theories
"While/HoareTotal"
"Proc/PHoareTotal"
...
...
thys/Abstract-Rewriting/ROOT
View file @
0b34283b
session "Abstract-Rewriting"! (AFP) in "." = HOL +
options [timeout = 200]
theories [document = false]
"../Transitive-Closure/Transitive_Closure_Impl"
"../Regular-Sets/Regexp_Method"
...
...
thys/ArrowImpossibilityGS/ROOT
View file @
0b34283b
session ArrowImpossibilityGS! (AFP) in "." = HOL +
options [timeout = 600]
theories [document = false]
"~~/src/HOL/Library/FuncSet"
"~~/src/HOL/Library/Zorn"
...
...
thys/AutoFocus-Stream/ROOT
View file @
0b34283b
session "AutoFocus-Stream"! (AFP) in "." = "Nat-Interval-Logic" +
options [document_graph]
options [
timeout = 600,
document_graph]
theories
ListSlice
AF_Stream
...
...
thys/BDD/ROOT
View file @
0b34283b
session BDD! (AFP) in "." = Simpl +
options [document_graph]
options [
timeout = 3600,
document_graph]
theories
EvalProof
NormalizeTotalProof
...
...
thys/BinarySearchTree/ROOT
View file @
0b34283b
session BinarySearchTree! (AFP) in "." = HOL +
options [timeout = 3600]
theories
BinaryTree
BinaryTree_Map
...
...
thys/Binomial-Heaps/ROOT
View file @
0b34283b
session "Binomial-Heaps"! (AFP) in "." = HOL +
options [timeout = 300]
theories [document = false]
"~~/src/HOL/Library/Multiset"
theories
...
...
thys/Binomial-Queues/ROOT
View file @
0b34283b
session "Binomial-Queues"! (AFP) in "." = HOL +
options [timeout = 300]
theories
PQ_Implementation
files
...
...
thys/BytecodeLogicJmlTypes/ROOT
View file @
0b34283b
session BytecodeLogicJmlTypes! (AFP) in "." = HOL +
options [timeout = 3600]
theories
Sound
Cachera
...
...
thys/Category/ROOT
View file @
0b34283b
session Category! (AFP) in "." = HOL +
options [timeout = 3600]
theories [document = false]
"~~/src/HOL/Library/FuncSet"
theories
...
...
thys/Category2/ROOT
View file @
0b34283b
session Category2! (AFP) in "." = HOL +
options [timeout = 3600]
theories [document = false]
"~~/src/HOL/Library/FuncSet"
"~~/src/HOL/Library/Multiset"
...
...
thys/Cauchy/ROOT
View file @
0b34283b
session Cauchy! (AFP) in "." = HOL +
options [timeout = 3600]
theories [show_question_marks = false]
CauchysMeanTheorem
CauchySchwarz
...
...
thys/Circus/ROOT
View file @
0b34283b
session Circus! (AFP) in "." = HOLCF +
options [document_graph]
options [
timeout = 3600,
document_graph]
theories [document = false]
"~~/src/HOL/Library/List_Prefix"
theories
...
...
thys/ClockSynchInst/ROOT
View file @
0b34283b
session ClockSynchInst! (AFP) in "." = HOL +
options [timeout = 3600]
theories
ICAInstance
LynchInstance
...
...
thys/CofGroups/ROOT
View file @
0b34283b
session CofGroups! (AFP) in "." = HOL +
options [timeout = 3600]
theories [document = false]
"~~/src/HOL/Library/Nat_Bijection"
theories
...
...
thys/Coinductive/ROOT
View file @
0b34283b
session Coinductive! (AFP) in "." = HOL +
options [document_graph]
options [
timeout = 200,
document_graph]
theories [document = false]
"~~/src/HOL/Library/Extended_Nat"
"~~/src/HOL/Library/List_Prefix"
...
...
thys/Collections/ROOT
View file @
0b34283b
session Collections! (AFP) in "." = HOL +
options [document_variants = "outline=/proof,/ML:userguide"]
options [
timeout = 1200,
document_variants = "outline=/proof,/ML:userguide"]
theories [document = false]
"common/Misc"
"common/Assoc_List"
...
...
thys/Compiling-Exceptions-Correctly/ROOT
View file @
0b34283b
session "Compiling-Exceptions-Correctly"! (AFP) in "." = HOL +
options [timeout = 3600]
theories
Exceptions
files
...
...
Prev
1
2
3
4
5
6
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