| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-06-07 | Print holes as [x] | Gabriel Kerneis | |
| 2014-06-07 | Fix E_vector_append in interp pretty-printer | Gabriel Kerneis | |
| 2014-06-06 | Add a pretty-printer for Interp_ast | Gabriel Kerneis | |
| Copy-pasted with a few tweaks from Pretty_printer. Should really make a functor instead, but not sure how to deal with E_internal_cast yet. Note that Interp_ast and Ast are *not* generated from the same ott file (resp. l2.ott and l2_type.ott), but they are close enough that the code almost "just works". | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |