Commits
Click on a commit to change the comparison rangeRe-integrate expr evaluation work Merge branch 'master' into dento/asm-gen-opt-2 Add symbolic EQ operation optimization Update contract ids in tests More test contractid updates bugfix: Multiplication short circuit now produces zero and not one Update log tests once more Use value eq instead of structural eq