Commits

Branch selector

 3f1fd64

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 4, 2018

• Add code_typet::get_parameter_indices

  Show description for 3f1fd64
  smowton

  committed
  3f1fd64

  Copy full SHA for 3f1fd64

Commits on Dec 20, 2017

• Merge pull request #1671 from thk123/bugfix/TG-1278/correct-access-level

  Show description for a22dd1c
  

  Thomas Kiley

  authored
  a22dd1c

  Copy full SHA for a22dd1c

• Merge pull request #1668 from romainbrenguier/bugfix/string-index-of#TG-1846

  Show description for 5b6eb00
  

  Joel Allred

  authored
  5b6eb00

  Copy full SHA for 5b6eb00

Commits on Dec 18, 2017

• Tidied up the generic specalised class copying the base class visibility

  

  thk123

  committed
  9062853

  Copy full SHA for 9062853

• String classes should be public

  

  thk123

  committed
  f934ca3

  Copy full SHA for f934ca3

Commits on Dec 16, 2017

• Merge pull request #1498 from smowton/smowton/feature/call_graph_improvements

  Show description for 7b06a00
  smowton

  authored
  7b06a00

  Copy full SHA for 7b06a00

Commits on Dec 15, 2017

• Test for verification of the indexOf method

  Show description for f3b4c9b
  romainbrenguier

  committed
  f3b4c9b

  Copy full SHA for f3b4c9b

Commits on Dec 14, 2017

• Correct lower bound in String indexOf

  romainbrenguier

  committed
  9a7fa2d

  Copy full SHA for 9a7fa2d

• Use a symbol generator to avoid name clashes

  Show description for 682cd1a
  romainbrenguier

  committed
  682cd1a

  Copy full SHA for 682cd1a

• Access in empty array should be unconstrained

  Show description for 28a2ada
  romainbrenguier

  committed
  28a2ada

  Copy full SHA for 28a2ada

• Merge pull request #1665 from romainbrenguier/bugfix/string-out-of-bound#TG-1808

  Show description for d41403f
  

  Thomas Kiley

  authored
  d41403f

  Copy full SHA for d41403f

• Use CProverString function in jbmc tests

  Show description for ac7e649
  romainbrenguier

  committed
  ac7e649

  Copy full SHA for ac7e649

• Add CProverString class for jbmc-strings tests

  Show description for 22dc353
  romainbrenguier

  committed
  22dc353

  Copy full SHA for 22dc353

• Use CProverString functions in strings-smoke-tests

  Show description for ef610b3
  romainbrenguier

  committed
  ef610b3

  Copy full SHA for ef610b3

• Add a CProverString class for string-smoke-tests

  Show description for 5c716c1
  romainbrenguier

  committed
  5c716c1

  Copy full SHA for 5c716c1

• Deactivate preprocessing of charAt and substring

  Show description for 6b619e0
  romainbrenguier

  committed
  6b619e0

  Copy full SHA for 6b619e0

• Merge pull request #1664 from svorenova/refactoring_tg1190

  Show description for bcfaaa4
  

  Thomas Kiley

  authored
  bcfaaa4

  Copy full SHA for bcfaaa4

Commits on Dec 13, 2017

• Refactoring in specialization of generic classes

  Show description for c2a8bae
  

  svorenova

  committed
  c2a8bae

  Copy full SHA for c2a8bae

• Rename call graph constructors

  smowton

  committed
  7a98e15

  Copy full SHA for 7a98e15

• Slice global inits: use improved call graph

  Show description for 6228ed3
  smowton

  committed
  6228ed3

  Copy full SHA for 6228ed3

• Expose limited call graph via goto-instrument

  smowton

  committed
  d136bbc

  Copy full SHA for d136bbc

• Improve call graph unit tests

  smowton

  committed
  9c29bee

  Copy full SHA for 9c29bee

• Add documentation to call graph

  Show description for 8ed3ccb
  smowton

  committed
  8ed3ccb

  Copy full SHA for 8ed3ccb

• Add call graph helpers

  Show description for 8f6f429
  smowton

  committed
  8f6f429

  Copy full SHA for 8f6f429

• Call graph: add constructors that only include reachable functions

  Show description for 3b06a16
  smowton

  committed
  3b06a16

  Copy full SHA for 3b06a16

• grapht: add get_reachable function

  Show description for 9b65862
  smowton

  committed
  9b65862

  Copy full SHA for 9b65862

• Call graph -> grapht transformation

  Show description for aaa8513
  smowton

  committed
  aaa8513

  Copy full SHA for aaa8513

• Call graph: optionally record callsites

  Show description for 8115248
  smowton

  committed
  8115248

  Copy full SHA for 8115248

Commits on Dec 11, 2017

• Merge pull request #1663 from smowton/smowton/fix/guarded_gotos

  Show description for c545369
  smowton

  authored
  c545369

  Copy full SHA for c545369

• Merge pull request #1636 from svorenova/inner_classes_tg1190_part2

  Show description for a2e2f74
  

  Matthias Güdemann

  authored
  a2e2f74

  Copy full SHA for a2e2f74

• Ensure guarded_gotos is cleared after converting each function

  Show description for 2b835c6
  smowton

  committed
  2b835c6

  Copy full SHA for 2b835c6

• Adding a unit test for specialisation of implicitly generic classes

  

  svorenova

  committed
  2fd9300

  Copy full SHA for 2fd9300

• Moving a utility function to utility function file

  

  svorenova

  committed
  9617a41

  Copy full SHA for 9617a41

• Adding specialisation for implicitly generic classes

  

  svorenova

  committed
  90a8230

  Copy full SHA for 90a8230

Commits on Dec 8, 2017

• Merge pull request #1662 from janmroczkowski/janmroczkowski/unified_difft-iterator-check-fix-more

  Show description for 98017ce
  tautschnig

  authored
  98017ce

  Copy full SHA for 98017ce

Pagination

Previous

Next