Commits

Branch selector

 05c7f6e

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 29, 2018

• object_size can now do objects with variable size

  

  Daniel Kroening

  committed
  05c7f6e

  Copy full SHA for 05c7f6e

Commits on Aug 28, 2018

• C front-end now supports __CPROVER_OBJECT_SIZE

  

  Daniel Kroening

  committed
  e2315f7

  Copy full SHA for e2315f7

Commits on Aug 27, 2018

• Merge pull request #2839 from diffblue/java_class_loader_base

  Show description for d33bd22
  

  Daniel Kroening

  authored
  d33bd22

  Copy full SHA for d33bd22

• Merge pull request #2842 from diffblue/cbmc-help

  Show description for f8ef8dc
  

  Daniel Kroening

  authored
  f8ef8dc

  Copy full SHA for f8ef8dc

• Merge pull request #2843 from diffblue/split_string_cleanup

  Show description for 12637a4
  

  Daniel Kroening

  authored
  12637a4

  Copy full SHA for 12637a4

• Merge pull request #2795 from thomasspriggs/tas/doxygen_styling

  Show description for 049dd2f
  peterschrammel

  authored
  049dd2f

  Copy full SHA for 049dd2f

• use split_string that returns its result

  

  Daniel Kroening

  committed
  646a9d8

  Copy full SHA for 646a9d8

• Move `.css` file into `doc` directory

  thomasspriggs

  committed
  0b9b01a

  Copy full SHA for 0b9b01a

Commits on Aug 26, 2018

• help: --drop-unused-functions belongs with the transformation

  

  Daniel Kroening

  committed
  30f055b

  Copy full SHA for 30f055b

• remove help for --smt1 option

  

  Daniel Kroening

  committed
  5513c79

  Copy full SHA for 5513c79

• missing newline in help

  

  Daniel Kroening

  committed
  708acf4

  Copy full SHA for 708acf4

• split_string with return value now also has 'strip' and 'remove_empty'

  

  Daniel Kroening

  committed
  0881bf2

  Copy full SHA for 0881bf2

• factor out classpath functionality into separate class

  

  Daniel Kroening

  committed
  0a53059

  Copy full SHA for 0a53059

• Merge pull request #2782 from mgudemann/doc/doc-20/document-class-files

  Show description for f0221b8
  

  Matthias Güdemann

  authored
  f0221b8

  Copy full SHA for f0221b8

• Merge pull request #2834 from diffblue/protect-exprt-methods

  Show description for a6da811
  

  Daniel Kroening

  authored
  a6da811

  Copy full SHA for a6da811

• Correct section entries

  

  Matthias Güdemann

  committed
  4bfbb48

  Copy full SHA for 4bfbb48

• Merge pull request #2788 from johnnonweiler/doc/update-folder-walkthrough

  Show description for 3bc445e
  peterschrammel

  authored
  3bc445e

  Copy full SHA for 3bc445e

Commits on Aug 25, 2018

• Merge pull request #2837 from diffblue/type-convert_dowhile

  Show description for b38b671
  

  Daniel Kroening

  authored
  b38b671

  Copy full SHA for b38b671

• Merge pull request #2832 from diffblue/stack-trace

  Show description for 2e3fd61
  

  Daniel Kroening

  authored
  2e3fd61

  Copy full SHA for 2e3fd61

• add typing for convert_dowhile

  

  Daniel Kroening

  committed
  56c7da7

  Copy full SHA for 56c7da7

Commits on Aug 24, 2018

• cbmc can now print stack traces

  

  Daniel Kroening

  committed
  a594f9f

  Copy full SHA for a594f9f

• Merge pull request #2833 from diffblue/object_descriptor_exprt-root_object

  Show description for cbe16b3
  

  Daniel Kroening

  authored
  cbe16b3

  Copy full SHA for cbe16b3

• Merge pull request #2835 from johnnonweiler/bugfix/janalyzer_module_dependencies

  Show description for 2542c8e
  peterschrammel

  authored
  2542c8e

  Copy full SHA for 2542c8e

• Add directory dependencies diagram

  

  John Nonweiler

  committed
  47c741c

  Copy full SHA for 47c741c

• Merge pull request #2816 from smowton/smowton/feature/json-symbol-table

  Show description for d4c4298
  smowton

  authored
  d4c4298

  Copy full SHA for d4c4298

• Remove jdiff from janalyzer/module_dependencies.txt

  

  John Nonweiler

  committed
  278d2ff

  Copy full SHA for 278d2ff

• move object_descriptor_exprt::root_object into .cpp

  

  Daniel Kroening

  committed
  84f09a9

  Copy full SHA for 84f09a9

• add protection to internal methods of exprt

  

  Daniel Kroening

  committed
  68f95d2

  Copy full SHA for 68f95d2

• Merge pull request #2766 from diffblue/jar_index

  Show description for 0f0d50b
  

  Daniel Kroening

  authored
  0f0d50b

  Copy full SHA for 0f0d50b

• Implement --show-symbol-table in JSON-UI mode

  Show description for 20e5d89
  smowton

  committed
  20e5d89

  Copy full SHA for 20e5d89

• JSON stream: support streaming a key-value pair to an object

  Show description for c5901e0
  smowton

  committed
  c5901e0

  Copy full SHA for c5901e0

• removed jar_indext types and data structures

  

  Daniel Kroening

  committed
  8d2a748

  Copy full SHA for 8d2a748

• java_class_loadert::load_entire_jar now returns the classes loaded

  

  Daniel Kroening

  committed
  27d0ae0

  Copy full SHA for 27d0ae0

Commits on Aug 23, 2018

• Merge pull request #2828 from diffblue/cpp-constructor-optional

  Show description for 7797757
  

  Daniel Kroening

  authored
  7797757

  Copy full SHA for 7797757

• Merge pull request #2790 from allredj/doc_exprt

  Show description for f7fc6a9
  

  Joel Allred

  authored
  f7fc6a9

  Copy full SHA for f7fc6a9

Pagination

Previous

Next