Ic3 bugs: removed bugs, added new features#11

Merged

eigold merged 39 commits intomasterfrom

Jun 29, 2017

Commits on May 25, 2017

Commits on May 27, 2017

added an option to conver a verilog description into a aiger file
eigold
committed

Commits on May 29, 2017

polished the version of ic3_bugs branch before submitting PR
eigold
committed

Commits on May 30, 2017

messaging API
Daniel Kroening
committed

Commits on Jun 3, 2017

added code related to processing verilog files
eigold
committed

Commits on Jun 5, 2017

Adapt print/messaget API, get_error_found
Matthias Güdemann
committed
made the required %d->%zu replacements
eigold
committed

Commits on Jun 7, 2017

Adapt Makefile of EBMC to new location of c_types
Matthias Güdemann
committed
fixed one of the problems with conversion of verilog to internal repres. of ic3
eigold
committed

Commits on Jun 14, 2017

Merge pull request #12 from diffblue/fix/compilation_with_changed_messaget
mgudemann
authored
Patent
Daniel Kroening
committed
Merge branch 'master' of github.com:diffblue/hw-cbmc
Daniel Kroening
committed

Commits on Jun 18, 2017

Commits on Jun 19, 2017

Merge branch 'ic3_bugs' of https://github.com/diffblue/hw-cbmc into ic3_bugs
eigold
committed