975 contributions in the last year
Opened 14 other pull requests in 3 repositories
Update tests so that the control point takes a
- Fix tests WRT trace stitching.
For now, crash upon encontering an
Implement guards for LLVM
- Implement aborting guards for simple branch instructions.
- Mapper changes due to the BlockDisambiguate pass.
- small style-related changes.