Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / CatalaLang/catala issues and pull requests

#586 - Some tweaks helping with separate compilation of the examples

Pull Request - State: closed - Opened by AltGr 12 months ago - 3 comments

#585 - Consider use of ATD for the definition of Catala types representation in the different backends

Issue - State: open - Opened by AltGr 12 months ago - 4 comments
Labels: 💬 discussion, 🔧 compiler, 🔚 backends

#584 - Support externals in scalc, correctly output them in Python

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

#583 - Allow generation of one latex file from multiple sources, and fixes

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

#582 - Small ocaml/js output rehaul

Pull Request - State: closed - Opened by AltGr 12 months ago - 2 comments

#581 - Fix LaTeX literate output with tests

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

#580 - Syntax: add keywords in front of list filtering / arg-extremum

Pull Request - State: closed - Opened by AltGr 12 months ago - 3 comments

#579 - Normalised results output

Issue - State: closed - Opened by AltGr 12 months ago - 4 comments
Labels: ✨ enhancement, 💬 discussion, 🔚 backends

#578 - Allow access to intermediate variable states

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

#577 - CI: fix the check for formatting and non properly promoted files

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

#576 - Generalise the definition of lists of nested binders

Pull Request - State: closed - Opened by AltGr almost 1 year ago - 1 comment

#575 - Typing: add a "assume operator types" mode

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

#574 - Collection syntax conflicts

Issue - State: closed - Opened by AltGr about 1 year ago - 5 comments
Labels: 💬 discussion, 💡 language

#573 - Correctly pass types through monomorphisation

Pull Request - State: closed - Opened by AltGr about 1 year ago - 2 comments

#572 - Some small cleanup & QoL changes

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

#571 - Attempt to improve type annotations on the dcalc->lcalc translations

Pull Request - State: closed - Opened by AltGr about 1 year ago - 2 comments

#570 - Add a few optimisations for combined list operations

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

#569 - Reduce default verbosity of invariant checks

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

#568 - Support for list recombinations

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

#567 - Being able to refer to one particular variable state outside of definition

Issue - State: closed - Opened by denismerigoux about 1 year ago - 5 comments
Labels: ✨ enhancement, 🔧 compiler, 💡 language

#566 - Improve missing field error message

Pull Request - State: closed - Opened by denismerigoux about 1 year ago
Labels: ✨ enhancement, 🔧 compiler

#565 - Better version handling

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

#564 - Allow literal scope output structures

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

#563 - Be able to use scope output struct as a real struct (build object)

Issue - State: closed - Opened by denismerigoux about 1 year ago
Labels: ❓ invalid, 🔧 compiler, 💡 language

#562 - [WIP] Rehaul CI to run examples and generate artifacts again

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

#557 - Unify rounding operations in OCaml runtime

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

#556 - First tentative at a coq backed

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

#554 - Add tuples to the surface language, allow tuples for argument passing

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

#553 - Small optimisations

Pull Request - State: closed - Opened by AltGr about 1 year ago - 2 comments

#552 - Fixes decimal user-facing printer bug

Pull Request - State: closed - Opened by denismerigoux about 1 year ago
Labels: ❌ bug, 🔧 compiler

#550 - Refactor AL example and improve the website-assets generation workflow

Pull Request - State: closed - Opened by EmileRolley about 1 year ago
Labels: ⚖️ program, 🏗️ build system

#549 - Syntax question: deconstructing tuples

Issue - State: open - Opened by AltGr about 1 year ago - 2 comments
Labels: ✨ enhancement, 💡 language

#548 - Test needed: date rounding specs through module calls

Issue - State: open - Opened by AltGr about 1 year ago
Labels: ❓ invalid, 🔧 compiler

#547 - [DRAFT] use modules in the examples

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

#546 - [breaking changes] update syntax and CLI

Pull Request - State: closed - Opened by AltGr about 1 year ago - 2 comments

#545 - Small module-handling fixes

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

