Commits

Branch selector

 cbmc-5.77.0

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 16, 2023

• Merge pull request #7545 from esteffin/esteffin/release_5_77_0

  Show description for e1e7dc7
  

  Enrico Steffinlongo

  authored
  e1e7dc7

  Copy full SHA for e1e7dc7

• Increased release version to 5.77.0

  

  Enrico Steffinlongo

  committed
  0af478e

  Copy full SHA for 0af478e

• Merge pull request #7532 from tautschnig/cleanup/seen_terms

  Show description for 989029d
  tautschnig

  authored
  989029d

  Copy full SHA for 989029d

Commits on Feb 15, 2023

• Merge pull request #7493 from zhassan-aws/cadical-option

  Show description for 42d5ce2
  zhassan-aws

  authored
  42d5ce2

  Copy full SHA for 42d5ce2

• Undo renaming of function back to get_default

  zhassan-aws

  committed
  85c6f6c

  Copy full SHA for 85c6f6c

• Merge pull request #7534 from remi-delmas-3000/read-irep-ensure-named-sub-ordering

  Show description for 5678ed6
  tautschnig

  authored
  5678ed6

  Copy full SHA for 5678ed6

• Merge pull request #7539 from tautschnig/bugfixes/limit-string-size

  Show description for 4ba6285
  tautschnig

  authored
  4ba6285

  Copy full SHA for 4ba6285

• Limit counterexample size to speed up regression tests

  Show description for d9b0744
  tautschnig

  committed
  d9b0744

  Copy full SHA for d9b0744

Commits on Feb 14, 2023

• Rename `remove` to `erase` to allow simplifications

  

  Remi Delmas

  committed
  c52c0f6

  Copy full SHA for c52c0f6

• Simplify use the `size` method instead of `distance`

  

  Remi Delmas

  committed
  7cbee89

  Copy full SHA for 7cbee89

• Add `emplace` method to `forward_list_as_mapt` and simplify where possible

  

  Remi Delmas

  committed
  487c28c

  Copy full SHA for 487c28c

• Include `<algorithm>` where needed when building with `NAMED_SUB_IS_FORWARD_LIST == 0`

  

  Remi Delmas

  committed
  7523caf

  Copy full SHA for 7523caf

• Merge pull request #7523 from peterschrammel/shadow-memory-basic

  Show description for 1396782
  peterschrammel

  authored
  1396782

  Copy full SHA for 1396782

• Handle __CPROVER_set/get_field in goto_symex

  Show description for 67ce46b
  peterschrammel

  committed
  67ce46b

  Copy full SHA for 67ce46b

• Initialize shadow memory for string constants

  Show description for 38b264b
  peterschrammel

  committed
  38b264b

  Copy full SHA for 38b264b

Commits on Feb 13, 2023

• Pass shadow_memory to symex_assignt

  Show description for c0dd6e8
  peterschrammel

  committed
  c0dd6e8

  Copy full SHA for c0dd6e8

• Initialize shadow memory for function parameters

  Show description for bc1869d
  peterschrammel

  committed
  bc1869d

  Copy full SHA for bc1869d

• Initialize shadow memory for locals

  Show description for e9df8eb
  peterschrammel

  committed
  e9df8eb

  Copy full SHA for e9df8eb

• Make shadow memory instrumentation available to goto_symex

  Show description for 1a9b71b
  peterschrammel

  committed
  1a9b71b

  Copy full SHA for 1a9b71b

• Initialize shadow memory on allocate()

  Show description for 4d8f92c
  peterschrammel

  committed
  4d8f92c

  Copy full SHA for 4d8f92c

• Pass preprocessed shadow memory fields to goto_symex

  Show description for f5f8901
  peterschrammel

  committed
  f5f8901

  Copy full SHA for f5f8901

• Preprocess shadow memory field declarations

  Show description for a07dbc3
  peterschrammel

  committed
  a07dbc3

  Copy full SHA for a07dbc3

• Add stub for shadow memory instrumentation implementation

  Show description for 8bea148
  peterschrammel

  committed
  8bea148

  Copy full SHA for 8bea148

Commits on Feb 11, 2023

• Add shadow_memory.h

  Show description for 5194a1f
  peterschrammel

  committed
  5194a1f

  Copy full SHA for 5194a1f

• Add shadow memory state to goto_symex_statet

  Show description for 143723a
  peterschrammel

  committed
  143723a

  Copy full SHA for 143723a

• Add shadow_memory_state.h

  Show description for 5b0abf6
  peterschrammel

  committed
  5b0abf6

  Copy full SHA for 5b0abf6

• Add shadow_memory_field_definitions.h

  Show description for 9831522
  peterschrammel

  committed
  9831522

  Copy full SHA for 9831522

Commits on Feb 10, 2023

• Merge pull request #7389 from peterschrammel/nondet-static-matching

  Show description for 882bd0d
  kroening

  authored
  882bd0d

  Copy full SHA for 882bd0d

• Merge pull request #7529 from tautschnig/cleanup/function_depth

  Show description for fbd2b88
  tautschnig

  authored
  fbd2b88

  Copy full SHA for fbd2b88

• Update installation instructions to include how to build CBMC with multiple backend solvers

  zhassan-aws

  committed
  4b17867

  Copy full SHA for 4b17867

• Introduce a new --sat-solver option to allow selecting the backend SAT solver

  zhassan-aws

  committed
  d070932

  Copy full SHA for d070932

• Include cadical in release packages

  zhassan-aws

  committed
  6bf4dad

  Copy full SHA for 6bf4dad

• Include cadical in some CI workflows

  zhassan-aws

  committed
  b1fb769

  Copy full SHA for b1fb769

• Allow including multiple backend solvers in cmake builds

  zhassan-aws

  committed
  60c9ef9

  Copy full SHA for 60c9ef9

Commits on Feb 9, 2023

• Move test --nondet-static-matching option from cbmc to goto-instrument

  

  peterschrammel

  authored and

  giulio-garbi

  committed
  22152fc

  Copy full SHA for 22152fc

Pagination

Previous

Next