log

age author description
Mon, 05 Jan 2009 00:01:21 +0000 lost Added conditional assembly and macros
Sun, 04 Jan 2009 21:43:05 +0000 lost Added from f* pseudo ops
Sun, 04 Jan 2009 21:42:54 +0000 lost added expression evaluation and checking function