Commits

Branch selector

 f3a53bd

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 19, 2018

• Remove code owners for low risk files

  peterschrammel

  committed
  f3a53bd

  Copy full SHA for f3a53bd

• Don't use cbmc-developers as a code owner

  Show description for c16a1f7
  

  Owen

  authored and

  peterschrammel

  committed
  c16a1f7

  Copy full SHA for c16a1f7

Commits on Jul 16, 2018

• Merge pull request #2571 from jeannielynnmoulton/jeannie/InnerClassAccessibility

  Show description for a18b32d
  

  Matthias Güdemann

  authored
  a18b32d

  Copy full SHA for a18b32d

Commits on Jul 13, 2018

• Tests get_outer_class with deeply nested classes.

  jeannielynnmoulton

  committed
  c959c3f

  Copy full SHA for c959c3f

• Parse and capture outer class for inner classes.

  jeannielynnmoulton

  committed
  8201c19

  Copy full SHA for 8201c19

• Merge pull request #2577 from owen-jones-diffblue/owen-jones-diffblue/make-linter-happier

  Show description for 87c2a68
  smowton

  authored
  87c2a68

  Copy full SHA for 87c2a68

• Fix whitespace errors and a typo from #2505

  

  Owen Jones

  committed
  a1b9e07

  Copy full SHA for a1b9e07

• Merge pull request #2505 from owen-jones-diffblue/owen-jones-diffblue/fix/convert-nondet

  Show description for 45eae64
  

  owen-jones-diffblue

  authored
  45eae64

  Copy full SHA for 45eae64

• Make convert_java_nondet more general

  

  Owen

  committed
  6d9e805

  Copy full SHA for 6d9e805

Commits on Jul 12, 2018

• Merge pull request #2564 from tautschnig/vs-java-parse-tree

  Show description for 70887e2
  

  Daniel Kroening

  authored
  70887e2

  Copy full SHA for 70887e2

• Merge pull request #2570 from johnnonweiler/doc-git-submodule-update

  Show description for 6c5ecec
  

  Daniel Kroening

  authored
  6c5ecec

  Copy full SHA for 6c5ecec

• Merge pull request #2566 from tautschnig/vs-sparse-array

  Show description for 2af8433
  tautschnig

  authored
  2af8433

  Copy full SHA for 2af8433

• Merge pull request #2541 from tautschnig/vs-string-static

  Show description for de65ec6
  tautschnig

  authored
  de65ec6

  Copy full SHA for de65ec6

• Add minisat download to jbmc/README.md

  

  John Nonweiler

  committed
  aad1692

  Copy full SHA for aad1692

Commits on Jul 10, 2018

• Remove --recursive from git submodule update

  

  John Nonweiler

  committed
  f7ddb02

  Copy full SHA for f7ddb02

• Include submodule update in jbmc/README.md

  

  John Nonweiler

  committed
  206f7fb

  Copy full SHA for 206f7fb

• Fix a typo JMBC->JBMC

  

  John Nonweiler

  committed
  d5f3c32

  Copy full SHA for d5f3c32

• Document git submodule update in COMPILING.md

  

  John Nonweiler

  committed
  b5075d7

  Copy full SHA for b5075d7

• Merge pull request #2568 from tautschnig/vs-parameter-names

  Show description for 7c4b5aa
  tautschnig

  authored
  7c4b5aa

  Copy full SHA for 7c4b5aa

• Merge pull request #2567 from peterschrammel/fix-mcdc

  Show description for ef3eb4f
  peterschrammel

  authored
  ef3eb4f

  Copy full SHA for ef3eb4f

• Merge pull request #2460 from tautschnig/vs-local-unused

  Show description for 53baae6
  tautschnig

  authored
  53baae6

  Copy full SHA for 53baae6

• Merge pull request #2563 from tautschnig/vs-rm-interface

  Show description for 6acabcb
  tautschnig

  authored
  6acabcb

  Copy full SHA for 6acabcb

Commits on Jul 9, 2018

• Merge pull request #2426 from peterschrammel/java-models-library-submodule

  Show description for 3c2e55e
  peterschrammel

  authored
  3c2e55e

  Copy full SHA for 3c2e55e

• Document proposed best practice for unused parameters

  tautschnig

  committed
  440ceb6

  Copy full SHA for 440ceb6

• Convert /* */ comments into //

  peterschrammel

  committed
  370d4c6

  Copy full SHA for 370d4c6

• Clean up commented code

  peterschrammel

  committed
  1abbf1e

  Copy full SHA for 1abbf1e

• Use submodule to download java-models-library

  peterschrammel

  committed
  b34e951

  Copy full SHA for b34e951

• Merge pull request #2388 from peterschrammel/improve-jbmc-options

  Show description for 3f255b2
  peterschrammel

  authored
  3f255b2

  Copy full SHA for 3f255b2

• Revert "Mark tests which fail due to invariant violations"

  Show description for 15f44c7
  peterschrammel

  committed
  15f44c7

  Copy full SHA for 15f44c7

• Make local-assigned-but-not-used annotation applicable to all compilers

  tautschnig

  committed
  dce4afd

  Copy full SHA for dce4afd

• (interval_)sparse_arrayt: Remove unnecessary use of "virtual" and further cleanup

  tautschnig

  committed
  86d057d

  Copy full SHA for 86d057d

• Merge pull request #2558 from tautschnig/linking-xen

  Show description for 0d7a943
  

  Daniel Kroening

  authored
  0d7a943

  Copy full SHA for 0d7a943

• Merge pull request #2392 from NathanJPhillips/cleanup/small_map_layout

  Show description for 5acc0b0
  NathanJPhillips

  authored
  5acc0b0

  Copy full SHA for 5acc0b0

• Merge pull request #2565 from tautschnig/vs-float-bvt

  Show description for ee4d802
  

  Daniel Kroening

  authored
  ee4d802

  Copy full SHA for ee4d802

• Accept more mismatching function definition/declaration pairs

  Show description for 754b36d
  tautschnig

  committed
  754b36d

  Copy full SHA for 754b36d

Pagination

Previous

Next