Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 15, 2024

• Remove parsert::clear and all of its overrides

  Show description for 14715d9
  tautschnig

  committed
  14715d9

  Copy full SHA for 14715d9

• C and C++ parsers: construct with message handler

  Show description for 1f240bc
  tautschnig

  committed
  1f240bc

  Copy full SHA for 1f240bc

Commits on Dec 12, 2023

• Merge pull request #4050 from tautschnig/messaget-languaget

  Show description for 3bf78f7
  thomasspriggs

  authored
  3bf78f7

  Copy full SHA for 3bf78f7

Commits on Nov 17, 2023

• languaget is not a messaget

  Show description for 82948a4
  tautschnig

  committed
  82948a4

  Copy full SHA for 82948a4

• Remove util_make_unique

  Show description for 096f454
  tautschnig

  committed
  096f454

  Copy full SHA for 096f454

Commits on Nov 20, 2022

• parsert is not a messaget

  Show description for c06c96b
  tautschnig

  committed
  c06c96b

  Copy full SHA for c06c96b

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

Commits on Nov 19, 2022

• Use symbol_table_baset instead of symbol_tablet where possible

  Show description for 1a9ec4e
  tautschnig

  committed
  1a9ec4e

  Copy full SHA for 1a9ec4e

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on May 21, 2019

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

  Show description for 8101a98
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  8101a98

  Copy full SHA for 8101a98

Commits on Apr 30, 2019

• Use s.empty() instead of s == ""

  Show description for ec56872
  tautschnig

  committed
  ec56872

  Copy full SHA for ec56872

Commits on Mar 11, 2019

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

  Show description for 2d76de1
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  2d76de1

  Copy full SHA for 2d76de1

Commits on Nov 26, 2018

• Pass object factory parameters through to object factories

  danpoe

  committed
  fac59a8

  Copy full SHA for fac59a8

Commits on Sep 29, 2018

• C++ front-end: use ranged for

  

  Daniel Kroening

  committed
  02b517f

  Copy full SHA for 02b517f

Commits on Sep 21, 2018

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

  Show description for d16df65
  tautschnig

  committed
  d16df65

  Copy full SHA for d16df65

Commits on Aug 11, 2018

• Remove names of unused parameters

  tautschnig

  committed
  3785941

  Copy full SHA for 3785941

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 13, 2017

• 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 Aug 24, 2017

• Replace owning raw pointers with unique_ptr

  Show description for 7d5f115
  reuk

  committed
  7d5f115

  Copy full SHA for 7d5f115

Commits on Jul 24, 2017

• Fix nullptr usage, ignoring miniz and big-int

  reuk

  committed
  c92a429

  Copy full SHA for c92a429

• Revert "[depends: #1063] Use nullptr to represent null pointers (targets master)"

  

  Daniel Kroening

  authored
  6fea4fa

  Copy full SHA for 6fea4fa

Commits on Jul 20, 2017

• Fix nullptr

  reuk

  committed
  a06cf76

  Copy full SHA for a06cf76

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 16, 2017

• Convert endl to newline in cpp

  reuk

  committed
  fbef879

  Copy full SHA for fbef879

Commits on Feb 15, 2017

• Whitespace and line breaks to match coding guidelines (part 2)

  tautschnig

  committed
  cd9d007

  Copy full SHA for cd9d007

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Nov 20, 2016

• fstream now takes std::string

  

  Daniel Kroening

  committed
  9dafe93

  Copy full SHA for 9dafe93

Commits on Oct 12, 2016

• attempt to clean up modes

  

  Daniel Kroening

  committed
  782e84f

  Copy full SHA for 782e84f

Commits on Oct 10, 2016

• removed _C_CPP suffix off configt::ansi_ct::flavourt

  

  Daniel Kroening

  committed
  1f2f633

  Copy full SHA for 1f2f633

Commits on Oct 9, 2016

• removed MODE_ prefix off ansi_ct::flavourt

  

  Daniel Kroening

  committed
  27f2b38

  Copy full SHA for 27f2b38

Commits on Jul 20, 2016

• further work towards new messaging API

  

  Daniel Kroening

  committed
  95b18a1

  Copy full SHA for 95b18a1

Pagination

Previous

Next