diff options
| author | Brian Campbell | 2020-07-02 16:20:50 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-07-02 16:21:03 +0100 |
| commit | 7d815832a9410a3975c6ec8438556916eab493eb (patch) | |
| tree | 1fa75d0756b62e687c7f9059f08b15a3cefb9ffd /src/parse_ast.ml | |
| parent | df8429663a598d75853195d6552dda0e279e711f (diff) | |
Define extz/s_vec in Sail for non-prover backends
Diffstat (limited to 'src/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions