Commits
Click on a commit to change the comparison rangeRe-integrate expr evaluation work10 months ago
by Dentosal Merge branch 'master' into dento/asm-gen-opt-210 months ago
by Dentosal Add initial MUL support10 months ago
by Dentosal Add symbolic EQ operation optimization10 months ago
by Dentosal Update contract ids in tests10 months ago
by Dentosal More test contractid updates10 months ago
by Dentosal More contract id updates10 months ago
by Dentosal bugfix: Multiplication short circuit now produces zero and not one10 months ago
by Dentosal 0 != 110 months ago
by Dentosal Update snapshots10 months ago
by Dentosal Update log tests once more10 months ago
by Dentosal Use value eq instead of structural eq10 months ago
by Dentosal