Skip to main content

Browse the archive

swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Raw File
Tip revision: f94b06de7edcb61d3c49f19417e53dc7dc21d552 authored by Anish Tondwalkar on 22 June 2021, 08:13:54 UTC
updated README
Tip revision: f94b06d
incrState.hors 
%BEGING
Main_3  -> l0 unit  .
Bottom0  -> Bottom0 .
Fail_6 k_8  -> event_fail k_8  .
True x y  -> x .
False x y  -> y .
%ENDG

%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA
back to top