Commits

Commit history

1. Commits on Nov 6, 2026

   • Merge pull request #8971 from tautschnig/library-branching

     Show description for ed76c1d
     tautschnig

     authored
     ed76c1dView commit details

     Copy full SHA for ed76c1d

     View code at this pointBrowse repository at this point
2. Commits on Nov 5, 2026

   • Add an if-conversion pass to avoid path forking in --paths mode

     Show description for 4ce5ef9
     

     tautschnig

     and

     kiro-agent

     committed
     4ce5ef9View commit details

     Copy full SHA for 4ce5ef9

     View code at this pointBrowse repository at this point

   • Fix profiling memory limit under a pre-existing hard rlimit

     Show description for 52010c3
     

     tautschnig

     and

     kiro-agent

     committed
     52010c3View commit details

     Copy full SHA for 52010c3

     View code at this pointBrowse repository at this point
3. Commits on Nov 2, 2026

   • run_doxygen.sh: expect doxygen 1.15.0

     Show description for 0b3d3e7
     

     tautschnig

     and

     kiro-agent

     committed
     0b3d3e7View commit details

     Copy full SHA for 0b3d3e7

     View code at this pointBrowse repository at this point
4. Commits on Jul 7, 2026

   • Remove dead Slack notifications from the release workflows

     Show description for 747838b
     

     tautschnig

     and

     kiro-agent

     committed
     747838bView commit details

     Copy full SHA for 747838b

     View code at this pointBrowse repository at this point
5. Commits on May 24, 2026

   • scripts/profiling: warn when no timing lines are parsed from CBMC output

     Show description for 725ddeb
     

     tautschnig

     and

     kiro-agent

     committed
     725ddebView commit details

     Copy full SHA for 725ddeb

     View code at this pointBrowse repository at this point

   • Fix profiling: use --verbosity 8 instead of 10

     Show description for 703ff17
     

     tautschnig

     and

     kiro-agent

     committed
     703ff17View commit details

     Copy full SHA for 703ff17

     View code at this pointBrowse repository at this point
6. Commits on Mar 27, 2026

   • Merge pull request #8859 from tautschnig/profiling-tool

     Show description for 0170409
     tautschnig

     authored
     0170409View commit details

     Copy full SHA for 0170409

     View code at this pointBrowse repository at this point
7. Commits on Mar 13, 2026

   • Add CI profiling workflow

     Show description for 2456e29
     

     tautschnig

     and

     kiro-agent

     committed
     2456e29View commit details

     Copy full SHA for 2456e29

     View code at this pointBrowse repository at this point

   • Add CI performance analysis script and workflow

     Show description for 3fee1c4
     

     tautschnig

     and

     kiro-agent

     committed
     3fee1c4View commit details

     Copy full SHA for 3fee1c4

     View code at this pointBrowse repository at this point

   • Add CBMC performance profiling tool

     Show description for 6de2606
     

     tautschnig

     and

     kiro-agent

     committed
     6de2606View commit details

     Copy full SHA for 6de2606

     View code at this pointBrowse repository at this point
8. Commits on Jan 4, 2026

   • Update CaDiCaL to 3.0.0

     Show description for 8e1a9f5
     tautschnig

     committed
     8e1a9f5View commit details

     Copy full SHA for 8e1a9f5

     View code at this pointBrowse repository at this point

   • Update CaDiCaL from 2.0.0 to 2.2.0

     Show description for eb49f6e
     tautschnig

     committed
     eb49f6eView commit details

     Copy full SHA for eb49f6e

     View code at this pointBrowse repository at this point
9. Commits on Nov 3, 2025

   • Add --external-smt2-solver for custom solver path or custom options

     Show description for b8a2281
     tautschnig

     committed
     b8a2281View commit details

     Copy full SHA for b8a2281

     View code at this pointBrowse repository at this point
10. Commits on Apr 4, 2025

    • Fix filename completion in bash autocompletion

      Show description for 1e71b4d
      tautschnig

      committed
      1e71b4dView commit details

      Copy full SHA for 1e71b4d

      View code at this pointBrowse repository at this point
11. Commits on Jan 13, 2025

    • cpplint: ignore miniz files

      Show description for 96a8c7d
      tautschnig

      committed
      96a8c7dView commit details

      Copy full SHA for 96a8c7d

      View code at this pointBrowse repository at this point

    • Use Doxygen 1.9.8

      Show description for 6f07ade
      tautschnig

      committed
      6f07adeView commit details

      Copy full SHA for 6f07ade

      View code at this pointBrowse repository at this point
