├── .gitignore ├── LICENSE ├── README.md ├── docs ├── .texpadtmp │ ├── main.log │ └── main.synctex.gz ├── images │ ├── example-1.pdf │ ├── example-1.xml │ ├── example-2.pdf │ └── example-2.xml ├── main.pdf └── main.tex ├── src ├── DEA.hs ├── DEA │ ├── DEA.hs │ ├── Instrumentation.hs │ └── Parsing.hs ├── Main.hs ├── Parseable.hs ├── Solidity.hs ├── Solidity │ ├── Instrumentation.hs │ ├── Parsing.hs │ └── Solidity.hs └── TODO.txt ├── template.dea └── use-cases ├── Casino ├── Casino.sol ├── CasinoSpec.dea └── monitoredCasino.sol ├── CourierService ├── CourierService.sol ├── courierservicespec.dea └── monitoredCourierService.sol ├── ERC20Interface ├── ERC20Interface.sol ├── ERC20InterfaceSpec.dea └── MonitoredERC20Interface.sol ├── FixedSupplyToken ├── FixedSupplyToken.sol ├── FixedSupplyTokenSpec.dea └── MonitoredFixedSupplyToken.sol ├── InsuredCourierService ├── InsuredCourierService.sol ├── InsuredCourierServiceSpec.dea └── MonitoredInsuredCourierService.sol ├── MultiOwnersWallet ├── MultiOwnersWallet.sol ├── MultiOwnersWalletSpec.dea └── monitoredMultiOwnersWallet.sol ├── Procurement ├── MonitoredProcurement.sol ├── Procurement.sol └── ProcurementSpec.dea ├── README.md ├── SmartAuctionHouse ├── SmartAuctionHouse.sol ├── SmartAuctionHouseSpec.dea └── monitoredSmartAuctionHouse.sol ├── WalletWithDeposit ├── MonitoredWalletWithDeposit.sol ├── WalletWithDeposit.sol └── WalletWithDepositSpec.dea └── tutorial ├── dea-latex-highlighting.tex ├── main.pdf ├── main.tex └── solidity-latex-highlighting.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/README.md -------------------------------------------------------------------------------- /docs/.texpadtmp/main.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/.texpadtmp/main.log -------------------------------------------------------------------------------- /docs/.texpadtmp/main.synctex.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/.texpadtmp/main.synctex.gz -------------------------------------------------------------------------------- /docs/images/example-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/images/example-1.pdf -------------------------------------------------------------------------------- /docs/images/example-1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/images/example-1.xml -------------------------------------------------------------------------------- /docs/images/example-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/images/example-2.pdf -------------------------------------------------------------------------------- /docs/images/example-2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/images/example-2.xml -------------------------------------------------------------------------------- /docs/main.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/main.pdf -------------------------------------------------------------------------------- /docs/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/docs/main.tex -------------------------------------------------------------------------------- /src/DEA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/DEA.hs -------------------------------------------------------------------------------- /src/DEA/DEA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/DEA/DEA.hs -------------------------------------------------------------------------------- /src/DEA/Instrumentation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/DEA/Instrumentation.hs -------------------------------------------------------------------------------- /src/DEA/Parsing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/DEA/Parsing.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/Main.hs -------------------------------------------------------------------------------- /src/Parseable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/Parseable.hs -------------------------------------------------------------------------------- /src/Solidity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/Solidity.hs -------------------------------------------------------------------------------- /src/Solidity/Instrumentation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/Solidity/Instrumentation.hs -------------------------------------------------------------------------------- /src/Solidity/Parsing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/Solidity/Parsing.hs -------------------------------------------------------------------------------- /src/Solidity/Solidity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/Solidity/Solidity.hs -------------------------------------------------------------------------------- /src/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/src/TODO.txt -------------------------------------------------------------------------------- /template.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/template.dea -------------------------------------------------------------------------------- /use-cases/Casino/Casino.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/Casino/Casino.sol -------------------------------------------------------------------------------- /use-cases/Casino/CasinoSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/Casino/CasinoSpec.dea -------------------------------------------------------------------------------- /use-cases/Casino/monitoredCasino.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/Casino/monitoredCasino.sol -------------------------------------------------------------------------------- /use-cases/CourierService/CourierService.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/CourierService/CourierService.sol -------------------------------------------------------------------------------- /use-cases/CourierService/courierservicespec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/CourierService/courierservicespec.dea -------------------------------------------------------------------------------- /use-cases/CourierService/monitoredCourierService.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/CourierService/monitoredCourierService.sol -------------------------------------------------------------------------------- /use-cases/ERC20Interface/ERC20Interface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/ERC20Interface/ERC20Interface.sol -------------------------------------------------------------------------------- /use-cases/ERC20Interface/ERC20InterfaceSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/ERC20Interface/ERC20InterfaceSpec.dea -------------------------------------------------------------------------------- /use-cases/ERC20Interface/MonitoredERC20Interface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/ERC20Interface/MonitoredERC20Interface.sol -------------------------------------------------------------------------------- /use-cases/FixedSupplyToken/FixedSupplyToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/FixedSupplyToken/FixedSupplyToken.sol -------------------------------------------------------------------------------- /use-cases/FixedSupplyToken/FixedSupplyTokenSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/FixedSupplyToken/FixedSupplyTokenSpec.dea -------------------------------------------------------------------------------- /use-cases/FixedSupplyToken/MonitoredFixedSupplyToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/FixedSupplyToken/MonitoredFixedSupplyToken.sol -------------------------------------------------------------------------------- /use-cases/InsuredCourierService/InsuredCourierService.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/InsuredCourierService/InsuredCourierService.sol -------------------------------------------------------------------------------- /use-cases/InsuredCourierService/InsuredCourierServiceSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/InsuredCourierService/InsuredCourierServiceSpec.dea -------------------------------------------------------------------------------- /use-cases/InsuredCourierService/MonitoredInsuredCourierService.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/InsuredCourierService/MonitoredInsuredCourierService.sol -------------------------------------------------------------------------------- /use-cases/MultiOwnersWallet/MultiOwnersWallet.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/MultiOwnersWallet/MultiOwnersWallet.sol -------------------------------------------------------------------------------- /use-cases/MultiOwnersWallet/MultiOwnersWalletSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/MultiOwnersWallet/MultiOwnersWalletSpec.dea -------------------------------------------------------------------------------- /use-cases/MultiOwnersWallet/monitoredMultiOwnersWallet.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/MultiOwnersWallet/monitoredMultiOwnersWallet.sol -------------------------------------------------------------------------------- /use-cases/Procurement/MonitoredProcurement.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/Procurement/MonitoredProcurement.sol -------------------------------------------------------------------------------- /use-cases/Procurement/Procurement.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/Procurement/Procurement.sol -------------------------------------------------------------------------------- /use-cases/Procurement/ProcurementSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/Procurement/ProcurementSpec.dea -------------------------------------------------------------------------------- /use-cases/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/README.md -------------------------------------------------------------------------------- /use-cases/SmartAuctionHouse/SmartAuctionHouse.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/SmartAuctionHouse/SmartAuctionHouse.sol -------------------------------------------------------------------------------- /use-cases/SmartAuctionHouse/SmartAuctionHouseSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/SmartAuctionHouse/SmartAuctionHouseSpec.dea -------------------------------------------------------------------------------- /use-cases/SmartAuctionHouse/monitoredSmartAuctionHouse.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/SmartAuctionHouse/monitoredSmartAuctionHouse.sol -------------------------------------------------------------------------------- /use-cases/WalletWithDeposit/MonitoredWalletWithDeposit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/WalletWithDeposit/MonitoredWalletWithDeposit.sol -------------------------------------------------------------------------------- /use-cases/WalletWithDeposit/WalletWithDeposit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/WalletWithDeposit/WalletWithDeposit.sol -------------------------------------------------------------------------------- /use-cases/WalletWithDeposit/WalletWithDepositSpec.dea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/WalletWithDeposit/WalletWithDepositSpec.dea -------------------------------------------------------------------------------- /use-cases/tutorial/dea-latex-highlighting.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/tutorial/dea-latex-highlighting.tex -------------------------------------------------------------------------------- /use-cases/tutorial/main.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/tutorial/main.pdf -------------------------------------------------------------------------------- /use-cases/tutorial/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/tutorial/main.tex -------------------------------------------------------------------------------- /use-cases/tutorial/solidity-latex-highlighting.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gordonpace/contractLarva/HEAD/use-cases/tutorial/solidity-latex-highlighting.tex --------------------------------------------------------------------------------