Commits

Branch selector

 develop

User selector

peterschrammel

Datepicker

All time

Commit History

Commits on Sep 13, 2024

• Merge pull request #8432 from lks9/doc_8428

  Show description for e08b025
  peterschrammel

  authored
  e08b025

  Copy full SHA for e08b025

Commits on Sep 29, 2023

• Recanonicalize with_exprt when renaming old member

  Show description for 90842e5
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  90842e5

  Copy full SHA for 90842e5

• Merge pull request #7921 from peterschrammel/book-examples

  Show description for eb8ddb4
  peterschrammel

  authored
  eb8ddb4

  Copy full SHA for eb8ddb4

Commits on Sep 28, 2023

• Add ASV book CBMC examples

  Show description for 9581036
  peterschrammel

  committed
  9581036

  Copy full SHA for 9581036

Commits on Sep 4, 2023

• Show shadow memory assignments in trace

  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  2074039

  Copy full SHA for 2074039

Commits on Aug 29, 2023

• Correctly set value-set dereference pointer

  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  1d4a8d1

  Copy full SHA for 1d4a8d1

Commits on Aug 7, 2023

• Functionality for initializing shadow memory

  Show description for 93b7d71
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  93b7d71

  Copy full SHA for 93b7d71

• Add util for cleaning pointer argument expr

  Show description for eedd91b
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  eedd91b

  Copy full SHA for eedd91b

Commits on Jul 30, 2023

• Extend expr_initializer to support byte-wise initialization

  Show description for fe6c7d7
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  fe6c7d7

  Copy full SHA for fe6c7d7

• Refactor expr_initializer to take initialization expression

  Show description for 7f35826
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  7f35826

  Copy full SHA for 7f35826

Commits on Jul 26, 2023

• --refine-arrays supports simplifier

  Show description for f2a1de1
  peterschrammel

  committed
  f2a1de1

  Copy full SHA for f2a1de1

Commits on Mar 21, 2023

• Add tests for gathering shadow memory declarations

  Show description for f3543c4
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  f3543c4

  Copy full SHA for f3543c4

• Implement shadow_memoryt::gather_field_declarations

  Show description for d84ee18
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  d84ee18

  Copy full SHA for d84ee18

• Add extract_field_name in new shadow_memory_util.h/.cpp

  Show description for 2cd10e5
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  2cd10e5

  Copy full SHA for 2cd10e5

Commits on Feb 28, 2023

• Merge pull request #7497 from NlightNFotis/document_symex_instructions

  Show description for 796fb38
  peterschrammel

  authored
  796fb38

  Copy full SHA for 796fb38

Commits on Feb 14, 2023

• 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 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

• Add --nondet-static-matching regex option to goto-instrument

  

  peterschrammel

  authored and

  giulio-garbi

  committed
  02224b3

  Copy full SHA for 02224b3

Commits on Feb 8, 2023

• Add nondet_static_matching regex

  Show description for 5ad4962
  

  peterschrammel

  authored and

  giulio-garbi

  committed
  5ad4962

  Copy full SHA for 5ad4962

Commits on Jan 29, 2023

• Test that goal disjunction clauses are output

  Show description for 52c3eed
  peterschrammel

  committed
  52c3eed

  Copy full SHA for 52c3eed

• Register goal constraints in solver hardness

  Show description for 5b51606
  peterschrammel

  committed
  5b51606

  Copy full SHA for 5b51606

Pagination

Previous

Next