- Jul 30, 2020
-
-
Jonathan Shahen authored
-
- May 21, 2020
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
gives warnings instead of info when the result does not match the expected
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
- May 20, 2020
-
-
Jonathan Shahen authored
Removed DApp static noRollback, propagated the value through to the RequireBlock, updated the styles of the RequireState/FailedRequiredState/IfState, removed the noRollback parameter from DApp.toSMVString, cleaned up the CUI and added specific noRollback tests to show that it works
-
Jonathan Shahen authored
-
- May 19, 2020
-
-
Alireza Lotfi Takami authored
Resolve "Implement Crass Gas Limit" Closes #39 See merge request !10
-
Jonathan Shahen authored
-
Jonathan Shahen authored
Changing the ValueReachabilityState to a better name (BoolExprRea...); adding the start of the AttackerGasLimit; adding comments to the varaible in the DApp class; removing tiny functions from the DApp class and moving them to the g4; changing the special commands to only accept INTs
-
- May 12, 2020
-
-
Alireza Lotfi Takami authored
adding configurable rollback feature See merge request !9
-
- May 10, 2020
-
-
alireza lotfi takami authored
-
- May 06, 2020
-
-
Jon Shahen authored
Extract NuSMV errors See merge request !8
-
Jonathan Shahen authored
-
Jonathan Shahen authored
Adding comments to learn from bug; better name and description of new error producing solidity file; removing new code that isn't required.
-
alireza lotfi takami authored
-
alireza lotfi takami authored
-
alireza lotfi takami authored
-
alireza lotfi takami authored
-
alireza lotfi takami authored
-
alireza lotfi takami authored
-
- May 05, 2020
-
-
alireza lotfi takami authored
-
alireza lotfi takami authored
-
- May 04, 2020
-
-
Jon Shahen authored
Function modifiers See merge request !7
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
- May 03, 2020
-
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
Jonathan Shahen authored
-
alireza lotfi takami authored
-
alireza lotfi takami authored
-
Jonathan Shahen authored
-