Permalink
Commits on Apr 21, 2017
Commits on Jan 13, 2017
  1. sl/check-property.sh: fix name of a sourced script

    versokova committed with kdudka Jan 11, 2017
    Bug introduced by kdudka in 88d5db1.
Commits on Jan 10, 2017
  1. sl: new definition reachability in SV-COMP

    versokova committed with kdudka Jan 5, 2017
    Added a new run-time option 'verifier_error_is_error' to treat reaching
    __VERIFIER_error() as error because cl/LLVM does not recognize names of
    labels.
  2. maint: add build for external LLVM passes

    versokova committed with kdudka Jan 4, 2017
    ... scripts for LLVM front end and fix build of the clang/LLVM
    alternative
  3. cl/llvm: use spaces for indentation

    versokova committed with kdudka Jan 3, 2017
    No changes in behavior intended.
Commits on Jan 3, 2017
Commits on Dec 22, 2016
  1. Makefile: remove obsolete targets

    kdudka committed Dec 22, 2016
Commits on Dec 15, 2016
Commits on Oct 27, 2016
  1. sl: disable test-0464, test-0466, and test-0467

    kdudka committed Oct 27, 2016
    ... because they are preprocessed in an unportable way, causing
    compilation errors with recent versions of GCC.
  2. <cl/cl_msg.hh>: drop redundant NULL check

    kdudka committed Oct 26, 2016
    ... causing headers_sanity-{2,3} tests to fail with gcc-6.2.1
Commits on Nov 27, 2015
  1. cl/llvm: xor, bool assign

    versokova committed with kdudka Sep 13, 2015
  2. cl/llvm: phi node

    versokova committed with kdudka Sep 12, 2015
  3. cl/llvm: if-const condition

    versokova committed with kdudka Aug 28, 2015
  4. cl/llvm: accessor offset

    versokova committed with kdudka Aug 27, 2015
Commits on Nov 3, 2015
Commits on Nov 2, 2015
  1. sl/symproc: improve handling of integer overflows

    kdudka committed Nov 2, 2015
    This commit makes test-024[67] work properly with gcc-4.6.4.