Updated DSP specs and proofs (#407) #2326
tchajedAnnotations
10 warnings
|
build (dev):
external/stdpp/stdpp/base.v#L1286
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
build (dev):
external/stdpp/stdpp/base.v#L1284
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
build (dev):
external/stdpp/stdpp/base.v#L1167
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
build (dev):
external/stdpp/stdpp/base.v#L1165
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
build (dev):
external/stdpp/stdpp/base.v#L1096
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
build (dev):
external/stdpp/stdpp/base.v#L1095
Closed notations (i.e. starting and ending with a terminal symbol) should usually be at level 0 (default).
|
|
build (dev):
external/record-update/src/RecordSet.v#L114
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
build (dev):
external/record-update/src/RecordSet.v#L109
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
build (dev):
external/record-update/src/RecordSet.v#L107
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|
|
build (dev):
external/record-update/src/RecordSet.v#L105
Postfix notations (i.e. starting with a nonterminal symbol and ending with a terminal symbol) should usually be at level 1 (default).
|