History log of /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/prelim
Revision Date Author Comments
# 87145652 10-Oct-2007 Konrad Slind <konrad.slind@gmail.com>

Trivial changes to regAlloc. Still working on
getting end-to-end compiler to work.


# 0b95e158 07-Sep-2007 Konrad Slind <konrad.slind@gmail.com>

Added compileDefine, which deals with some ARM peculiarities,
such as small immediate constants, and also tries
to get functions into the particular form needed
by Magnus' backend.


# e3e63885 10-Jul-2007 Konrad Slind <konrad.slind@gmail.com>

Trivial changes prior to going home.


# 5baef8d5 26-Jun-2007 Konrad Slind <konrad.slind@gmail.com>

Revisions, mainly to add machine words and their operations to the
source language.


# 2884b557 11-Jun-2007 Konrad Slind <konrad.slind@gmail.com>

Revised build so that system can be separately compiled. Also moved
test programs to separate directory.