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

improved record constraint reasoning
#137 by pnwamk was merged Feb 4, 2022 Loading…
23
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
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: partial SSE scalar op support
#92 by pnwamk was merged Aug 9, 2021 Loading…
4
use Integer for Offset
#152 by Ptival was closed Feb 18, 2022 Loading…
3
feat: reopt stats reporting/exporting
#61 by pnwamk was merged Apr 15, 2021 Loading…
3
switch to optparse-applicative in reopt
#266 by Ptival was merged Jul 27, 2023 Loading…
3
modernize pretty-printer in residual
#253 by Ptival was closed Jul 12, 2023 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
Add casts for subtypes
#191 by simonjwinwood was merged Mar 24, 2022 Loading…
2
Generate typed pointer constants where required
#187 by simonjwinwood was merged Mar 22, 2022 Loading…
2
Pointer subtraction constraints
#186 by simonjwinwood was merged Mar 22, 2022 Loading…
2
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
Fix CI by switching from CentOS to Ubuntu docker image
#312 by staslyakhov was merged Oct 7, 2024 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
use reoptPrepareForRecovery where possible
#287 by Ptival was merged Sep 28, 2023 Loading…
4
fix lying comment
#285 by Ptival was merged Aug 30, 2023 Loading…
2
Bump word-wrap from 1.2.3 to 1.2.4 in /vscode-plugin dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#264 by dependabot bot was closed Aug 9, 2023 Loading…
1
Bump webpack from 5.75.0 to 5.76.0 in /vscode-plugin dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#234 by dependabot bot was merged Jun 16, 2023 Loading…
1
Bump http-cache-semantics from 4.1.0 to 4.1.1 in /vscode-plugin dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#223 by dependabot bot was merged Jun 16, 2023 Loading…
1
Bump minimatch from 3.0.4 to 3.1.2 in /vscode-plugin dependencies Pull requests that update a dependency file
#213 by dependabot bot was closed Dec 6, 2022 Loading…
1
Bump got and npm-check-updates in /vscode-plugin dependencies Pull requests that update a dependency file
#209 by dependabot bot was closed Dec 6, 2022 Loading…
1
Bump ansi-regex in /vscode-plugin dependencies Pull requests that update a dependency file
#208 by dependabot bot was closed Dec 6, 2022 Loading…
1
Bump json-schema and jsprim in /vscode-plugin dependencies Pull requests that update a dependency file
#207 by dependabot bot was closed Dec 6, 2022 Loading…
1
ProTip! Add no:assignee to see everything that’s not assigned.