diff options
| author | Alasdair Armstrong | 2017-07-28 15:28:36 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-28 15:29:41 +0100 |
| commit | f951a1712fe88eadc812643175ea8f3d31a558cf (patch) | |
| tree | 537cadab0b1bc00a0b0d4e03a5ee9b60c971817d /src/gen_lib/sail_values.lem | |
| parent | c04882dd1e752381db953170fd562650b88694ac (diff) | |
Add true and false to n_constraint language. Also small tweaks for ASL generation.
Diffstat (limited to 'src/gen_lib/sail_values.lem')
0 files changed, 0 insertions, 0 deletions