Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Dec 1, 2022

• C++ front-end: use new symbolt constructors

  Show description for 6ac16bf
  tautschnig

  committed
  6ac16bf

  Copy full SHA for 6ac16bf

Commits on Nov 20, 2022

• 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 Jul 29, 2019

• Do not use backtick as opening single quote

  Show description for c4cd7ae
  

  Owen

  committed
  c4cd7ae

  Copy full SHA for c4cd7ae

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 Jan 10, 2019

• Do not shadow "it"

  Show description for a77f7e4
  tautschnig

  committed
  a77f7e4

  Copy full SHA for a77f7e4

Commits on Oct 5, 2017

• Changed interface to symbol_tablet::insert

  

  NathanJPhillips

  authored and

  smowton

  committed
  9f4e933

  Copy full SHA for 9f4e933

• Restricted interface of current symbol_tablet

  

  NathanJPhillips

  authored and

  smowton

  committed
  d1d502f

  Copy full SHA for d1d502f

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 Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Jul 20, 2016

• further work towards new messaging API

  kroening

  committed
  95b18a1

  Copy full SHA for 95b18a1

Commits on Jul 11, 2016

• Consistency: use messaget's error directly instead of

  Show description for 3fb426e
  kroening

  committed
  3fb426e

  Copy full SHA for 3fb426e

Commits on Jan 8, 2015

• big change: the c:: prefix on identifiers is gone

  Show description for 3a51575
  

  kroening

  committed
  3a51575

  Copy full SHA for 3a51575

Commits on Aug 28, 2014

• location -> source_location

  Show description for 0283bba
  

  kroening

  committed
  0283bba

  Copy full SHA for 0283bba

Commits on Aug 27, 2014

• Use util/source_location.h

  Show description for 8192e5d
  

  tautschnig

  committed
  8192e5d

  Copy full SHA for 8192e5d

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on Feb 10, 2013

• context -> symbol_table

  Show description for fa6d5ff
  

  kroening

  committed
  fa6d5ff

  Copy full SHA for fa6d5ff

Commits on Apr 1, 2012

• hardwire mode

  Show description for 84e6fc9
  

  kroening

  committed
  84e6fc9

  Copy full SHA for 84e6fc9

Commits on Feb 12, 2012

• delayed template instantiation

  Show description for 7dc19ed
  

  kroening

  committed
  7dc19ed

  Copy full SHA for 7dc19ed

Commits on May 18, 2011

• namespace aliases

  Show description for 70c59fe
  

  kroening

  committed
  70c59fe

  Copy full SHA for 70c59fe

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading