| Age | Commit message (Collapse) | Author |
|---|
|
Move outdated things into old subdirectory
|
|
Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail
|
|
removed IK_cond_branch, and added IK_branch
|
|
|
|
|
|
wrong variable name (iK vs. ik). Spotted via compare_analyses.
|
|
|
|
comparison fails. This is specified in manual and also helps RMEM with locked writes.
|
|
|
|
|
|
|
|
etc/regfp.sail.
|
|
know the possible destination of an instruction for memory indirect jumps (the register name is not used).
|
|
indirect jumps.
|
|
|
|
|
|
|
|
|
|
|
|
|
