Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2017

• Use UTF-16 conversion function in expr2java

  Show description for 8ed1023
  antlechner

  committed
  8ed1023

  Copy full SHA for 8ed1023

Commits on Aug 29, 2017

• replace assert(false) by UNREACHABLE

  

  Daniel Kroening

  committed
  5a04db9

  Copy full SHA for 5a04db9

Commits on Aug 10, 2017

• Merge pull request #1216 from mgudemann/feature/hex_float

  Show description for e6f02bc
  mgudemann

  authored
  e6f02bc

  Copy full SHA for e6f02bc

Commits on Aug 9, 2017

• Style fixes

  Show description for c11bba0
  smowton

  committed
  c11bba0

  Copy full SHA for c11bba0

• Clean up CATCH instruction code

  Show description for 5d534eb
  smowton

  committed
  5d534eb

  Copy full SHA for 5d534eb

• Implement Java exception catching

  Show description for 69221aa
  smowton

  committed
  69221aa

  Copy full SHA for 69221aa

Commits on Aug 8, 2017

• generation of hexadecimal floating point numbers in tests

  Show description for 3eab185
  

  eigold

  authored and

  Matthias Güdemann

  committed
  3eab185

  Copy full SHA for 3eab185

Commits on Jul 17, 2017

• Fix include order in java_bytecode

  reuk

  committed
  0c05241

  Copy full SHA for 0c05241

Commits on Jun 26, 2017

• Fix typos

  Show description for 60c9fb2
  

  Owen Jones

  committed
  60c9fb2

  Copy full SHA for 60c9fb2

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on May 15, 2017

• Rename convert to convert_with_precedence

  Show description for 351e3a7
  

  Owen Jones

  committed
  351e3a7

  Copy full SHA for 351e3a7

Commits on Apr 12, 2017

• Remove unused nullptr case in expr2java

  Show description for 5369960
  peterschrammel

  committed
  5369960

  Copy full SHA for 5369960

• Fix boolean to string conversion in expr2java

  Show description for 8cba08c
  peterschrammel

  committed
  8cba08c

  Copy full SHA for 8cba08c

Commits on Feb 7, 2017

• Correct return value test of to_integer (#508)

  Show description for b517572
  

  allredj

  authored and

  peterschrammel

  committed
  b517572

  Copy full SHA for b517572

Commits on Jan 25, 2017

• remove TODOs from expr2java

  mgudemann

  committed
  31b25f7

  Copy full SHA for 31b25f7

• take tautschnig's comments into account

  mgudemann

  committed
  f5c89d0

  Copy full SHA for f5c89d0

• Peter's comments

  mgudemann

  committed
  f866a9f

  Copy full SHA for f866a9f

• take tautschnig's comments into account

  mgudemann

  committed
  b7cdfd3

  Copy full SHA for b7cdfd3

• take comments into account

  mgudemann

  committed
  b651c4d

  Copy full SHA for b651c4d

• pacify cpplint

  mgudemann

  committed
  dfe795a

  Copy full SHA for dfe795a

• restructure expr2java

  Show description for 15049b7
  mgudemann

  committed
  15049b7

  Copy full SHA for 15049b7

Commits on Jan 3, 2017

• merge of PR #347

  

  Daniel Kroening

  committed
  2db625a

  Copy full SHA for 2db625a

Commits on Dec 15, 2016

• use override for expr2ct

  

  Daniel Kroening

  committed
  7f7f4a4

  Copy full SHA for 7f7f4a4

Commits on Nov 29, 2016

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Aug 19, 2016

• proper conversion for Java literals

  

  Daniel Kroening

  committed
  bc847ce

  Copy full SHA for bc847ce

Commits on Jun 22, 2016

• more for instanceof

  

  Daniel Kroening

  committed
  a00b34a

  Copy full SHA for a00b34a

Commits on Jun 20, 2016

• added code_typet::has_this

  

  Daniel Kroening

  committed
  9dacbba

  Copy full SHA for 9dacbba

Commits on Jun 8, 2016

• return types are now preserved

  

  Daniel Kroening

  committed
  d051afe

  Copy full SHA for d051afe

• prettify Java null references

  

  Daniel Kroening

  committed
  b17e6fb

  Copy full SHA for b17e6fb

Commits on May 8, 2016

• fix for printing method call arguments

  

  Daniel Kroening

  committed
  c5f805d

  Copy full SHA for c5f805d

Commits on Apr 18, 2016

• format method calls

  

  Daniel Kroening

  committed
  aeb41af

  Copy full SHA for aeb41af

Commits on Apr 17, 2016

• java byte type fixes

  

  Daniel Kroening

  committed
  6234a74

  Copy full SHA for 6234a74

Commits on Apr 14, 2016

• fix for JAVA string literals

  

  Daniel Kroening

  committed
  d92781b

  Copy full SHA for d92781b

Commits on Apr 11, 2016

• further work on virtual functions

  

  Daniel Kroening

  committed
  8f965e8

  Copy full SHA for 8f965e8

Commits on Apr 5, 2016

• more progress towards virtual_function

  

  Daniel Kroening

  committed
  020efcb

  Copy full SHA for 020efcb

Pagination

Previous

Next