General

Profile

Alexander Kamkin

Issues

Projects

Activity

01/18/2018

07:05 PM MicroTESK for MIPS64 Bug #8678 (New): Exception in exception handler
The situation is as follows. An instruction causes an exception (namely @TLBMiss@). A trap handler tries to execute @...

01/17/2018

07:50 PM Fortress Bug #8676 (Resolved): BitVector's comparison operations return BitVector
It seems a bit strange that @BitVector@'s comparison operations (e.g., @ule@) return @BitVector@. I expect them to re...
07:46 PM MicroTESK for MIPS64 Bug #8675 (Feedback): Executing tlbwi causes CU0
...
07:42 PM MicroTESK Bug #8674 (Resolved): Incorrect memory preparator in miniMIPS demo
In @sw t0, 0, t1@, @t0@ holds data and @t1@ holds a base....

01/16/2018

03:29 PM MicroTESK Task #8672 (Resolved): Renaming nontaken to nonexecuted in test templates
The reason is that 'nontaken' has a different sense.

01/15/2018

07:17 PM MicroTESK Bug #8670 (New): Address 0xffffffffa0002380 is unallocated. Simulation is paused until it is allocated.
Running MIPS64's load_store leads to the following failure:...

06/16/2017

04:30 PM MicroTESK Task #7649 (Closed): Iterator-based implementation of MMU path enumeration

04/06/2017

08:47 PM MicroTESK Wiki edit: Getting_Started_with_x86 (#87)
08:47 PM MicroTESK Wiki edit: Getting_Started_with_x86 (#86)
08:46 PM MicroTESK Wiki edit: Getting_Started_with_x86 (#85)

Also available in: Atom