| #
46d2ac66 |
|
26-Jun-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix Q.GENL to handle variables in same order as GENL.
Closes #428
|
| #
aa23933d |
|
29-Jan-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Opening lcsymtacs is no longer necessary.
|
| #
4069c0cd |
|
10-Feb-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Patches following commit 0e49bf8.
|
| #
e5073aed |
|
04-Nov-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Updates for machine-code tools.
Added support for introducing SEP_ARRAY predicates for memory operations (applied to the ARM and M0 models).
|
| #
44dc16f2 |
|
18-Oct-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Support for generating TEMPORAL triples.
Currently works for ARM, M0 and MIPS models. Yet to update the x86-64 model.
|