Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README | 346 | logplain |
-rwxr-xr-x | derivation_to_json.rb | 6884 | logplain |
-rw-r--r-- | example.2.json | 430 | logplain |
-rw-r--r-- | example.2.output | 164 | logplain |
-rw-r--r-- | example.2.raw | 1989 | logplain |
-rw-r--r-- | example.3.json | 445 | logplain |
-rw-r--r-- | example.3.output | 136 | logplain |
-rw-r--r-- | example.3.raw | 2619 | logplain |
-rw-r--r-- | example.4.raw | 3793 | logplain |