added Ranger repo#395

Open

urikirsh wants to merge 37 commits into

uri/add_ranger_docs

Commits on May 12, 2025

added Ranger repo
urikirsh
committed
added an md besides the index page
urikirsh
committed
added Ranger to top level toc tree
urikirsh
committed
adding all files under ranger docs
urikirsh
committed
forgot to add content
urikirsh
committed

Commits on May 13, 2025

base text for Ranger
urikirsh
committed
first round of upgrades
urikirsh
committed
trying ref and term tags
urikirsh
committed
improving links
urikirsh
committed
text improvements on intro
urikirsh
committed
fixing link to CVL
urikirsh
committed
first version of Ranger user guide
urikirsh
committed
fixing titles
urikirsh
committed
minor improvements to Ranger getting started
urikirsh
committed
shorter title for Ranger index page
urikirsh
committed

Commits on May 15, 2025

Merge remote-tracking branch 'origin/master' into uri/add_ranger_docs
urikirsh
committed

Commits on May 18, 2025

ranger now also checks rules
urikirsh
committed
Merge remote-tracking branch 'origin/master' into uri/add_ranger_docs
urikirsh
committed
added note about using either --rule or --split_rules
urikirsh
committed
{warn} -> {warning}
urikirsh
committed
Yoav/cert 8890 ranger cli docs (#397)

authored
Merge remote-tracking branch 'origin/master' into uri/add_ranger_docs
urikirsh
committed
trying a new markdown comment style
urikirsh
committed
trying a different style of comment
urikirsh
committed
trying one big multi-line comment
urikirsh
committed
spelling
urikirsh
committed
fixing title sizes under ranger_linet.md
urikirsh
committed
removing code tags from title
urikirsh
committed
certora-cli instead of certora Python package
urikirsh
committed

Commits on May 19, 2025

Johannes' CR part 1
urikirsh
committed
isn't -> is not
urikirsh
committed
removing mentions of requuiring invariants
urikirsh
committed
removing ranger failure limit
urikirsh
committed

Commits on May 27, 2025

added note for no Ranger support for multi_example to test how it looks
urikirsh
committed
added notes on all flags Ranger doesn't support
urikirsh
committed

Commits on Jun 8, 2025

Merge remote-tracking branch 'origin/master' into uri/add_ranger_docs
urikirsh
committed

Commits on Aug 11, 2025

merge from master after v8 changes
urikirsh
committed