Upgrade graph module for paper visualizations #150
caldwellbAnnotations
10 errors and 37 warnings
|
build (8.19, default):
src/Graphs/GraphModFSet.v#L307
Nested proofs are discouraged and not allowed by default. This error
|
|
build (8.19, default):
src/Graphs/GraphMod.v#L11
Cannot find a physical path bound to logical path stdpp.gmap.
|
|
build (8.20, default):
src/Graphs/GraphModFSet.v#L307
Nested proofs are discouraged and not allowed by default. This error
|
|
build (8.20, default):
src/Graphs/GraphMod.v#L11
Cannot find a physical path bound to logical path stdpp.gmap.
|
|
build (8.18, default):
src/Graphs/GraphModFSet.v#L307
Nested proofs are discouraged and not allowed by default. This error
|
|
build (8.18, default):
src/Graphs/GraphMod.v#L11
Cannot find a physical path bound to logical path stdpp.gmap.
|
|
build (8.17, default):
src/Graphs/GraphModFSet.v#L307
Nested proofs are discouraged and not allowed by default. This error
|
|
build (8.17, default):
src/Graphs/GraphMod.v#L11
Cannot find a physical path bound to logical path stdpp.gmap.
|
|
build (8.16, default):
src/Graphs/GraphModFSet.v#L307
Nested proofs are discouraged and not allowed by default. This error
|
|
build (8.16, default):
src/Graphs/GraphMod.v#L11
Cannot find a physical path bound to logical path stdpp.gmap.
|
|
build (8.19, default):
src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
|
|
build (8.19, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.19, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.19, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.19, default):
src/CoreData/ZXCore.v#L195
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, default):
src/CoreData/ZXCore.v#L193
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.19, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.19, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.19, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.19, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.20, default):
src/Graphs/GraphModFSet.v#L139
Notations "X" defined at level 1 and "X _" defined at level 20
|
|
build (8.20, default):
src/Graphs/GraphModFSet.v#L138
Notations "Z" defined at level 1 and "Z _" defined at level 20
|
|
build (8.20, default):
src/CoreData/ZXCore.v#L240
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
build (8.20, default):
src/CoreData/ZXCore.v#L224
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
build (8.20, default):
src/CoreData/ZXCore.v#L195
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.20, default):
src/CoreData/ZXCore.v#L193
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (8.20, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.20, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.20, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.20, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.18, default):
src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
|
|
build (8.18, default):
src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
|
|
build (8.18, default):
src/DiagramRules/Completeness.v#L19
Notation double is deprecated since 8.19. Use Rplus_diag.
|
|
build (8.18, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.18, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreRules/ZXStateRules.v#L754
Notation Nat.div_div is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L329
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|
|
build (8.17, default):
src/CoreData/SemanticCore.v#L261
Notation Nat.mod_divides is deprecated since 8.17.
|