Commits

Branch selector

 2240eb9

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 18, 2019

• Add cprover manual entry

  Show description for 2240eb9
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  2240eb9

  Copy full SHA for 2240eb9

• Add documentation to memory snapshot harness

  Show description for b1e8a7c
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  b1e8a7c

  Copy full SHA for b1e8a7c

• Havoc global variables in memory snapshot harness

  Show description for aa975d0
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  aa975d0

  Copy full SHA for aa975d0

• Add regression tests

  Show description for 658d542
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  658d542

  Copy full SHA for 658d542

Commits on Mar 15, 2019

• Merge pull request #4287 from smowton/smowton/fix/missing-enum-non-fatal

  Show description for 0db1830
  smowton

  authored
  0db1830

  Copy full SHA for 0db1830

• Merge pull request #4389 from smowton/smowton/cleanup/validate-model-before-show

  Show description for 74caeca
  smowton

  authored
  74caeca

  Copy full SHA for 74caeca

• Merge pull request #4199 from JohnDumbell/jd/enhancement/symex_state_moving

  Show description for 7dadeee
  smowton

  authored
  7dadeee

  Copy full SHA for 7dadeee

• Merge pull request #4150 from danpoe/feature/memory-snapshot-harness

  Show description for f9f0733
  danpoe

  authored
  f9f0733

  Copy full SHA for f9f0733

• Merge pull request #4346 from xbauch/doc/memory_model

  Show description for a17d367
  petr-bauch

  authored
  a17d367

  Copy full SHA for a17d367

• Object factory: warn when an enum cannot be properly initialised

  smowton

  committed
  40d72fb

  Copy full SHA for 40d72fb

• Java object factory: take a message handler

  smowton

  committed
  e1288a5

  Copy full SHA for e1288a5

• Make failed nondet Enum assignment non-fatal

  Show description for 51da7e6
  smowton

  committed
  51da7e6

  Copy full SHA for 51da7e6

• Move validate-goto-model before show-goto-functions

  Show description for f940996
  smowton

  committed
  f940996

  Copy full SHA for f940996

• Fix based on comments

  

  Petr Bauch

  authored and

  danpoe

  committed
  7bc616a

  Copy full SHA for 7bc616a

• Fix clang format

  Show description for 778fac1
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  778fac1

  Copy full SHA for 778fac1

• Symex: protect level2

  Show description for 939a169
  

  smowton

  authored and

  JohnDumbell

  committed
  939a169

  Copy full SHA for 939a169

• Merge 'if new_guard == true' blocks

  Show description for e12ae53
  JohnDumbell

  committed
  e12ae53

  Copy full SHA for e12ae53

• Optimise symex state management for straight-line code with GOTOs

  Show description for 2baf020
  JohnDumbell

  committed
  2baf020

  Copy full SHA for 2baf020

• Add global name map to goto_symex_state

  Show description for 131373b
  JohnDumbell

  committed
  131373b

  Copy full SHA for 131373b

• Fix use of as_const in std_expr

  Show description for ceeb07c
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  ceeb07c

  Copy full SHA for ceeb07c

• Add documentation to memory_model_baset functions

  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  8f15607

  Copy full SHA for 8f15607

• Inline constraints

  Show description for 7285b54
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  7285b54

  Copy full SHA for 7285b54

• Remove continue-jump out of loops

  Show description for b478432
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  b478432

  Copy full SHA for b478432

• Rename variables

  Show description for 7a0596d
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  7a0596d

  Copy full SHA for 7a0596d

• Wrap generalised disjunction into a separate function

  Show description for 532f245
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  532f245

  Copy full SHA for 532f245

• Merge pull request #4379 from smowton/smowton/fix/smt2-lower-byte-update-before-find-symbols

  Show description for 7d88715
  smowton

  authored
  7d88715

  Copy full SHA for 7d88715

• Search the JSON for symbol table

  Show description for 9c9da96
  

  Petr Bauch

  authored and

  danpoe

  committed
  9c9da96

  Copy full SHA for 9c9da96

• Add harness generator to initialise memory from a memory snapshot

  Show description for a809e2c
  danpoe

  committed
  a809e2c

  Copy full SHA for a809e2c

• Add method to get a const_targett from a location number

  danpoe

  committed
  b5657a8

  Copy full SHA for b5657a8

• Output goto functions in goto-harness regression tests

  Show description for 20ee8df
  danpoe

  committed
  20ee8df

  Copy full SHA for 20ee8df

• Regression tests for the memory snapshot harness generator

  Show description for 36983c1
  danpoe

  committed
  36983c1

  Copy full SHA for 36983c1

• Add const iterator to symbol table

  Show description for 991061b
  danpoe

  committed
  991061b

  Copy full SHA for 991061b

• Enable now-working SMT2 tests

  smowton

  committed
  0411ef8

  Copy full SHA for 0411ef8

• Lower-byte-extract: fix union type preservation

  Show description for ceaaf40
  smowton

  committed
  ceaaf40

  Copy full SHA for ceaaf40

• SMT2 backend: lower byte operators before find_symbols

  Show description for d70b8cf
  smowton

  committed
  d70b8cf

  Copy full SHA for d70b8cf

Pagination

Previous

Next