Packages 
Package Description
ru.ispras.microtesk  
ru.ispras.microtesk.basis.solver  
ru.ispras.microtesk.basis.solver.bitvector  
ru.ispras.microtesk.mmu  
ru.ispras.microtesk.mmu.basis  
ru.ispras.microtesk.mmu.model.sim  
ru.ispras.microtesk.mmu.model.spec  
ru.ispras.microtesk.mmu.settings  
ru.ispras.microtesk.mmu.test.engine.memory  
ru.ispras.microtesk.mmu.test.template  
ru.ispras.microtesk.mmu.translator  
ru.ispras.microtesk.mmu.translator.codegen.sim  
ru.ispras.microtesk.mmu.translator.codegen.spec  
ru.ispras.microtesk.mmu.translator.grammar  
ru.ispras.microtesk.mmu.translator.ir  
ru.ispras.microtesk.model  
ru.ispras.microtesk.model.data  
ru.ispras.microtesk.model.data.floatx  
ru.ispras.microtesk.model.decoder  
ru.ispras.microtesk.model.memory  
ru.ispras.microtesk.model.metadata  
ru.ispras.microtesk.model.tracer  
ru.ispras.microtesk.options  
ru.ispras.microtesk.settings  
ru.ispras.microtesk.test  
ru.ispras.microtesk.test.engine  
ru.ispras.microtesk.test.engine.allocator  
ru.ispras.microtesk.test.engine.branch  
ru.ispras.microtesk.test.sequence  
ru.ispras.microtesk.test.sequence.combinator  
ru.ispras.microtesk.test.sequence.compositor  
ru.ispras.microtesk.test.sequence.internal  
ru.ispras.microtesk.test.sequence.permutator  
ru.ispras.microtesk.test.sequence.rearranger  
ru.ispras.microtesk.test.template  
ru.ispras.microtesk.test.testutils  
ru.ispras.microtesk.tools  
ru.ispras.microtesk.tools.symexec  
ru.ispras.microtesk.tools.templgen  
ru.ispras.microtesk.tools.templgen.printers  
ru.ispras.microtesk.tools.templgen.templates  
ru.ispras.microtesk.tools.transform  
ru.ispras.microtesk.translator  
ru.ispras.microtesk.translator.antlrex  
ru.ispras.microtesk.translator.antlrex.errors  
ru.ispras.microtesk.translator.antlrex.log  
ru.ispras.microtesk.translator.antlrex.symbols  
ru.ispras.microtesk.translator.codegen  
ru.ispras.microtesk.translator.nml  
ru.ispras.microtesk.translator.nml.analysis  
ru.ispras.microtesk.translator.nml.antlrex  
ru.ispras.microtesk.translator.nml.codegen.decoder  
ru.ispras.microtesk.translator.nml.codegen.metadata  
ru.ispras.microtesk.translator.nml.codegen.sim  
ru.ispras.microtesk.translator.nml.codegen.simc  
ru.ispras.microtesk.translator.nml.codegen.whyml  
ru.ispras.microtesk.translator.nml.coverage  
ru.ispras.microtesk.translator.nml.grammar  
ru.ispras.microtesk.translator.nml.ir  
ru.ispras.microtesk.translator.nml.ir.expr  
ru.ispras.microtesk.translator.nml.ir.primitive  
ru.ispras.microtesk.translator.nml.ir.shared  
ru.ispras.microtesk.utils  
ru.ispras.microtesk.utils.function