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

Version history of dependencies/prettyplease/src/algorithm.rs

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

November 2025

Chris Hawblitzel (Microsoft)
Merge pull request #1964 from verus-lang/syn-merge2
committed
Chris Hawblitzel
Merge commit 'db5cb48b467470c735760beef75722a62d53090a' into syn-merge2
committed

January 2025

Chris Hawblitzel (Microsoft)
Merge pull request #1423 from verus-lang/syn-merge
committed
Chris Hawblitzel
Merge prettyplease
committed

August 2023

Jay Lorch
Merge pull request #773 from verus-lang/fix-warning
committed
Jay Lorch
Fix warning when building Verus
committed

August 2022

tjhance
Merge pull request #264 from secure-foundations/subtree-syn2
committed
nobody
Merge commit '9ddf388a2ce13015840b55131b3b3af337928b21' as 'dependencies/prettyplease'
committed