Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
stdpp
Repository
3ac5cc065138fa6293ed348668b08c13f36d221a
Switch branch/tag
stdpp
theories
base.v
Find file
Blame
History
Permalink
Add shallow embedded assertion language.
· 3ac5cc06
Robbert Krebbers
authored
Feb 13, 2015
Ported from popl2014 branch.
3ac5cc06
