#
893e1146 |
|
02-Aug-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Extend floating-point support within the ARMv7 model. The model can be configured for VFPv2, VFPv3 or VFPv4. Most VFP instructions are modelled now but some are still missing, i.e.: • VCVT for fixed-point and half-precision. • VSTM and VLDM.
|
#
61ada824 |
|
11-Nov-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Print out configuration options when an unrecognised option is supplied.
|
#
d228277c |
|
01-Jul-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Fix names used in some exceptions.
|
#
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.
|
#
fe246e44 |
|
01-Oct-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Updates and improvements to the l3-machine-code decompilation tools.
|
#
49cc100a |
|
23-Sep-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update to ARM tools. Triples are now generated with a "mode" variable. This is required to satisfy the "GoodMode" predicate. Before concrete modes were used, e.g. "16" for user mode. In addition, various performance related enhancements have been made in helperLib (especially with regard to AC rewriting for the "*" operator).
|
#
08244dc4 |
|
08-Jul-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Missing files from last commit.
|