Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 26, 2024

• Fix issue #1505 (#1511)

  Show description for 0d4a8d4
  fpoli

  authored
  0d4a8d4

  Copy full SHA for 0d4a8d4

Commits on Mar 6, 2024

• Disable MIR optimizations in tests (#1507)

  fpoli

  authored
  528f4c2

  Copy full SHA for 528f4c2

Commits on Mar 1, 2024

• Fix signed discriminant in pure code (#1502)

  fpoli

  authored
  daf0e86

  Copy full SHA for daf0e86

• Optimize encoding of mir::BinOp::Rem for unsigned integers (#1503)

  fpoli

  authored
  45405dc

  Copy full SHA for 45405dc

Commits on Feb 29, 2024

• Update README

  fpoli

  authored
  4f154f8

  Copy full SHA for 4f154f8

• Fix zip on windows

  fpoli

  authored
  74a84da

  Copy full SHA for 74a84da

• Clean up the coverage workflow

  fpoli

  authored
  02af397

  Copy full SHA for 02af397

• Create missing directory

  fpoli

  authored
  0132f92

  Copy full SHA for 0132f92

• Fix disk usage of the coverage workflow

  fpoli

  authored
  f1d3ac1

  Copy full SHA for f1d3ac1

• Debug coverage workflow

  fpoli

  authored
  abd7afc

  Copy full SHA for abd7afc

• Fix names of macOS runners

  fpoli

  authored
  70bc148

  Copy full SHA for 70bc148

• Debug coverage workflow

  fpoli

  authored
  1a3d32c

  Copy full SHA for 1a3d32c

• Deploy for macOS arm64 and preserve file attributes (#1499)

  fpoli

  authored
  df9b3ac

  Copy full SHA for df9b3ac

• Reduce disk usage when collecting coverage

  fpoli

  authored
  96b841c

  Copy full SHA for 96b841c

Commits on Feb 28, 2024

• Make ignore_deps_contracts a "category B" flag (#1498)

  fpoli

  authored
  2d14265

  Copy full SHA for 2d14265

Commits on Feb 26, 2024

• Merge pull request #1496 from nshyrei/ignore_deps_contracts

  Show description for f94b7fa
  fpoli

  authored
  f94b7fa

  Copy full SHA for f94b7fa

• Document ignore_deps_contracts flag

  fpoli

  authored
  e7119ca

  Copy full SHA for e7119ca

• Fix formatting

  fpoli

  authored
  db83b27

  Copy full SHA for db83b27

Commits on Feb 25, 2024

• Added ignore_deps_contracts flag

  nshyrei

  committed
  eabd2f5

  Copy full SHA for eabd2f5

Commits on Feb 14, 2024

• Fix doc (#1492)

  Show description for 2a4f04c
  pixelshot91

  authored
  2a4f04c

  Copy full SHA for 2a4f04c

Commits on Feb 12, 2024

• Update readme (#1494)

  fpoli

  authored
  c1a5b12

  Copy full SHA for c1a5b12

Commits on Feb 1, 2024

• Update Viper to v-2024-02-01-0836 (#1491)

  fpoli

  authored
  e632f70

  Copy full SHA for e632f70

Commits on Jan 11, 2024

• Remove redundant invariant (#1487)

  fpoli

  authored
  2ade23b

  Copy full SHA for 2ade23b

Commits on Jan 9, 2024

• Merge pull request #1486 from viperproject/fpoli-patch-3

  Show description for 216e5db
  fpoli

  authored
  216e5db

  Copy full SHA for 216e5db

• Strengthen the postcondition of bisect

  fpoli

  authored
  3c351e3

  Copy full SHA for 3c351e3

Commits on Jan 8, 2024

• Merge pull request #1485 from viperproject/fix-normalization

  Show description for cd736cc
  fpoli

  authored
  cd736cc

  Copy full SHA for cd736cc

Commits on Jan 3, 2024

• Fix normalization of ids in package statements

  fpoli

  committed
  cf4ed1a

  Copy full SHA for cf4ed1a

Commits on Dec 20, 2023

• Raise an error if old() expressions are used in local vars outside of loops (#1482)

  Show description for 260594b
  zgrannan

  authored
  260594b

  Copy full SHA for 260594b

Commits on Dec 8, 2023

• Disable more complete exhale.

  vakaras

  committed
  8e372e2

  Copy full SHA for 8e372e2

• Verify Binary Search Rosetta Generic that if no element found, it does not exist.

  vakaras

  committed
  f31c223

  Copy full SHA for f31c223

• Verify Binary Search Rosetta Generic that the found element is correct.

  vakaras

  committed
  a7b5d8d

  Copy full SHA for a7b5d8d

• Move Binary Search examples to the right folder.

  vakaras

  committed
  8437a12

  Copy full SHA for 8437a12

• Add Binary Search Rosetta examples with fixed termination bugs.

  vakaras

  committed
  c99adf1

  Copy full SHA for c99adf1

• Update the original Binary Search Rosetta examples to use new syntax.

  vakaras

  committed
  2ac9ea1

  Copy full SHA for 2ac9ea1

• Add original Binary Search Rosetta examples from the artefact.

  vakaras

  committed
  182ca6c

  Copy full SHA for 182ca6c