![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Updated for 1e627601fbcf60dfef47ec97e17c1d665822e1d4
Home /
IntersectMBO /
formal-ledger-specifications
Dec 15, 1-2 AM (0)
Dec 15, 2-3 AM (0)
Dec 15, 3-4 AM (0)
Dec 15, 4-5 AM (0)
Dec 15, 5-6 AM (0)
Dec 15, 6-7 AM (0)
Dec 15, 7-8 AM (0)
Dec 15, 8-9 AM (0)
Dec 15, 9-10 AM (0)
Dec 15, 10-11 AM (0)
Dec 15, 11-12 PM (0)
Dec 15, 12-1 PM (0)
Dec 15, 1-2 PM (0)
Dec 15, 2-3 PM (0)
Dec 15, 3-4 PM (0)
Dec 15, 4-5 PM (0)
Dec 15, 5-6 PM (0)
Dec 15, 6-7 PM (0)
Dec 15, 7-8 PM (0)
Dec 15, 8-9 PM (0)
Dec 15, 9-10 PM (0)
Dec 15, 10-11 PM (0)
Dec 15, 11-12 AM (0)
Dec 16, 12-1 AM (0)
Dec 16, 1-2 AM (0)
Dec 16, 2-3 AM (0)
Dec 16, 3-4 AM (0)
Dec 16, 4-5 AM (0)
Dec 16, 5-6 AM (0)
Dec 16, 6-7 AM (0)
Dec 16, 7-8 AM (0)
Dec 16, 8-9 AM (1)
Dec 16, 9-10 AM (0)
Dec 16, 10-11 AM (0)
Dec 16, 11-12 PM (0)
Dec 16, 12-1 PM (1)
Dec 16, 1-2 PM (3)
Dec 16, 2-3 PM (1)
Dec 16, 3-4 PM (1)
Dec 16, 4-5 PM (1)
Dec 16, 5-6 PM (0)
Dec 16, 6-7 PM (0)
Dec 16, 7-8 PM (0)
Dec 16, 8-9 PM (0)
Dec 16, 9-10 PM (1)
Dec 16, 10-11 PM (0)
Dec 16, 11-12 AM (0)
Dec 17, 12-1 AM (0)
Dec 17, 1-2 AM (1)
Dec 17, 2-3 AM (0)
Dec 17, 3-4 AM (0)
Dec 17, 4-5 AM (1)
Dec 17, 5-6 AM (0)
Dec 17, 6-7 AM (0)
Dec 17, 7-8 AM (0)
Dec 17, 8-9 AM (0)
Dec 17, 9-10 AM (1)
Dec 17, 10-11 AM (0)
Dec 17, 11-12 PM (1)
Dec 17, 12-1 PM (1)
Dec 17, 1-2 PM (4)
Dec 17, 2-3 PM (1)
Dec 17, 3-4 PM (1)
Dec 17, 4-5 PM (0)
Dec 17, 5-6 PM (0)
Dec 17, 6-7 PM (0)
Dec 17, 7-8 PM (3)
Dec 17, 8-9 PM (0)
Dec 17, 9-10 PM (0)
Dec 17, 10-11 PM (0)
Dec 17, 11-12 AM (0)
Dec 18, 12-1 AM (1)
Dec 18, 1-2 AM (0)
Dec 18, 2-3 AM (0)
Dec 18, 3-4 AM (0)
Dec 18, 4-5 AM (0)
Dec 18, 5-6 AM (0)
Dec 18, 6-7 AM (0)
Dec 18, 7-8 AM (0)
Dec 18, 8-9 AM (0)
Dec 18, 9-10 AM (3)
Dec 18, 10-11 AM (3)
Dec 18, 11-12 PM (0)
Dec 18, 12-1 PM (0)
Dec 18, 1-2 PM (0)
Dec 18, 2-3 PM (0)
Dec 18, 3-4 PM (1)
Dec 18, 4-5 PM (0)
Dec 18, 5-6 PM (0)
Dec 18, 6-7 PM (0)
Dec 18, 7-8 PM (3)
Dec 18, 8-9 PM (0)
Dec 18, 9-10 PM (0)
Dec 18, 10-11 PM (0)
Dec 18, 11-12 AM (0)
Dec 19, 12-1 AM (0)
Dec 19, 1-2 AM (0)
Dec 19, 2-3 AM (0)
Dec 19, 3-4 AM (0)
Dec 19, 4-5 AM (0)
Dec 19, 5-6 AM (0)
Dec 19, 6-7 AM (0)
Dec 19, 7-8 AM (0)
Dec 19, 8-9 AM (1)
Dec 19, 9-10 AM (0)
Dec 19, 10-11 AM (0)
Dec 19, 11-12 PM (0)
Dec 19, 12-1 PM (0)
Dec 19, 1-2 PM (1)
Dec 19, 2-3 PM (0)
Dec 19, 3-4 PM (0)
Dec 19, 4-5 PM (0)
Dec 19, 5-6 PM (0)
Dec 19, 6-7 PM (0)
Dec 19, 7-8 PM (0)
Dec 19, 8-9 PM (0)
Dec 19, 9-10 PM (0)
Dec 19, 10-11 PM (0)
Dec 19, 11-12 AM (0)
Dec 20, 12-1 AM (0)
Dec 20, 1-2 AM (0)
Dec 20, 2-3 AM (0)
Dec 20, 3-4 AM (0)
Dec 20, 4-5 AM (0)
Dec 20, 5-6 AM (0)
Dec 20, 6-7 AM (0)
Dec 20, 7-8 AM (0)
Dec 20, 8-9 AM (0)
Dec 20, 9-10 AM (0)
Dec 20, 10-11 AM (1)
Dec 20, 11-12 PM (0)
Dec 20, 12-1 PM (0)
Dec 20, 1-2 PM (1)
Dec 20, 2-3 PM (11)
Dec 20, 3-4 PM (0)
Dec 20, 4-5 PM (0)
Dec 20, 5-6 PM (0)
Dec 20, 6-7 PM (0)
Dec 20, 7-8 PM (0)
Dec 20, 8-9 PM (1)
Dec 20, 9-10 PM (1)
Dec 20, 10-11 PM (0)
Dec 20, 11-12 AM (1)
Dec 21, 12-1 AM (0)
Dec 21, 1-2 AM (0)
Dec 21, 2-3 AM (0)
Dec 21, 3-4 AM (0)
Dec 21, 4-5 AM (0)
Dec 21, 5-6 AM (0)
Dec 21, 6-7 AM (0)
Dec 21, 7-8 AM (0)
Dec 21, 8-9 AM (0)
Dec 21, 9-10 AM (0)
Dec 21, 10-11 AM (0)
Dec 21, 11-12 PM (0)
Dec 21, 12-1 PM (0)
Dec 21, 1-2 PM (0)
Dec 21, 2-3 PM (2)
Dec 21, 3-4 PM (0)
Dec 21, 4-5 PM (0)
Dec 21, 5-6 PM (0)
Dec 21, 6-7 PM (0)
Dec 21, 7-8 PM (0)
Dec 21, 8-9 PM (0)
Dec 21, 9-10 PM (0)
Dec 21, 10-11 PM (0)
Dec 21, 11-12 AM (0)
Dec 22, 12-1 AM (0)
Dec 22, 1-2 AM (0)
54 commits this week
Dec 15, 2024
-
Dec 22, 2024
Complete proofs of lemmas for Equivalence proof (#622) (#629)
* all supporting lemmas proved! * cleanup --------- Co-authored-by: Ulf Norell <[email protected]>
cleanup (second pass)
Generate code for 4e9f804cc3c5ebc39c165c52c7dfb607e404ff9d
cleanup (first pass)
Generate code for cc6b01f028a9e11c4ab2a478380d17707e540b6f
fix instances
I misread the Agda error. There were too many instances, not too few! Removing an (apparently unused) instance in Scripts seems to fix the problem.
Added HSPlutusScript
Updated for 46e60fdd83b8e29133f03047f9aea688025aabf7
Check deposit value on drep deregistration
Generate code for aaabc30cf9aa206daab67bace7ae2e46ce3b28ee
Generate code for f13cebc6a3dba5e7d783964b99eb96a34d9f1f5c
Merge branch 'master' into 626-witnesses-for-native-scripts-in-reference-inputs
Witnesses for native scripts in reference inputs
Addresses issue #626.
Added witnessing for collateral
Added HSPlutusScript
Added HSPlutusScript
Generate code for 4f05688ef6555f75747c23b90b15a0989cbc36e5
Merge branch 'master' into issue585
all supporting lemmas proved!
Added extScriptSixe