2.0

closed

11/11/2011

Features: nML-based ISA specification, test situations, Ruby-based template descripton language

100%

Time tracking

Estimated time	0.00 hour
Spent time	0.00 hour

Related issues
		Bug #4774: [build] compile.sh (being executed in any directory except bin) fails	Actions
		Bug #4775: [template] generate.sh fails	Actions
		Bug #4779: [translator, model] Support for aliases	Actions
		Bug #4791: [template] Exception if Z3 is not installed	Actions
		Bug #4803: [build] run 'ant -f setup.xml' to get latest BuildBase build script	Actions
		Bug #4815: [template] Directory $MICROTESK_HOME/tools should be used instead of `pwd`/tools	Actions
		Bug #4820: [template] Test program header	Actions
		Bug #4822: [mips][model] tmp_signed_word & tmp_signed_word1	Actions
		Bug #4827: [translator] Error if a mode's name starts with a lower-case letter	Actions
		Bug #4862: [build] ChangeLog has not be updated	Actions
		Task #2522: [template] Интеграция Ruby-шаблонов с солверами	Actions
		Task #3987: [template] Примеры шаблонов для ARM	Actions
		Task #4094: [template] Отладка шаблона Euclide	Actions
		Task #4129: [engines] Interfaces of test generation engine + implementation of basic engines	Actions
		Task #4714: [docs] Installation Instruction	Actions
		Task #4773: [docs] Изменить состав документации, попадаемой в билд	Actions
		Task #4776: [build] Strange structure of the MicroTESK home directory	Actions
		Task #4777: [build] README file is missing	Actions
		Task #4780: [docs] The MicroTESK datasheet should be updated	Actions
		Task #4816: [template] Rename lib/ruby/mtruby	Actions
		Task #4825: [model] Modeling a branch delay slot	Actions

MicroTESK