Skip to content

Pull requests: GaloisInc/reopt

New pull request New
Clear current search query, filters, and sorts
4 Open 271 Closed
4 Open 271 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

Feature/submodules
#8 by TomMD was merged Dec 16, 2017 Loading…
Word literal overflow falls afoul of GHC warnings
#9 by TomMD was merged Dec 16, 2017 Loading…
Handle note segments and reuse segment indices
#14 by dagit was merged Jul 25, 2018 Loading…
1
Fix bugs in argument analysis; update submodules.
#16 by joehendrix was merged Feb 27, 2019 Loading…
Update submodules
#18 by joehendrix was merged Mar 22, 2019 Loading…
Fix warnings and outdated info.
#19 by joehendrix was merged Mar 22, 2019 Loading…
Remove out-of-date comments.
#20 by joehendrix was merged Mar 25, 2019 Loading…
This updates submodules; reorganizes interface; add connection to ARM64.
#21 by joehendrix was merged Apr 9, 2019 Loading…
Use llvm-mc instead of GNU assembler.
#22 by joehendrix was merged May 16, 2019 Loading…
This updates reopt to use llvm-mc in lieu of GNU assembler.
#23 by joehendrix was merged May 16, 2019 Loading…
Update README
#24 by joehendrix was merged May 25, 2019 Loading…
Jhx/vcg
#26 by joehendrix was merged Jun 15, 2019 Loading…
Migrate reopt-vcg
#27 by joehendrix was merged Aug 12, 2019 Loading…
Update reopt-vcg memory model.
#28 by joehendrix was merged Aug 29, 2019 Loading…
Fix bad register use calculation and other updates.
#30 by joehendrix was merged Sep 5, 2019 Loading…
Macaw compat fixes
#32 by joehendrix was merged Oct 18, 2019 Loading…
Fix signed extension bug in mod/div.
#33 by joehendrix was merged Oct 23, 2019 Loading…
Use mem2reg pass to revamp LLVM generation.
#34 by joehendrix was merged Oct 29, 2019 Loading…
Fix mod/div bug rename llvm-ub feature.
#35 by joehendrix was merged Oct 29, 2019 Loading…
Fix jump table support using reopt.
#36 by joehendrix was merged Dec 5, 2019 Loading…
Update annotation generation
#37 by joehendrix was closed Feb 26, 2020 Loading…
Fix mod/div bug
#38 by joehendrix was closed Dec 17, 2019 Loading…
1
Jhx/register use
#39 by joehendrix was merged Dec 17, 2019 Loading…
VCG annotation generation for fib
#40 by joehendrix was merged Mar 26, 2020 Loading…
VCG annotation generation
#41 by joehendrix was merged Mar 26, 2020 Loading…
ProTip! Exclude everything labeled bug with -label:bug.