Commits

Branch selector

 bugfix/languaget_gets_message_handler

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 13, 2017

• Add test for message_handler in languaget

  

  Matthias Güdemann

  committed
  3df761f

  Copy full SHA for 3df761f

• Set message_handler of languaget

  

  Matthias Güdemann

  committed
  29f52fd

  Copy full SHA for 29f52fd

Commits on Sep 8, 2017

• enable Travis CI

  

  Daniel Kroening

  committed
  90fd50b

  Copy full SHA for 90fd50b

Commits on Aug 10, 2017

• advance to master

  

  Daniel Kroening

  committed
  aa0f55e

  Copy full SHA for aa0f55e

Commits on Aug 4, 2017

• update cbmc master

  

  Daniel Kroening

  committed
  3bdf6e4

  Copy full SHA for 3bdf6e4

Commits on Jul 4, 2017

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

  

  Daniel Kroening

  committed
  0b8499e

  Copy full SHA for 0b8499e

• more tests

  

  Daniel Kroening

  committed
  cb6c292

  Copy full SHA for cb6c292

Commits on Jul 3, 2017

• Merge pull request #21 from diffblue/feature/regression_tests_from_manual

  Show description for 60b4cc6
  mgudemann

  authored
  60b4cc6

  Copy full SHA for 60b4cc6

Commits on Jul 2, 2017

• Add regression tests from EBMC manual

  Show description for 4d9cf65
  

  Matthias Güdemann

  committed
  4d9cf65

  Copy full SHA for 4d9cf65

Commits on Jul 1, 2017

• remove spurious blank lines in test.desc

  

  Daniel Kroening

  committed
  35162a0

  Copy full SHA for 35162a0

• missing header for std::max

  

  Daniel Kroening

  committed
  1e97fc4

  Copy full SHA for 1e97fc4

Commits on Jun 29, 2017

• Merge pull request #16 from diffblue/fix/encoding_of_sva_eventually

  Show description for 372ce37
  

  Daniel Kroening

  authored
  372ce37

  Copy full SHA for 372ce37

• Merge branch 'ic3_bugs'

  Show description for 607ac7c
  eigold

  committed
  607ac7c

  Copy full SHA for 607ac7c

• Fix bounded eventually

  Show description for 2321fb2
  

  Matthias Güdemann

  committed
  2321fb2

  Copy full SHA for 2321fb2

Commits on Jun 27, 2017

• compilation with cbmc as a submodule

  

  Daniel Kroening

  committed
  71f882d

  Copy full SHA for 71f882d

• added an assertion

  

  Daniel Kroening

  committed
  4f96d5b

  Copy full SHA for 4f96d5b

• Merge pull request #15 from diffblue/feature/cbmc_as_submodule

  Show description for 3a1522d
  

  Daniel Kroening

  authored
  3a1522d

  Copy full SHA for 3a1522d

Commits on Jun 26, 2017

• use irep_idt instead of dstring

  

  Daniel Kroening

  committed
  79b7e59

  Copy full SHA for 79b7e59

Commits on Jun 24, 2017

• Add CBMC as git submodule for HW-CBMC

  Show description for ce2125d
  

  Matthias Güdemann

  committed
  ce2125d

  Copy full SHA for ce2125d

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

Pagination

Previous

Next