Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

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 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 Apr 1, 2019

• Whitespace fixes

  karkhaz

  committed
  6338153

  Copy full SHA for 6338153

Commits on Nov 26, 2018

• Pass object factory parameters through to object factories

  danpoe

  committed
  fac59a8

  Copy full SHA for fac59a8

Commits on Mar 22, 2018

• Remove old doxygen module directives from header files

  peterschrammel

  committed
  c50f40d

  Copy full SHA for c50f40d

Commits on Feb 11, 2018

• moving language.h and language_file.h to langapi folder

  Show description for d8967f5
  kroening

  committed
  d8967f5

  Copy full SHA for d8967f5

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

• Fixing the method to work with java_bytecode

  Show description for dee89b0
  

  thk123

  committed
  dee89b0

  Copy full SHA for dee89b0

• 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 10, 2017

• [docs 2/5] Remove empty module group documentation

  Show description for f5be7f1
  karkhaz

  committed
  f5be7f1

  Copy full SHA for f5be7f1

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on Dec 15, 2016

• use override for languaget classes

  kroening

  committed
  3d9eba2

  Copy full SHA for 3d9eba2

Commits on Dec 5, 2016

• Make header guards uniform

  peterschrammel

  committed
  40dc024

  Copy full SHA for 40dc024

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Feb 17, 2016

• type_to_name: canonic type names, language independent

  Show description for dc7afc7
  

  kroening

  committed
  dc7afc7

  Copy full SHA for dc7afc7

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 Jun 29, 2014

• languaget has a new interface for messaging

  Show description for 4cc0697
  

  kroening

  committed
  4cc0697

  Copy full SHA for 4cc0697

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 Aug 18, 2011

• docu

  Show description for e464268
  

  kroening

  committed
  e464268

  Copy full SHA for e464268

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading