Skip to content

Pull requests: gfngfn/SATySFi

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add support for Dune package management
#468 opened Dec 23, 2024 by smorimoto Loading…
Update menhir ext to 3.0
#467 opened Dec 14, 2024 by smorimoto Loading…
Separate saphe from satysfi
#422 opened Dec 26, 2023 by gfngfn Loading…
34 tasks done
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! no:milestone will show everything without a milestone.