Merge pull request viperproject#588 from viperproject/remove-quotes

Remove quotes around Z3 arguments

Weakened a sequence axiom trigger to resolve viperproject#601

February 2022 release

February 2022 release candidate

Merge viperproject#598

598: Check injectivity inhale r=tdardinier a=tdardinier

Injectivity is now checked instead of assumed when inhaling quantified permissions.

Co-authored-by: Thibault <[email protected]>

July 2021 release

Release candidate July 2021

Release January 2021

Release candidate version for January 2021

Viper release version 20.07, built on July 29th, 2020.