Commits

Branch selector

 develop

User selector

feliperodri

Datepicker

All time

Commit History

Commits on Aug 6, 2024

• Merge pull request #8403 from tautschnig/fix-dfcc-typedef

  Show description for 5ef19c8
  feliperodri

  authored
  5ef19c8

  Copy full SHA for 5ef19c8

Commits on Jul 24, 2023

• Merge pull request #7824 from tautschnig/bugfixes/sysconf

  Show description for ac56ec3
  feliperodri

  authored
  ac56ec3

  Copy full SHA for ac56ec3

Commits on Jul 11, 2023

• Merge pull request #7780 from feliperodri/sysconf-model

  Show description for 4b95215
  feliperodri

  authored
  4b95215

  Copy full SHA for 4b95215

• Adds an over-approximation model for sysconf

  Show description for 830a60f
  feliperodri

  committed
  830a60f

  Copy full SHA for 830a60f

Commits on May 12, 2023

• Merge pull request #7698 from diffblue/20230503-rename-requires

  Show description for ba47c86
  feliperodri

  authored
  ba47c86

  Copy full SHA for ba47c86

Commits on Nov 18, 2022

• Merge pull request #7356 from remi-delmas-3000/dfcc-disable-library-checks

  Show description for b4a19b2
  feliperodri

  authored
  b4a19b2

  Copy full SHA for b4a19b2

Commits on Oct 14, 2022

• Merge pull request #7221 from tautschnig/cleanup/sync-regression-tests

  Show description for a347a63
  feliperodri

  authored
  a347a63

  Copy full SHA for a347a63

Commits on Oct 10, 2022

• Merge pull request #7228 from qinheping/assigns_inference

  Show description for 625df39
  feliperodri

  authored
  625df39

  Copy full SHA for 625df39

Commits on Oct 7, 2022

• Merge pull request #7214 from remi-delmas-3000/contracts-assigns-clause-allow-all-void-function-calls

  Show description for 057fe4e
  feliperodri

  authored
  057fe4e

  Copy full SHA for 057fe4e

Commits on Oct 3, 2022

• Merge pull request #7159 from feliperodri/breakdown-requires-ensures

  Show description for 7e81905
  feliperodri

  authored
  7e81905

  Copy full SHA for 7e81905

• CONTRACTS: Updates log message for requires clause

  Show description for dc5e09b
  feliperodri

  committed
  dc5e09b

  Copy full SHA for dc5e09b

• CONTRACTS: Generator for history variables initialization

  Show description for 6a3ef0a
  feliperodri

  committed
  6a3ef0a

  Copy full SHA for 6a3ef0a

• CONTRACTS: Generator for contracts constraints

  Show description for 9d41110
  feliperodri

  committed
  9d41110

  Copy full SHA for 9d41110

• CONTRACTS: Avoid single conjunction in contracts instrumentation

  Show description for 7c1f67a
  feliperodri

  committed
  7c1f67a

  Copy full SHA for 7c1f67a

Commits on Sep 30, 2022

• Update .gitignore

  Show description for 5e2ff66
  feliperodri

  committed
  5e2ff66

  Copy full SHA for 5e2ff66

Commits on Aug 15, 2022

• Merge pull request #7007 from Herbping/loop_invariant_synthesis

  Show description for 23045d1
  feliperodri

  authored
  23045d1

  Copy full SHA for 23045d1

Commits on May 19, 2022

• Merge pull request #6829 from remi-delmas-3000/contracts-havoc-statics

  Show description for 7b19f1d
  feliperodri

  authored
  7b19f1d

  Copy full SHA for 7b19f1d

Commits on May 10, 2022

• Merge pull request #6840 from remi-delmas-3000/contracts-malloc-return-value

  Show description for 742624d
  feliperodri

  authored
  742624d

  Copy full SHA for 742624d

Commits on Apr 25, 2022

• Merge pull request #6814 from remi-delmas-3000/contracts-object-slice

  Show description for 098898c
  feliperodri

  authored
  098898c

  Copy full SHA for 098898c

Commits on Apr 22, 2022

• Merge pull request #6818 from remi-delmas-3000/assigns-clause-local-arrays

  Show description for 65c42a3
  feliperodri

  authored
  65c42a3

  Copy full SHA for 65c42a3

Commits on Mar 14, 2022

• CONTRACTS: Remove helper method check_for_looped_mallocs

  Show description for 56f317a
  feliperodri

  committed
  56f317a

  Copy full SHA for 56f317a

Commits on Nov 30, 2021

• Merge pull request #6473 from padhi-aws-forks/assigns-scope-fix

  Show description for 1a1245e
  feliperodri

  authored
  1a1245e

  Copy full SHA for 1a1245e

Commits on Oct 4, 2021

• Merge pull request #6377 from feliperodri/car

  feliperodri

  authored
  7e7d047

  Copy full SHA for 7e7d047

Commits on Oct 3, 2021

• Merge pull request #6371 from feliperodri/propagate-assigns-checks

  Show description for a03d382
  feliperodri

  authored
  a03d382

  Copy full SHA for a03d382

• Check for lvalue in assigns clause after type checking

  Show description for 3f48b6e
  feliperodri

  committed
  3f48b6e

  Copy full SHA for 3f48b6e

• Adds test to cover contracts and function pointers support

  Show description for ef7e94d
  feliperodri

  committed
  ef7e94d

  Copy full SHA for ef7e94d

• Removes subset relationship check from contracts

  Show description for 98f56a4
  feliperodri

  committed
  98f56a4

  Copy full SHA for 98f56a4

• Properly fixes test descriptions for contracts regression

  Show description for 1e42716
  feliperodri

  committed
  1e42716

  Copy full SHA for 1e42716

• Removes dead code

  Show description for 58cac97
  feliperodri

  committed
  58cac97

  Copy full SHA for 58cac97

• Maintain a single write set

  Show description for 15f99ce
  feliperodri

  committed
  15f99ce

  Copy full SHA for 15f99ce

• Inline sub-function calls

  Show description for b6f30b9
  feliperodri

  committed
  b6f30b9

  Copy full SHA for b6f30b9

• Assigns clause should not track a single source location

  Show description for 2e0b00b
  feliperodri

  committed
  2e0b00b

  Copy full SHA for 2e0b00b

• Remove general contracts flags

  Show description for 57c787e
  feliperodri

  committed
  57c787e

  Copy full SHA for 57c787e

• Properly track assigns clause targets in goto converter

  Show description for 923c623
  feliperodri

  committed
  923c623

  Copy full SHA for 923c623

Commits on Sep 24, 2021

• Merge pull request #6363 from feliperodri/handle-mangled-names

  Show description for c3d7235
  feliperodri

  authored
  c3d7235

  Copy full SHA for c3d7235

Pagination

Previous

Next