Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 21, 2026

• Adding a README about Velvet moving to the new repo

  ilyasergey

  committed
  78928ab

  Copy full SHA for 78928ab

Commits on Feb 13, 2026

• Remove velvet (#43)

  Show description for d103408
  

  3 peopleauthored
  d103408

  Copy full SHA for d103408

Commits on Dec 1, 2025

• Automating `Decidable` Instance Synthesis (#36)

  Show description for 2c7dbe7
  

  zqy1018

  and

  dipeshkaphle

  authored
  2c7dbe7

  Copy full SHA for 2c7dbe7

Commits on Nov 27, 2025

• feat: adding asynchronous execution of solver tactics for generated VCs (#33)

  Show description for 210c056
  volodeyka

  authored
  210c056

  Copy full SHA for 210c056

Commits on Nov 24, 2025

• Merge pull request #34 from verse-lab/update-docs

  Show description for 7d3dbab
  volodeyka

  authored
  7d3dbab

  Copy full SHA for 7d3dbab

Commits on Nov 22, 2025

• remove comments

  volodeyka

  committed
  4c68d3c

  Copy full SHA for 4c68d3c

• add a test case to ensure `prove_correct` does not panic

  volodeyka

  committed
  3c50b1e

  Copy full SHA for 3c50b1e

• refactor: This commit refactors how is the default Velvet solver is controlled

  Show description for be5d5b7
  volodeyka

  committed
  be5d5b7

  Copy full SHA for be5d5b7

• feat: add Velvet CI (#30)

  F47-503

  authored
  f322367

  Copy full SHA for f322367

Commits on Nov 21, 2025

• feat: auto-install z3 and cvc5 (use them via `loom_smt` tactic) (#28)

  Show description for 8d1f612
  

  dranov

  and

  volodeyka

  authored
  8d1f612

  Copy full SHA for 8d1f612

Commits on Nov 19, 2025

• Add Example from VeHa competition (#26)

  volodeyka

  authored
  0ce3364

  Copy full SHA for 0ce3364

Commits on Nov 17, 2025

• add `prove_correct?` command (#25)

  volodeyka

  authored
  e0f37f6

  Copy full SHA for e0f37f6

• add proper naming for :| (#24)

  volodeyka

  authored
  9bb122f

  Copy full SHA for 9bb122f

Commits on Nov 16, 2025

• Better errors/warning messages for Loom (#23)

  Show description for c9881ea
  volodeyka

  authored
  c9881ea

  Copy full SHA for c9881ea

Commits on Nov 11, 2025

• Add unified options for Velvet (#21)

  Show description for 3d12676
  volodeyka

  authored
  3d12676

  Copy full SHA for 3d12676

Commits on Nov 3, 2025

• Refactoring Velvet macros (#20)

  Show description for 2372de9
  

  3 peopleauthored
  2372de9

  Copy full SHA for 2372de9

Commits on Nov 2, 2025

• Merge pull request #18 from verse-lab/new_extraction

  Show description for 51dcb70
  zqy1018

  authored
  51dcb70

  Copy full SHA for 51dcb70

Commits on Nov 1, 2025

• fix spelling of determinism

  volodeyka

  committed
  8d4124a

  Copy full SHA for 8d4124a

• rework_extraction

  volodeyka

  committed
  e32fcd6

  Copy full SHA for e32fcd6

• wip

  volodeyka

  committed
  3b8d554

  Copy full SHA for 3b8d554

• wip

  volodeyka

  committed
  10dec02

  Copy full SHA for 10dec02

• Make `grind` to be default automation (#16)

  Show description for 4dc0170
  

  volodeyka

  and

  ilyasergey

  authored
  4dc0170

  Copy full SHA for 4dc0170

Commits on Oct 7, 2025

• Merge pull request #13 from verse-lab/velvet-examples-upgrade

  Show description for 852b901
  zqy1018

  authored
  852b901

  Copy full SHA for 852b901

• fix: noncomputable issue for loops

  F47-503

  committed
  b5ee60a

  Copy full SHA for b5ee60a

• add velvet_documentation info to README

  F47-503

  committed
  0866eb3

  Copy full SHA for 0866eb3

• fix: add support for loops without invariants

  F47-503

  committed
  ba053fd

  Copy full SHA for ba053fd

• Velvet: update documentation

  F47-503

  committed
  b2f538b

  Copy full SHA for b2f538b

• fix decreasing_by in TestMatch example

  F47-503

  committed
  1303e87

  Copy full SHA for 1303e87

• Update docs for termination by

  dipeshkaphle

  committed
  f504e3f

  Copy full SHA for f504e3f

• remove unncessary stuff for public release

  dipeshkaphle

  committed
  cdfd7a0

  Copy full SHA for cdfd7a0

• add comments

  F47-503

  committed
  88692d1

  Copy full SHA for 88692d1

Commits on Oct 2, 2025

• WPGen tactic fix

  F47-503

  committed
  21609b3

  Copy full SHA for 21609b3

• fix build

  F47-503

  committed
  20203b2

  Copy full SHA for 20203b2

• fix: fix Cashmere build

  F47-503

  committed
  9371e28

  Copy full SHA for 9371e28

• fix: fix incrementality

  F47-503

  committed
  6c307f3

  Copy full SHA for 6c307f3