summaryrefslogtreecommitdiff
path: root/sys/src/cmd/spin
ModeNameSize
-rw-r--r--README311logplain
-rw-r--r--dstep.c10099logplain
-rw-r--r--flow.c25131logplain
-rw-r--r--guided.c9211logplain
-rw-r--r--main.c42785logplain
-rw-r--r--mesg.c17482logplain
-rw-r--r--mkfile707logplain
-rw-r--r--msc_tcl.c9508logplain
-rw-r--r--pangen1.c40893logplain
-rw-r--r--pangen1.h238474logplain
-rw-r--r--pangen2.c89697logplain
-rw-r--r--pangen2.h37404logplain
-rw-r--r--pangen3.c10911logplain
-rw-r--r--pangen3.h39397logplain
-rw-r--r--pangen4.c8120logplain
-rw-r--r--pangen4.h18612logplain
-rw-r--r--pangen5.c17151logplain
-rw-r--r--pangen5.h10753logplain
-rw-r--r--pangen6.c47768logplain
-rw-r--r--pangen6.h91671logplain
-rw-r--r--pangen7.c18641logplain
-rw-r--r--pangen7.h67970logplain
-rw-r--r--pc_zpp.c8745logplain
-rw-r--r--ps_msc.c11872logplain
-rw-r--r--reprosrc.c9642logplain
-rw-r--r--run.c16944logplain
-rw-r--r--sched.c24979logplain
-rw-r--r--spin.h13310logplain
-rw-r--r--spin.y29331logplain
-rw-r--r--spinlex.c42060logplain
-rw-r--r--structs.c14145logplain
-rw-r--r--sym.c13910logplain
-rw-r--r--tl.h3061logplain
-rw-r--r--tl_buchi.c13163logplain
-rw-r--r--tl_cache.c5525logplain
-rw-r--r--tl_lex.c5440logplain
-rw-r--r--tl_main.c5414logplain
-rw-r--r--tl_mem.c2258logplain
-rw-r--r--tl_parse.c8212logplain
-rw-r--r--tl_rewrt.c5678logplain
-rw-r--r--tl_trans.c17037logplain
-rw-r--r--vars.c9156logplain
-rw-r--r--version.h301logplain