Skip to main content

Browse the archive

Revision 5a215c5c459c8e08f6879e1e0fb0ac3445d4e537 authored by Chris Hawblitzel (Microsoft) on 12 June 2019, 01:24:53 UTC, committed by GitHub on 12 June 2019, 01:24:53 UTC 
Merge pull request #164 from project-everest/jay-trivalue-flags
 
To havoc or not to havoc, that is the question. Use [option bool], that is the answer.
2 parent s 06e0fc8 + 9c5b7cb
Raw File
.gitattributes 
*.fst eol=lf
*.fsti eol=lf
*.hints eol=lf -diff linguist-generated
Makefile eol=lf
Makefile.* eol=lf
*.sh text eol=lf
back to top