Skip to content

Pull requests: draperlaboratory/VIBES

New pull request New
Clear current search query, filters, and sorts
1 Open 180 Closed
1 Open 180 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Some cleanup of the Binja plugin
#263 by bmourad01 was merged Mar 7, 2023 Loading…
Include the output of opam env in the Binja plugin
#262 by bmourad01 was merged Mar 3, 2023 Loading…
Optimize BIR code when we have short-circuiting conditionals
#261 by bmourad01 was merged Mar 2, 2023 Loading…
Improves the peephole optimizer for copy operations
#260 by bmourad01 was closed Feb 28, 2023 Loading…
Some fixes for building the docker container
#259 by bmourad01 was merged Feb 28, 2023 Loading…
Exclude R13 for PowerPC
#258 by bmourad01 was merged Feb 22, 2023 Loading…
Fixes a typo when looking for valid data symbols in the plugin
#257 by bmourad01 was merged Feb 17, 2023 Loading…
Adds PowerPC (32-bit) support
#256 by bmourad01 was merged Feb 14, 2023 Loading…
1
More fixes for latest challenge problem
#255 by bmourad01 was merged Feb 8, 2023 Loading…
Removes the old codebase
#254 by bmourad01 was merged Feb 3, 2023 Loading…
1
Restores most of the system tests for vibes-tools
#253 by bmourad01 was merged Feb 2, 2023 Loading…
Restore most of the unit tests for vibes-tools
#252 by bmourad01 was merged Jan 31, 2023 Loading…
Fix generating OGRE segments + fix deleting manual spaces in plugin
#251 by bmourad01 was merged Jan 13, 2023 Loading…
Fixes for BAP dune
#250 by bmourad01 was merged Jan 30, 2023 Loading…
Minimal support for struct types
#249 by bmourad01 was merged Dec 21, 2022 Loading…
Refactor C frontend again
#248 by bmourad01 was merged Dec 19, 2022 Loading…
2
Use the $(OGRE) predicate for the patch target
#247 by bmourad01 was merged Dec 14, 2022 Loading…
Have vibes-patch output the modified OGRE file
#246 by bmourad01 was merged Dec 14, 2022 Loading…
Attempt branch relaxation during patch situation
#245 by bmourad01 was merged Dec 13, 2022 Loading…
More fixes
#244 by bmourad01 was merged Dec 12, 2022 Loading…
Handle the case where all of the room to extend the code segment is used
#243 by bmourad01 was merged Dec 12, 2022 Loading…
Try extending the ELF code segment in vibes-patch
#242 by bmourad01 was merged Dec 5, 2022 Loading…
Some fixes to Binja higher vars
#241 by bmourad01 was merged Dec 2, 2022 Loading…
Adds the Binary Ninja front-end plugin (MVP) + simplifies patch space 0
#240 by bmourad01 was merged Dec 2, 2022 Loading…
Move the sample vibes-tools stuff to its own directory
#239 by bmourad01 was merged Nov 11, 2022 Loading…
ProTip! Adding no:label will show everything without a label.