Leonardo db9aa36d6c Merge pull request #10567 from blishko/unary-operators-fix ...

[SMTChecker] Fix CHC analysis of increment/decrement

2020-12-11 18:52:12 +01:00

..

analysis

Improved error messages when converting to/from builtin functions

2020-12-10 22:38:15 +00:00

ast

Improved error messages when converting to/from builtin functions

2020-12-10 22:38:15 +00:00

codegen

Simplify Compiler/CompilerContext by removing extra layers of indirection

2020-12-11 14:43:51 +00:00

formal

[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine

2020-12-11 17:41:50 +01:00

interface

Add evmAssembly and evmRuntimeAssembly pointer in CompilerStack

2020-12-11 14:53:29 +00:00

parsing

Rename AsmData -> AST

2020-11-25 17:58:02 +00:00

CMakeLists.txt

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00