Commits

Branch selector

 1abe151

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 5, 2019

• Add tests for strchr

  Show description for 1abe151
  petr-bauch

  committed
  1abe151

  Copy full SHA for 1abe151

• Handle the c-specific cases in string refinement

  Show description for 4bb1f24
  petr-bauch

  committed
  4bb1f24

  Copy full SHA for 4bb1f24

• Implement strchr in terms of index-of

  Show description for 6456ee0
  petr-bauch

  committed
  6456ee0

  Copy full SHA for 6456ee0

• Extend index-of for c

  Show description for 55aec9d
  

  hannes-steffenhagen-diffblue

  authored and

  petr-bauch

  committed
  55aec9d

  Copy full SHA for 55aec9d

• Add c-specific refinement utils

  Show description for cd6b7c9
  

  hannes-steffenhagen-diffblue

  authored and

  petr-bauch

  committed
  cd6b7c9

  Copy full SHA for cd6b7c9

Commits on Nov 14, 2019

• Merge pull request #5187 from diffblue/deprecate-split_string

  Show description for 6d21a4a
  

  Daniel Kroening

  authored
  6d21a4a

  Copy full SHA for 6d21a4a

• deprecate a split_string variant

  Show description for a6da216
  

  Daniel Kroening

  committed
  a6da216

  Copy full SHA for a6da216

Commits on Nov 11, 2019

• Merge pull request #5181 from diffblue/remove-make-typecast

  Show description for c725d86
  

  Daniel Kroening

  authored
  c725d86

  Copy full SHA for c725d86

Commits on Nov 8, 2019

• remove exprt::make_typecast

  Show description for e9acd33
  

  Daniel Kroening

  committed
  e9acd33

  Copy full SHA for e9acd33

• Merge pull request #5177 from diffblue/jbmc-deprecated

  Show description for f7527ee
  

  Daniel Kroening

  authored
  f7527ee

  Copy full SHA for f7527ee

• jbmc: avoid deprecated constructors

  Show description for 99014aa
  

  Daniel Kroening

  committed
  99014aa

  Copy full SHA for 99014aa

Commits on Nov 7, 2019

• Merge pull request #5025 from diffblue/solvers-opX

  Show description for ee79ae2
  

  Daniel Kroening

  authored
  ee79ae2

  Copy full SHA for ee79ae2

• remove unnecessary .c_str()

  

  Daniel Kroening

  committed
  dbf0058

  Copy full SHA for dbf0058

• fix accesses to exprt::opX() in solvers/

  Show description for cefce97
  

  Daniel Kroening

  committed
  cefce97

  Copy full SHA for cefce97

Commits on Nov 4, 2019

• Merge pull request #5095 from xbauch/fix/snapshot-harness-order

  Show description for 001b6f9
  petr-bauch

  authored
  001b6f9

  Copy full SHA for 001b6f9

• Add a test for the new preorder linearisation

  Show description for fbb40a0
  petr-bauch

  committed
  fbb40a0

  Copy full SHA for fbb40a0

Commits on Nov 1, 2019

• Fix the ordering of variable initialisation

  Show description for dc06c3b
  petr-bauch

  committed
  dc06c3b

  Copy full SHA for dc06c3b

• Merge pull request #5087 from xbauch/feature/better-harness

  Show description for cb20917
  hannes-steffenhagen-diffblue

  authored
  cb20917

  Copy full SHA for cb20917

Commits on Oct 22, 2019

• Merge pull request #4984 from diffblue/cpp-opX

  Show description for 7a70b13
  

  Daniel Kroening

  authored
  7a70b13

  Copy full SHA for 7a70b13

Commits on Oct 21, 2019

• Merge pull request #5166 from LAJW/lajw/version-working-directory

  Show description for 7f1691b
  

  Daniel Kroening

  authored
  7f1691b

  Copy full SHA for 7f1691b

• Specify working directory for git calls

  Show description for 68d50eb
  

  Lukasz A.J. Wrona

  committed
  68d50eb

  Copy full SHA for 68d50eb

• Merge pull request #5076 from diffblue/opX-ansi-c

  Show description for 9f021d1
  

  Daniel Kroening

  authored
  9f021d1

  Copy full SHA for 9f021d1

Commits on Oct 20, 2019

• fix exprt::opX() accesses in cpp/

  Show description for 6457a5e
  

  Daniel Kroening

  committed
  6457a5e

  Copy full SHA for 6457a5e

• Fix accesses to exprt::opX() in ansi-c/

  Show description for 3c117db
  

  Daniel Kroening

  committed
  3c117db

  Copy full SHA for 3c117db

Commits on Oct 18, 2019

• Merge pull request #5154 from diffblue/tc_struct_to_struct

  Show description for 59730ab
  tautschnig

  authored
  59730ab

  Copy full SHA for 59730ab

• Merge pull request #5012 from diffblue/opX-goto-cc

  Show description for b42bac8
  tautschnig

  authored
  b42bac8

  Copy full SHA for b42bac8

• Merge pull request #5010 from diffblue/remove_CBMC_trace

  Show description for a4997f0
  tautschnig

  authored
  a4997f0

  Copy full SHA for a4997f0

• Merge pull request #5162 from LAJW/lajw/visual-studio-native

  Show description for ec65596
  tautschnig

  authored
  ec65596

  Copy full SHA for ec65596

• Merge pull request #5164 from markrtuttle/make-destructor-virtual

  Show description for ffc91c8
  peterschrammel

  authored
  ffc91c8

  Copy full SHA for ffc91c8

• Repair formatting for clang-format.

  

  Mark R. Tuttle

  committed
  78a1bb0

  Copy full SHA for 78a1bb0

Commits on Oct 17, 2019

• Add Visual Studio/CMake Codebuild config

  

  Lukasz A.J. Wrona

  committed
  519a802

  Copy full SHA for 519a802

• Add ansi-c/converter_input.txt to .gitignore

  

  Lukasz A.J. Wrona

  committed
  9cf5be3

  Copy full SHA for 9cf5be3

• Make virtual the destructor for symex_complexity_limit_exceeded_actiont.

  

  Mark R. Tuttle

  committed
  ed83140

  Copy full SHA for ed83140

Commits on Oct 16, 2019

• Merge pull request #4958 from JohnDumbell/jd/feature/symex_complexity

  Show description for 1cb10ad
  JohnDumbell

  authored
  1cb10ad

  Copy full SHA for 1cb10ad

• Test for complexity limits

  Show description for a35c29e
  JohnDumbell

  committed
  a35c29e

  Copy full SHA for a35c29e

Pagination

Previous

Next