OSS/loaf
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases 4 Packages Wiki Activity Actions
4 releases 4 tags
  • v0.1.0-beta.4 a45cd5e3a2

    LOAF 0.1.0-beta.4
    All checks were successful
    CI / tool (push) Successful in 37m52s
    Details
    CI / spec (push) Successful in 33s
    Details
    CI / licenses (push) Successful in 45s
    Details
    Pre-release

    julien.blond released this 2026-10-30 21:20:58 +00:00 | 2 commits to main since this release

    Fourth preview of LOAF 0.1 (specification still a draft).

    Changes since 0.1.0-beta.3: the ASP form declares every predicate of the vocabulary with #defined, so that clingo does not report the predicates a set of files leaves empty.

    opam pin add loaf git+https://forge.ocamlpro.com/OSS/loaf.git#v0.1.0-beta.4
    Downloads
  • v0.1.0-beta.3 bf5610df33

    LOAF 0.1.0-beta.3
    All checks were successful
    CI / licenses (push) Successful in 43s
    Details
    CI / spec (push) Successful in 1m44s
    Details
    CI / tool (push) Successful in 4m58s
    Details
    Pre-release

    julien.blond released this 2026-10-30 17:33:50 +00:00 | 3 commits to main since this release

    Third preview of LOAF 0.1 (specification still a draft).

    Changes since 0.1.0-beta.2: the language no longer derives has from fields (attributes are read through their fields); an instruction whose template has no value is refused (L014); blocks and their fields must be declared (L001); directories as input; a module given as a file satisfies use; Loaf.modules lists the selected modules.

    opam pin add loaf git+https://forge.ocamlpro.com/OSS/loaf.git#v0.1.0-beta.3
    Downloads
  • v0.1.0-beta.2 566a6cd925

    LOAF 0.1.0-beta.2
    All checks were successful
    CI / licenses (push) Successful in 22s
    Details
    CI / spec (push) Successful in 38s
    Details
    CI / tool (push) Successful in 7m21s
    Details
    Pre-release

    julien.blond released this 2026-10-30 16:43:41 +00:00 | 6 commits to main since this release

    Second preview of LOAF 0.1 (specification still a draft).

    Changes since 0.1.0-beta.1: public interface (module Loaf), SHA-256 from digestif, ASP form of the program cross-checked against clingo, codes L001 to L014, attributes read through their block and through references (~.db.user), instructions whose template has no value refused (L014), escapes in strings, document view of renderings, canonical form of long facts.

    Not yet published on opam:

    opam pin add loaf git+https://forge.ocamlpro.com/OSS/loaf.git#v0.1.0-beta.2
    Downloads
  • v0.1.0-beta.1 8b0e198d86

    LOAF 0.1.0-beta.1
    All checks were successful
    CI / spec (push) Successful in 20s
    Details
    CI / licenses (push) Successful in 50s
    Details
    CI / tool (push) Successful in 7m25s
    Details
    Pre-release

    julien.blond released this 2026-10-30 09:59:08 +00:00 | 12 commits to main since this release

    Preview of LOAF 0.1: the language specification (draft) and its reference tool.

    Not yet published on opam. To use it from another project:

    opam pin add loaf git+https://forge.ocamlpro.com/OSS/loaf.git#v0.1.0-beta.1

    See CHANGES.md for the contents.

    Downloads