circuits/FinMerge, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2025-12-06T22:40:13+00:00
Move FinMerge utilites
2025-12-06T22:40:13+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-12-06T22:40:13+00:00
urn:sha1:c4367035ec0638d5639157e98e6756d3779aeee5
Add more merge and unmerge properties
2024-04-24T18:43:07+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-04-24T18:43:07+00:00
urn:sha1:1e5837c12480d1561361a2f6cb5296895f91dec3
Add merge and unmerge properties
2024-04-23T22:45:31+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-04-23T22:45:31+00:00
urn:sha1:ce4ea63db5e11b150058894f98b4a36a3003c95a
Remove with-abstractions
2024-03-18T21:52:23+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-03-18T21:52:23+00:00
urn:sha1:37aef854206076a42c26cc021c97bb2c334b9424
Factor out comparison
2024-03-10T02:59:16+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-03-10T02:59:16+00:00
urn:sha1:5e704f08d1f70e12e4da1f0ed359dd2495852e5f
Fill in omitted proof
2024-02-22T17:22:01+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-02-22T17:22:01+00:00
urn:sha1:d65d60fe31f0c25c7e845d66e37c47e4f22924e1
Begin correctness proof for glue-iter
2024-02-22T01:02:09+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-02-22T01:02:09+00:00
urn:sha1:0e47d5076cd01623efb766ec1dc5f69dab5d89fd
Prove merge lemmas
2024-02-21T03:23:29+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-02-21T03:23:29+00:00
urn:sha1:5e30f210d4d510649ca87a02b7e9a409ee74d13a