Commits

Branch selector

 dev

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 10, 2026

• removed the script exit again, seems to cause regression test fails

  MaxBarth95

  committed
  9847fad

  Copy full SHA for 9847fad

Commits on Jan 4, 2026

• without exiting the script here, many instances stay alive

  MaxBarth95

  committed
  c09c100

  Copy full SHA for c09c100

• added support for SequentialComposition Edges

  MaxBarth95

  committed
  0e1f5c4

  Copy full SHA for 0e1f5c4

• copy the program cache, necessary because reporting the same counterexamples from different thread leads to dfferent path programs hashes

  MaxBarth95

  committed
  eedd711

  Copy full SHA for eedd711

• removed thread save map / list from pathprogram cache instead do a copy of the cache

  MaxBarth95

  committed
  d925776

  Copy full SHA for d925776

• added origin script to backtranslation via icdg builder not only via rcfg

  MaxBarth95

  committed
  bca286c

  Copy full SHA for bca286c

Commits on Jan 3, 2026

• website: fix missing word

  maul-esel

  committed
  fe8307d

  Copy full SHA for fe8307d

Commits on Dec 28, 2025

• forgot to remove a comment

  MaxBarth95

  committed
  d36a0da

  Copy full SHA for d36a0da

Commits on Dec 27, 2025

• Merge pull request #729 from ultimate-pa/merge/mb/parallel-trace-abstraction

  Show description for 1e7b4c9
  MaxBarth95

  authored
  1e7b4c9

  Copy full SHA for 1e7b4c9

• changed comment

  MaxBarth95

  committed
  3a9ab57

  Copy full SHA for 3a9ab57

Commits on Dec 17, 2025

• Boogie2ACSL: add backtranslation for if-then-else

  Show description for b10855b
  maul-esel

  committed
  b10855b

  Copy full SHA for b10855b

• Boogie2ACSL: replace "isNegated" with "permissible approximation"

  Show description for 34a80fb
  maul-esel

  committed
  34a80fb

  Copy full SHA for 34a80fb

• Boogie2ACSL: exhaustive switch & safe casts

  maul-esel

  committed
  d86283d

  Copy full SHA for d86283d

• ACSLPrettyPrinter: omit parentheses when allowed by operator precedence (#765)

  Show description for f5376ba
  maul-esel

  authored
  f5376ba

  Copy full SHA for f5376ba

Commits on Dec 16, 2025

• C translation: Handle incomplete arrays properly (#764)

  Show description for 8baee8b
  schuessf

  authored
  8baee8b

  Copy full SHA for 8baee8b

• Merge remote-tracking branch 'origin/dev' into merge/mb/parallel-trace-abstraction

  MaxBarth95

  committed
  f1048a7

  Copy full SHA for f1048a7

Commits on Dec 15, 2025

• website: update main developers to match github README

  maul-esel

  committed
  711d55f

  Copy full SHA for 711d55f

• website: make sure awards on tool pages are up-to-date (by generating them)

  maul-esel

  committed
  74d34e1

  Copy full SHA for 74d34e1

Commits on Dec 14, 2025

• fix build

  MaxBarth95

  committed
  5bcef40

  Copy full SHA for 5bcef40

• final points of MR adressed

  MaxBarth95

  committed
  ddbbe2f

  Copy full SHA for ddbbe2f

Commits on Dec 7, 2025

• website: update JS dependencies

  maul-esel

  committed
  5fbc793

  Copy full SHA for 5fbc793

• website: update ruby dependencies

  maul-esel

  committed
  7086827

  Copy full SHA for 7086827

Commits on Nov 28, 2025

• Bugfix: Actually use IcfgBuilder in BuchiAutomizerCInline_IcfgBuilder.xml toolchain

  schuessf

  committed
  35a8436

  Copy full SHA for 35a8436

Commits on Nov 27, 2025

• Merge remote-tracking branch 'origin/dev' into merge/mb/parallel-trace-abstraction

  MaxBarth95

  committed
  6002241

  Copy full SHA for 6002241

• Bugfix: Ignore more loops artificially created in C translation

  schuessf

  committed
  00d4337

  Copy full SHA for 00d4337

• Bugfix: Use ignore location for modelling scanf

  Show description for eff63cd
  schuessf

  committed
  eff63cd

  Copy full SHA for eff63cd

Commits on Nov 26, 2025

• Disable Memory Slicer for 1D memory model

  Show description for b61bd4b
  schuessf

  committed
  b61bd4b

  Copy full SHA for b61bd4b

• Don't merge locations for break

  Show description for 5ece738
  schuessf

  committed
  5ece738

  Copy full SHA for 5ece738

• Fallback to GraphML witnesses for memsafety

  schuessf

  committed
  5d3195f

  Copy full SHA for 5d3195f

• Revert "Throw exception in witness validation for column matching on conditionals"

  Show description for 1104759
  schuessf

  committed
  1104759

  Copy full SHA for 1104759

Commits on Nov 24, 2025

• Update Ultimate version to 0.3.1

  schuessf

  committed
  1c74b3c

  Copy full SHA for 1c74b3c

• Use 2D memory model for data races in Automizer and Taipan

  schuessf

  committed
  2c3447e

  Copy full SHA for 2c3447e

• use first run in time range to determine log files, remove duplicate timestamps from zulip state

  danieldietsch

  committed
  fb05458

  Copy full SHA for fb05458

• automatically notify mattermost when there are new results

  danieldietsch

  committed
  8ae0911

  Copy full SHA for 8ae0911

Commits on Nov 23, 2025

• Revert 035de5c

  schuessf

  committed
  f0c144f

  Copy full SHA for f0c144f

Pagination

Previous

Next