Ë
    !täia  ã                   óx   — d Z ddlmZmZmZ ddlmZmZmZm	Z	m
Z
mZmZmZ ddgZ G d„ de«      Z G d„ de«      Zy)	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                   óÀ  — e Zd ZdZdZdZdgZdgZdZde	fde	fd	e	fd
e
j                  fde
j                  fde
j                  df edd¬«      ef edd¬«      ej                   f edd¬«      ej"                  f ed«      defdej*                  fdefdefgde
j                  fde
j                  dfde
j                  dfde
j                  fgdej2                  fgdœZy) r   z!
    For Boogie source code.
    ÚBoogiez-https://boogie-docs.readthedocs.io/en/latest/Úboogiez*.bplz2.1ú\nú\s+ú\\\nú//[/!](.*?)\nú	//(.*?)\nú/\*Úcomment)ÚaxiomÚbreakÚcallÚensuresÚelseÚexistsÚfunctionÚforallÚifÚ	invariantÚmodifiesÚ	procedureÚrequiresÚthenÚvarÚwhileú\b©Úsuffix)Úconst)ÚboolÚintÚrefÚnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])ú\{.*?\}ú([{}():;,.])z[a-zA-Z_]\w*ú[^*/]+ú#pushú\*/ú#popú[*/]ú[0-9]+©Úrootr   r1   N)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚversion_addedr   r   ÚDocÚSingleÚ	Multiliner   r   ÚReservedÚTyper   r   r   ÚEmphr   r	   r
   ÚIntegerÚtokens© ó    úk/Volumes/fast/ai/experiments/MLX_z-image/.venv/lib/python3.12/site-packages/pygments/lexers/verification.pyr   r      s:  „ ñð €DØ
9€CØˆj€GØ�	€IØ€Mð
 �DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð (ð ô	ð $ð	%ñ
 �: eÔ,¨g×.>Ñ.>Ð?áÐ)°%Ô8¸'¿,¹,ÐGÙ�IÓØ8¸(ÐCØ˜Ÿ™Ð&Ø˜kÐ*à˜dÐ#ð-
ð2 ˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð ˜Ÿ™Ð'ð
ñ?"�FrN   c                   óÂ  — e Zd ZdZdZdgZddgZdZdZde	fd	e	fd
e	fde
j                  fde
j                  fde
j                  df edd¬«      ef edd¬«      ej"                  f edd¬«      ej$                  f ed«      defdej,                  fdefdefgde
j                  fde
j                  dfde
j                  dfde
j                  fgdej2                  fgdœZy )!r   z!
    For Silver source code.
    ÚSilverÚsilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   r   r   r   r   r   r   )4ÚresultÚtrueÚfalseÚnullÚmethodr    Ú	predicateÚprogramÚdomainr   r(   ÚreturnsÚfieldÚdefineÚfoldÚunfoldÚinhaleÚexhaleÚnewÚassertÚassumeÚgotor)   r"   Úelseifr   ÚfreshÚconstrainingÚSeqÚSetÚMultisetÚunionÚintersectionÚsetminusÚsubsetÚ	unfoldingÚinÚoldr!   r   ÚaccÚwildcardÚwriteÚnoneÚepsilonÚpermÚuniqueÚapplyÚpackageÚfoldingÚlabelÚforpermr*   r+   )r&   r   r#   )ÚIntÚPermÚBoolÚRefÚRationalr1   z[!%&*+=|?:<>/\-\[\]]r2   r3   z[\w$]\w*r4   r5   r6   r7   r8   r9   r:   N)r<   r=   r>   r?   r@   rB   rC   rA   rD   r   r   rE   rF   rG   r   r   r	   Ú	DecoratorrI   r   r   r   rJ   r   r
   rK   rL   rM   rN   rO   r   r   A   s>  „ ñð €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
ð: ˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð ˜Ÿ™Ð'ð
ñG&�FrN   N)r?   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__r   r   rM   rN   rO   Ú<module>rˆ      sF   ðñ÷ 6Ñ 5÷÷ ó ð ˜-Ð
(€ô,�*ô ,ô^0�*õ 0rN   