+
    Ž°³j   ã                   óz   € R t ^ RIHtHtHt ^ RIHtHtHtH	t	H
t
HtHtHt RR.t ! R R]4      t ! R R]4      tR# )zá
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Lexer for Intermediate Verification Languages (IVLs).

:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)Ú
RegexLexerÚincludeÚwords)ÚCommentÚOperatorÚKeywordÚNameÚNumberÚPunctuationÚTextÚGenericÚBoogieLexerÚSilverLexerc                   óÎ  € ] tR t^tRtRtRtR.tR.tRt	RR]
3R	]
3R
]
3R]P                  3R]P                  3R]P                  R3]! RRR7      ]3]! RRR7      ]P"                  3]! R RR7      ]P$                  3]! R4      R]3R]P,                  3R]3R]3.RR]P                  3R]P                  R3R]P                  R3R]P                  3.RR]P4                  3./tRtR# )!r   z
For Boogie source code.
ÚBoogiezIhttps://github.com/boogie-org/boogie/blob/master/Source/Core/BoogiePL.atgÚboogiez*.bplz2.1Úrootú\nú\s+ú\\\nú//[/!](.*?)\nú	//(.*?)\nú/\*Úcommentú\b©ÚsuffixÚnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])ú\{.*?\}ú([{}():;,.])z[a-zA-Z_]\w*ú[^*/]+ú#pushú\*/ú#popú[*/]ú[0-9]+© N)(ÚactionÚassertÚassertsÚassumeÚasyncÚatomicÚaxiomÚbreakÚcallÚelseÚensuresÚexistsÚfalseÚforallÚfreeÚfunctionÚgotoÚhavocÚifÚimplementationÚ	invariantÚlambdaÚleftÚmeasureÚmodifiesÚoldÚ	preservesÚ	procedureÚpublicÚrequiresÚreturnÚreturnsÚrightÚthenÚtrueÚtypeÚuniqueÚvarÚwhileÚyield)Úconst)ÚboolÚintÚrealÚref)Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚversion_addedr   r   ÚDocÚSingleÚ	Multiliner   r   ÚReservedÚTyper   r   r   ÚEmphr
   r   r	   ÚIntegerÚtokensÚ__static_attributes__r&   ó    Ú]/home/luca/screen-checking/.venv/lib/python3.14/site-packages/pygments/lexers/verification.pyr   r      sE  † ñð €DØ
U€CØˆj€GØ�	€IØ€Mð 	à�DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð Tð ôð $ð%ñ �: eÔ,¨g×.>Ñ.>Ð?áÐ1¸%Ô@À'Ç,Á,ÐOÙ�IÓØ8¸(ÐCØ˜Ÿ™Ð&Ø˜kÐ*à˜dÐ#ð3
ð6 	Ø˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð 	Ø˜Ÿ™Ð'ð
ðE%„Frg   c                   óÐ  € ] tR t^DtRtRtR.tRR.tRtRt	RR	]
3R
]
3R]
3R]P                  3R]P                  3R]P                  R3]! RRR7      ]3]! R RR7      ]P$                  3]! R!RR7      ]P&                  3]! R4      R]3R]P.                  3R]3R]3.RR]P                  3R]P                  R3R]P                  R3R]P                  3.RR]P4                  3./tRtR# )"r   z
For Silver source code.
ÚSilverÚsilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   r   r   r   r   r   r   r   r   r   r   z[!%&*+=|?:<>/\-\[\]]r   r   z[\w$]\w*r    r!   r"   r#   r$   r%   r&   N)4ÚresultrI   r3   ÚnullÚmethodr6   Ú	predicateÚprogramÚdomainr-   rL   rF   ÚfieldÚdefineÚfoldÚunfoldÚinhaleÚexhaleÚnewr(   r*   r7   rM   r9   Úelseifr0   ÚfreshÚconstrainingÚSeqÚSetÚMultisetÚunionÚintersectionÚsetminusÚsubsetÚ	unfoldingÚinr@   r4   r2   ÚaccÚwildcardÚwriteÚnoneÚepsilonÚpermrK   ÚapplyÚpackageÚfoldingÚlabelÚforperm)rD   r1   r;   )ÚIntÚPermÚBoolÚRefÚRational)rT   rU   rV   rW   rX   rY   r[   r\   rZ   r]   r   r   r^   r_   r`   r   r   r   Ú	Decoratorrb   r   r   r   rc   r
   r	   rd   re   rf   r&   rg   rh   r   r   D   sG  † ñð €DØˆj€GØ˜'Ð"€IØ
2€CØ€Mð 	à�DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð Cð ô	ð $ð	%ñ Ð7ÀÔFÈÏÉÐWÙÐ=ÀeÔLÈgÏlÉlÐ[Ù�IÓØ$ hÐ/Ø˜Ÿ™Ð&Ø˜kÐ*à˜$Ðð5
ð8 	Ø˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð 	Ø˜Ÿ™Ð'ð
ðG&„Frg   N)rX   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r   r	   r
   r   r   Ú__all__r   r   r&   rg   rh   Ú<module>r™      sF   ðñ÷ 6Ñ 5÷÷ ó ð ˜-Ð
(€ô/�*ô /ôd0�*ö 0rg   