Commits

Branch selector

 bb31b47

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 16, 2018

• Move BMC options and help text to goto-checker/bmc_util

  Show description for bb31b47
  peterschrammel

  committed
  bb31b47

  Copy full SHA for bb31b47

• Move bmc_util to goto_checker module

  peterschrammel

  committed
  cd34e43

  Copy full SHA for cd34e43

• Factor out bmct building blocks int bmc_util

  Show description for 082871a
  peterschrammel

  committed
  082871a

  Copy full SHA for 082871a

Commits on Dec 15, 2018

• Clang-format

  peterschrammel

  committed
  5af9fed

  Copy full SHA for 5af9fed

• Move cbmc_solvers as solver_factory to goto-checker module

  Show description for 3266c51
  peterschrammel

  committed
  3266c51

  Copy full SHA for 3266c51

Commits on Dec 14, 2018

• Merge pull request #3559 from romainbrenguier/optimize/get_l1_name

  Show description for 58d440a
  romainbrenguier

  authored
  58d440a

  Copy full SHA for 58d440a

Commits on Dec 13, 2018

• Merge pull request #3567 from peterschrammel/doxygen-download

  Show description for 7a30b00
  peterschrammel

  authored
  7a30b00

  Copy full SHA for 7a30b00

• Fix broken doxygen download link

  peterschrammel

  committed
  77c52f5

  Copy full SHA for 77c52f5

• Optimize remove_level_2

  Show description for 7114c57
  romainbrenguier

  committed
  7114c57

  Copy full SHA for 7114c57

• Inline get_l1_name

  Show description for 7efc7b8
  romainbrenguier

  committed
  7efc7b8

  Copy full SHA for 7efc7b8

• Hide get_l1_name from interface

  Show description for 75f7c77
  romainbrenguier

  committed
  75f7c77

  Copy full SHA for 75f7c77

• Document build_ssa_identifier_rec

  romainbrenguier

  committed
  8bd5402

  Copy full SHA for 8bd5402

• Remove build_identifier from the public_interface

  Show description for 5f9fd35
  romainbrenguier

  committed
  5f9fd35

  Copy full SHA for 5f9fd35

• Move update_identifier definition to cpp file

  Show description for 9157f0f
  romainbrenguier

  committed
  9157f0f

  Copy full SHA for 9157f0f

Commits on Dec 12, 2018

• Merge pull request #3545 from smowton/smowton/fix/string-refinement-dont-reinit-object

  Show description for e1ecf26
  smowton

  authored
  e1ecf26

  Copy full SHA for e1ecf26

• Merge pull request #3556 from peterschrammel/remove-old-cvc

  Show description for a4fe9b6
  peterschrammel

  authored
  a4fe9b6

  Copy full SHA for a4fe9b6

• Merge pull request #3563 from antlechner/lazy-methods-generics-rec

  Show description for d0e3146
  antlechner

  authored
  d0e3146

  Copy full SHA for d0e3146

Commits on Dec 11, 2018

• Merge pull request #3415 from tautschnig/vs-shadow-1

  Show description for 24e9b88
  

  Daniel Kroening

  authored
  24e9b88

  Copy full SHA for 24e9b88

• Merge pull request #3210 from diffblue/goto-analyzer-output

  Show description for 3628f2e
  

  Daniel Kroening

  authored
  3628f2e

  Copy full SHA for 3628f2e

• Merge pull request #3552 from diffblue/smt2_floatbv_model_fix

  Show description for 77df7ea
  

  Daniel Kroening

  authored
  77df7ea

  Copy full SHA for 77df7ea

• Fix small bug in lazy loading of generic types

  Show description for 39b8854
  antlechner

  committed
  39b8854

  Copy full SHA for 39b8854

• Merge pull request #3547 from diffblue/smt2_concat

  Show description for aab0b9b
  

  Daniel Kroening

  authored
  aab0b9b

  Copy full SHA for aab0b9b

• Merge pull request #3558 from peterschrammel/verification-inconclusive

  Show description for 01abfb2
  peterschrammel

  authored
  01abfb2

  Copy full SHA for 01abfb2

• added a test for hexadecimal floating-point trace values

  

  Daniel Kroening

  committed
  3587d9d

  Copy full SHA for 3587d9d

• smt2 backend: fix floating-point values

  

  Daniel Kroening

  committed
  5169e7d

  Copy full SHA for 5169e7d

• Merge pull request #3550 from diffblue/smt2_constants

  Show description for 23deda5
  

  Daniel Kroening

  authored
  23deda5

  Copy full SHA for 23deda5

• Merge pull request #3548 from diffblue/smt2_sign_extend

  Show description for 61f07f6
  

  Daniel Kroening

  authored
  61f07f6

  Copy full SHA for 61f07f6

• Merge pull request #3472 from hannes-steffenhagen-diffblue/feature-nondet-array-init

  Show description for 4388a69
  hannes-steffenhagen-diffblue

  authored
  4388a69

  Copy full SHA for 4388a69

• smt2 parser: concat is multi-ary

  

  Daniel Kroening

  committed
  24883f0

  Copy full SHA for 24883f0

• concatenation_exprt is multi_ary

  

  Daniel Kroening

  committed
  9384c1b

  Copy full SHA for 9384c1b

• add a complete constructor for multi_ary_exprt

  

  Daniel Kroening

  committed
  5300a73

  Copy full SHA for 5300a73

• Merge pull request #3540 from diffblue/forejtv/fixed-strings

  Show description for 6e085d2
  forejtv

  authored
  6e085d2

  Copy full SHA for 6e085d2

• Merge pull request #3553 from thomasspriggs/tas/auto_map

  Show description for 0bb4242
  

  Daniel Kroening

  authored
  0bb4242

  Copy full SHA for 0bb4242

• smt2 solver: add all constant definitions as constraints

  Show description for 7ec5c20
  

  Daniel Kroening

  committed
  7ec5c20

  Copy full SHA for 7ec5c20

• smt2_format: print array_list

  

  Daniel Kroening

  committed
  5a37ab9

  Copy full SHA for 5a37ab9

Pagination

Previous

Next