#544 - Fix LaTeX weaving failing with code blocks

Pull Request - State: closed - Opened by denismerigoux about 1 year ago
Labels: ❌ bug, 🔧 compiler

#543 - Generated LaTeX fails to compile for tests

Issue - State: closed - Opened by AltGr about 1 year ago - 12 comments

#542 - Remove the nix CI

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

#541 - Adelaett invariant typing default

Pull Request - State: closed - Opened by adelaett about 1 year ago - 2 comments

#540 - Some cases of the interpreter may be simplifiable

Issue - State: closed - Opened by pierregoutagny about 1 year ago
Labels: ❓ invalid, 🔧 compiler

#539 - Add support for output subscopes

Issue - State: closed - Opened by AltGr about 1 year ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler

#538 - Document and first test for externals

Pull Request - State: closed - Opened by AltGr about 1 year ago - 4 comments

#537 - fix(build): correctly manage the aides_logement example

Pull Request - State: closed - Opened by EmileRolley about 1 year ago
Labels: ❌ bug, 🏗️ build system

#536 - Build(assets): need to run 2 times the `website-assets` makefile command

Issue - State: closed - Opened by EmileRolley about 1 year ago - 1 comment
Labels: ❌ bug, 🏗️ build system

#535 - Clerk and testing improvements, rework resolution of module elements

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

#534 - Renaming "collection" as "list"

Issue - State: closed - Opened by denismerigoux about 1 year ago
Labels: ❓ invalid, 🔧 compiler

#533 - Interpreter: handle lcalc with exceptions

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

#532 - Progress towards C backend

Pull Request - State: closed - Opened by denismerigoux about 1 year ago - 5 comments

#531 - Debug French housing benefits by comparing to the CAF API

Pull Request - State: closed - Opened by denismerigoux about 1 year ago
Labels: ❌ bug, ✨ enhancement, ⚖️ program

#530 - Mise à jour arrêté du 22 septembre 2023

Pull Request - State: closed - Opened by denismerigoux about 1 year ago
Labels: ⚖️ program

#529 - Add a construct to distribute a total over of collection of coefficients

Issue - State: closed - Opened by AltGr over 1 year ago - 12 comments
Labels: ✨ enhancement, 🔧 compiler

#528 - Internally type default terms in the compiler

Pull Request - State: closed - Opened by AltGr over 1 year ago - 6 comments

#527 - [WIP] move examples and french_law to their own repositories

Pull Request - State: open - Opened by AltGr over 1 year ago - 4 comments

#526 - fix(examples): remove empty lines at the beginning and the end of code blocks

Pull Request - State: closed - Opened by EmileRolley over 1 year ago
Labels: ❌ bug, ⚖️ program

#525 - More complete tests on module calls and a bunch of fixes

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

#524 - Don't put a box in list printing but do indent

Pull Request - State: closed - Opened by denismerigoux over 1 year ago - 5 comments
Labels: ✨ enhancement, 🔧 compiler

#523 - Improve trace printing

Pull Request - State: closed - Opened by denismerigoux over 1 year ago
Labels: ✨ enhancement, 🔧 compiler

#522 - Clerk: ensure error messages are printed properly

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

#521 - Move examples out of the repo (professionalize once 1.0 is out)

Issue - State: closed - Opened by denismerigoux over 1 year ago - 4 comments
Labels: ✨ enhancement

#520 - Fix linebreaking in LaTeX Catala code

Pull Request - State: closed - Opened by denismerigoux over 1 year ago - 2 comments
Labels: ❌ bug, 🏗️ build system

#519 - Optim: avoid extra translations in the interpreter

Pull Request - State: closed - Opened by AltGr over 1 year ago
Labels: ✨ enhancement, ❓ invalid, 🔧 compiler

#518 - Improve assertion failure message

Pull Request - State: closed - Opened by denismerigoux over 1 year ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler

#517 - Test and monitor performance regressions

