NOT XVilka
NOT XVilka
Coq 9.0 (renamed into Rocq) is now released: https://github.com/coq/coq/releases/tag/V9.0.0 It should be updated first, probably. *Update*: https://github.com/Homebrew/homebrew-core/pull/216253
@daeho-ro @bayandin you forgot to bump the `ppxlib` revision (and possibly `haxe` as well) as well, just realised it wasn't in the changes. It should fix the problem, I think.
@themadbit see `test/db/formats/elf/reloc` as an example
@Rot127 @wargio what is the status of this one? It needs to be rebased also
Superseded by github.com/rizinorg/rizin/pull/5309
Already implemented
Ignore the comment about breakpoints - I see they are part of one test
Fixed by deprecating and removing `obr`
> Can you create a minimal test case that can reproduce this issue? I will try but it was quite a complicated amount of steps to trigger this bug. Otherwise...