Mercurial > hg > Papers > 2023 > moririn-sigos
directory /fig/ @ 8:2514493ae067 default tip
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
denotation.graffle | 101875 | -rw-r--r-- |
denotation.svg | 10477 | -rw-r--r-- |
logic-and-impl.graffle | 81554 | -rw-r--r-- |
logic-and-impl.svg | 4088 | -rw-r--r-- |
meta_cg_dg.graffle | 3929 | -rw-r--r-- |
meta_cg_dg.pdf | 14360 | -rw-r--r-- |
meta_cg_dg.svg | 9050 | -rw-r--r-- |
meta_cg_dg.xbb | 216 | -rw-r--r-- |
meta_gear.svg | 24266 | -rw-r--r-- |
model_checking.svg | 43355 | -rw-r--r-- |