Commits

History for

Commits on Oct 20, 2025

Use operator==(exprt, int) instead of is_zero
tautschnig
committed

Commits on Apr 1, 2019

C++ front-end: Enable compilation with DEBUG defined

andreast271
authored and
tautschnig
committed

Commits on Jan 7, 2019

move creation of argc/argv symbols into ansi_c_entry_point.cpp
kroening
committed

Commits on Sep 21, 2018

C++ front-end: Use IDs instead of raw string
tautschnig
committed

Commits on Jun 25, 2018

Fix delayed method body conversion for templates

peterschrammel
authored and
tautschnig
committed

Commits on Jun 6, 2018

Style improvements

andreast271
authored and
tautschnig
committed

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed

Commits on Jun 6, 2017

Reformat src
reuk
committed

Commits on Jan 5, 2017

Use ranged-for
tautschnig
committed

Commits on Jan 3, 2017

merge of PR #347
kroening
committed

Commits on Nov 29, 2016

Commits on Oct 30, 2016

fix deferral of method body typechecking
kroening
committed

Commits on Oct 29, 2016

add_function_body -> add_method_body
kroening
committed

Loading