Commits

Branch selector

 7a70b13

User selector

All users

Datepicker

All time

Commit History

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

• Initial commit of symex complexity work

  Show description for 0490f57
  JohnDumbell

  committed
  0490f57

  Copy full SHA for 0490f57

• loop_analysis.h refactor

  Show description for 4871953
  JohnDumbell

  committed
  4871953

  Copy full SHA for 4871953

• Add commandline options for symex_complexityt

  JohnDumbell

  committed
  22e919c

  Copy full SHA for 22e919c

• Move symex_configt into its own file

  JohnDumbell

  committed
  284c1ca

  Copy full SHA for 284c1ca

• Add size() to exprt to count nodes

  JohnDumbell

  committed
  9e7d196

  Copy full SHA for 9e7d196

• Generate ansi_c_library_sources file in a cross platform way

  

  Lukasz A.J. Wrona

  committed
  7707605

  Copy full SHA for 7707605

Commits on Oct 15, 2019

• Merge pull request #5124 from diffblue/bison-error-verbose

  Show description for 5c88d5e
  

  Daniel Kroening

  authored
  5c88d5e

  Copy full SHA for 5c88d5e

• Merge pull request #5163 from diffblue/smt2_kind

  Show description for f94295c
  

  Daniel Kroening

  authored
  f94295c

  Copy full SHA for f94295c

Commits on Oct 14, 2019

• Merge pull request #5132 from romainbrenguier/feature/assume-inputs-intervals

  Show description for 4e4f47b
  romainbrenguier

  authored
  4e4f47b

  Copy full SHA for 4e4f47b

• Display an error in case Git wasn't found

  Show description for ecce25f
  

  Lukasz A.J. Wrona

  committed
  ecce25f

  Copy full SHA for ecce25f

• Use git bash when configuring CMake

  Show description for f0887bc
  

  Lukasz A.J. Wrona

  committed
  f0887bc

  Copy full SHA for f0887bc

• Add project(CBMC) to CMakeLists

  Show description for 7949cac
  

  Lukasz A.J. Wrona

  committed
  7949cac

  Copy full SHA for 7949cac

• Relax inputs interval tests for error messages

  Show description for 2486c12
  romainbrenguier

  committed
  2486c12

  Copy full SHA for 2486c12

• Add a test for singleton in assume-inputs-interval

  Show description for 25cb82d
  romainbrenguier

  committed
  25cb82d

  Copy full SHA for 25cb82d

• Replace assumption by assignment for singletons

  Show description for 67d5e31
  romainbrenguier

  committed
  67d5e31

  Copy full SHA for 67d5e31

• Add an as_singleton method to interval_uniont

  Show description for 12655ae
  romainbrenguier

  committed
  12655ae

  Copy full SHA for 12655ae

• Test with list for --java-assume-inputs-interval

  Show description for a27a935
  romainbrenguier

  committed
  a27a935

  Copy full SHA for a27a935

• Use interval_uniont for assume-inputs-interval

  Show description for ade9e63
  romainbrenguier

  committed
  ade9e63

  Copy full SHA for ade9e63

Pagination

Previous

Next