summaryrefslogtreecommitdiff
path: root/sys/src/cmd/spin
ModeNameSize
-rw-r--r--README311logplain
-rw-r--r--dstep.c10009logplain
-rw-r--r--flow.c17303logplain
-rw-r--r--guided.c7045logplain
-rw-r--r--main.c21670logplain
-rw-r--r--mesg.c14109logplain
-rw-r--r--mkfile696logplain
-rw-r--r--pangen1.c31423logplain
-rw-r--r--pangen1.h137482logplain
-rw-r--r--pangen2.c75808logplain
-rw-r--r--pangen2.h23811logplain
-rw-r--r--pangen3.c8914logplain
-rw-r--r--pangen3.h22760logplain
-rw-r--r--pangen4.c8138logplain
-rw-r--r--pangen4.h19034logplain
-rw-r--r--pangen5.c16809logplain
-rw-r--r--pangen5.h11145logplain
-rw-r--r--pangen6.c48587logplain
-rw-r--r--pc_zpp.c8745logplain
-rw-r--r--ps_msc.c11872logplain
-rw-r--r--reprosrc.c2936logplain
-rw-r--r--run.c14364logplain
-rw-r--r--sched.c21862logplain
-rw-r--r--spin.h12331logplain
-rw-r--r--spin.y19060logplain
-rw-r--r--spinlex.c31555logplain
-rw-r--r--structs.c14108logplain
-rw-r--r--sym.c11879logplain
-rw-r--r--tl.h3332logplain
-rw-r--r--tl_buchi.c13080logplain
-rw-r--r--tl_cache.c5831logplain
-rw-r--r--tl_lex.c3244logplain
-rw-r--r--tl_main.c4679logplain
-rw-r--r--tl_mem.c2670logplain
-rw-r--r--tl_parse.c8348logplain
-rw-r--r--tl_rewrt.c5962logplain
-rw-r--r--tl_trans.c16758logplain
-rw-r--r--vars.c8374logplain
-rw-r--r--version.h53logplain