Formal Land activity

Guillaume Claret pushed to project branch master at Formal Land / Coq Of Solidity

2024-06-27T23:32:58Z

Guillaume Claret (60726566) at 27 Jun 23:32

README: add notice with link to coq-of-yul translation

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-26T13:26:07Z

Daniel Hilst (c548f778) at 26 Apr 13:26

Add DotNotation.v file

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-26T13:25:43Z

Daniel Hilst (025e5aa4) at 26 Apr 13:25

Add LICENSE file, with MIT license

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-26T11:54:21Z

Daniel Hilst (75a74a50) at 26 Apr 11:54

Add more doc comments and remove trailing whitespace

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-25T20:47:28Z

Daniel Hilst (32c7b8b4) at 25 Apr 20:47

Planing member access

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-25T18:20:18Z

Daniel Hilst (d29a1ec6) at 25 Apr 18:20

Start Coq translation

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-24T15:12:54Z

Daniel Hilst (377a719e) at 24 Apr 15:12

Implement 2nd phase for assign indexed expressions

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-11T13:52:07Z

Daniel Hilst (6eb3b429) at 11 Apr 13:52

Add notation for compound assignments

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-10T14:04:38Z

Daniel Hilst (3cbb2357) at 10 Apr 14:04

Handle operator in assignment

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-10T13:16:58Z

Daniel Hilst (a0f6207a) at 10 Apr 13:16

More work on 2nd phase

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-10T12:37:17Z

Daniel Hilst (71130d88) at 10 Apr 12:37

Make AssignVariableIndex more explicit and deal with lookup errors

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-10T11:09:53Z

Daniel Hilst (c1381672) at 10 Apr 11:09

Add code for find sorting functions topologically

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-10T10:49:19Z

Daniel Hilst (ce0b5d9e) at 10 Apr 10:49

Add code for find sorting functions topologically

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-07T14:11:58Z

Daniel Hilst (15a4aa5c) at 07 Apr 14:11

WIP topological sort of functions

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-07T13:58:23Z

Daniel Hilst (dd010293) at 07 Apr 13:58

WIP topological sort of functions

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-06T15:51:44Z

Daniel Hilst (d3ee59b1) at 06 Apr 15:51

Need to do topological sort of the functions

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-05T17:33:29Z

Daniel Hilst (61642224) at 05 Apr 17:33

ERC20 parsed!

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-04T10:57:56Z

Daniel Hilst (625a19f8) at 04 Apr 10:57

Add docs to Ir.expression AST and more nodes

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-03T13:37:20Z

Daniel Hilst (c26a0884) at 03 Apr 13:37

Update README

Daniel Hilst pushed to project branch json-ast-input at Formal Land / Coq Of Solidity

2023-04-03T13:35:07Z

Daniel Hilst (ddfd0f9a) at 03 Apr 13:35

Start parsing ERC20