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 |
