Skip to content

Pull requests: gfngfn/SATySFi

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

Update GitHub Actions
#438 opened Apr 10, 2024 by smorimoto Loading…
Separate saphe from satysfi
#422 opened Dec 26, 2023 by gfngfn Loading…
30 of 31 tasks
v0.1.0
Develop the package system
#369 opened Oct 23, 2022 by gfngfn Loading… v0.1.0
Add nix support
#322 opened Mar 30, 2022 by Nymphium Loading… v0.0.12
[WIP] fix #308
#314 opened Dec 24, 2021 by leque Loading… v0.1.0
Try building with oldest dependencies
#311 opened Dec 18, 2021 by na4zagin3 Loading… v0.0.12
Remove OS-dependent PATH and COMMAND.
#310 opened Dec 8, 2021 by puripuri2100 Loading…
[WIP] Add depmode
#301 opened Oct 30, 2021 by yasuo-ozu Loading…
[WIP] Develop 0.1.0
#294 opened Oct 24, 2021 by gfngfn Loading… v0.1.0
Add char
#290 opened Sep 23, 2021 by puripuri2100 Loading… v0.1.0
Add OCaml 4.08 and 4.09 in Travis CI build
#195 opened Sep 23, 2019 by XVilka Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.