new requirements modelling
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 18 Jan 2006 15:56:35 +0000 (15:56 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 18 Jan 2006 15:56:35 +0000 (15:56 +0000)
commit23850e35f9e7588f46bb1d8c8bf33b60b369ee7b
treec624de7bb7cd6b31e2555456994aa79fb4b0ce83
parent8d827e5c93c8f952c3f1311c60f23b21189a1814
new requirements modelling
code refactoring
fixed indents
ir/be/ia32/ia32_spec.pl