Commits

History for

Commits on Mar 15, 2024

Remove parsert::clear and all of its overrides
tautschnig
committed
14715d9
C and C++ parsers: construct with message handler
tautschnig
committed
1f240bc

Commits on Dec 12, 2023

Merge pull request #4050 from tautschnig/messaget-languaget
thomasspriggs
authored
3bf78f7

Commits on Nov 17, 2023

languaget is not a messaget
tautschnig
committed
82948a4
Remove util_make_unique
tautschnig
committed
096f454

Commits on Nov 20, 2022

parsert is not a messaget
tautschnig
committed
c06c96b
Remove unnecessary includes
tautschnig
committed
7ba2bd4

Commits on Nov 19, 2022

Use symbol_table_baset instead of symbol_tablet where possible
tautschnig
committed
1a9ec4e

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on May 21, 2019

C++ front-end: Remove internal symbols before linking

tautschnig
authored and
kroening
committed
8101a98

Commits on Apr 30, 2019

Use s.empty() instead of s == ""
tautschnig
committed
ec56872

Commits on Mar 11, 2019

Synchronise file extensions between C++ language and C/C++ preprocessor

tautschnig
authored and
kroening
committed
2d76de1

Commits on Nov 26, 2018

Pass object factory parameters through to object factories
danpoe
committed
fac59a8

Commits on Sep 29, 2018

C++ front-end: use ranged for
kroening
committed
02b517f

Commits on Sep 21, 2018

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

Commits on Aug 11, 2018

Remove names of unused parameters
tautschnig
committed
3785941

Commits on Oct 4, 2017

Split the entry-point-generation phase into two parts
smowton
committed
05f2f3c

Commits on Sep 13, 2017

Corrected doxygen errors
thk123
committed
92a52a5
Fixing the method to work with java_bytecode
thk123
committed
dee89b0
Use ID_main as the default name for entry function
thk123
committed
71dec3d
Made generate_start_function abstract
thk123
committed
2aea88d

Commits on Aug 24, 2017

Replace owning raw pointers with unique_ptr
reuk
committed
7d5f115

Commits on Jul 24, 2017

Commits on Jul 20, 2017

Fix nullptr
reuk
committed
a06cf76

Commits on Jul 16, 2017

Fix include order in cpp
reuk
committed
1ccd30e

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on May 16, 2017

Convert endl to newline in cpp
reuk
committed
fbef879

Commits on Feb 15, 2017

Whitespace and line breaks to match coding guidelines (part 2)
tautschnig
committed
cd9d007

Commits on Nov 29, 2016

Remove trailing whitespace from all lines
rjmunro
committed
d53dbf9

Commits on Nov 20, 2016

fstream now takes std::string
kroening
committed
9dafe93

Commits on Oct 12, 2016

attempt to clean up modes
kroening
committed
782e84f

Commits on Oct 10, 2016

removed _C_CPP suffix off configt::ansi_ct::flavourt
kroening
committed
1f2f633

Commits on Oct 9, 2016

removed MODE_ prefix off ansi_ct::flavourt
kroening
committed
27f2b38

Commits on Jul 20, 2016

further work towards new messaging API
kroening
committed
95b18a1