Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Mar 1, 2018

• Merge pull request #1800 from tautschnig/fix-process_array_expr

  Show description for 8897709
  tautschnig

  authored
  8897709

  Copy full SHA for 8897709

• Merge pull request #1010 from danpoe/no-body-inlining

  Show description for c3ee2a1
  danpoe

  authored
  c3ee2a1

  Copy full SHA for c3ee2a1

Commits on Feb 28, 2018

• remove OPERANDS_IN_GETSUB define, which is now simply the only option

  kroening

  committed
  b519b41

  Copy full SHA for b519b41

• goto-diff is missing dependencies on goto-instrument and goto-symex

  kroening

  committed
  80060ea

  Copy full SHA for 80060ea

• Merge pull request #1884 from mgudemann/enhancement/update_copyright_2018

  Show description for 7a71c80
  kroening

  authored
  7a71c80

  Copy full SHA for 7a71c80

• Merge pull request #1883 from tautschnig/implement-popcount

  Show description for bb47a84
  kroening

  authored
  bb47a84

  Copy full SHA for bb47a84

• Merge pull request #1845 from tautschnig/fix-1837

  Show description for 90beed4
  kroening

  authored
  90beed4

  Copy full SHA for 90beed4

• Merge pull request #1804 from mgudemann/feature/parse_bootstrapmethods_attribute

  Show description for 5cdfa94
  

  Thomas Kiley

  authored
  5cdfa94

  Copy full SHA for 5cdfa94

• Remove unused goto_functions parameters

  Show description for ea7975f
  smowton

  committed
  ea7975f

  Copy full SHA for ea7975f

Commits on Feb 27, 2018

• Fix format and account for reviewer's comments

  

  Matthias Güdemann

  committed
  f79e895

  Copy full SHA for f79e895

• Merge pull request #1886 from smowton/smowton/fix/static-inititialisers-doxygen

  Show description for 51bb367
  smowton

  authored
  51bb367

  Copy full SHA for 51bb367

• Refactor BootstrapMethods attribute reading into function

  

  Matthias Güdemann

  committed
  e0ccb12

  Copy full SHA for e0ccb12

• Refactor parse_method_handle to just deal with the lambda special case

  Show description for 463ffe1
  

  thk123

  authored and

  Matthias Güdemann

  committed
  463ffe1

  Copy full SHA for 463ffe1

• Fixup Use the strcutured classes to simplify and make more explict the code

  

  thk123

  authored and

  Matthias Güdemann

  committed
  ca5dae4

  Copy full SHA for ca5dae4

• Fix missing swap for classt

  

  thk123

  authored and

  Matthias Güdemann

  committed
  b56e42e

  Copy full SHA for b56e42e

• Use the strcutured classes to simplify and make more explict the code

  

  thk123

  authored and

  Matthias Güdemann

  committed
  e3ff312

  Copy full SHA for e3ff312

• Introduce classes representing relevant constant pool entries

  

  thk123

  authored and

  Matthias Güdemann

  committed
  3ac7d09

  Copy full SHA for 3ac7d09

• Adding validation on the type of descriptor found

  

  thk123

  authored and

  Matthias Güdemann

  committed
  0e40081

  Copy full SHA for 0e40081

• Use optionalt<lambda_method_handlet> as return value

  

  Matthias Güdemann

  committed
  6d44836

  Copy full SHA for 6d44836

• Rename, some more comments

  

  Matthias Güdemann

  committed
  f765a0d

  Copy full SHA for f765a0d

• status()->debug()

  

  Matthias Güdemann

  committed
  01dcda5

  Copy full SHA for 01dcda5

• Initial support for reading BootstrapMethods attribute

  

  Matthias Güdemann

  committed
  e79a655

  Copy full SHA for e79a655

• Implement popcount in SAT back-end

  Show description for 716103e
  tautschnig

  committed
  716103e

  Copy full SHA for 716103e

• Introduce popcount_exprt

  Show description for ddde9dc
  tautschnig

  committed
  ddde9dc

  Copy full SHA for ddde9dc

• move ansi-c/string_constant.h to util/

  kroening

  committed
  683d821

  Copy full SHA for 683d821

• Merge pull request #1795 from thk123/bugfix/TG-1358/local-variables

  Show description for 3188f10
  

  Matthias Güdemann

  authored
  3188f10

  Copy full SHA for 3188f10

• Add missing Doxygen parameter

  smowton

  committed
  0cfd14b

  Copy full SHA for 0cfd14b

• Update copyright in help output for {CJ}BM and goto-analyzer

  

  Matthias Güdemann

  committed
  81d2ea4

  Copy full SHA for 81d2ea4

Commits on Feb 26, 2018

• Merge pull request #1881 from tautschnig/fix-runtime-report

  Show description for 06483f3
  tautschnig

  authored
  06483f3

  Copy full SHA for 06483f3

• Update copyright in .cpp/.h files

  

  Matthias Güdemann

  committed
  ce600d9

  Copy full SHA for ce600d9

• Adding invariant to check instruction is normal wide

  Show description for 004626c
  

  thk123

  committed
  004626c

  Copy full SHA for 004626c

• Correctly handle wide iload commands

  Show description for e976d6f
  

  thk123

  committed
  e976d6f

  Copy full SHA for e976d6f

• address_bits need not return an arbitrary-sized integer

  Show description for f59092c
  tautschnig

  committed
  f59092c

  Copy full SHA for f59092c

• Fix decision procedure runtime computation

  Show description for 3bcb3a5
  tautschnig

  committed
  3bcb3a5

  Copy full SHA for 3bcb3a5

Commits on Feb 23, 2018

• Merge pull request #1856 from thk123/refactor/fieldref_expr

  Show description for 96bf623
  

  Thomas Kiley

  authored
  96bf623

  Copy full SHA for 96bf623