Issue - State: open - Opened by denismerigoux over 1 year ago - 2 comments
Labels: ✨ enhancement, 🏗️ build system

#516 - Dcalc interpreter is very slow

Issue - State: closed - Opened by denismerigoux over 1 year ago - 1 comment
Labels: 👪 help wanted, ❓ invalid

#515 - Mise à jour du calcul des aides au logement avec la réforme des retraites

Pull Request - State: closed - Opened by denismerigoux over 1 year ago - 1 comment
Labels: ⚖️ program

#514 - The first example in README.md appears wrong

Issue - State: closed - Opened by amluto over 1 year ago - 1 comment

#513 - Catala features (documentation/landing)

Issue - State: closed - Opened by andrewbaxter over 1 year ago - 2 comments

#512 - Rehaul the Clerk build system

Pull Request - State: closed - Opened by AltGr over 1 year ago - 4 comments
Labels: ✨ enhancement, 🔧 compiler

#511 - Fixes OCaml error not caught in JS

Pull Request - State: closed - Opened by denismerigoux over 1 year ago
Labels: ❓ invalid, 🏗️ build system

#510 - Temporarily disable unstable test

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

#509 - Remove catala_legifrance

Pull Request - State: closed - Opened by denismerigoux over 1 year ago
Labels: ❓ invalid, 🏗️ build system

#508 - Remove and clean catala_legifrance

Issue - State: closed - Opened by denismerigoux over 1 year ago
Labels: ❓ invalid, 🏗️ build system

#507 - replace `let _` by `let ()` or add type annotation

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

#506 - Mise à jour du calcul des aides au logement avec la réforme des retraites

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

#505 - add missing french_law/python/src/runtime.py to .gitignore

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

#504 - broken link in the documentation

Issue - State: closed - Opened by zapashcanon over 1 year ago - 2 comments
Labels: ❌ bug, 👌 good first issue, 👪 help wanted, 🏗️ build system

#503 - bugfix: address breaking change in markdown-mode v2.6

Pull Request - State: closed - Opened by bayesians-inc-PL over 1 year ago - 3 comments
Labels: ❌ bug

#502 - Improvements to searching for libs at runtime (plugins, runtime, etc.)

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

#501 - Define ANSI style at Uid level, update ocamlformat

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

#500 - Mise à jour du calcul des aides au logement avec la réforme des retraites

Pull Request - State: closed - Opened by denismerigoux over 1 year ago - 1 comment
Labels: 👌 good first issue, ⚖️ program

#499 - Improvements to the Polish translation

Pull Request - State: closed - Opened by arcz over 1 year ago
Labels: ✨ enhancement, 🔧 compiler

#497 - Module support: handle structs, enums and scope calls across modules

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

#496 - R backend for Catala

Pull Request - State: closed - Opened by denismerigoux over 1 year ago
Labels: ✨ enhancement, 🔧 compiler

#495 - Simplify visitors ppx annotations

Pull Request - State: closed - Opened by AltGr over 1 year ago - 2 comments

#494 - Fix build failure due to breaking change in `ppx_yojson_conv`

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

#493 - Update CI build

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

#492 - Adelaett/nix ocolor

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

#491 - Implement reversing the dependencies for tests

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

#490 - Add some helper functions in a wrapper `Map` module

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

#489 - Add an `explain` plugin ; improve printers

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

#488 - Remove generated files from git + small printer tweak

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

#487 - Some code simplification

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

#486 - CI is taking a huge amount of time... apparently because of npm ??

Issue - State: closed - Opened by AltGr over 1 year ago - 2 comments

#485 - clerk should collect tests in included files

Issue - State: closed - Opened by denismerigoux over 1 year ago - 1 comment
Labels: ❓ invalid, 🏗️ build system

#484 - Refactor the main `Driver` module, and add a 'modules' plugin

Pull Request - State: closed - Opened by AltGr over 1 year ago - 2 comments

#483 - Tweak tutorial language in response to #473.

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