v0.17.12

Pre-release

Pre-release

muellerberndt released this 23 May 09:00

· 3490 commits to master since this release

Fix formatting of CFGs
Fix a bug in laser-ethereum where function names where not correctly assigned to states
SVM: Bugfix for symbolic memory index in op CALL & CALLCODE

Assets 2