download page


Sat 2005 submission

march_dl:
 Version of march_dl (08-03-2005).

source (37 kb)             static binary (531 kb)


Sat 2004 submissions

march_001:

 Version of march (20-03-2004) which performs a 1% partial lookahead.

source (42 kb)             static binary (462 kb)
march_007:

 Version of march (20-03-2004) which performs a 7% partial lookahead.

source (42 kb)             static binary (462 kb)
march_eq_010:

 Version of march_eq (20-03-2004) which performs a 10% partial lookahead.

source (42 kb)             static binary (462 kb)
march_eq_100:

 Version of march_eq (20-03-2004) which performs a full lookahead.

source (42 kb)             static binary (462 kb)


Sat 2003 submissions

march_sp:

 Version of march (12-02-2003) which performs a 7% partial lookahead.

source (32 kb)             static binary (429 kb)
march_tt:

 Version of march (12-02-2003) which performs a 10% partial lookahead.

source (32 kb)             static binary (429 kb)
march_xq:



 An experimental first version of march_eq (12-02-2003) which performs a full lookahead. This versions does not use the combined lookahead evaluation yet. march_xq is classified as buggy.

source (32 kb)             static binary (433 kb)