Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 10, 2025

• Fix pretty printer for termination measures (#831)

  Show description for 4833685
  jcp19

  authored
  4833685

  Copy full SHA for 4833685

Commits on Dec 30, 2024

• Test for Carbon issue #378 (#830)

  marcoeilers

  authored
  56e5d9a

  Copy full SHA for 56e5d9a

• Test for Carbon issue #391 (#829)

  marcoeilers

  authored
  6ddaa1b

  Copy full SHA for 6ddaa1b

Commits on Dec 28, 2024

• Adapting termination plugin to new function permission semantics (#824)

  marcoeilers

  authored
  92c0914

  Copy full SHA for 92c0914

Commits on Dec 22, 2024

• Updating sbt assembly version since the old one is no longer available (#825)

  marcoeilers

  authored
  b9f7272

  Copy full SHA for b9f7272

Commits on Dec 19, 2024

• Checking only read permissions when asserting function preconditions (#816)

  marcoeilers

  authored
  f96ac01

  Copy full SHA for f96ac01

Commits on Dec 6, 2024

• Merge pull request #822 from viperproject/meilers_fix_silicon_886

  Show description for f7c9468
  marcoeilers

  authored
  f7c9468

  Copy full SHA for f7c9468

• Added missing variable declaration for checking InEx-Expressions in function postconditions

  marcoeilers

  committed
  333014a

  Copy full SHA for 333014a

Commits on Dec 4, 2024

• Testcase for Silicon issue 883 (#821)

  mlimbeck

  authored
  3d95d76

  Copy full SHA for 3d95d76

Commits on Nov 13, 2024

• Merge pull request #814 from viperproject/meilers_asserting

  Show description for 08c001b
  marcoeilers

  authored
  08c001b

  Copy full SHA for 08c001b

• Merge branch 'master' into meilers_asserting

  marcoeilers

  committed
  5f5c022

  Copy full SHA for 5f5c022

• Merge pull request #818 from viperproject/meilers_fix_div_pretty

  Show description for 5611fcb
  marcoeilers

  authored
  5611fcb

  Copy full SHA for 5611fcb

Commits on Nov 12, 2024

• Make pretty printing of integer division unambiguous

  marcoeilers

  committed
  a35395b

  Copy full SHA for a35395b

Commits on Sep 27, 2024

• Adding tests

  marcoeilers

  committed
  f649c0b

  Copy full SHA for f649c0b

Commits on Sep 26, 2024

• asserting (a) in e

  marcoeilers

  committed
  a06efe0

  Copy full SHA for a06efe0

Commits on Sep 11, 2024

• Merge pull request #813 from viperproject/meilers_update_upload_artifact

  Show description for 10b1b26
  marcoeilers

  authored
  10b1b26

  Copy full SHA for 10b1b26

• Update upload artifact

  marcoeilers

  authored
  c82d8b1

  Copy full SHA for c82d8b1

Commits on Sep 6, 2024

• Merge pull request #811 from viperproject/meilers_release_notes_24_8

  Show description for 9694904
  viper-admin

  authored
  9694904

  Copy full SHA for 9694904

Commits on Sep 2, 2024

• Update ReleaseNotes.md

  marcoeilers

  authored
  45b0f64

  Copy full SHA for 45b0f64

• Merge pull request #810 from viperproject/keuscha/silicon-debugger

  Show description for 0410211
  marcoeilers

  authored
  0410211

  Copy full SHA for 0410211

Commits on Aug 30, 2024

• More simplification for permission expressions

  marcoeilers

  committed
  54cecc4

  Copy full SHA for 54cecc4

Commits on Aug 28, 2024

• Adapting to lazy val toString

  marcoeilers

  committed
  56d5860

  Copy full SHA for 56d5860

• Caching simplification results

  marcoeilers

  committed
  e0db674

  Copy full SHA for e0db674

• Cleanup and some comments

  marcoeilers

  committed
  6326764

  Copy full SHA for 6326764

Commits on Aug 27, 2024

• Moving Rational class to utility package

  marcoeilers

  committed
  a2b79ae

  Copy full SHA for a2b79ae

Commits on Aug 22, 2024

• Fixing type checking debug old, better simplification, adding min expression

  marcoeilers

  committed
  54bbafb

  Copy full SHA for 54bbafb

Commits on Aug 20, 2024

• Simplifier improvements, fixed name resolving in debugger context

  marcoeilers

  committed
  931c90a

  Copy full SHA for 931c90a

Commits on Aug 16, 2024

• Fixed signature

  marcoeilers

  committed
  d7db080

  Copy full SHA for d7db080

Commits on Jul 8, 2024

• Merge

  marcoeilers

  committed
  2f1c734

  Copy full SHA for 2f1c734

Commits on Jun 25, 2024

• Merge pull request #802 from viperproject/meilers_dont_count_requires_as_pre

  Show description for 93bc9b7
  marcoeilers

  authored
  93bc9b7

  Copy full SHA for 93bc9b7

• Merge branch 'master' into meilers_dont_count_requires_as_pre

  marcoeilers

  authored
  0769bf5

  Copy full SHA for 0769bf5

• Merge pull request #804 from viperproject/meilers_fix_803

  Show description for aa72715
  marcoeilers

  authored
  aa72715

  Copy full SHA for aa72715

Commits on Jun 17, 2024

• Merge branch 'master' into meilers_dont_count_requires_as_pre

  marcoeilers

  authored
  cfa048b

  Copy full SHA for cfa048b

• Merge branch 'master' into meilers_fix_803

  marcoeilers

  authored
  60b80c3

  Copy full SHA for 60b80c3

• Add tests for recent Silicon changes (#807)

  Show description for 4a80657
  marcoeilers

  authored
  4a80657

  Copy full SHA for 4a80657

Pagination

Previous

Next