Commits

Branch selector

 rebased-deadlock-analysis

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 13, 2017

• fixes for deadlock analysis

  

  Daniel Kroening

  committed
  abc1c23

  Copy full SHA for abc1c23

• cbmc-trunk-new rev 1185

  

  Daniel Kroening

  committed
  634d11e

  Copy full SHA for 634d11e

Commits on Nov 19, 2016

• make test more easily satisfiable

  

  Daniel Kroening

  committed
  8a0088e

  Copy full SHA for 8a0088e

• test still failing

  

  Daniel Kroening

  committed
  5cba7ec

  Copy full SHA for 5cba7ec

• make tests more easily satisfiable

  

  Daniel Kroening

  committed
  5d8347c

  Copy full SHA for 5d8347c

• Merge branch 'master' of https://github.com/diffblue/cbmc

  

  Daniel Kroening

  committed
  df1d50b

  Copy full SHA for df1d50b

• fix tests for diverse targets

  

  Daniel Kroening

  committed
  2841c2c

  Copy full SHA for 2841c2c

• Merge pull request #301 from thk123/void-return-warning

  Show description for 3933e85
  

  Daniel Kroening

  authored
  3933e85

  Copy full SHA for 3933e85

• In Visual Studio, enums are always 'signed int'

  

  Daniel Kroening

  committed
  46393fe

  Copy full SHA for 46393fe

• further work on the type of enums in C

  

  Daniel Kroening

  committed
  2877122

  Copy full SHA for 2877122

Commits on Nov 18, 2016

• Merge branch 'master' of https://www.github.com/diffblue/cbmc

  

  Daniel Kroening

  committed
  4a883d0

  Copy full SHA for 4a883d0

• fix for the underlying type of enums

  

  Daniel Kroening

  committed
  2c3fdc1

  Copy full SHA for 2c3fdc1

• Added a warning for when function returns a value but has return void

  Show description for f28f7ac
  

  thk123

  committed
  f28f7ac

  Copy full SHA for f28f7ac

• Merge pull request #316 from martin-cs/fix-#288-rest

  Show description for f04e1dc
  

  Daniel Kroening

  authored
  f04e1dc

  Copy full SHA for f04e1dc

Commits on Nov 17, 2016

• Repeat the from pull request #288 for other domains.

  

  martin

  committed
  7c245f1

  Copy full SHA for 7c245f1

• Merge pull request #314 from tautschnig/location-numbers

  Show description for ecb65f6
  

  Daniel Kroening

  authored
  ecb65f6

  Copy full SHA for ecb65f6

• Ensure globally unique location numbers after reading binary

  Show description for 74e9535
  tautschnig

  committed
  74e9535

  Copy full SHA for 74e9535

Commits on Nov 16, 2016

• avoid SSL for libzip

  

  Daniel Kroening

  committed
  6b21f36

  Copy full SHA for 6b21f36

Commits on Nov 15, 2016

• Merge pull request #303 from danpoe/concurrency-regression-tests

  Show description for e49c7cb
  

  Daniel Kroening

  authored
  e49c7cb

  Copy full SHA for e49c7cb

Commits on Nov 14, 2016

• two new cbmc concurrency regression tests

  danpoe

  committed
  27854b4

  Copy full SHA for 27854b4

Commits on Nov 13, 2016

• use std::size_t

  

  Daniel Kroening

  committed
  92bb662

  Copy full SHA for 92bb662

• use std::size_t

  

  Daniel Kroening

  committed
  06193a6

  Copy full SHA for 06193a6

• use std::size_t

  

  Daniel Kroening

  committed
  5b0fb8e

  Copy full SHA for 5b0fb8e

• use std::size_t

  

  Daniel Kroening

  committed
  e8437a7

  Copy full SHA for e8437a7

• use std::size_t

  

  Daniel Kroening

  committed
  1a8a92e

  Copy full SHA for 1a8a92e

• use size_t

  

  Daniel Kroening

  committed
  453227a

  Copy full SHA for 453227a

• unused argument

  

  Daniel Kroening

  committed
  e2d9bba

  Copy full SHA for e2d9bba

• use size_t

  

  Daniel Kroening

  committed
  b0ecd3e

  Copy full SHA for b0ecd3e

• make pthread_join work on the Mac

  

  Daniel Kroening

  committed
  e30550f

  Copy full SHA for e30550f

Commits on Nov 11, 2016

• xmlt::set_attribute for unsigned long long

  

  Daniel Kroening

  committed
  e341d5c

  Copy full SHA for e341d5c

• advance version number to 5.6

  

  Daniel Kroening

  committed
  8b535fc

  Copy full SHA for 8b535fc

• FLOAT_TYPECAST now gives destination type

  

  Daniel Kroening

  committed
  4309baf

  Copy full SHA for 4309baf

Commits on Nov 10, 2016

• use override in some central classes

  

  Daniel Kroening

  committed
  32800a3

  Copy full SHA for 32800a3

• use override and final in some central classes

  

  Daniel Kroening

  committed
  6905e06

  Copy full SHA for 6905e06

• First working CEGIS null object refactoring.

  pkesseli

  committed
  a584af3

  Copy full SHA for a584af3

Pagination

Previous

Next