Commits

Branch selector

 pull-request/arrays-in-trace

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 15, 2017

• Documentation for json_goto_trace in doxygen format

  romainbrenguier

  committed
  8f192ae

  Copy full SHA for 8f192ae

• Adding test to check that data field of strings are set in json

  romainbrenguier

  committed
  c45033c

  Copy full SHA for c45033c

• Simplifying array access and expressions with pointer offsets

  Show description for d7dde9c
  romainbrenguier

  committed
  d7dde9c

  Copy full SHA for d7dde9c

• Simplifying expressions of the form &array[0] in json

  Show description for d353236
  romainbrenguier

  committed
  d353236

  Copy full SHA for d353236

• Merge pull request #1004 from smowton/smowton/feature/time_limit_minisat

  Show description for c50f3d5
  smowton

  authored
  c50f3d5

  Copy full SHA for c50f3d5

Commits on Jun 14, 2017

• Add simple time limiting to prop_conv and propt

  Show description for 0ee4933
  smowton

  committed
  0ee4933

  Copy full SHA for 0ee4933

• Merge pull request #1003 from smowton/smowton/cleanup/traces_to_status_out

  Show description for 38907fc
  smowton

  authored
  38907fc

  Copy full SHA for 38907fc

• Merge pull request #1012 from smowton/smowton/merge/master_20170614

  Show description for 23e2c9b
  smowton

  authored
  23e2c9b

  Copy full SHA for 23e2c9b

• Disable warnings that result from array-of with zero length

  smowton

  committed
  4324bbd

  Copy full SHA for 4324bbd

• Merge remote-tracking branch 'origin/master' into smowton/merge/master_20170614

  smowton

  committed
  eed0afb

  Copy full SHA for eed0afb

• Merge commit 'e9349f8' into smowton/merge/master_20170614

  smowton

  committed
  823b32d

  Copy full SHA for 823b32d

• Merge commit 'aed3c25' into smowton/merge/master_20170614

  smowton

  committed
  a320377

  Copy full SHA for a320377

• Merge pull request #945 from romainbrenguier/feature/object-get-class

  Show description for 1a3eb1c
  forejtv

  authored
  1a3eb1c

  Copy full SHA for 1a3eb1c

• Cleaning the initialization of string expressions from constants

  romainbrenguier

  committed
  db1cd5f

  Copy full SHA for db1cd5f

• Providing code for Object.getClass() in bytecode conversion

  Show description for e9e3989
  romainbrenguier

  committed
  e9e3989

  Copy full SHA for e9e3989

• Merge pull request #1006 from romainbrenguier/bugfix/memory-leak-in-json#294

  Show description for 3d80c6f
  forejtv

  authored
  3d80c6f

  Copy full SHA for 3d80c6f

• Merge pull request #994 from allredj/pr/string-preprocess-improve-lengths

  Show description for 2105ee9
  forejtv

  authored
  2105ee9

  Copy full SHA for 2105ee9

• Using unique pointers to avoid memory leak in json for expressions

  Show description for 01e9e67
  romainbrenguier

  committed
  01e9e67

  Copy full SHA for 01e9e67

Commits on Jun 13, 2017

• Merge pull request #911 from martin-cs/feature/internal-invariant

  Show description for ae74767
  

  Daniel Kroening

  authored
  ae74767

  Copy full SHA for ae74767

• Replace assertions in some core libraries.

  Show description for cbe7de3
  

  martin

  committed
  cbe7de3

  Copy full SHA for cbe7de3

• Add conversion functions for ID_bitnot.

  

  martin

  committed
  f77b843

  Copy full SHA for f77b843

• Convert the assertions in std_expr.h to invariants as a demonstration.

  Show description for 0560b33
  

  martin

  committed
  0560b33

  Copy full SHA for 0560b33

• Remove clashing parts of my previous implementation.

  

  martin

  committed
  0a60788

  Copy full SHA for 0a60788

• Get the linter to check for assertions and give a deprecated warning.

  

  martin

  committed
  975b5a3

  Copy full SHA for 975b5a3

• Add an (undocumented) option to test out what happens if an invariant fails.

  

  martin

  committed
  720e0f8

  Copy full SHA for 720e0f8

• Abnormal termination is no longer an automatic test failure.

  Show description for 668dbfa
  

  martin

  committed
  668dbfa

  Copy full SHA for 668dbfa

• A new macro based replacement for assert().

  

  martin

  committed
  b290a9e

  Copy full SHA for b290a9e

Commits on Jun 12, 2017

• Write traces to status() not cout

  smowton

  committed
  e1aadeb

  Copy full SHA for e1aadeb

• Merge pull request #996 from cristina-david/bug/remove-assumptions-about-exception-handlers

  Show description for a308fb5
  mgudemann

  authored
  a308fb5

  Copy full SHA for a308fb5

• Update smoke tests for String.length

  Show description for 1613290
  

  Joel Allred

  committed
  1613290

  Copy full SHA for 1613290

• Improvements on lengths

  Show description for 72b611a
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  72b611a

  Copy full SHA for 72b611a

• Addressed reviewers comments

  cristina-david

  committed
  8f629b6

  Copy full SHA for 8f629b6

• Added regression test capturing an exception handler that does not start with astore

  cristina-david

  committed
  bb9c28a

  Copy full SHA for bb9c28a

• Always push the current exceptional return variable on the stack before converting an exception handler

  cristina-david

  committed
  7707287

  Copy full SHA for 7707287

Commits on Jun 11, 2017

• Merge pull request #995 from romainbrenguier/bugfix/add_string_type#480

  Show description for 4b9f42e
  

  Daniel Kroening

  authored
  4b9f42e

  Copy full SHA for 4b9f42e

Pagination

Previous

Next