Commits

Branch selector

 master

User selector

zgrannan

All time

Commit History

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 7, 2023

• Raise an error when postconditions of pure functions contain old() expressions (#1474)

  Show description for 202ca0e
  zgrannan

  authored
  202ca0e

  Copy full SHA for 202ca0e

• Updated snapshot injectivity axiom. (#1475)

  Show description for 26c999b
  zgrannan

  authored
  26c999b

  Copy full SHA for 26c999b

Commits on Dec 6, 2023

• Fix `get_target_dir` and build.py to make packaging work properly with new prusti_contracts dir (#1479)

  Show description for 01539d2
  zgrannan

  authored
  01539d2

  Copy full SHA for 01539d2

Commits on Dec 5, 2023

• Fix windows CI builds (#1476)

  Show description for a59d989
  zgrannan

  authored
  a59d989

  Copy full SHA for a59d989

Commits on Dec 21, 2022

• document snapshot equality (#1137)

  zgrannan

  authored
  a4ac54b

  Copy full SHA for a4ac54b

Commits on Oct 5, 2022

• Quantifier optimization fix for conditionals (#1153)

  Show description for 8c26cca
  zgrannan

  authored
  8c26cca

  Copy full SHA for 8c26cca

Commits on Aug 25, 2022

• Document prusti_assert and prusti_assume (#1136)

  Show description for 85e88ac
  

  zgrannan

  and

  Aurel300

  authored
  85e88ac

  Copy full SHA for 85e88ac

Commits on Aug 24, 2022

• increase # of cargo retries

  zgrannan

  committed
  51f8c27

  Copy full SHA for 51f8c27

• add quantifier test

  zgrannan

  committed
  8ced783

  Copy full SHA for 8ced783

• Fix a bug

  zgrannan

  committed
  19878cb

  Copy full SHA for 19878cb

Commits on Aug 23, 2022

• Assume -> Inhale

  zgrannan

  committed
  83d2811

  Copy full SHA for 83d2811

• WIP

  zgrannan

  committed
  90f134b

  Copy full SHA for 90f134b

• Minor..

  zgrannan

  committed
  c8663a6

  Copy full SHA for c8663a6

• Fix a bug

  zgrannan

  committed
  6b05ecc

  Copy full SHA for 6b05ecc

• WIP

  zgrannan

  committed
  cb14d12

  Copy full SHA for cb14d12

• WIP

  zgrannan

  committed
  87eb5b3

  Copy full SHA for 87eb5b3

Commits on Aug 22, 2022

• Support assume statements

  zgrannan

  committed
  a21bb01

  Copy full SHA for a21bb01

• Start of backporting

  zgrannan

  committed
  82ecc21

  Copy full SHA for 82ecc21

Commits on Aug 6, 2022

• WIP

  zgrannan

  committed
  31a5a66

  Copy full SHA for 31a5a66

• Optimize encoding of enumeration body

  zgrannan

  committed
  e6114d0

  Copy full SHA for e6114d0

Commits on Aug 5, 2022

• Add a comment

  zgrannan

  committed
  3d08cef

  Copy full SHA for 3d08cef

• bump

  zgrannan

  committed
  230c480

  Copy full SHA for 230c480

Commits on Aug 4, 2022

• Possible fix for quantified reference

  zgrannan

  committed
  2600020

  Copy full SHA for 2600020

Commits on Aug 3, 2022

• Erase regions for type invariants

  zgrannan

  committed
  70cf2aa

  Copy full SHA for 70cf2aa

Commits on Jul 28, 2022

• Merge remote-tracking branch 'origin/master' into fix-trait-selection-bug

  zgrannan

  committed
  e7259e7

  Copy full SHA for e7259e7

• Make derive clone test more interesting, remove unnecessary ignore-test

  zgrannan

  committed
  0901f30

  Copy full SHA for 0901f30

• WIP

  zgrannan

  committed
  e216573

  Copy full SHA for e216573

Commits on Jul 27, 2022

• Fix test

  zgrannan

  committed
  97a7462

  Copy full SHA for 97a7462

• formatting

  zgrannan

  committed
  2736c02

  Copy full SHA for 2736c02

• Add test

  zgrannan

  committed
  298df92

  Copy full SHA for 298df92

• Change trait selection

  zgrannan

  committed
  878d12e

  Copy full SHA for 878d12e

• Comment and clippy

  zgrannan

  committed
  00dd064

  Copy full SHA for 00dd064

• Automatically apply third elision rule

  zgrannan

  committed
  b7f910a

  Copy full SHA for b7f910a

• Fix lifetime handling for self

  zgrannan

  committed
  bbed768

  Copy full SHA for bbed768