eth-isabelle icon indicating copy to clipboard operation
eth-isabelle copied to clipboard

Published 20 hours ago • verified publisher icon pirapira

Compare the behavior the Julia compiler and Julia specification

Open pirapira opened this issue 7 years ago • 0 comments

This repository contains an executable specification of Julia while ethereum/solidity contains the Julia compiler. This issue keeps track of comparing these two implementations. The closing criterion is 24/7 running fuzzing comparing both.

pirapira avatar Aug 14 '17 12:08 pirapira

Hi @AlexanderSchoenfeld,

I don't work with Typescript and don't know it. So if you want it, feel free to submit a pull request.

eugene-manuilov avatar Jun 22 '18 11:06 eugene-manuilov