Commit Graph

90 Commits

Author SHA1 Message Date
Alex Beregszaszi
2871663cad Remove why3 from standard compiler 2017-05-02 14:49:13 +01:00
Alex Beregszaszi
cd29a0315d Update the gasEstimates in JSON I/O 2017-04-27 13:37:51 +01:00
Alex Beregszaszi
4a3fb96381 Enable standard json in the docs 2017-04-24 11:34:02 +01:00
Alex Beregszaszi
6ae7a87b78 Rename ast to legacyAST in StandardCompiler 2017-04-20 19:38:00 +01:00
Alex Beregszaszi
8bf842050e Support --allow-paths in the CLI 2017-04-20 15:39:30 +01:00
Alex Beregszaszi
92fd66e4b4 Document formattedMessage 2017-04-07 15:37:11 +01:00
Alex Beregszaszi
c22ba03417 Support selecting group of outputs 2017-04-07 15:34:38 +01:00
Alex Beregszaszi
fea26bc4ba Rename legacyAssemblyJSON to legacyAssembly 2017-04-07 15:33:13 +01:00
Alex Beregszaszi
b62a6949b5 Move the IR out of the EVM block in JSON IO 2017-04-07 15:32:59 +01:00
Alex Beregszaszi
594f207606 The metadata output is serialised 2017-04-07 15:32:58 +01:00
Alex Beregszaszi
b7368ce067 Fix input selector for evm 2017-04-07 15:32:55 +01:00
Alex Beregszaszi
ded7258b01 Swap key/value of methodIdentifiers 2017-03-30 11:12:14 +01:00
Alex Beregszaszi
f6828fc7c3 Reorder for readiability 2017-03-29 22:23:35 +01:00
Alex Beregszaszi
917175eedc Move opcodes into bytecode/deployedBytecode 2017-03-29 22:21:33 +01:00
Alex Beregszaszi
dc431fe1f6 Simplify the compiler API section (and remove pseudo code) 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
cd81e58e3b Drop the legacy assembly output 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
749db7608b Include language field in the JSON 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
10d3a591d4 Move file into sourceLocation 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
96677cd178 Update the AST output 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
9fa54db7bd Explain every contract output field 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
9fc017d10b Support linkReferences with length specified 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
a3340e210e Error list should have sourceLocation 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
c217bc2dca Updated EVM output 2017-02-08 23:41:48 +00:00
Alex Beregszaszi
4b19f560b8 Make contracts output two-level 2017-02-08 23:41:47 +00:00
Alex Beregszaszi
627a2cec4d Update errors output 2017-02-08 23:41:47 +00:00
Alex Beregszaszi
21a0228485 Include pseudo-code of compiler API 2017-02-08 23:41:47 +00:00
Alex Beregszaszi
d46ec20f88 Change layout and include API, Input, Output sections 2017-02-08 23:41:47 +00:00
Alex Beregszaszi
cbb668672f Add metadata.useLiteralContent option 2017-02-08 23:41:47 +00:00
Alex Beregszaszi
4b5639bf63 Update output selection 2017-02-08 23:41:47 +00:00
Alex Beregszaszi
82c0e4de1d Update settings section 2017-02-08 23:41:47 +00:00
Alex Beregszaszi
6e2cc081ec Update sources definition based on the metadata 2017-02-08 23:40:07 +00:00
Alex Beregszaszi
720cf20855 Place into a code block 2017-02-08 21:53:07 +00:00
Alex Beregszaszi
d9f14e7737 The metadata section has been moved, make only a reference to it 2017-02-08 21:53:07 +00:00
Alex Beregszaszi
559c4c7a45 Update the metadata JSON spec 2017-02-08 21:53:07 +00:00
Alex Beregszaszi
073871c248 Update the metadata JSON spec 2017-02-08 21:53:07 +00:00
Alex Beregszaszi
04089edc4e Add missing fields 2017-02-08 21:53:07 +00:00
Alex Beregszaszi
0b3f1a5378 Describe the ABI output field 2017-02-08 21:53:07 +00:00
Alex Beregszaszi
77b934c861 Update with https://pad.riseup.net/p/7x3G896a3NLA 2017-02-08 21:53:07 +00:00
chriseth
57662e1bf3 Add language and some minor corrections and clarifications. 2017-02-08 21:53:07 +00:00
chriseth
4fccb5fdac Document input description and metadata output. 2017-02-08 21:53:07 +00:00