https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
Tip revision: 4a8fc06620487694f230764290be5c60ad627dc9 authored by fahad1985lab on 26 April 2022, 12:19:15 UTC
New update for Agda code and HTML file
New update for Agda code and HTML file
Tip revision: 4a8fc06
File | Mode | Size |
---|---|---|
libraries | ||
paperTypes2021PostProceed | ||
verificationStackScripts | ||
basicBitcoinDataType.agda | -rw-r--r-- | 1.5 KB |
exampleBasicData.agda | -rw-r--r-- | 2.6 KB |
exampleGeneratedWeakPreCond.agda | -rw-r--r-- | 2.1 KB |
guidelines.agda | -rw-r--r-- | 4.5 KB |
hoareTripleStack.agda | -rw-r--r-- | 1.8 KB |
instruction.agda | -rw-r--r-- | 3.0 KB |
instructionBasic.agda | -rw-r--r-- | 1.1 KB |
ledger.agda | -rw-r--r-- | 4.6 KB |
loadAll.agda | -rw-r--r-- | 2.6 KB |
loadStackVersionInNaturalOrder.agda | -rw-r--r-- | 1.8 KB |
proj.agda-lib | -rw-r--r-- | 35 bytes |
semanticBasicOperations.agda | -rw-r--r-- | 6.7 KB |
stack.agda | -rw-r--r-- | 1.6 KB |
stackPredicate.agda | -rw-r--r-- | 1.5 KB |
stackSemanticsInstructions.agda | -rw-r--r-- | 2.3 KB |
verificationMultiSig.agda | -rw-r--r-- | 57.3 KB |
verificationP2PKHbasic.agda | -rw-r--r-- | 6.2 KB |