Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 9, 2026

• Adding error reason for timeouts

  marcoeilers

  committed
  d503c97

  Copy full SHA for d503c97

Commits on Apr 4, 2026

• Merge pull request #812 from trktby/report_cfg_times

  Aurel300

  authored
  6435601

  Copy full SHA for 6435601

• Add BlockReachedMessage and BlockProcessedMessage

  Show description for a3488be
  

  trktby

  authored and

  Aurel300

  committed
  a3488be

  Copy full SHA for a3488be

Commits on Mar 1, 2026

• Bump actions/upload-artifact from 6 to 7 in the all group (#906)

  Show description for 28c06ee
  dependabot[bot]

  authored
  28c06ee

  Copy full SHA for 28c06ee

Commits on Feb 19, 2026

• Added release notes for release 2026.2

  marcoeilers

  authored
  e9c1036

  Copy full SHA for e9c1036

• Issue 903 (#904)

  Show description for 54070da
  ArquintL

  authored
  54070da

  Copy full SHA for 54070da

Commits on Feb 4, 2026

• Bump the all group across 1 directory with 2 updates (#893)

  Show description for ac67f4f
  dependabot[bot]

  authored
  ac67f4f

  Copy full SHA for ac67f4f

Commits on Jan 23, 2026

• adds a hook to print the SIF-encoded AST (#900)

  ArquintL

  authored
  c82b28d

  Copy full SHA for c82b28d

Commits on Dec 23, 2025

• Update scala version (2.13.18) (#899)

  jcp19

  authored
  80e4de2

  Copy full SHA for 80e4de2

Commits on Nov 26, 2025

• Test for Silicon issue #950 (#898)

  marcoeilers

  authored
  e61ca81

  Copy full SHA for e61ca81

Commits on Nov 18, 2025

• Add Chopper convenience method that just selects a set of names to create a single program (#897)

  marcoeilers

  authored
  900287f

  Copy full SHA for 900287f

Commits on Nov 6, 2025

• Avoiding Viper functions in hashsets and as keys in hashmaps (#867)

  marcoeilers

  authored
  ce12a0a

  Copy full SHA for ce12a0a

Commits on Nov 5, 2025

• Restricting recursiveCallsAndSurroundingUnfoldings to look for recursive calls only (#896)

  marcoeilers

  authored
  546e53f

  Copy full SHA for 546e53f

Commits on Oct 23, 2025

• Track dependencies to interpreted domain functions (#892)

  marcoeilers

  authored
  4f84273

  Copy full SHA for 4f84273

• added ability to use resource URL for Path (#891)

  carofcons

  authored
  e6902bc

  Copy full SHA for e6902bc

Commits on Oct 10, 2025

• Recursively traverse let expressions when inferring triggers, not just once (#890)

  Show description for 45204c9
  marcoeilers

  authored
  45204c9

  Copy full SHA for 45204c9

Commits on Sep 23, 2025

• Making chopper available via command line (#886)

  Show description for ffd042d
  

  marcoeilers

  and

  jcp19

  authored
  ffd042d

  Copy full SHA for ffd042d

Commits on Sep 19, 2025

• Benchmarking messages (#888)

  Show description for 277c25f
  Dspil

  authored
  277c25f

  Copy full SHA for 277c25f

Commits on Sep 18, 2025

• Add command line option to report partial results via StdIOReporter (#887)

  marcoeilers

  authored
  0fdacfb

  Copy full SHA for 0fdacfb

Commits on Sep 10, 2025

• Added proper description for changes in Viper IDE and ViperServer

  marcoeilers

  authored
  91843f7

  Copy full SHA for 91843f7

Commits on Sep 4, 2025

• Update ReleaseNotes with Viper-IDE enhancements

  Show description for aa3c4a9
  marcoeilers

  authored
  aa3c4a9

  Copy full SHA for aa3c4a9

Commits on Sep 3, 2025

• Add release notes for version 2025.8 (#885)

  marcoeilers

  authored
  ca4ee59

  Copy full SHA for ca4ee59

• Adding utility method on ResourceAccesses (#884)

  Show description for 1ad2802
  marcoeilers

  authored
  1ad2802

  Copy full SHA for 1ad2802

Commits on Aug 27, 2025

• Added SIF plugin, did some more cleanup, and added test files (#881)

  marcoeilers

  authored
  6f15981

  Copy full SHA for 6f15981

Commits on Jul 9, 2025

• Tests for fixed Silicon issue #856 (#880)

  marcoeilers

  authored
  b09d079

  Copy full SHA for b09d079

Commits on Jul 3, 2025

• Optimizing generated termination checks to omit unfolds and condition evaluations where they are not needed (#879)

  marcoeilers

  authored
  48acd1b

  Copy full SHA for 48acd1b

Commits on Jun 30, 2025

• Disable one unstable test case for Carbon (#870)

  Dev-XYS

  authored
  0715b81

  Copy full SHA for 0715b81

Commits on Jun 26, 2025

• Delete old comment (#878)

  JonasAlaif

  authored
  fc1a26a

  Copy full SHA for fc1a26a

• Do not add extra newline at end of file (#877)

  JonasAlaif

  authored
  4b5f2f2

  Copy full SHA for 4b5f2f2

Commits on Jun 24, 2025

• Fixing issue #875 (#876)

  marcoeilers

  authored
  836ccf1

  Copy full SHA for 836ccf1

• Renamed proverArgs annotation and added test for functions (#874)

  marcoeilers

  authored
  b5701ec

  Copy full SHA for b5701ec

• Fixed crash in type checker (#817) (#873)

  marcoeilers

  authored
  faaebee

  Copy full SHA for faaebee

Commits on Jun 13, 2025

• Adding tests Silicon issues 715 and 926

  marcoeilers

  authored
  4093acc

  Copy full SHA for 4093acc

Commits on May 20, 2025

• Tests for Silicon issues 923 and 903 for QPs (#869)

  marcoeilers

  authored
  63c30b1

  Copy full SHA for 63c30b1

• Adding test for Silicon issue #919 (#868)

  marcoeilers

  authored
  6c65310

  Copy full SHA for 6c65310