Skip to content

Pull requests: GaloisInc/reopt

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

Add github action
#44 by joehendrix was merged Mar 30, 2020 Loading…
19
connect constraint generation and constraint solving
#130 by Ptival was merged Jan 7, 2022 Loading…
10
structural constraint types
#133 by pnwamk was merged Jan 19, 2022 Loading…
5
subtype constraints and solver
#171 by Ptival was merged Mar 17, 2022 Loading…
5
Bump qs from 6.5.2 to 6.5.3 in /vscode-plugin dependencies Pull requests that update a dependency file
#215 by dependabot bot was closed Jun 16, 2023 Loading…
5
feat: partial SSE scalar op support
#92 by pnwamk was merged Aug 9, 2021 Loading…
4
Bump semver from 5.7.1 to 5.7.2 in /vscode-plugin dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#262 by dependabot bot was closed Aug 9, 2023 Loading…
4
feat: reopt stats reporting/exporting
#61 by pnwamk was merged Apr 15, 2021 Loading…
3
pointer type fresh var option
#135 by pnwamk was merged Jan 20, 2022 Loading…
3
use Integer for Offset
#152 by Ptival was closed Feb 18, 2022 Loading…
3
reopt: log block size
#84 by Ptival was merged Jul 23, 2021 Loading…
2
feat: dynamic dependency debug info search
#83 by pnwamk was merged Jun 29, 2021 Loading…
2
detect the actual tar version present on the system
#139 by Ptival was merged Mar 11, 2022 Loading…
2
Cleaned up and renamed main solver loop
#173 by simonjwinwood was merged Mar 16, 2022 Loading…
2
Add casts for subtypes
#191 by simonjwinwood was merged Mar 24, 2022 Loading…
2
Pointer subtraction constraints
#186 by simonjwinwood was merged Mar 22, 2022 Loading…
2
Generate typed pointer constants where required
#187 by simonjwinwood was merged Mar 22, 2022 Loading…
2
Bump json5 from 2.2.1 to 2.2.3 in /vscode-plugin dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#221 by dependabot bot was closed Jun 16, 2023 Loading…
2
random code and comments improvements
#239 by Ptival was merged Apr 21, 2023 Loading…
2
Handle note segments and reuse segment indices
#14 by dagit was merged Jul 25, 2018 Loading…
1
Fix mod/div bug
#38 by joehendrix was closed Dec 17, 2019 Loading…
1
Bump urllib3 from 1.26.16 to 1.26.17 in /stats dependencies Pull requests that update a dependency file python Pull requests that update Python code
#291 by dependabot bot was closed Oct 18, 2023 Loading…
1
Replace deprecated GitHub Actions functions
#51 by lisanna-dettwyler was merged Oct 17, 2020 Loading…
1
disable OSABI check on relinker
#60 by pnwamk was closed Apr 29, 2021 Loading…
1
picoc example binaries and readme
#59 by pnwamk was merged Apr 29, 2021 Loading…
1
ProTip! What’s not been updated in a month: updated:<2024-12-16.