Commits

Branch selector

 5054730

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 3, 2017

• Merge pull request #495 from mgudemann/fix_init_bool_values_c_typecheck

  Show description for 5054730
  kroening

  authored
  5054730

  Copy full SHA for 5054730

• Merge pull request #496 from thk123/refactor/git-ignore-improvments

  Show description for 3298483
  kroening

  authored
  3298483

  Copy full SHA for 3298483

• Merge pull request #499 from mgudemann/fix_init_bool_values_cmdline

  Show description for a764874
  kroening

  authored
  a764874

  Copy full SHA for a764874

• specify initial values for Boolean in struct optiont

  Show description for c261978
  mgudemann

  committed
  c261978

  Copy full SHA for c261978

• Removed zip package

  Show description for 3e40add
  pkesseli

  committed
  3e40add

  Copy full SHA for 3e40add

• Additions to the gitignore

  Show description for 49449f4
  

  thk123

  committed
  49449f4

  Copy full SHA for 49449f4

• Merge pull request #474 from thk123/bug/const-struct-symbols

  Show description for def72f4
  peterschrammel

  authored
  def72f4

  Copy full SHA for def72f4

• initialize Boolean values in c_typecheck_baset

  Show description for 008267c
  

  Matthias Güdemann

  authored and

  mgudemann

  committed
  008267c

  Copy full SHA for 008267c

Commits on Feb 2, 2017

• Make the pre-commit hook report non-temporary path names (#477)

  Show description for da0b0d5
  

  tautschnig

  authored and

  peterschrammel

  committed
  da0b0d5

  Copy full SHA for da0b0d5

• Use container-based Travis builds (#488)

  Show description for ee99e3c
  

  tautschnig

  authored and

  peterschrammel

  committed
  ee99e3c

  Copy full SHA for ee99e3c

Commits on Feb 1, 2017

• Merge pull request #484 from smowton/remove_instanceof

  Show description for e7bf646
  peterschrammel

  authored
  e7bf646

  Copy full SHA for e7bf646

• Merge pull request #150 from tautschnig/efficient-rewrites

  Show description for 9629f3c
  peterschrammel

  authored
  9629f3c

  Copy full SHA for 9629f3c

• Add remove_instanceof pass

  Show description for 75f924a
  smowton

  committed
  75f924a

  Copy full SHA for 75f924a

Commits on Jan 31, 2017

• CPPlint on travis change: it will run, but not produce errors. (#473)

  

  forejtv

  authored and

  peterschrammel

  committed
  972c4c7

  Copy full SHA for 972c4c7

• Merge pull request #483 from smowton/fix_used_local_names

  Show description for 6ce9aec
  kroening

  authored
  6ce9aec

  Copy full SHA for 6ce9aec

• Merge pull request #454 from thk123/refactor/generalise-show-goto-functions-flag

  Show description for 721e65d
  kroening

  authored
  721e65d

  Copy full SHA for 721e65d

• Merge pull request #396 from smowton/fix_ssa_l1_ids

  Show description for 1c42040
  kroening

  authored
  1c42040

  Copy full SHA for 1c42040

• Merge pull request #460 from mgudemann/java_unwind_enum_static

  Show description for ae8da63
  kroening

  authored
  ae8da63

  Copy full SHA for ae8da63

• Merge pull request #469 from mgudemann/fix_nondet_sublass_init_non_null

  Show description for 30f73f5
  kroening

  authored
  30f73f5

  Copy full SHA for 30f73f5

• Merge pull request #461 from tautschnig/build-system

  Show description for 63f9182
  kroening

  authored
  63f9182

  Copy full SHA for 63f9182

• Do not add named vars to used_local_names

  Show description for 9192175
  smowton

  committed
  9192175

  Copy full SHA for 9192175

• Merge pull request #447 from tautschnig/no-gen_zero

  Show description for 73635f0
  kroening

  authored
  73635f0

  Copy full SHA for 73635f0

• Merge pull request #403 from smowton/find_scopes_for_anonymous_variables

  Show description for 46e0b9f
  kroening

  authored
  46e0b9f

  Copy full SHA for 46e0b9f

Commits on Jan 30, 2017

• loop unwinding in static init of Java enum

  Show description for b49a7fc
  mgudemann

  committed
  b49a7fc

  Copy full SHA for b49a7fc

• Merge pull request #471 from smowton/factor_class_identifier_master

  Show description for cd4fc7b
  peterschrammel

  authored
  cd4fc7b

  Copy full SHA for cd4fc7b

• missing header for S_IRUSR

  kroening

  committed
  f171d24

  Copy full SHA for f171d24

• Added check for div by zero in CEGIS control rational back end.

  Show description for 7a6cec1
  pkesseli

  committed
  7a6cec1

  Copy full SHA for 7a6cec1

• get_language options to language API (#480)

  Show description for 4ae7c75
  

  mgudemann

  authored and

  peterschrammel

  committed
  4ae7c75

  Copy full SHA for 4ae7c75

Commits on Jan 27, 2017

• Renamed the GOTO_CHECK defintions according to the new naming convention

  

  thk123

  committed
  018c401

  Copy full SHA for 018c401

• Replaced all instances of show-goto-functions a define

  Show description for fa1c003
  

  thk123

  committed
  fa1c003

  Copy full SHA for fa1c003

• Keep SSA L1 IDs as an attribute

  Show description for d9026ae
  smowton

  committed
  d9026ae

  Copy full SHA for d9026ae

• Make from_integer fail an assertion for unsupported types

  Show description for 31ce11f
  tautschnig

  committed
  31ce11f

  Copy full SHA for 31ce11f

• cbmc-java: Print details of errors in regression tests

  Show description for cf06f35
  tautschnig

  committed
  cf06f35

  Copy full SHA for cf06f35

• Added file copyright header as noted by linter

  tautschnig

  committed
  7eae44c

  Copy full SHA for 7eae44c

• Use zero_initializer instead of gen_zero

  Show description for f5ef531
  tautschnig

  committed
  f5ef531

  Copy full SHA for f5ef531

Pagination

Previous

Next