-
Notifications
You must be signed in to change notification settings - Fork 46
Pull requests: microsoft/verisol
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump Newtonsoft.Json from 12.0.3 to 13.0.2 in /Sources/SolidityAST
dependencies
Pull requests that update a dependency file
#278
opened Dec 8, 2022 by
dependabot
bot
Loading…
the function TranslateCallStatement ( NULL Pointer Dereference )
#270
opened Jul 20, 2020 by
BigGan
Loading…
new test for VeriSol.Modifies; VeriSolContracts.sol extended for Modifies
#261
opened Apr 22, 2020 by
ellab123
Loading…
Adding test case that fails if contracts can initiate transactions.
#255
opened Apr 15, 2020 by
stephensj2
Loading…
ProTip!
Follow long discussions with comments:>50.