Commits

Branch selector

 ic3_bugs

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 19, 2017

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

  eigold

  committed
  84761a1

  Copy full SHA for 84761a1

Commits on Jun 18, 2017

• fixed one of the problems with conversion of verilog to internal repres. of ic3

  eigold

  committed
  1834048

  Copy full SHA for 1834048

• made the required %d->%zu replacements

  eigold

  committed
  2d1ca87

  Copy full SHA for 2d1ca87

• added code related to processing verilog files

  eigold

  committed
  e30fb54

  Copy full SHA for e30fb54

• polished the version of ic3_bugs branch before submitting PR

  eigold

  committed
  994f2eb

  Copy full SHA for 994f2eb

• added an option to conver a verilog description into a aiger file

  eigold

  committed
  26f1354

  Copy full SHA for 26f1354

• adding a usefule script

  eigold

  committed
  964915d

  Copy full SHA for 964915d

• added code for ctg_state lifting that ignores constraints

  eigold

  committed
  a8d913d

  Copy full SHA for a8d913d

• almost finished patching code for the standard mode

  eigold

  committed
  8b1bce5

  Copy full SHA for 8b1bce5

• made more changes

  eigold

  committed
  bc5d59d

  Copy full SHA for bc5d59d

• made more changes

  eigold

  committed
  65eb380

  Copy full SHA for 65eb380

• made more changes

  eigold

  committed
  727c020

  Copy full SHA for 727c020

• removed the performance bug caused by insufficient liftingof CTG states

  eigold

  committed
  37171f5

  Copy full SHA for 37171f5

• removed a bug affecting verification problems with constraints

  eigold

  committed
  be19112

  Copy full SHA for be19112

• added scripts and other files to be used for testing new code

  eigold

  committed
  11bb2c7

  Copy full SHA for 11bb2c7

• corrected regression tests

  eigold

  committed
  71a6519

  Copy full SHA for 71a6519

• changed the way properties are named

  eigold

  committed
  440862a

  Copy full SHA for 440862a

Commits on Jun 14, 2017

• Merge branch 'master' of github.com:diffblue/hw-cbmc

  

  Daniel Kroening

  committed
  8ed8c07

  Copy full SHA for 8ed8c07

• Patent

  

  Daniel Kroening

  committed
  6d309f0

  Copy full SHA for 6d309f0

• Merge pull request #12 from diffblue/fix/compilation_with_changed_messaget

  Show description for da525e7
  mgudemann

  authored
  da525e7

  Copy full SHA for da525e7

Commits on Jun 7, 2017

• fixed one of the problems with conversion of verilog to internal repres. of ic3

  eigold

  committed
  5ac8cc9

  Copy full SHA for 5ac8cc9

• Adapt Makefile of EBMC to new location of c_types

  

  Matthias Güdemann

  committed
  7328b2e

  Copy full SHA for 7328b2e

Commits on Jun 5, 2017

• made the required %d->%zu replacements

  eigold

  committed
  224d738

  Copy full SHA for 224d738

• Adapt print/messaget API, get_error_found

  

  Matthias Güdemann

  committed
  5ce95a5

  Copy full SHA for 5ce95a5

Commits on Jun 3, 2017

• added code related to processing verilog files

  eigold

  committed
  13f171d

  Copy full SHA for 13f171d

Commits on May 30, 2017

• messaging API

  

  Daniel Kroening

  committed
  3b4b2f2

  Copy full SHA for 3b4b2f2

Commits on May 29, 2017

• polished the version of ic3_bugs branch before submitting PR

  eigold

  committed
  e1cb500

  Copy full SHA for e1cb500

Commits on May 27, 2017

• added an option to conver a verilog description into a aiger file

  eigold

  committed
  2602671

  Copy full SHA for 2602671

Commits on May 26, 2017

• adding a usefule script

  eigold

  committed
  84fa05e

  Copy full SHA for 84fa05e

• added code for ctg_state lifting that ignores constraints

  eigold

  committed
  03593fa

  Copy full SHA for 03593fa

• almost finished patching code for the standard mode

  eigold

  committed
  bb705b6

  Copy full SHA for bb705b6

• made more changes

  eigold

  committed
  2bb57d6

  Copy full SHA for 2bb57d6

Commits on May 25, 2017

• made more changes

  eigold

  committed
  b4475c3

  Copy full SHA for b4475c3

• made more changes

  eigold

  committed
  174b026

  Copy full SHA for 174b026

• get_modules no longer has a dependency on bmct

  

  Daniel Kroening

  committed
  c14c55f

  Copy full SHA for c14c55f

Pagination

Previous

Next