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

Upgrade otfed to 0.3.3
#476 opened Apr 12, 2026 by gfngfn Owner Loading…
Fix deadlink to Homebrew website in README-ja
#474 opened Jan 6, 2026 by mityu Loading…
Bump actions/cache from 4 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#473 opened Dec 15, 2025 by dependabot Bot Loading…
Bump actions/checkout from 4 to 6 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#472 opened Nov 24, 2025 by dependabot Bot Loading…
Fix an issue where PNG images cannot be loaded on Ubuntu
#470 opened Jan 21, 2025 by nsfisis Contributor Loading…
Add support for Dune package management
#468 opened Dec 23, 2024 by smorimoto Contributor Loading…
Update menhir ext to 3.0
#467 opened Dec 14, 2024 by smorimoto Contributor Loading…
Separate saphe from satysfi
#422 opened Dec 26, 2023 by gfngfn Owner Loading…
34 tasks done
v0.1.0
[WIP] Support Unicode Variation Sequences
#410 opened Jun 27, 2023 by gfngfn Owner Draft
Fix behavior clear-page in multi-column breaking change
#393 opened Mar 10, 2023 by puripuri2100 Contributor Loading… v0.1.0
Changed lexers to use Sedlex enhancement
#392 opened Feb 24, 2023 by puripuri2100 Contributor Loading… v0.1.0
Develop the package system
#369 opened Oct 23, 2022 by gfngfn Owner Loading… v0.1.0
[WIP] Fix the SECD Machine for 0.1.0
#346 opened Aug 26, 2022 by gfngfn Owner Draft v0.1.0
Add Nix support for more reproductive build
#344 opened Aug 18, 2022 by SnO2WMaN Contributor Loading… v0.0.12
Add nix support
#322 opened Mar 30, 2022 by Nymphium Loading… v0.0.12
fix #306. use pcre-ocaml as regexp backend breaking change
#315 opened Dec 29, 2021 by leque Contributor Loading… v0.1.0
[WIP] fix #308
#314 opened Dec 24, 2021 by leque Contributor Loading… v0.1.0
Try building with oldest dependencies
#311 opened Dec 18, 2021 by na4zagin3 Contributor Loading… v0.0.12
Remove OS-dependent PATH and COMMAND.
#310 opened Dec 8, 2021 by puripuri2100 Contributor Loading…
[WIP] Add depmode
#301 opened Oct 30, 2021 by yasuo-ozu Contributor Loading…
Add primitive use-image to use image by natural size
#297 opened Oct 27, 2021 by yasuo-ozu Contributor Loading…
[WIP] Develop 0.1.0
#294 opened Oct 24, 2021 by gfngfn Owner Loading… v0.1.0
Add char
#290 opened Sep 23, 2021 by puripuri2100 Contributor Loading… v0.1.0
ProTip! no:milestone will show everything without a milestone.