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

#605 - Improvements around external modules and error handling

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

#604 - Support for direct tuple member access

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

#603 - Support for structure updates

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

#602 - Improve message formatting throughout

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

#601 - Rework the Message module interface

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

#600 - Broken links in READMEs

Issue - State: closed - Opened by BapMel 6 months ago
Labels: ❌ bug, 📘 documentation

#599 - Handle CRLF line endings

Issue - State: open - Opened by denismerigoux 6 months ago - 1 comment
Labels: 👌 good first issue, ❓ invalid, 🔧 compiler

#598 - Input/context subscopes ?

Issue - State: open - Opened by AltGr 6 months ago
Labels: ✨ enhancement, 💬 discussion, 💡 language

#597 - Allow "output subscopes" ; unify the internal representation of subscopes

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

#596 - Publish VS Code extension(s)

Issue - State: closed - Opened by samestep 6 months ago - 3 comments

#594 - Some tweaks helping with separate compilation of the examples (copy)

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

#592 - Syntactic sugar for changing only part of a structure

Issue - State: closed - Opened by AltGr 7 months ago - 4 comments
Labels: ✨ enhancement, 💬 discussion, 💡 language

#591 - More linting filters

Issue - State: open - Opened by AltGr 7 months ago
Labels: ✨ enhancement, 👌 good first issue, 🔧 compiler

#590 - Add an option for a debug printer with types

Issue - State: open - Opened by AltGr 7 months ago
Labels: ✨ enhancement, 👌 good first issue, 🔧 compiler

#589 - Pygments lexer breaks LaTeX escapeinside

Issue - State: open - Opened by pierregoutagny 7 months ago - 4 comments

#588 - Repair the 'explain' plugin

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

#587 - Fix R compilation

Pull Request - State: closed - Opened by denismerigoux 7 months ago
Labels: ❌ bug, 🔧 compiler

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

Pull Request - State: closed - Opened by AltGr 7 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 7 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 7 months ago - 1 comment

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

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

#582 - Small ocaml/js output rehaul

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

#581 - Fix LaTeX literate output with tests

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

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

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

#579 - Normalised results output

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

#578 - Allow access to intermediate variable states

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

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

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

#576 - Generalise the definition of lists of nested binders

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

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

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

#574 - Collection syntax conflicts

Issue - State: closed - Opened by AltGr 8 months ago - 5 comments
Labels: 💬 discussion, 💡 language

#573 - Correctly pass types through monomorphisation

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

#572 - Some small cleanup & QoL changes

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

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

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

#570 - Add a few optimisations for combined list operations

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

#569 - Reduce default verbosity of invariant checks

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

#568 - Support for list recombinations

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

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

Issue - State: closed - Opened by denismerigoux 8 months ago - 5 comments
Labels: ✨ enhancement, 🔧 compiler, 💡 language

#566 - Improve missing field error message

Pull Request - State: closed - Opened by denismerigoux 8 months ago
Labels: ✨ enhancement, 🔧 compiler

#565 - Better version handling

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

#564 - Allow literal scope output structures

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

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

Issue - State: closed - Opened by denismerigoux 9 months ago
Labels: ❓ invalid, 🔧 compiler, 💡 language

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

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

#557 - Unify rounding operations in OCaml runtime

Pull Request - State: open - Opened by pierregoutagny 9 months ago - 1 comment

#556 - First tentative at a coq backed

Pull Request - State: open - Opened by adelaett 9 months ago

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

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

#553 - Small optimisations

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

#552 - Fixes decimal user-facing printer bug

Pull Request - State: closed - Opened by denismerigoux 10 months ago
Labels: ❌ bug, 🔧 compiler

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

Pull Request - State: closed - Opened by EmileRolley 10 months ago
Labels: ⚖️ program, 🏗️ build system

#549 - Syntax question: deconstructing tuples

Issue - State: open - Opened by AltGr 10 months ago - 2 comments
Labels: ✨ enhancement, 💡 language

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

Issue - State: open - Opened by AltGr 10 months ago
Labels: ❓ invalid, 🔧 compiler

#547 - [DRAFT] use modules in the examples

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

#546 - [breaking changes] update syntax and CLI

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

#545 - Small module-handling fixes

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

#544 - Fix LaTeX weaving failing with code blocks

Pull Request - State: closed - Opened by denismerigoux 10 months ago
Labels: ❌ bug, 🔧 compiler

#543 - Generated LaTeX fails to compile for tests

Issue - State: closed - Opened by AltGr 10 months ago - 12 comments

#542 - Remove the nix CI

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

#541 - Adelaett invariant typing default

Pull Request - State: closed - Opened by adelaett 10 months ago - 2 comments

#540 - Some cases of the interpreter may be simplifiable

Issue - State: closed - Opened by pierregoutagny 10 months ago
Labels: ❓ invalid, 🔧 compiler

#539 - Add support for output subscopes

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

#538 - Document and first test for externals

Pull Request - State: closed - Opened by AltGr 10 months ago - 4 comments

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

Pull Request - State: closed - Opened by EmileRolley 10 months ago
Labels: ❌ bug, 🏗️ build system

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

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

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

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

#534 - Renaming "collection" as "list"

Issue - State: closed - Opened by denismerigoux 10 months ago
Labels: ❓ invalid, 🔧 compiler

#533 - Interpreter: handle lcalc with exceptions

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

#532 - Progress towards C backend

Pull Request - State: closed - Opened by denismerigoux 10 months ago - 5 comments

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

Pull Request - State: closed - Opened by denismerigoux 11 months ago
Labels: ❌ bug, ✨ enhancement, ⚖️ program

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

Pull Request - State: closed - Opened by denismerigoux 11 months ago
Labels: ⚖️ program

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

Issue - State: closed - Opened by AltGr 11 months ago - 12 comments
Labels: ✨ enhancement, 🔧 compiler

#528 - Internally type default terms in the compiler

Pull Request - State: closed - Opened by AltGr 11 months ago - 6 comments

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

Pull Request - State: open - Opened by AltGr 11 months 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 11 months ago
Labels: ❌ bug, ⚖️ program

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

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

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

Pull Request - State: closed - Opened by denismerigoux 12 months ago - 5 comments
Labels: ✨ enhancement, 🔧 compiler

#523 - Improve trace printing

Pull Request - State: closed - Opened by denismerigoux 12 months ago
Labels: ✨ enhancement, 🔧 compiler

#522 - Clerk: ensure error messages are printed properly

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

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

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

#520 - Fix linebreaking in LaTeX Catala code

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

#519 - Optim: avoid extra translations in the interpreter

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

#518 - Improve assertion failure message

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

#517 - Test and monitor performance regressions

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

#516 - Dcalc interpreter is very slow

Issue - State: closed - Opened by denismerigoux about 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 about 1 year ago - 1 comment
Labels: ⚖️ program

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

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

#513 - Catala features (documentation/landing)

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

#512 - Rehaul the Clerk build system

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

#511 - Fixes OCaml error not caught in JS

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

#510 - Temporarily disable unstable test

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

#509 - Remove catala_legifrance

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

#508 - Remove and clean catala_legifrance

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

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

Pull Request - State: closed - Opened by zapashcanon about 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 about 1 year ago - 1 comment

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

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

#504 - broken link in the documentation

Issue - State: closed - Opened by zapashcanon about 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 about 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 about 1 year ago