| graphs | | |
| ConCert.Embedding.Ast.html | -rw-r--r-- | 148.9 KB |
| ConCert.Embedding.CertifyingTranslate.html | -rw-r--r-- | 22.7 KB |
| ConCert.Embedding.EnvSubst.html | -rw-r--r-- | 131.1 KB |
| ConCert.Embedding.EvalE.html | -rw-r--r-- | 175.6 KB |
| ConCert.Embedding.Examples.AcornExamples.html | -rw-r--r-- | 266.5 KB |
| ConCert.Embedding.Examples.Demo.html | -rw-r--r-- | 144.4 KB |
| ConCert.Embedding.Examples.FinMap.html | -rw-r--r-- | 111.7 KB |
| ConCert.Embedding.Extraction.Liquidity.html | -rw-r--r-- | 169.5 KB |
| ConCert.Embedding.Extraction.PreludeExt.html | -rw-r--r-- | 125.1 KB |
| ConCert.Embedding.Extraction.SimpleBlockchainExt.html | -rw-r--r-- | 24.8 KB |
| ConCert.Embedding.Misc.html | -rw-r--r-- | 58.0 KB |
| ConCert.Embedding.Notations.html | -rw-r--r-- | 143.4 KB |
| ConCert.Embedding.Prelude.html | -rw-r--r-- | 123.2 KB |
| ConCert.Embedding.SimpleBlockchain.html | -rw-r--r-- | 28.7 KB |
| ConCert.Embedding.Tests.html | -rw-r--r-- | 68.5 KB |
| ConCert.Embedding.TranslationUtils.html | -rw-r--r-- | 82.8 KB |
| ConCert.Embedding.Utils.html | -rw-r--r-- | 9.8 KB |
| ConCert.Embedding.Wf.html | -rw-r--r-- | 64.5 KB |
| ConCert.Embedding.pcuic.PCUICCorrectness.html | -rw-r--r-- | 325.9 KB |
| ConCert.Embedding.pcuic.PCUICCorrectnessAux.html | -rw-r--r-- | 999.5 KB |
| ConCert.Embedding.pcuic.PCUICFacts.html | -rw-r--r-- | 275.1 KB |
| ConCert.Embedding.pcuic.PCUICTranslate.html | -rw-r--r-- | 213.2 KB |
| ConCert.Embedding.pcuic.PCUICtoTemplate.html | -rw-r--r-- | 21.4 KB |
| ConCert.Examples.BAT.BAT.html | -rw-r--r-- | 71.2 KB |
| ConCert.Examples.BAT.BATAltFix.html | -rw-r--r-- | 84.9 KB |
| ConCert.Examples.BAT.BATAltFixCorrect.html | -rw-r--r-- | 720.1 KB |
| ConCert.Examples.BAT.BATAltFixTests.html | -rw-r--r-- | 389.9 KB |
| ConCert.Examples.BAT.BATCommon.html | -rw-r--r-- | 150.5 KB |
| ConCert.Examples.BAT.BATCorrect.html | -rw-r--r-- | 568.5 KB |
| ConCert.Examples.BAT.BATFixed.html | -rw-r--r-- | 85.1 KB |
| ConCert.Examples.BAT.BATFixedCorrect.html | -rw-r--r-- | 778.0 KB |
| ConCert.Examples.BAT.BATFixedTests.html | -rw-r--r-- | 398.9 KB |
| ConCert.Examples.BAT.BATGens.html | -rw-r--r-- | 131.7 KB |
| ConCert.Examples.BAT.BATPrinters.html | -rw-r--r-- | 26.3 KB |
| ConCert.Examples.BAT.BATTestCommon.html | -rw-r--r-- | 107.1 KB |
| ConCert.Examples.BAT.BATTests.html | -rw-r--r-- | 441.6 KB |
| ConCert.Examples.BoardroomVoting.BoardroomMath.html | -rw-r--r-- | 691.5 KB |
| ConCert.Examples.BoardroomVoting.BoardroomVoting.html | -rw-r--r-- | 375.4 KB |
| ConCert.Examples.BoardroomVoting.BoardroomVotingExtractionCameLIGO.html | -rw-r--r-- | 114.5 KB |
| ConCert.Examples.BoardroomVoting.BoardroomVotingExtractionLiquidity.html | -rw-r--r-- | 144.6 KB |
| ConCert.Examples.BoardroomVoting.BoardroomVotingTest.html | -rw-r--r-- | 77.1 KB |
| ConCert.Examples.BoardroomVoting.BoardroomVotingZ.html | -rw-r--r-- | 237.9 KB |
| ConCert.Examples.BoardroomVoting.Egcd.html | -rw-r--r-- | 85.6 KB |
| ConCert.Examples.BoardroomVoting.Euler.html | -rw-r--r-- | 85.3 KB |
| ConCert.Examples.CIS1.CIS1Spec.html | -rw-r--r-- | 349.0 KB |
| ConCert.Examples.CIS1.CIS1Utils.html | -rw-r--r-- | 70.1 KB |
| ConCert.Examples.CIS1.Cis1wccd.html | -rw-r--r-- | 239.1 KB |
| ConCert.Examples.Congress.Congress.html | -rw-r--r-- | 191.5 KB |
| ConCert.Examples.Congress.Congress_Buggy.html | -rw-r--r-- | 161.9 KB |
| ConCert.Examples.Congress.LocalBlockchainTests.html | -rw-r--r-- | 68.0 KB |
| ConCert.Examples.Congress.tests.CongressGens.html | -rw-r--r-- | 108.8 KB |
| ConCert.Examples.Congress.tests.CongressPrinters.html | -rw-r--r-- | 35.8 KB |
| ConCert.Examples.Congress.tests.CongressTests.html | -rw-r--r-- | 59.1 KB |
| ConCert.Examples.Congress.tests.Congress_BuggyGens.html | -rw-r--r-- | 119.9 KB |
| ConCert.Examples.Congress.tests.Congress_BuggyPrinters.html | -rw-r--r-- | 35.4 KB |
| ConCert.Examples.Congress.tests.Congress_BuggyTests.html | -rw-r--r-- | 43.8 KB |
| ConCert.Examples.Counter.Counter.html | -rw-r--r-- | 64.7 KB |
| ConCert.Examples.Counter.embedding.CounterEmbed.html | -rw-r--r-- | 61.9 KB |
| ConCert.Examples.Counter.extraction.CameLIGOCounter.html | -rw-r--r-- | 46.1 KB |
| ConCert.Examples.Counter.extraction.CounterCertifiedExtraction.html | -rw-r--r-- | 67.5 KB |
| ConCert.Examples.Counter.extraction.CounterDepCertifiedExtraction.html | -rw-r--r-- | 89.4 KB |
| ConCert.Examples.Counter.extraction.CounterSubsetTypes.html | -rw-r--r-- | 92.1 KB |
| ConCert.Examples.Counter.extraction.MidlangCounterRefTypes.html | -rw-r--r-- | 78.6 KB |
| ConCert.Examples.Counter.extraction.RustCounter.html | -rw-r--r-- | 12.6 KB |
| ConCert.Examples.Crowdfunding.Crowdfunding.html | -rw-r--r-- | 262.0 KB |
| ConCert.Examples.Crowdfunding.CrowdfundingCameLIGO.html | -rw-r--r-- | 51.0 KB |
| ConCert.Examples.Crowdfunding.CrowdfundingCertifiedExtraction.html | -rw-r--r-- | 51.4 KB |
| ConCert.Examples.Crowdfunding.CrowdfundingData.html | -rw-r--r-- | 85.5 KB |
| ConCert.Examples.Crowdfunding.CrowdfundingDataExt.html | -rw-r--r-- | 83.6 KB |
| ConCert.Examples.Crowdfunding.CrowdfundingExt.html | -rw-r--r-- | 148.3 KB |
| ConCert.Examples.Crowdfunding.ExecFrameworkIntegration.html | -rw-r--r-- | 196.1 KB |
| ConCert.Examples.Dexter.Dexter.html | -rw-r--r-- | 45.5 KB |
| ConCert.Examples.Dexter.DexterGens.html | -rw-r--r-- | 27.1 KB |
| ConCert.Examples.Dexter.DexterPrinters.html | -rw-r--r-- | 16.9 KB |
| ConCert.Examples.Dexter.DexterTests.html | -rw-r--r-- | 58.6 KB |
| ConCert.Examples.Dexter2.Dexter2CPMM.html | -rw-r--r-- | 249.2 KB |
| ConCert.Examples.Dexter2.Dexter2CPMMCorrect.html | -rw-r--r-- | 794.2 KB |
| ConCert.Examples.Dexter2.Dexter2Extract.html | -rw-r--r-- | 123.3 KB |
| ConCert.Examples.Dexter2.Dexter2FA12.html | -rw-r--r-- | 144.8 KB |
| ConCert.Examples.Dexter2.Dexter2FA12Correct.html | -rw-r--r-- | 493.9 KB |
| ConCert.Examples.Dexter2.Dexter2Gens.html | -rw-r--r-- | 55.1 KB |
| ConCert.Examples.Dexter2.Dexter2Printers.html | -rw-r--r-- | 83.6 KB |
| ConCert.Examples.Dexter2.Dexter2Tests.html | -rw-r--r-- | 72.5 KB |
| ConCert.Examples.EIP20.EIP20CameLIGOExtraction.html | -rw-r--r-- | 36.0 KB |
| ConCert.Examples.EIP20.EIP20LiquidityExtraction.html | -rw-r--r-- | 76.2 KB |
| ConCert.Examples.EIP20.EIP20Token.html | -rw-r--r-- | 58.3 KB |
| ConCert.Examples.EIP20.EIP20TokenCorrect.html | -rw-r--r-- | 216.9 KB |
| ConCert.Examples.EIP20.EIP20TokenGens.html | -rw-r--r-- | 52.2 KB |
| ConCert.Examples.EIP20.EIP20TokenPrinters.html | -rw-r--r-- | 15.7 KB |
| ConCert.Examples.EIP20.EIP20TokenTests.html | -rw-r--r-- | 160.2 KB |
| ConCert.Examples.Escrow.Escrow.html | -rw-r--r-- | 268.9 KB |
| ConCert.Examples.Escrow.extraction.EscrowExtract.html | -rw-r--r-- | 113.1 KB |
| ConCert.Examples.Escrow.extraction.MidlangEscrow.html | -rw-r--r-- | 65.7 KB |
| ConCert.Examples.Escrow.extraction.RustEscrow.html | -rw-r--r-- | 12.8 KB |
| ConCert.Examples.Escrow.tests.EscrowGens.html | -rw-r--r-- | 41.3 KB |
| ConCert.Examples.Escrow.tests.EscrowPrinters.html | -rw-r--r-- | 13.7 KB |
| ConCert.Examples.Escrow.tests.EscrowTests.html | -rw-r--r-- | 86.4 KB |
| ConCert.Examples.ExchangeBuggy.ExchangeBuggy.html | -rw-r--r-- | 75.0 KB |
| ConCert.Examples.ExchangeBuggy.ExchangeBuggyGens.html | -rw-r--r-- | 49.1 KB |
| ConCert.Examples.ExchangeBuggy.ExchangeBuggyPrinters.html | -rw-r--r-- | 18.0 KB |
| ConCert.Examples.ExchangeBuggy.ExchangeBuggyTests.html | -rw-r--r-- | 76.2 KB |
| ConCert.Examples.FA1_2.FA1_2.html | -rw-r--r-- | 110.9 KB |
| ConCert.Examples.FA1_2.FA1_2Correct.html | -rw-r--r-- | 410.8 KB |
| ConCert.Examples.FA2.FA2Gens.html | -rw-r--r-- | 135.2 KB |
| ConCert.Examples.FA2.FA2Interface.html | -rw-r--r-- | 54.6 KB |
| ConCert.Examples.FA2.FA2LegacyInterface.html | -rw-r--r-- | 90.7 KB |
| ConCert.Examples.FA2.FA2Printers.html | -rw-r--r-- | 118.1 KB |
| ConCert.Examples.FA2.FA2Token.html | -rw-r--r-- | 245.7 KB |
| ConCert.Examples.FA2.FA2TokenTests.html | -rw-r--r-- | 134.9 KB |
| ConCert.Examples.FA2.TestContracts.html | -rw-r--r-- | 72.1 KB |
| ConCert.Examples.StackInterpreter.RustInterpExtract.html | -rw-r--r-- | 21.6 KB |
| ConCert.Examples.StackInterpreter.StackInterpreter.html | -rw-r--r-- | 70.5 KB |
| ConCert.Examples.StackInterpreter.StackInterpreterExtract.html | -rw-r--r-- | 231.0 KB |
| ConCert.Examples.iTokenBuggy.iTokenBuggy.html | -rw-r--r-- | 64.2 KB |
| ConCert.Examples.iTokenBuggy.iTokenBuggyGens.html | -rw-r--r-- | 53.8 KB |
| ConCert.Examples.iTokenBuggy.iTokenBuggyPrinters.html | -rw-r--r-- | 15.2 KB |
| ConCert.Examples.iTokenBuggy.iTokenBuggyTests.html | -rw-r--r-- | 45.0 KB |
| ConCert.Execution.Blockchain.html | -rw-r--r-- | 753.4 KB |
| ConCert.Execution.BoundedN.html | -rw-r--r-- | 94.0 KB |
| ConCert.Execution.BuildUtils.html | -rw-r--r-- | 363.2 KB |
| ConCert.Execution.ChainedList.html | -rw-r--r-- | 30.8 KB |
| ConCert.Execution.Circulation.html | -rw-r--r-- | 51.9 KB |
| ConCert.Execution.Containers.html | -rw-r--r-- | 124.1 KB |
| ConCert.Execution.ContractCommon.html | -rw-r--r-- | 55.4 KB |
| ConCert.Execution.ContractMonads.html | -rw-r--r-- | 115.5 KB |
| ConCert.Execution.Finite.html | -rw-r--r-- | 6.1 KB |
| ConCert.Execution.InterContractCommunication.html | -rw-r--r-- | 86.2 KB |
| ConCert.Execution.Monads.html | -rw-r--r-- | 43.6 KB |
| ConCert.Execution.ResultMonad.html | -rw-r--r-- | 13.7 KB |
| ConCert.Execution.Serializable.html | -rw-r--r-- | 274.7 KB |
| ConCert.Execution.Test.ChainPrinters.html | -rw-r--r-- | 93.0 KB |
| ConCert.Execution.Test.LocalBlockchain.html | -rw-r--r-- | 201.3 KB |
| ConCert.Execution.Test.QCTest.html | -rw-r--r-- | 4.2 KB |
| ConCert.Execution.Test.TestNotation.html | -rw-r--r-- | 33.2 KB |
| ConCert.Execution.Test.TestUtils.html | -rw-r--r-- | 180.2 KB |
| ConCert.Execution.Test.TraceGens.html | -rw-r--r-- | 221.1 KB |
| ConCert.Extraction.Annotations.html | -rw-r--r-- | 112.2 KB |
| ConCert.Extraction.BernsteinYangTermination.html | -rw-r--r-- | 28.7 KB |
| ConCert.Extraction.CameLIGOExtract.html | -rw-r--r-- | 242.0 KB |
| ConCert.Extraction.CameLIGOPretty.html | -rw-r--r-- | 482.9 KB |
| ConCert.Extraction.Certifying.html | -rw-r--r-- | 88.7 KB |
| ConCert.Extraction.CertifyingBeta.html | -rw-r--r-- | 40.3 KB |
| ConCert.Extraction.CertifyingEta.html | -rw-r--r-- | 170.4 KB |
| ConCert.Extraction.CertifyingInlining.html | -rw-r--r-- | 98.8 KB |
| ConCert.Extraction.ClosedAux.html | -rw-r--r-- | 73.4 KB |
| ConCert.Extraction.Common.html | -rw-r--r-- | 123.8 KB |
| ConCert.Extraction.ConcordiumExtract.html | -rw-r--r-- | 229.3 KB |
| ConCert.Extraction.ElmExtract.html | -rw-r--r-- | 249.4 KB |
| ConCert.Extraction.Erasure.html | -rw-r--r-- | 603.8 KB |
| ConCert.Extraction.ErasureCorrectness.html | -rw-r--r-- | 83.7 KB |
| ConCert.Extraction.ExAst.html | -rw-r--r-- | 72.8 KB |
| ConCert.Extraction.ExtrRustBasic.html | -rw-r--r-- | 4.4 KB |
| ConCert.Extraction.ExtrRustCheckedArith.html | -rw-r--r-- | 13.3 KB |
| ConCert.Extraction.ExtrRustUncheckedArith.html | -rw-r--r-- | 13.0 KB |
| ConCert.Extraction.ExtractExtraction.html | -rw-r--r-- | 14.1 KB |
| ConCert.Extraction.Extraction.html | -rw-r--r-- | 78.5 KB |
| ConCert.Extraction.ExtractionCorrectness.html | -rw-r--r-- | 72.1 KB |
| ConCert.Extraction.InternalFix.html | -rw-r--r-- | 12.5 KB |
| ConCert.Extraction.LPretty.html | -rw-r--r-- | 445.8 KB |
| ConCert.Extraction.LiquidityExtract.html | -rw-r--r-- | 194.2 KB |
| ConCert.Extraction.Loader.html | -rw-r--r-- | 3.0 KB |
| ConCert.Extraction.NumLiteralTests.html | -rw-r--r-- | 36.2 KB |
| ConCert.Extraction.Optimize.html | -rw-r--r-- | 374.8 KB |
| ConCert.Extraction.OptimizeCorrectness.html | -rw-r--r-- | 1.5 MB |
| ConCert.Extraction.OptimizePropDiscr.html | -rw-r--r-- | 29.9 KB |
| ConCert.Extraction.PluginExtract.html | -rw-r--r-- | 44.2 KB |
| ConCert.Extraction.PrettyPrinterMonad.html | -rw-r--r-- | 92.3 KB |
| ConCert.Extraction.Printing.html | -rw-r--r-- | 8.2 KB |
| ConCert.Extraction.ResultMonad.html | -rw-r--r-- | 9.7 KB |
| ConCert.Extraction.RustExtract.html | -rw-r--r-- | 369.6 KB |
| ConCert.Extraction.SpecializeChainBase.html | -rw-r--r-- | 213.4 KB |
| ConCert.Extraction.Tests.Ack.html | -rw-r--r-- | 26.8 KB |
| ConCert.Extraction.Tests.CameLIGOExtractionTests.html | -rw-r--r-- | 55.5 KB |
| ConCert.Extraction.Tests.ElmExtractExamples.html | -rw-r--r-- | 92.9 KB |
| ConCert.Extraction.Tests.ElmExtractTests.html | -rw-r--r-- | 157.5 KB |
| ConCert.Extraction.Tests.ElmForms.html | -rw-r--r-- | 124.5 KB |
| ConCert.Extraction.Tests.ErasureTests.html | -rw-r--r-- | 308.9 KB |
| ConCert.Extraction.Tests.RecordExtractionLiquidityTests.html | -rw-r--r-- | 58.4 KB |
| ConCert.Extraction.Tests.RustExtractTests.html | -rw-r--r-- | 102.0 KB |
| ConCert.Extraction.Tests.TypeAnnotationTests.html | -rw-r--r-- | 78.8 KB |
| ConCert.Extraction.TopLevelFixes.html | -rw-r--r-- | 19.8 KB |
| ConCert.Extraction.Transform.html | -rw-r--r-- | 19.7 KB |
| ConCert.Extraction.TypeAnnotations.html | -rw-r--r-- | 334.5 KB |
| ConCert.Extraction.Utils.html | -rw-r--r-- | 76.1 KB |
| ConCert.Extraction.WcbvEvalAux.html | -rw-r--r-- | 199.5 KB |
| ConCert.Utils.Automation.html | -rw-r--r-- | 98.7 KB |
| ConCert.Utils.Env.html | -rw-r--r-- | 35.6 KB |
| ConCert.Utils.Extras.html | -rw-r--r-- | 323.6 KB |
| ConCert.Utils.RecordSet.html | -rw-r--r-- | 57.3 KB |
| ConCert.Utils.RecordUpdate.html | -rw-r--r-- | 3.0 KB |
| ConCert.Utils.StringExtra.html | -rw-r--r-- | 108.2 KB |
| config.js | -rw-r--r-- | 1.2 KB |
| coqdoc.css | -rw-r--r-- | 3.3 KB |
| coqdocjs.css | -rw-r--r-- | 3.6 KB |
| coqdocjs.js | -rw-r--r-- | 6.1 KB |
| index.html | -rw-r--r-- | 8.5 MB |
| toc.css | -rw-r--r-- | 1.2 KB |
| toc.html | -rw-r--r-- | 61.2 KB |
| toc.js | -rw-r--r-- | 21.3 KB |
