Valentin Obst issues

Repositories
Issues
Comments

Results 12 issues of


                                            Valentin Obst

Add MIPS support

I recently had the need for a symbolic execution engine with nice Rust bindings (or even better, written in Rust) and MIPS support. The first thing worked out well here,...

Color of Memory Block Separator Comments in Listing

**Is your feature request related to a problem? Please describe.** I would like to be able to change the color of the comments that are inserted in the Listing window...