patch applied (cpphs): strip //-style eol comments in --strip mode as well as /* these */
by Malcolm Wallace 22 Jun '07
by Malcolm Wallace 22 Jun '07
22 Jun '07
1
0
22 Jun '07
1
0
patch applied (yhc): Yet more invariant stuff, fixes up enough to get Supero going through
by Neil Mitchell 21 Jun '07
by Neil Mitchell 21 Jun '07
21 Jun '07
1
0
21 Jun '07
1
0
patch applied (yhc): Reorder the Yhc.Core export list, and also export Invariant
by Neil Mitchell 21 Jun '07
by Neil Mitchell 21 Jun '07
21 Jun '07
1
0
patch applied (yhc): Add lots more invariant stuff, including case default removal
by Neil Mitchell 21 Jun '07
by Neil Mitchell 21 Jun '07
21 Jun '07
1
0
21 Jun '07
1
0
1
0
patch applied (yhc): Add and export coreSimplifyExprUniqueExt - the extensible monadic simplifier
by Neil Mitchell 21 Jun '07
by Neil Mitchell 21 Jun '07
21 Jun '07
1
0
patch applied (yhc): Write the simplifier using the unique variables precondition/postcondition
by Neil Mitchell 21 Jun '07
by Neil Mitchell 21 Jun '07
21 Jun '07
1
0