MicroTESK 2.4.31 released

MicroTESK 2.4.31 has been released.
Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Test template int_exception_branch.rb demonstrating how to mix BPU and ALU constraints (miniMIPS)
  • Test template memory_situation2.rb demonstrating how to mix MMU and ALU constraints (miniMIPS)
  • Bug fixes and general improvements

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files