Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Mar 18, 2024

• C/C++ front-end: Revert scanner re-entrancy

  Show description for 08d6d67
  tautschnig

  committed
  08d6d67

  Copy full SHA for 08d6d67

Commits on Mar 15, 2024

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

  Show description for 1f240bc
  tautschnig

  committed
  1f240bc

  Copy full SHA for 1f240bc

Commits on Dec 1, 2022

• Replace assert(...) by macros from invariant.h

  Show description for f901919
  tautschnig

  committed
  f901919

  Copy full SHA for f901919

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Nov 16, 2020

• Remove unnecessary cassert include

  Show description for 2492545
  tautschnig

  committed
  2492545

  Copy full SHA for 2492545

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 22, 2015

• C++--11 requires to support both > > and >> to close

  Show description for 6b83629
  

  kroening

  committed
  6b83629

  Copy full SHA for 6b83629

Commits on Feb 8, 2015

• name cleanup

  Show description for a80d23e
  

  kroening

  committed
  a80d23e

  Copy full SHA for a80d23e

• cleanup

  Show description for ab9cd3c
  

  kroening

  committed
  ab9cd3c

  Copy full SHA for ab9cd3c

Commits on Aug 23, 2014

• fix token locations

  Show description for 5f1d97f
  

  kroening

  committed
  5f1d97f

  Copy full SHA for 5f1d97f

• clean out old scanner

  Show description for 85daeaa
  

  kroening

  committed
  85daeaa

  Copy full SHA for 85daeaa

Commits on Aug 16, 2014

• use ANSI-C scanner

  Show description for da6887e
  

  kroening

  committed
  da6887e

  Copy full SHA for da6887e

Commits on Aug 5, 2014

• clean out debug code

  Show description for 3b67df1
  

  kroening

  committed
  3b67df1

  Copy full SHA for 3b67df1

Commits on Jul 29, 2014

• MSC parsing

  Show description for 444f24a
  

  kroening

  committed
  444f24a

  Copy full SHA for 444f24a

• more linking up with ANSI-C scanner

  Show description for 84ff298
  

  kroening

  committed
  84ff298

  Copy full SHA for 84ff298

Commits on May 11, 2013

• Use C++ header files, more -I util fixes

  Show description for e23deed
  

  kroening

  committed
  e23deed

  Copy full SHA for e23deed

Commits on Sep 15, 2012

• cleanup

  Show description for 4433f9c
  

  kroening

  committed
  4433f9c

  Copy full SHA for 4433f9c

Commits on Nov 23, 2011

• Token cleanup

  Show description for bd83ebc
  

  kroening

  committed
  bd83ebc

  Copy full SHA for bd83ebc

Commits on May 20, 2011

• use TOK_

  Show description for c2fc6f9
  

  kroening

  committed
  c2fc6f9

  Copy full SHA for c2fc6f9

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading