 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
434 |
acl2-customization.lsp
|
|
- |
rw-r--r-- |
2,159 |
addresses.lisp
|
|
- |
rw-r--r-- |
10,956 |
anchors-extension.lisp
|
|
- |
rw-r--r-- |
20,439 |
anchors.lisp
|
|
- |
rw-r--r-- |
6,823 |
backward-closure.lisp
|
|
- |
rw-r--r-- |
16,807 |
blockchain-redundant-def-and-init-and-next.lisp
|
|
- |
rw-r--r-- |
1,582 |
blockchain-redundant.lisp
|
|
- |
rw-r--r-- |
20,164 |
blockchains.lisp
|
|
- |
rw-r--r-- |
6,450 |
blocks.lisp
|
|
- |
rw-r--r-- |
374 |
cert.acl2
|
|
- |
rw-r--r-- |
69,026 |
certificates.lisp
|
|
- |
rw-r--r-- |
23,159 |
committed-anchor-sequences.lisp
|
|
- |
rw-r--r-- |
18,276 |
committed-redundant-def-and-init-and-next.lisp
|
|
- |
rw-r--r-- |
1,596 |
committed-redundant.lisp
|
|
- |
rw-r--r-- |
47,594 |
committees.lisp
|
|
- |
rw-r--r-- |
4,262 |
correctness.lisp
|
|
- |
rw-r--r-- |
8,668 |
dag-certificate-next.lisp
|
|
- |
rw-r--r-- |
29,684 |
dag-omni-paths.lisp
|
|
- |
rw-r--r-- |
22,155 |
dag-previous-quorum-def-and-init-and-next.lisp
|
|
- |
rw-r--r-- |
1,866 |
dag-previous-quorum.lisp
|
|
- |
rw-r--r-- |
79,159 |
dags.lisp
|
|
- |
rw-r--r-- |
1,224 |
definition.lisp
|
|
- |
rw-r--r-- |
5,853 |
elections.lisp
|
|
- |
rw-r--r-- |
2,436 |
events.lisp
|
|
- |
rw-r--r-- |
16,626 |
fault-tolerance.lisp
|
|
- |
rw-r--r-- |
8,291 |
initialization.lisp
|
|
- |
rw-r--r-- |
4,267 |
last-anchor-def-and-init.lisp
|
|
- |
rw-r--r-- |
6,568 |
last-anchor-next.lisp
|
|
- |
rw-r--r-- |
11,628 |
last-anchor-present.lisp
|
|
- |
rw-r--r-- |
19,221 |
last-anchor-voters-def-and-init-and-next.lisp
|
|
- |
rw-r--r-- |
1,624 |
last-anchor-voters.lisp
|
|
- |
rw-r--r-- |
6,795 |
last-blockchain-round.lisp
|
|
- |
rw-r--r-- |
10,564 |
messages.lisp
|
|
- |
rw-r--r-- |
7,434 |
no-self-endorsed.lisp
|
|
- |
rw-r--r-- |
32,582 |
nonforking-anchors-def-and-init-and-next.lisp
|
|
- |
rw-r--r-- |
1,574 |
nonforking-anchors.lisp
|
|
- |
rw-r--r-- |
3,542 |
nonforking-blockchains-def-and-init.lisp
|
|
- |
rw-r--r-- |
10,972 |
nonforking-blockchains-next.lisp
|
|
- |
rw-r--r-- |
1,621 |
nonforking-blockchains.lisp
|
|
- |
rw-r--r-- |
4,999 |
omni-paths-def-and-implied.lisp
|
|
- |
rw-r--r-- |
1,630 |
omni-paths.lisp
|
|
- |
rw-r--r-- |
6,774 |
ordered-even-blocks.lisp
|
|
- |
rw-r--r-- |
7,314 |
package.lsp
|
|
- |
rw-r--r-- |
331 |
portcullis.acl2
|
|
- |
rw-r--r-- |
320 |
portcullis.lisp
|
|
- |
rw-r--r-- |
11,151 |
quorum-intersection.lisp
|
|
- |
rw-r--r-- |
25,915 |
same-committees-def-and-implied.lisp
|
|
- |
rw-r--r-- |
1,572 |
same-committees.lisp
|
|
- |
rw-r--r-- |
4,912 |
signed-certificates.lisp
|
|
- |
rw-r--r-- |
13,451 |
signed-previous-quorum.lisp
|
|
- |
rw-r--r-- |
15,269 |
signer-quorum.lisp
|
|
- |
rw-r--r-- |
13,879 |
signer-records.lisp
|
|
- |
rw-r--r-- |
4,207 |
simultaneous-induction.lisp
|
|
- |
rw-r--r-- |
1,253 |
states.lisp
|
|
- |
rw-r--r-- |
20,763 |
successor-predecessor-intersection.lisp
|
|
- |
rw-r--r-- |
9,270 |
system-certificates.lisp
|
|
- |
rw-r--r-- |
13,385 |
system-states.lisp
|
|
- |
rw-r--r-- |
1,489 |
top.lisp
|
|
- |
rw-r--r-- |
3,906 |
transactions.lisp
|
|
- |
rw-r--r-- |
12,680 |
transitions-accept.lisp
|
|
- |
rw-r--r-- |
5,937 |
transitions-advance.lisp
|
|
- |
rw-r--r-- |
13,899 |
transitions-commit.lisp
|
|
- |
rw-r--r-- |
42,011 |
transitions-create.lisp
|
|
- |
rw-r--r-- |
5,398 |
transitions.lisp
|
|
- |
rw-r--r-- |
7,252 |
unequivocal-dags-def-and-init.lisp
|
|
- |
rw-r--r-- |
21,592 |
unequivocal-dags-next.lisp
|
|
- |
rw-r--r-- |
1,609 |
unequivocal-dags.lisp
|
|
- |
rw-r--r-- |
14,828 |
unequivocal-signed-certificates.lisp
|
|
- |
rw-r--r-- |
9,784 |
validator-states.lisp
|
