Commits

Branch selector

 a9af8bb

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 19, 2019

• enable conversion from irep_idt to enum class

  

  Daniel Kroening

  committed
  a9af8bb

  Copy full SHA for a9af8bb

• ID_* symbols are now constexpr

  

  Daniel Kroening

  committed
  020069f

  Copy full SHA for 020069f

• added constructor for goto_symex_statet::framet

  Show description for 0f7a99d
  

  Daniel Kroening

  committed
  0f7a99d

  Copy full SHA for 0f7a99d

Commits on Jan 18, 2019

• Merge pull request #3832 from tautschnig/function-as_string

  Show description for fca695a
  tautschnig

  authored
  fca695a

  Copy full SHA for fca695a

• Merge pull request #3830 from tautschnig/function-goto_check

  Show description for 8fe6120
  tautschnig

  authored
  8fe6120

  Copy full SHA for 8fe6120

• goto_check() now gets function identifier

  Show description for ea041f5
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  ea041f5

  Copy full SHA for ea041f5

• as_string() on instructions now takes function identifier

  Show description for 3b1b45f
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  3b1b45f

  Copy full SHA for 3b1b45f

• Merge pull request #3827 from allredj/disable-loopless-init-for-bool

  Show description for dcbda65
  

  Joel Allred

  authored
  dcbda65

  Copy full SHA for dcbda65

• Merge pull request #3826 from smowton/smowton/fix/json-expr-simplify-pointers

  Show description for 12bce17
  smowton

  authored
  12bce17

  Copy full SHA for 12bce17

Commits on Jan 17, 2019

• Install jq under Travis and CodeBuild

  Show description for d141953
  smowton

  committed
  d141953

  Copy full SHA for d141953

• Add a test for JBMC's JSON-formatted trace

  Show description for d14be45
  smowton

  committed
  d14be45

  Copy full SHA for d14be45

• Improve json_expr's ability to figure out where pointers lead

  Show description for 654908a
  smowton

  committed
  654908a

  Copy full SHA for 654908a

• Skip simple nondet initialization for arrays of bool

  Show description for 0304c32
  

  Joel Allred

  committed
  0304c32

  Copy full SHA for 0304c32

Commits on Jan 16, 2019

• Merge pull request #3797 from peterschrammel/refactor-path-strategy-chooser

  Show description for 8984eb9
  peterschrammel

  authored
  8984eb9

  Copy full SHA for 8984eb9

• Refactor path strategy chooser into free functions

  Show description for 50a9ef1
  peterschrammel

  committed
  50a9ef1

  Copy full SHA for 50a9ef1

• Merge pull request #3819 from peterschrammel/solver-factory-namespace

  Show description for af89377
  peterschrammel

  authored
  af89377

  Copy full SHA for af89377

• Merge pull request #3817 from peterschrammel/symex-equation-property-id

  Show description for 30b361a
  tautschnig

  authored
  30b361a

  Copy full SHA for 30b361a

• Merge pull request #3818 from peterschrammel/move-cover-tests

  Show description for 42c6f44
  peterschrammel

  authored
  42c6f44

  Copy full SHA for 42c6f44

• Merge pull request #3804 from tautschnig/follow-follow-cleanup

  Show description for 4bfb531
  tautschnig

  authored
  4bfb531

  Copy full SHA for 4bfb531

• Make parse_path_strategy_options a function

  Show description for 6ce9bf4
  peterschrammel

  committed
  6ce9bf4

  Copy full SHA for 6ce9bf4

• Get property ID for SSA step assert

  Show description for 9c48c53
  peterschrammel

  committed
  9c48c53

  Copy full SHA for 9c48c53

• Clang-format

  peterschrammel

  committed
  8c4e097

  Copy full SHA for 8c4e097

• Move --cover tests to cbmc-cover

  Show description for df6df60
  peterschrammel

  committed
  df6df60

  Copy full SHA for df6df60

• Merge pull request #3813 from tautschnig/vs-shadow-again

  Show description for d2ea098
  tautschnig

  authored
  d2ea098

  Copy full SHA for d2ea098

• Remove unnecessary use of ns.follow

  Show description for 18ff683
  tautschnig

  committed
  18ff683

  Copy full SHA for 18ff683

• Do not pass class member "file_name" as argument

  Show description for e6f6d2a
  tautschnig

  committed
  e6f6d2a

  Copy full SHA for e6f6d2a

• Merge pull request #3814 from tautschnig/vs-unused

  Show description for e5186ad
  smowton

  authored
  e5186ad

  Copy full SHA for e5186ad

• Solver factory shouldn't have its own namespacet instance

  Show description for cb18483
  peterschrammel

  committed
  cb18483

  Copy full SHA for cb18483

Commits on Jan 15, 2019

• Merge pull request #3815 from diffblue/forejtv/fix-test-pl-flag

  Show description for bc1c7b4
  tautschnig

  authored
  bc1c7b4

  Copy full SHA for bc1c7b4

• Merge pull request #3811 from thomasspriggs/tas/json_object_algo_support

  Show description for 22f61c2
  thomasspriggs

  authored
  22f61c2

  Copy full SHA for 22f61c2

• Remove `objectt::` specifiers in types in `json_objectt`

  Show description for a397365
  thomasspriggs

  committed
  a397365

  Copy full SHA for a397365

• Add unit test on json_object as output for std::transform

  Show description for 07bbc9c
  thomasspriggs

  committed
  07bbc9c

  Copy full SHA for 07bbc9c

• Silence warning about unused parameter

  Show description for 66eccf8
  tautschnig

  committed
  66eccf8

  Copy full SHA for 66eccf8

• Add `insert` member function to `json_objectt`

  Show description for c5cf1f2
  thomasspriggs

  committed
  c5cf1f2

  Copy full SHA for c5cf1f2

• Fix a wrong getopts string (f does not take any argument after it)

  

  Vojtech Forejt

  committed
  3313f25

  Copy full SHA for 3313f25

Pagination

Previous

Next