Commits

Branch selector

 slicer-fix

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 31, 2017

• fixup for missing function

  

  Daniel Kroening

  committed
  180b587

  Copy full SHA for 180b587

• fix for two imprecisions

  

  Daniel Kroening

  committed
  6a48e80

  Copy full SHA for 6a48e80

Commits on Aug 23, 2017

• Merge pull request #1266 from tautschnig/array-debugging

  Show description for deeb26e
  

  Daniel Kroening

  authored
  deeb26e

  Copy full SHA for deeb26e

• Use iostream for debugging only

  tautschnig

  committed
  b3cd67a

  Copy full SHA for b3cd67a

• flattening/arrays.cpp: replace throw and assert with invariants

  

  smowton

  authored and

  tautschnig

  committed
  e728d01

  Copy full SHA for e728d01

• Replace std::cout for errors with messaget::error()

  Show description for ee4f6a0
  

  smowton

  authored and

  tautschnig

  committed
  ee4f6a0

  Copy full SHA for ee4f6a0

• Merge pull request #1246 from reuk/reuk/allow-glibcxx-debug

  Show description for ddc7125
  

  Daniel Kroening

  authored
  ddc7125

  Copy full SHA for ddc7125

• Merge pull request #1273 from tautschnig/doc-fixes

  Show description for 26975bb
  

  Daniel Kroening

  authored
  26975bb

  Copy full SHA for 26975bb

• Merge pull request #1265 from tautschnig/emacs-config

  Show description for b2d5b9a
  

  Daniel Kroening

  authored
  b2d5b9a

  Copy full SHA for b2d5b9a

• Merge pull request #1283 from tautschnig/dev-master-linter

  Show description for 004e220
  

  Daniel Kroening

  authored
  004e220

  Copy full SHA for 004e220

• Don't lint text between #if 0...#endif

  

  karkhaz

  authored and

  tautschnig

  committed
  e36f44f

  Copy full SHA for e36f44f

• Add non-const target comparator

  reuk

  committed
  5077460

  Copy full SHA for 5077460

Commits on Aug 22, 2017

• Merge pull request #1277 from tautschnig/readme-master

  Show description for 18d0d7b
  

  Daniel Kroening

  authored
  18d0d7b

  Copy full SHA for 18d0d7b

• Contributing section in readme

  

  peterschrammel

  authored and

  tautschnig

  committed
  e7ffabc

  Copy full SHA for e7ffabc

• Documentation

  

  peterschrammel

  authored and

  tautschnig

  committed
  2e227cc

  Copy full SHA for 2e227cc

• Some cleanup

  

  peterschrammel

  authored and

  tautschnig

  committed
  1d49ef2

  Copy full SHA for 1d49ef2

• Fix Doxygen warnings

  

  smowton

  authored and

  tautschnig

  committed
  e58df6f

  Copy full SHA for e58df6f

• Merge pull request #1264 from tautschnig/ci-workarounds

  Show description for b49820b
  

  Daniel Kroening

  authored
  b49820b

  Copy full SHA for b49820b

• Merge pull request #1263 from tautschnig/shell-auto-complete

  Show description for 1d2cfb5
  

  Daniel Kroening

  authored
  1d2cfb5

  Copy full SHA for 1d2cfb5

• Add zsh support to auto-complete

  Show description for 6881b39
  

  Joel Allred

  authored and

  tautschnig

  committed
  6881b39

  Copy full SHA for 6881b39

• Autocomplete script for bash

  Show description for 28f21d9
  

  forejtv

  authored and

  tautschnig

  committed
  28f21d9

  Copy full SHA for 28f21d9

• Add ccache for gcc builds

  

  Vlastimil Zeman

  authored and

  tautschnig

  committed
  988468f

  Copy full SHA for 988468f

• Update cbmc-builder alpine container

  

  Vlastimil Zeman

  authored and

  tautschnig

  committed
  975bb44

  Copy full SHA for 975bb44

• Standardise ccache size to 1 GB

  

  Vlastimil Zeman

  authored and

  tautschnig

  committed
  3b1e35f

  Copy full SHA for 3b1e35f

• Split jobs to two stages in Travis

  Show description for bf92ee5
  

  Vlastimil Zeman

  authored and

  tautschnig

  committed
  bf92ee5

  Copy full SHA for bf92ee5

• Travis fix: ccache limit was in the wrong section

  

  forejtv

  authored and

  tautschnig

  committed
  be936a7

  Copy full SHA for be936a7

• Speed up OSX builds on Travis.

  Show description for 4925737
  

  forejtv

  authored and

  tautschnig

  committed
  4925737

  Copy full SHA for 4925737

• Suppress some doxygen warnings

  

  peterschrammel

  authored and

  tautschnig

  committed
  e93b85c

  Copy full SHA for e93b85c

• Workaround for travis performing shallow clones with wrong branch

  Show description for 74cedd4
  

  peterschrammel

  authored and

  tautschnig

  committed
  74cedd4

  Copy full SHA for 74cedd4

Commits on Aug 21, 2017

• clean out langapi/languages.h

  

  Daniel Kroening

  committed
  48c5b10

  Copy full SHA for 48c5b10

• Move Emacs style file so it affects unit tests as well as main source

  

  smowton

  authored and

  tautschnig

  committed
  8a2cc0f

  Copy full SHA for 8a2cc0f

Commits on Aug 20, 2017

• new goto_convert API

  

  Daniel Kroening

  committed
  9623503

  Copy full SHA for 9623503

• Merge pull request #1256 from tautschnig/c-attributes-fix

  Show description for b90c4a3
  

  Daniel Kroening

  authored
  b90c4a3

  Copy full SHA for b90c4a3

• Merge the correct attribute node

  Show description for 1ab944e
  tautschnig

  committed
  1ab944e

  Copy full SHA for 1ab944e

• Test passes

  Show description for de3ad89
  tautschnig

  committed
  de3ad89

  Copy full SHA for de3ad89

Pagination

Previous

Next