search

rems-project / isla

Symbolic execution tool for Sail ISA specifications
Other
63 stars 10 forks source link

[WIP] replace 'ir with owning pointers #18

Open Trolldemorted opened 4 years ago

Trolldemorted commented 4 years ago

Will fix #17 once it is finished and you merge it