Skip to content

Pull requests: SoftwareFoundationGroupAtKyotoU/consort

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Fix is_rec_assign bug in simpleChecker.ml
#43 opened Nov 8, 2023 by 0npv527yh9 Loading…
[WIP] Use MoCHi as back-end
#36 opened Apr 24, 2023 by artoy Loading…
[WIP] Convert Jimple to ConSORT with basic blocks
#34 opened Mar 20, 2023 by artoy Loading…
Interpreter
#27 opened Sep 28, 2021 by aigarashi Loading…
QoL improvements for regnant
#23 opened Sep 18, 2021 by aigarashi Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.