verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/tools/docs.sh

October 2026

Máté Kovács
[vargo] feat: deprecate Vargo (#3105)
committed

August 2026

Máté Kovács
build: use Cargo instead of Vargo (#2686)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Travis Hance
add migrate_postconditions_with_mut_refs to vstd (#2144)
committed

December 2025

Chris Hawblitzel
Merge branch 'main' into dyn
committed
Chris Hawblitzel
Merge branch 'main' into seq-lemmas-triggers
committed
Baltasar Dinis
ci: refactor for maintainability and optimize for latency (#2024)
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

November 2025

Baltasar Dinis
docs: add CI to make sure that docs build without warnings (#2003)
committed

July 2025

Bryan Parno
Prepare Verus-related crates for posting to crates.io (#1815)
committed

October 2024

Travis Hance
verusdoc: show bodies for open spec functions
committed

March 2024

Travis Hance
update Rust to 1.74.0
committed
Travis Hance
use vargo for building verusdoc
committed

February 2024

Bryan Parno
Merge pull request #1004 from verus-lang/apply-verusfmt
committed
Bryan Parno
Enlighten our doc script about verusfmt, so that it accepts `#[verusfmt::skip]`
committed
Andrea Lattuada
rename pervasive -> vstd
committed

December 2023

Travis Hance
fix doc.sh script not generating ptr documentation
committed

November 2023

tjhance
Merge pull request #460 from verus-lang/new_varlength_ptr_lib
committed
Andrea Lattuada
avoid the allocator feature to keep vstd compiling on stable rust
committed

August 2023

Chris Hawblitzel (Microsoft)
Support building Verus-verified components with ordinary stable Rust (#733)
committed

June 2023

tjhance
Specify functionality for vec, option, result in vstd (#592)
committed

April 2023

Andrea Lattuada
Merge branch 'main_new'
committed
Andrea Lattuada
adapt the pages workflow to main_new so there's a chance it will work when we merge it into main
committed
tjhance
update verusdoc for main_new (#534)
committed

February 2023

Andrea Lattuada
update verusdoc to use register_tool for attributes
committed

January 2023

Travis Hance
add a note about how pervasive library works in its documentation
committed
tjhance
implement exec closures (#328)
committed

September 2022

Andrea Lattuada
Add verusdoc to GitHub pages workflow
committed

August 2022

Andrea Lattuada
Remove some unnecessary env variables and some brittleness from scripts and code that are os and arch dependent
committed

July 2022

Andrea Lattuada
Merge branch 'main' into z3-4.9.1
committed
Jay Bosamiya
Merge pull request #194 from secure-foundations/arm-mac-build
committed
Jay Bosamiya
Remove dependency of being thance :)
committed
Jay Bosamiya
Merge branch 'main' into arm-mac-build
committed
Travis Hance
update pretty printer version; fix doc gen
committed
Jay Bosamiya
Support running on arm64 machines, in addition to x86_64 machines
committed
tjhance
verusdoc (#190)
committed