History log of /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/elliptic.751
Revision Date Author Comments
# 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.


# 5159fe59 11-Jul-2007 Konrad Slind <konrad.slind@gmail.com>

Fixes to normalization ... allow first passes to work on functions
in elliptic.751.


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

Trivial changes prior to going home.


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

Added simplest elliptic curve example.