12. Commits on Jul 29, 2024

    • Compile CaDiCaL with -DNDEBUG

      Show description for c0fd50b
      tautschnig

      committed
      c0fd50bView commit details

      Copy full SHA for c0fd50b

      View code at this pointBrowse repository at this point
13. Commits on Jul 5, 2024

    • Add support for building with GCC 14

      Show description for 560a588
      tautschnig

      committed
      560a588View commit details

      Copy full SHA for 560a588

      View code at this pointBrowse repository at this point
14. Commits on Dec 18, 2023

    • Do not hardcode GCC/g++ in shell scripts

      Show description for ae96515
      tautschnig

      committed
      ae96515View commit details

      Copy full SHA for ae96515

      View code at this pointBrowse repository at this point

    • Use /usr/bin/env in shebang lines

      Show description for 46e39f7
      tautschnig

      committed
      46e39f7View commit details

      Copy full SHA for 46e39f7

      View code at this pointBrowse repository at this point
15. Commits on Dec 14, 2023

    • CSmith test script: avoid a need for argv modelling

      Show description for 5fa37a3
      tautschnig

      committed
      5fa37a3View commit details

      Copy full SHA for 5fa37a3

      View code at this pointBrowse repository at this point
16. Commits on Dec 13, 2023

    • Add negative default checks to ignore list of goto-instrument as well

      NlightNFotis

      committed
      9747f61View commit details

      Copy full SHA for 9747f61

      View code at this pointBrowse repository at this point

    • Don't expect goto-check negative checks for goto-diff manpage.

      NlightNFotis

      committed
      3ec5bfdView commit details

      Copy full SHA for 3ec5bfd

      View code at this pointBrowse repository at this point
17. Commits on Nov 6, 2023

    • Switch gnu make build to c++17

      Show description for dff50eb
      

      Enrico Steffinlongo

      committed
      dff50ebView commit details

      Copy full SHA for dff50eb

      View code at this pointBrowse repository at this point

    • Switch cmake build to c++17

      Show description for 9f2d209
      

      Enrico Steffinlongo

      committed
      9f2d209View commit details

      Copy full SHA for 9f2d209

      View code at this pointBrowse repository at this point
18. Commits on Sep 12, 2023

    • Update CaDiCaL from 1.5.3 to 1.7.2

      Show description for a0dcede
      tautschnig

      committed
      a0dcedeView commit details

      Copy full SHA for a0dcede

      View code at this pointBrowse repository at this point
19. Commits on Jun 6, 2023

    • Merge pull request #7753 from tautschnig/bugfixes/fix-typos

      Show description for e56c494
      kroening

      authored
      e56c494View commit details

      Copy full SHA for e56c494

      View code at this pointBrowse repository at this point

    • Fix comment and error message typos

      Show description for dea7dd4
      tautschnig

      committed
      dea7dd4View commit details

      Copy full SHA for dea7dd4

      View code at this pointBrowse repository at this point
20. Commits on May 29, 2023

    • Update CaDiCaL from 1.4.1 to 1.5.3

      Show description for f9cd820
      tautschnig

      committed
      f9cd820View commit details

      Copy full SHA for f9cd820

      View code at this pointBrowse repository at this point
21. Commits on Mar 24, 2023

    • Support all `objdump --syms` formats in `ls_parse.py`

      Show description for 4de3629
      harmim

      committed
      4de3629View commit details

      Copy full SHA for 4de3629

      View code at this pointBrowse repository at this point
22. Commits on Mar 8, 2023

    • Avoid deadlock in the `ls_parse.py` script

      Show description for 0eebd6d
      harmim

      committed
      0eebd6dView commit details

      Copy full SHA for 0eebd6d

      View code at this pointBrowse repository at this point
23. Commits on Feb 10, 2023

    • Include cadical in some CI workflows

      zhassan-aws

      committed
      b1fb769View commit details

      Copy full SHA for b1fb769

      View code at this pointBrowse repository at this point
24. Commits on Feb 7, 2023

    • Fix broken multiline reference

      Show description for 646101f
      thomasspriggs

      committed
      646101fView commit details

      Copy full SHA for 646101f

      View code at this pointBrowse repository at this point

    • Update page format used by doxygen to `a4`

      Show description for 7160edb
      thomasspriggs

      committed
      7160edbView commit details

      Copy full SHA for 7160edb

      View code at this pointBrowse repository at this point