added abstract machine specification
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 2 Nov 2006 09:27:20 +0000 (09:27 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 2 Nov 2006 09:27:20 +0000 (09:27 +0000)
commit31871f2c7684a10ce745c3d56305dfdd269b8355
treec418368343469032fc586319bfb2ade98fa75d50
parent6f3d0fd6339e2fce9daca84797eb893af0a3d467
added abstract machine specification
ir/be/ia32/ia32_spec.pl