lira:Lira是一种声明性的领域特定语言，旨在成为可在区块链上执行的金融合约的基础
需积分: 10 158 浏览量
2021-05-22
15:19:51
上传
评论
收藏 10.46MB ZIP 举报
lira-master.zip （62个子文件） 
lira-master integrationTest 
activateTest.js 4KB docs 
logo-text.svg 2KB
missing_parts_of_heather.jpg 93KB 20180525_232715.jpg 4.44MB logo-image.svg 42KB nestedIfWithinTest.jpg 540KB cancel_thoughts.jpg 223KB missing_parts_of_compiler_20170414.jpg 193KB
frontend.png 37KB 20180403_002744.jpg 4.34MB
ross.pdf 635KB package.yaml 1KB test LiraGen.hs 3KB LiraParserPropTest.hs 2KB LiraTestHelpers.hs 3KB EvmCompilerTest.hs 10KB IntermediateCompilerTest.hs 19KB LiraParserTest.hs 17KB main_tests.hs 2KB TypeCheckerTest.hs 2KB stack.yaml 155B solidity Eur_option.sol 2KB DataFeed0.sol 1KB Tmc3.sol 6KB Tmc4.sol 6KB DataFeedBool1.sol 1KB Tmc6.sol 6KB Erc20.sol 3KB DataFeedBool0.sol 1KB LICENSE 1KB src Lira Backends Evm EvmCompiler.hs 40KB EvmLanguageDefinition.hs 4KB Abi.hs 4KB Evm.hs 2KB IntermediateCompiler.hs 12KB Contract.hs 4KB Version.hs 1KB Contract PP.hs 5KB Parser.hs 5KB Intermediate.hs 3KB Pretty.hs 5KB TypeChecker.hs 8KB quickCheckExample0.hs 1KB Main.hs 4KB Setup.hs 46B examples TestIfWithinContract.lir 272B TestObs0.lir 136B translateCurrencySwap.lir 86B TestCanonicalNestedBahr.lir 1KB TestEuropeanOption.lir 174B twoDifferentTranslateUsingKeywordsTmc4.lir 236B BettingExample0.lir 192B expandedScaleFunction0.lir 112B TestObs1.lir 313B TestNestedIfWithin.lir 447B twoDifferentTranslateUsingKeywordsTmc3.lir 236B expandedScaleFunction1.lir 111B NewScaleAndExp.lir 246B TestLongExpression.lir 329B .gitignore 233B .circleci config.yml 1KB README.md 11KB资源评论
