Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2018

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

  

  Daniel Kroening

  committed
  683d821

  Copy full SHA for 683d821

Commits on Feb 15, 2018

• Include list where using a std::list and drop forall_expr_list macro

  Show description for 13b77d8
  tautschnig

  committed
  13b77d8

  Copy full SHA for 13b77d8

Commits on Feb 11, 2018

• moving language.h and language_file.h to langapi folder

  Show description for d8967f5
  

  Daniel Kroening

  committed
  d8967f5

  Copy full SHA for d8967f5

Commits on Jan 8, 2018

• Fix op1/op0 copy&paste typo

  Show description for ef4a65e
  tautschnig

  committed
  ef4a65e

  Copy full SHA for ef4a65e

Commits on Nov 24, 2017

• Fix null dereference bug in cpp_typecheck_compound_type.cpp

  reuk

  committed
  194ac7c

  Copy full SHA for 194ac7c

Commits on Nov 15, 2017

• Use multi-argument form of FILE command

  reuk

  committed
  d3d632d

  Copy full SHA for d3d632d

Commits on Nov 6, 2017

• Generalize ID_malloc to ID_allocate with optional zero-init

  Show description for fb532e8
  tautschnig

  committed
  fb532e8

  Copy full SHA for fb532e8

Commits on Nov 3, 2017

• Merge pull request #1481 from andreast271/do-c++-regression

  Show description for 5e067bf
  tautschnig

  authored
  5e067bf

  Copy full SHA for 5e067bf

Commits on Oct 17, 2017

• upgrade uses of deprecated member_exprt constructor

  

  Daniel Kroening

  committed
  de668e6

  Copy full SHA for de668e6

Commits on Oct 13, 2017

• Run cbmc c++ regression as part of default regression test

  Show description for 3a4e48c
  andreast271

  committed
  3a4e48c

  Copy full SHA for 3a4e48c

• Pointers now come with a width

  

  Daniel Kroening

  committed
  00d25a2

  Copy full SHA for 00d25a2

Commits on Oct 11, 2017

• Merge pull request #1442 from andreast271/compilation-NDEBUG-enable

  Show description for 47e426f
  

  Thomas Kiley

  authored
  47e426f

  Copy full SHA for 47e426f

• Modify/add symbol table lookup and get_writeable

  reuk

  committed
  a9ba0f9

  Copy full SHA for a9ba0f9

Commits on Oct 9, 2017

• Enable compilation with NDEBUG defined

  Show description for 764c651
  andreast271

  committed
  764c651

  Copy full SHA for 764c651

Commits on Oct 5, 2017

• Changed interface to symbol_tablet::insert

  

  NathanJPhillips

  authored and

  smowton

  committed
  9f4e933

  Copy full SHA for 9f4e933

• Misc review requests

  

  NathanJPhillips

  authored and

  smowton

  committed
  e35f2fc

  Copy full SHA for e35f2fc

• Made lookup return optional

  Show description for a9d802b
  

  NathanJPhillips

  authored and

  smowton

  committed
  a9d802b

  Copy full SHA for a9d802b

• Restricted interface of current symbol_tablet

  

  NathanJPhillips

  authored and

  smowton

  committed
  d1d502f

  Copy full SHA for d1d502f

Commits on Oct 4, 2017

• Split the entry-point-generation phase into two parts

  Show description for 05f2f3c
  smowton

  committed
  05f2f3c

  Copy full SHA for 05f2f3c

Commits on Sep 26, 2017

• introduced ID_frontend_pointer

  

  Daniel Kroening

  committed
  0cc696b

  Copy full SHA for 0cc696b

• revert bits of a9806c0; the width of these pointers is done during the conversion phase

  

  Daniel Kroening

  committed
  cc63551

  Copy full SHA for cc63551

Commits on Sep 17, 2017

• use std::size_t for container indices

  

  Daniel Kroening

  committed
  69a8eaf

  Copy full SHA for 69a8eaf

Commits on Sep 14, 2017

• Merge pull request #338 from thk123/bug/function-flag-on-goto-program

  Show description for e54c0e9
  

  Thomas Kiley

  authored
  e54c0e9

  Copy full SHA for e54c0e9

Commits on Sep 13, 2017

• Ensure pointer invariants are maintained

  reuk

  committed
  a9806c0

  Copy full SHA for a9806c0

• Corrected doxygen errors

  

  thk123

  committed
  92a52a5

  Copy full SHA for 92a52a5

• Fixing the method to work with java_bytecode

  Show description for dee89b0
  

  thk123

  committed
  dee89b0

  Copy full SHA for dee89b0

• Use ID_main as the default name for entry function

  Show description for 71dec3d
  

  thk123

  committed
  71dec3d

  Copy full SHA for 71dec3d

• Made generate_start_function abstract

  Show description for 2aea88d
  

  thk123

  committed
  2aea88d

  Copy full SHA for 2aea88d

Commits on Sep 11, 2017

• Add CMakeLists

  reuk

  committed
  22c2ab9

  Copy full SHA for 22c2ab9

Commits on Sep 7, 2017

• Remove long-deprecated c_sizeof in favour of size_of_expr et al.

  tautschnig

  committed
  d79067e

  Copy full SHA for d79067e

Commits on Sep 6, 2017

• pointer types now have width

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  ce86319

  Copy full SHA for ce86319

• pointer_typet now requires a width

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  f72b7fc

  Copy full SHA for f72b7fc

Commits on Aug 29, 2017

• replace assert(false) by UNREACHABLE

  

  Daniel Kroening

  committed
  5a04db9

  Copy full SHA for 5a04db9

Commits on Aug 24, 2017

• Replace owning raw pointers with unique_ptr

  Show description for 7d5f115
  reuk

  committed
  7d5f115

  Copy full SHA for 7d5f115

Commits on Aug 22, 2017

• Merge master into tgs

  reuk

  committed
  f17b637

  Copy full SHA for f17b637

Pagination

Previous

Next