Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Oct 24, 2023

• Fix comment

  fpoli

  authored
  599e078

  Copy full SHA for 599e078

• Format code

  fpoli

  committed
  f2f3ed2

  Copy full SHA for f2f3ed2

• Fix purification of exhale

  fpoli

  committed
  78d6047

  Copy full SHA for 78d6047

Commits on Aug 2, 2023

• Update dependencies (rustc nightly-2023-07-15, viper v-2023-07-05-0730)

  

  fpoli

  authored and

  Aurel300

  committed
  5252cca

  Copy full SHA for 5252cca

Commits on Jul 20, 2023

• Do update steps

  

  JonasAlaif

  authored and

  vakaras

  committed
  d6d910a

  Copy full SHA for d6d910a

Commits on Jun 30, 2023

• Use position IDs as Viper line numbers (#1418)

  Show description for 2c2145c
  fpoli

  authored
  2c2145c

  Copy full SHA for 2c2145c

Commits on May 23, 2023

• Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448)

  

  Aurel300

  authored and

  vakaras

  committed
  cd17b7f

  Copy full SHA for cd17b7f

Commits on Apr 3, 2023

• Add prusti_refute! macro (#1365)

  Show description for c1d3447
  

  3 peopleauthored
  c1d3447

  Copy full SHA for c1d3447

Commits on Mar 30, 2023

• Fix optimization (#1380)

  fpoli

  authored
  add483f

  Copy full SHA for add483f

Commits on Mar 6, 2023

• Enable tracing support (#1328)

  Show description for 2cadbf4
  JonasAlaif

  authored
  2cadbf4

  Copy full SHA for 2cadbf4

Commits on Feb 6, 2023

• Completion of issue 711 and general code improvements (#1314)

  Show description for 7c3bfa0
  

  Patrick-6

  and

  Aurel300

  authored
  7c3bfa0

  Copy full SHA for 7c3bfa0

Commits on Jan 17, 2023

• Update dependencies (rustc nightly-2023-01-15, viper v-2023-01-06-1708)

  

  fpoli

  authored and

  vakaras

  committed
  f6850c5

  Copy full SHA for f6850c5

Commits on Jan 15, 2023

• Update dependencies (rustc nightly-2023-01-01, viper v4.0.1)

  

  fpoli

  authored and

  vakaras

  committed
  62eadc5

  Copy full SHA for 62eadc5

Commits on Dec 14, 2022

• Add syntax for locals in vir_expr!

  fpoli

  committed
  c5ef5fc

  Copy full SHA for c5ef5fc

• Fix encoding of triggers

  fpoli

  committed
  5368011

  Copy full SHA for 5368011

• Add optional comment to domain axioms

  fpoli

  committed
  e5aec50

  Copy full SHA for e5aec50

• Add macro to return encoding errors

  fpoli

  committed
  caf6fee

  Copy full SHA for caf6fee

• Add empty line between the Viper encoding of CFG blocks

  fpoli

  committed
  39e8595

  Copy full SHA for 39e8595

Commits on Dec 2, 2022

• Fix Format

  Patrick-6

  committed
  2789fda

  Copy full SHA for 2789fda

• Fix formating error

  Patrick-6

  committed
  886dae1

  Copy full SHA for 886dae1

Commits on Dec 1, 2022

• Removed unnecessary clones

  Patrick-6

  committed
  4a75159

  Copy full SHA for 4a75159

• Change std::collections::{HashMap, HashSet} to fxhash::{FxHashMap, FxHashSet}

  Show description for 3b0810b
  Patrick-6

  committed
  3b0810b

  Copy full SHA for 3b0810b

Commits on Nov 16, 2022

• Add pre/postconditions to BodylessMethod

  fpoli

  committed
  553816b

  Copy full SHA for 553816b

Commits on Nov 1, 2022

• Update

  JonasAlaif

  committed
  bd7bc7a

  Copy full SHA for bd7bc7a

Commits on Oct 24, 2022

• Add bump_mem_version builtin and Type::Ref to VIR

  fpoli

  committed
  260c4b0

  Copy full SHA for 260c4b0

Commits on Oct 17, 2022

• Fix clippy warnings

  fpoli

  committed
  24c7148

  Copy full SHA for 24c7148

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 Sep 30, 2022

• Bump version and update authors

  JonasAlaif

  committed
  ff30fa1

  Copy full SHA for ff30fa1

Commits on Sep 26, 2022

• Lift requirement of having the `prusti` feature enabled (#1146)

  Show description for 0efcb86
  JonasAlaif

  authored
  0efcb86

  Copy full SHA for 0efcb86

Commits on Sep 19, 2022

• More clippy fixes

  JonasAlaif

  committed
  eddd5a6

  Copy full SHA for eddd5a6

• Remove prusti-utils crate

  JonasAlaif

  committed
  201f666

  Copy full SHA for 201f666

Commits on Sep 9, 2022

• Continue refactoring.

  vakaras

  committed
  f06e44a

  Copy full SHA for f06e44a

Commits on Sep 6, 2022

• Merge #1061

  Show description for c04be4d
  

  bors[bot]

  and

  mlimbeck

  authored
  c04be4d

  Copy full SHA for c04be4d

Commits on Sep 1, 2022

• Merge #1045

  Show description for 3884929
  

  3 peopleauthored
  3884929

  Copy full SHA for 3884929

Commits on Aug 31, 2022

• Cleanup.

  vakaras

  committed
  a6f7bd4

  Copy full SHA for a6f7bd4