| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | bitvector.expect | 202 | logplain |
| -rw-r--r-- | bitvector.sail | 697 | logplain |
| -rw-r--r-- | bv_literal.expect | 8 | logplain |
| -rw-r--r-- | bv_literal.sail | 243 | logplain |
| -rw-r--r-- | enum_match.expect | 2 | logplain |
| -rw-r--r-- | enum_match.sail | 271 | logplain |
| -rw-r--r-- | exception.expect | 64 | logplain |
| -rw-r--r-- | exception.sail | 1014 | logplain |
| -rw-r--r-- | gvector.expect | 36 | logplain |
| -rw-r--r-- | gvector.sail | 380 | logplain |
| -rw-r--r-- | letbind.expect | 53 | logplain |
| -rw-r--r-- | letbind.sail | 366 | logplain |
| -rw-r--r-- | list.expect | 38 | logplain |
| -rw-r--r-- | list.sail | 521 | logplain |
| -rw-r--r-- | option.expect | 22 | logplain |
| -rw-r--r-- | option.sail | 738 | logplain |
| -rw-r--r-- | return_leak.expect | 0 | logplain |
| -rw-r--r-- | return_leak.sail | 136 | logplain |
| -rwxr-xr-x | run_tests.sh | 2034 | logplain |
| -rw-r--r-- | sail.h | 19949 | logplain |
| -rw-r--r-- | short_circuit.expect | 3 | logplain |
| -rw-r--r-- | short_circuit.sail | 339 | logplain |
| -rw-r--r-- | struct.expect | 68 | logplain |
| -rw-r--r-- | struct.sail | 440 | logplain |
| -rw-r--r-- | vmatch.expect | 33 | logplain |
| -rw-r--r-- | vmatch.sail | 510 | logplain |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |