gfngfn/SATySFi issues and pull requests

#470 - Fix an issue where PNG images cannot be loaded on Ubuntu

Pull Request - State: open - Opened by nsfisis 17 days ago - 1 comment

#469 - Fix broken links to CI status badges

Pull Request - State: closed - Opened by nsfisis 19 days ago - 1 comment

#468 - Add support for Dune package management

Pull Request - State: open - Opened by smorimoto about 2 months ago

#467 - Update menhir ext to 3.0

Pull Request - State: open - Opened by smorimoto about 2 months ago - 1 comment

#466 - Upgrade `otfed` to `.0.3.2`

Pull Request - State: closed - Opened by gfngfn 3 months ago

#465 - Extend `Stdlib.{String,List}`

Pull Request - State: closed - Opened by gfngfn 4 months ago

#464 - Fix paddings of `inline-frame-outer`

Pull Request - State: closed - Opened by gfngfn 4 months ago

#463 - Add the syntax for quantifiers to value bindings

Pull Request - State: closed - Opened by gfngfn 5 months ago

#462 - Adjust the interface of `Stdlib`

Pull Request - State: closed - Opened by gfngfn 5 months ago

#461 - Add `--verbose` and `--quiet`

Pull Request - State: closed - Opened by gfngfn 5 months ago

#460 - Fix `PackageConstraintSolver` about name clashes of packages from different registries

Pull Request - State: closed - Opened by gfngfn 5 months ago

#459 - Replace integers with the so-called big int (possibly by using Zarith)

Issue - State: open - Opened by gfngfn 5 months ago - 1 comment

#458 - Refactor configs and paths

Pull Request - State: closed - Opened by gfngfn 5 months ago

#457 - Refactor `sapheMain.ml`

Pull Request - State: closed - Opened by gfngfn 5 months ago

#456 - Modify cache file organization and add subcommand `saphe cache list`

Pull Request - State: closed - Opened by gfngfn 5 months ago

#455 - Introduce the intermediate directory for deps configs and dump files

Pull Request - State: closed - Opened by gfngfn 5 months ago

#454 - Change mandatory arguments of `get-initial-context`

Issue - State: open - Opened by gfngfn 5 months ago - 1 comment

#453 - (For 0.1.0-alpha.1) Fix operator precedence and associativity

Issue - State: open - Opened by gfngfn 5 months ago - 1 comment

#452 - Refine dump files

Pull Request - State: closed - Opened by gfngfn 5 months ago

#451 - Refine testing mechanism

Pull Request - State: closed - Opened by gfngfn 5 months ago

#450 - (For 0.1.0-alpha.1) Refine `Stdlib`’s interface

Pull Request - State: closed - Opened by gfngfn 5 months ago

#449 - fix duplication of font-latin-bold

Pull Request - State: closed - Opened by ghaaj 6 months ago - 1 comment

#448 - Fix Opam Dependency Submission workflow

Pull Request - State: closed - Opened by smorimoto 6 months ago - 3 comments

#447 - Cleanup

Pull Request - State: closed - Opened by smorimoto 7 months ago - 8 comments
Labels: build

#446 - `Pervasives` -> `Stdlib`

Pull Request - State: closed - Opened by smorimoto 7 months ago - 6 comments
Labels: build

#445 - Prepare for Better Windows Support

Pull Request - State: closed - Opened by smorimoto 7 months ago - 1 comment

#444 - Set versions to `0.1.0-alpha.1`

Pull Request - State: closed - Opened by gfngfn 8 months ago

#443 - Allow external dependencies in registries

Pull Request - State: closed - Opened by gfngfn 8 months ago

#442 - Support transparent PNG images

Pull Request - State: closed - Opened by nsfisis 8 months ago - 1 comment

#441 - Alternative texts using tagged PDFs

Issue - State: open - Opened by gfngfn 8 months ago

#440 - Add `block-fil`

Issue - State: open - Opened by gfngfn 9 months ago

#439 - Optimise list operations by maintaining reversed accumulator

Pull Request - State: closed - Opened by ghost 10 months ago

