Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 17, 2018

• Merge pull request #1842 from NathanJPhillips/feature/depth_iterator_get_mutable

  Show description for c480d28
  cesaro

  authored
  c480d28

  Copy full SHA for c480d28

Commits on Feb 16, 2018

• Allow non-const depth_iteratort to be created from a const root

  Show description for 416bbe0
  NathanJPhillips

  committed
  416bbe0

  Copy full SHA for 416bbe0

Commits on Feb 14, 2018

• Fixed test name

  NathanJPhillips

  committed
  a094990

  Copy full SHA for a094990

Commits on Feb 8, 2018

• Fixes the symbol_base_tablet iterator

  Show description for 807268e
  Degiorgio

  committed
  807268e

  Copy full SHA for 807268e

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 Nov 15, 2017

• Update to journalling symbol table

  Show description for a2b45e3
  NathanJPhillips

  committed
  a2b45e3

  Copy full SHA for a2b45e3

Commits on Oct 18, 2017

• Add symbol table writer

  Show description for c3c24e2
  smowton

  committed
  c3c24e2

  Copy full SHA for c3c24e2

Commits on Oct 16, 2017

• Simplify a broader range of java primitive types

  reuk

  committed
  24f9867

  Copy full SHA for 24f9867

Commits on Oct 11, 2017

• Merge pull request #1466 from reuk/reuk/return-ptr-from-expr-cast

  Show description for 5fa7b9a
  smowton

  authored
  5fa7b9a

  Copy full SHA for 5fa7b9a

• Return pointer from expr_try_dynamic_cast

  reuk

  committed
  9f53e90

  Copy full SHA for 9f53e90

• Fix messaget's copy-constructor and operator=

  Show description for 78cd286
  smowton

  committed
  78cd286

  Copy full SHA for 78cd286

Commits on Oct 10, 2017

• Add new testing-utils library

  reuk

  committed
  aacd436

  Copy full SHA for aacd436

Commits on Oct 4, 2017

• Add unit test for new behavior

  reuk

  committed
  1d87928

  Copy full SHA for 1d87928

• Set up config in unit tests

  reuk

  committed
  9ea7414

  Copy full SHA for 9ea7414

Commits on Sep 20, 2017

• Switch from pointers to optionalt

  smowton

  committed
  da4df03

  Copy full SHA for da4df03

Commits on Sep 19, 2017

• Added a PRECONDITION assert/invariant

  Show description for 96f2d9e
  

  NathanJPhillips

  authored and

  smowton

  committed
  96f2d9e

  Copy full SHA for 96f2d9e

• Implementation of expr_dynamic_cast

  

  NathanJPhillips

  authored and

  smowton

  committed
  de8a8d0

  Copy full SHA for de8a8d0

Commits on Sep 4, 2017

• Move optional unit tests into util directory

  

  Lukasz A.J. Wrona

  committed
  ae584df

  Copy full SHA for ae584df

Commits on Sep 1, 2017

• Simplify pointer_offset(constant)

  tautschnig

  committed
  4d35274

  Copy full SHA for 4d35274

Commits on Aug 29, 2017

• Adding unit tests for next_sibling_or_parent of an iterator

  romainbrenguier

  committed
  5d3771a

  Copy full SHA for 5d3771a

Commits on Aug 7, 2017

• Implement depth-first search iterators for exprt class

  Show description for 665dd70
  

  Lukasz A.J. Wrona

  committed
  665dd70

  Copy full SHA for 665dd70

Loading