{"push_id":3058420902,"size":20,"distinct_size":11,"ref":"refs/heads/feature/external-call-semantic-return-check","head":"1e2306cd9a0cbfebdff1b805f4aa0c0e4a02e59d","before":"021f8447e0345e8aba2365829eea11cb056bf8c0","commits":[{"sha":"4dcf7f95da9d42639ac12b7cda025bd0cf855a21","author":{"name":"Catalin Craciun","email":"03119c2ff30a9aecb819dc439f559122b10d937d@users.noreply.github.com"},"message":"External traits (#71)\n\n* ABNF syntax for external traits\n\n* Add external token into Sources/Lexer/Token.swift\n\n* Parse new token in Sources/Lexer/Lexer.swift\n\n* Extend Sources/Parser/Parser+Declaration.swift (parseTopLevelDeclarations, parseTraitDeclaration)\n\n* Add tests to Tests/ParserTests\n\n* Change vim plugin to reflect external","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/4dcf7f95da9d42639ac12b7cda025bd0cf855a21"},{"sha":"215d579ecda9ee8b8668e2343d14574453a40ee5","author":{"name":"Calin Farcas","email":"080160912f52ef3bd0b3eb41fb5920013d1c0c23@yahoo.com"},"message":"Parse if let statements (#69)\n\nParsing if let statements","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/215d579ecda9ee8b8668e2343d14574453a40ee5"},{"sha":"7f7d152233d161460b09007e550bef41d205e55b","author":{"name":"ethanluoyc","email":"f37f0751b013eac35f0c1f2342272da2ed5cf2e8@gmail.com"},"message":"Parse do-catch statements (#68)\n\n* ABNF grammar for do-catch statements\n\n* Add tokens do, catch, and is Token.swift\n\n* Add parser handling of do ... catch ...\n\n* Add tests\n\n* address review comments\n\n* Address scoping in doCatch\n\n* Fix post catch body scoping","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/7f7d152233d161460b09007e550bef41d205e55b"},{"sha":"f0f2c20dd36250efae6e4182a33fb0293fd9f4ed","author":{"name":"Catalin Craciun","email":"03119c2ff30a9aecb819dc439f559122b10d937d@users.noreply.github.com"},"message":"Parse external calls (#70)\n\n* ABNF grammar for external calls\n\n* Adding backticks for consistency\n\n* Add call token and parse it in lexer\n\n* Add ExternalCall ASTNode\n\n* Parse external calls\n\n* Moved external trait test to Integration folder\n\n* Fix all target in Makefile\n\n* Added tests\n\n* Remove semicolon from Makefile\n\n* Add comment\n\n* Change variable name x to paramVisit\n\n* Remove unnecessary backticks for non-keywords\n\n* Introduce mode enum for external calls\n\n* Removed ASTPass.swift generated file\n\n* Address style changes for enum members\n\n* Prioritise external call on top of binary expression, inside parseExpression\n\n* Remove useless type function","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/f0f2c20dd36250efae6e4182a33fb0293fd9f4ed"},{"sha":"c076f3d6aae2786ce865951c646d0dcbd7e4711a","author":{"name":"Nik Vangerow","email":"d1854cae891ec7b29161ccaf79a24b00c274bdaa@vangerow.uk"},"message":"Unit test part of SemanticAnalyzer for demonstration (#86)\n\n* prelim environment refactor\r\n\r\n* change Environment to be a class (to be stub-able)\r\n\r\n* fix test module imports through symlinks, write first test for semantic checker\r\n\r\nWill need to start merging because extensions not supported by Cuckoo\r\n\r\n* fix parser test running and turn Token into class for Stubbing\r\n\r\n* fix Package.swift GeneratedMocks inclusion\r\n\r\n* fix miscellaneous warnings and update Cuckoo\r\n\r\n* Revert \"fix parser test running and turn Token into class for Stubbing\"\r\n\r\nThis reverts commit 761b9f2540b90efccc70df2f78f138ae8d446c38.\r\n\r\n* miscellaneous error fixing\r\n\r\n* finalise preliminary SemanticAnalyzer testing\r\n\r\nTests postProcess(topLevelModule:passContext)\r\n\r\n* fix warnings introduced on master\r\n\r\n* fix linter errors\r\n\r\n* change the dummies to be functions","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/c076f3d6aae2786ce865951c646d0dcbd7e4711a"},{"sha":"ad566bc31d5932e34c0f13f17c97f4df348dbc41","author":{"name":"Nik Vangerow","email":"d1854cae891ec7b29161ccaf79a24b00c274bdaa@vangerow.uk"},"message":"Map Flint types to Solidity in external calls (#94)\n\n* add externalType\r\n\r\n* update external trait test to check for ExernalType\r\n\r\n* parse solidity types\r\n\r\n* update invalid trait member checks to include external traits\r\n\r\n* remove AST node from ASTPass that is never added to the tree\r\n\r\n* add semantic checks for Flint type usage inside external traits and solidity type usage outside external traits\r\n\r\n* fix linter warnings\r\n\r\n* update grammar","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/ad566bc31d5932e34c0f13f17c97f4df348dbc41"},{"sha":"c326dc6617548c3e976734906c81cb62140ad88c","author":{"name":"Aurel","email":"df7c15eda88c3af7c27179a3614b295fd9bf0289@users.noreply.github.com"},"message":"External call hyper parameter checks (#105)\n\n* add hyper-parameter checks for external calls (duplication, labels, wei/gas only)\r\n\r\n* tests for hyper-parameter checks\r\n\r\n* removed local makefile change\r\n\r\n* rename external call configuration parameters to hyper-parameters in the codebase\r\n\r\n* change indentation in test\r\n\r\n* fix lint error","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/c326dc6617548c3e976734906c81cb62140ad88c"},{"sha":"69e53c903b5b116c1014fe38af8f98251bd43415","author":{"name":"Aurel","email":"df7c15eda88c3af7c27179a3614b295fd9bf0289@users.noreply.github.com"},"message":"Update language guide with asset traits (Checkpoints 1 – 2) (#103)\n\n* fix typos, minor changes in language guide\r\n\r\n* update language guide with asset traits\r\n\r\n* Map Flint types to Solidity in external calls (#94)\r\n\r\n* add externalType\r\n\r\n* update external trait test to check for ExernalType\r\n\r\n* parse solidity types\r\n\r\n* update invalid trait member checks to include external traits\r\n\r\n* remove AST node from ASTPass that is never added to the tree\r\n\r\n* add semantic checks for Flint type usage inside external traits and solidity type usage outside external traits\r\n\r\n* fix linter warnings\r\n\r\n* update grammar\r\n\r\n* External call hyper parameter checks (#105)\r\n\r\n* add hyper-parameter checks for external calls (duplication, labels, wei/gas only)\r\n\r\n* tests for hyper-parameter checks\r\n\r\n* removed local makefile change\r\n\r\n* rename external call configuration parameters to hyper-parameters in the codebase\r\n\r\n* change indentation in test\r\n\r\n* fix lint error\r\n\r\n* fix typos\r\n\r\n* fix typos, minor changes in language guide\r\n\r\n* update language guide with asset traits\r\n\r\n* fix typos","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/69e53c903b5b116c1014fe38af8f98251bd43415"},{"sha":"9eb73dd4ebfa57c5fa6094b1ca255ce3498d71cb","author":{"name":"Ethan Luo Yicheng","email":"f37f0751b013eac35f0c1f2342272da2ed5cf2e8@gmail.com"},"message":"External traits constructor (#109)\n\n* Add code generator for do-catch block\r\n\r\n* Add generated initializer\r\n\r\n* Add external initializer\r\n\r\n* Add an example\r\n\r\n* codegen address for external calls\r\n\r\n* Move the examples\r\n\r\n* Remove extraneous return block\r\n\r\n* Address review comments\r\n\r\n* fix comments","distinct":false,"url":"https://api.github.com/repos/flintrocks/flint/commits/9eb73dd4ebfa57c5fa6094b1ca255ce3498d71cb"},{"sha":"6a0f1b0caed4137a5deafc8e8d376cd8971f1da8","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Fix merge errors","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/6a0f1b0caed4137a5deafc8e8d376cd8971f1da8"},{"sha":"560fd4953a886d1352e7d01ed56043ae4f9f43c7","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Add stubs and comments for changes required","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/560fd4953a886d1352e7d01ed56043ae4f9f43c7"},{"sha":"15f099c66b7e48e6028c8429d1781510423ac64f","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Add external call semantic error messages","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/15f099c66b7e48e6028c8429d1781510423ac64f"},{"sha":"b990760d713b471e101ba9dbdf7e879e9b6684d5","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Add isInsideDo context variable","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/b990760d713b471e101ba9dbdf7e879e9b6684d5"},{"sha":"98c2a77c00b1b68228eb23b05bf27c57ce1575fb","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Add external call type checks","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/98c2a77c00b1b68228eb23b05bf27c57ce1575fb"},{"sha":"1b45352aa97263ce9bfda00b9c7ba40abc46d20c","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Remove  from","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/1b45352aa97263ce9bfda00b9c7ba40abc46d20c"},{"sha":"eeabce20455ac6f329a87b520ca30aa3646f9527","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Remove  requirements reflecting changed proposal","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/eeabce20455ac6f329a87b520ca30aa3646f9527"},{"sha":"0c1331e78f8e09b915f683ac0393b6caf2a25e9c","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Add semantic checks","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/0c1331e78f8e09b915f683ac0393b6caf2a25e9c"},{"sha":"29efb522f1d787b081f593321faafd595e8758b2","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Merge external call semantic checks","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/29efb522f1d787b081f593321faafd595e8758b2"},{"sha":"bb1140efb8b8307376fb2e9fc363ea5730666d77","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Correct pass context for isInsideDoBlock variable","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/bb1140efb8b8307376fb2e9fc363ea5730666d77"},{"sha":"1e2306cd9a0cbfebdff1b805f4aa0c0e4a02e59d","author":{"name":"Constantin Mueller","email":"dd72a4cbbd62c2e391988fe1410624b179358572@ic.ac.uk"},"message":"Fix merge errors","distinct":true,"url":"https://api.github.com/repos/flintrocks/flint/commits/1e2306cd9a0cbfebdff1b805f4aa0c0e4a02e59d"}]}
{"actor":{"display_login":"ckamueller"}}