#438 - Update GitHub Actions

Pull Request - State: closed - Opened by smorimoto 10 months ago - 1 comment

#437 - Remove `~/.saphe/unidata/` and develop `unidata` package

Pull Request - State: closed - Opened by gfngfn 11 months ago

#436 - Develop how to load files in packages and use it for handling hyphenation dictionaries

Pull Request - State: closed - Opened by gfngfn 11 months ago

#435 - Separate `eval_document_file` to `BuildDocument` module

Pull Request - State: closed - Opened by kyori19 11 months ago - 1 comment

#434 - Support semver prerelease

Pull Request - State: closed - Opened by gfngfn 11 months ago

#433 - Modify the registry format

Pull Request - State: closed - Opened by gfngfn 11 months ago

#432 - Separate `ErrorReporting` from `frontend/main.ml`

Pull Request - State: closed - Opened by kyori19 11 months ago - 1 comment

#431 - fix mitou-report numbering bug

Pull Request - State: closed - Opened by mtshiba 12 months ago - 1 comment

#430 - Change the package config format

Pull Request - State: closed - Opened by gfngfn 12 months ago

#429 - Introduce `local` packages to Saphe

Pull Request - State: closed - Opened by gfngfn 12 months ago

#428 - Release 0.0.11

Pull Request - State: closed - Opened by gfngfn about 1 year ago

#427 - Add OCaml 5

Pull Request - State: closed - Opened by y-yu about 1 year ago

#426 - Improve dependencies in configs

Pull Request - State: closed - Opened by gfngfn about 1 year ago

#425 - Avoid `camlimages.5.0.5` for an installation issue

Pull Request - State: closed - Opened by gfngfn about 1 year ago

#424 - Dune build fails when `camlimages.5.0.5` is installed

Issue - State: open - Opened by TonalidadeHidrica about 1 year ago - 3 comments

#423 - Is there a simple default document class for non-Japaneese documents?

Issue - State: open - Opened by alerque about 1 year ago - 1 comment

#422 - Separate `saphe` from `satysfi`

Pull Request - State: open - Opened by gfngfn about 1 year ago

#420 - Discard `OptionState`

Pull Request - State: closed - Opened by gfngfn over 1 year ago

#419 - Generate `version.ml` from `satysfi.opam` to make releasing easy

Pull Request - State: closed - Opened by y-yu over 1 year ago - 5 comments

#417 - Add split-grapheme-cluster and string normalization function

Pull Request - State: closed - Opened by puripuri2100 over 1 year ago - 3 comments

#403 - (For 0.1.0-alpha.1) Arrange the spec of config files for hyphenation and Unicode-aware typesetting

Issue - State: open - Opened by gfngfn over 1 year ago

#401 - Add an option for specifying where to put the `.satysfi-aux` file

Issue - State: closed - Opened by gfngfn over 1 year ago - 1 comment
Labels: enhancement

#395 - Release SATySFi 0.0.9

Pull Request - State: closed - Opened by gfngfn over 1 year ago

#392 - Changed lexers to use Sedlex

Pull Request - State: open - Opened by puripuri2100 almost 2 years ago - 6 comments
Labels: enhancement

#389 - record punning & record patterns

Pull Request - State: open - Opened by leque about 2 years ago
Labels: enhancement, language design

#388 - Support fixed dependencies

Pull Request - State: closed - Opened by gfngfn about 2 years ago - 1 comment

#387 - Refactor config paths

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#386 - Small fixes of the package system

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#385 - Support `external_sources` section

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#384 - Develop how to fetch data from package registries

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#383 - Develop package/registry configs

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#382 - Make multiple incompatible versions of a package able to coexist

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#381 - Modify the version requirement format

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#380 - Discard `dist/` and `local/`

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#379 - Develop how to fetch packages

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#378 - Develop a unit testing system

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#377 - Introduce the notion of test dependencies

Pull Request - State: closed - Opened by gfngfn about 2 years ago

#376 - Make settings of Markdown class packages written in config files

Pull Request - State: closed - Opened by gfngfn about 2 years ago