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
#501 - Define ANSI style at Uid level, update ocamlformat
Pull Request -
State: closed - Opened by AltGr about 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 about 1 year ago
- 1 comment
Labels: 👌 good first issue, ⚖️ program
#499 - Improvements to the Polish translation
Pull Request -
State: closed - Opened by arcz about 1 year ago
Labels: ✨ enhancement, 🔧 compiler
#498 - Fix typos for error triggered when no input variables were provided
Pull Request -
State: closed - Opened by extinctpotato about 1 year ago
#497 - Module support: handle structs, enums and scope calls across modules
Pull Request -
State: closed - Opened by AltGr about 1 year ago
- 5 comments
#496 - R backend for Catala
Pull Request -
State: closed - Opened by denismerigoux about 1 year ago
Labels: ✨ enhancement, 🔧 compiler
#495 - Simplify visitors ppx annotations
Pull Request -
State: closed - Opened by AltGr about 1 year ago
- 2 comments
#494 - Fix build failure due to breaking change in `ppx_yojson_conv`
Pull Request -
State: closed - Opened by micahcantor about 1 year ago
- 1 comment
#493 - Update CI build
Pull Request -
State: closed - Opened by AltGr about 1 year ago
#492 - Adelaett/nix ocolor
Pull Request -
State: closed - Opened by adelaett about 1 year ago
- 1 comment
#491 - Implement reversing the dependencies for tests
Pull Request -
State: closed - Opened by AltGr about 1 year ago
- 3 comments
#490 - Add some helper functions in a wrapper `Map` module
Pull Request -
State: closed - Opened by AltGr about 1 year ago
#489 - Add an `explain` plugin ; improve printers
Pull Request -
State: closed - Opened by AltGr about 1 year ago
#488 - Remove generated files from git + small printer tweak
Pull Request -
State: closed - Opened by AltGr about 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
#482 - Module support (tracking issue)
Issue -
State: open - Opened by AltGr over 1 year ago
- 2 comments
Labels: ✨ enhancement, 🔧 compiler
#481 - Clearer errors
Pull Request -
State: closed - Opened by Aminata-Dev over 1 year ago
- 1 comment
#480 - Remove unmaintained examples (fix #468)
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
Labels: ❓ invalid, ⚖️ program
#479 - Dependencies: trouble with base v0.16.0
Issue -
State: closed - Opened by AltGr over 1 year ago
Labels: 🏗️ build system, :link: dependencies
#478 - Preliminary support for modules/externals + CLI subcommands
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 1 comment
Labels: ✨ enhancement, 🔧 compiler, 💡 language
#477 - Program slicing for ambiguous dates computation
Pull Request -
State: open - Opened by denismerigoux over 1 year ago
- 3 comments
Labels: ✨ enhancement, ✅ proof
#476 - Messages renamed to Message (lighter syntax)
Pull Request -
State: closed - Opened by Aminata-Dev over 1 year ago
- 2 comments
Labels: ✨ enhancement, 🔧 compiler
#475 - Implementing closure conversion
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
Labels: ✨ enhancement, 🔧 compiler
#474 - Switch from ANSITerminal to ocolor
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 2 comments
#473 - Tutorial's Article 3 conflicts with Article 2
Issue -
State: closed - Opened by escott-mitre over 1 year ago
- 1 comment
#472 - Improve unused scope variable detection
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
- 1 comment
Labels: ✨ enhancement, 🔧 compiler
#471 - Fix most doc errors
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
Labels: ❌ bug, 🔧 compiler
#470 - Improve compiler messages dev interface
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
- 2 comments
Labels: ✨ enhancement, 🔧 compiler
#469 - Information about variable I/O in log events
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
- 3 comments
Labels: ✨ enhancement, 🔧 compiler
#468 - Examples fail to compile
Issue -
State: closed - Opened by gordonguthrie over 1 year ago
- 2 comments
Labels: ❓ invalid, 🏗️ build system
#467 - Improve AST markings
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#466 - Conflits entre les articles 46 et 47 dans les archives (de 2020 à 2022)
Issue -
State: closed - Opened by JusBanuls over 1 year ago
Labels: ⚖️ program
#465 - Feat(french_law/js): add a ReScript wrapper for french_law.js
Pull Request -
State: closed - Opened by EmileRolley over 1 year ago
Labels: 🔚 backends
#464 - Feat: add a ReScript runtime and a wrapper for `french_law.js`
Pull Request -
State: closed - Opened by EmileRolley over 1 year ago
Labels: 🔚 backends
#463 - Update Docker instructions in INSTALL.md
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#462 - Some more fixes and improvements to the printer
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#461 - Fix(plugins/json_schema): don't translate the TUnit type into "null" anymore
Pull Request -
State: closed - Opened by EmileRolley over 1 year ago
Labels: 🔚 backends
#460 - Allow use of if_then_else beyond booleans in proof backend
Pull Request -
State: closed - Opened by R1kM over 1 year ago
Labels: ✅ proof
#459 - Plugins(json_schema): don't generate `null` payloads
Issue -
State: closed - Opened by EmileRolley over 1 year ago
Labels: ❌ bug, 🔚 backends
#458 - Proof backend error on housing benefits
Issue -
State: closed - Opened by denismerigoux over 1 year ago
- 2 comments
Labels: ❌ bug, ✅ proof
#457 - Switch the row-variable provider in our main GADT to object types
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#456 - Explicitly choose a Markdown flavor ? (maybe commonmark?)
Issue -
State: open - Opened by rprimet over 1 year ago
- 5 comments
Labels: ❓ invalid, ℹ️ information
#455 - clerck parsing issue
Issue -
State: closed - Opened by adelaett over 1 year ago
- 2 comments
#454 - printing bug
Issue -
State: closed - Opened by adelaett over 1 year ago
- 3 comments
Labels: ❓ invalid, 🔧 compiler
#453 - Add experimental lazy interpreter as a plugin
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 2 comments
#452 - Sugar for operations on collection literals
Issue -
State: open - Opened by AltGr over 1 year ago
- 2 comments
Labels: ❓ invalid, 💡 language
#451 - Use [ocolor](https://opam.ocaml.org/packages/ocolor/) ?
Issue -
State: closed - Opened by AltGr over 1 year ago
- 1 comment
Labels: ✨ enhancement, 🔧 compiler
#450 - Vastly improve the printer
Pull Request -
State: closed - Opened by AltGr over 1 year ago
Labels: ✨ enhancement, 🔧 compiler
#449 - invalid default term constructed when multiple definitions of the same variable
Issue -
State: closed - Opened by adelaett over 1 year ago
- 6 comments
Labels: ❌ bug, 🔧 compiler, ➗ semantics
#448 - [RFC] Concolic testing for Catala
Pull Request -
State: closed - Opened by rohanpadhye over 1 year ago
- 3 comments
#447 - Print exception tree for fun and profit
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
Labels: ✨ enhancement, 🔧 compiler
#446 - Overseas housing benefits : last fixes and tests
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
- 1 comment
Labels: ⚖️ program
#445 - Application de la montée en charges pour les APL à SPM jusqu'en 2026
Issue -
State: closed - Opened by JusBanuls over 1 year ago
- 4 comments
Labels: ❓ invalid, ⚖️ program
#444 - Afficher les résultats intermédiaires d'un test pour les AL locatif
Issue -
State: closed - Opened by JusBanuls over 1 year ago
- 3 comments
Labels: ❓ invalid, ⚖️ program
#443 - Bug in formalizing US Section 121: Five-year periods
Issue -
State: open - Opened by rohanpadhye over 1 year ago
- 5 comments
Labels: ❌ bug, ⚖️ program
#442 - js_of_ocaml switch 4.1->5.0 breaks our OCaml->JS compilation of Catala code
Issue -
State: open - Opened by denismerigoux over 1 year ago
Labels: ❓ invalid, 🔧 compiler, 🏗️ build system
#441 - Add ocaml-crunch to build deps
Pull Request -
State: closed - Opened by alex8065 over 1 year ago
- 1 comment
Labels: ❌ bug, 🏗️ build system
#440 - Update english and french tutorials
Pull Request -
State: closed - Opened by armandsalek over 1 year ago
- 1 comment
#439 - Generic mapping function across different ASTs
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#438 - Add common linting passes to Catala
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
- 1 comment
Labels: ✨ enhancement, 🔧 compiler
#437 - Corrections et traduction du tutorial de l’anglais en français
Pull Request -
State: closed - Opened by armandsalek over 1 year ago
- 1 comment
#436 - Update INSTALL.md
Pull Request -
State: closed - Opened by rprimet over 1 year ago
- 2 comments
#435 - Fix ocamldoc comments and .mld files
Issue -
State: closed - Opened by denismerigoux over 1 year ago
- 1 comment
Labels: ❌ bug, 📘 documentation, 👌 good first issue, 👪 help wanted
#434 - Add support for let .. in constructions in Z3 backend
Pull Request -
State: closed - Opened by R1kM over 1 year ago
#433 - Rework the AST Gadt to allow merging of different ASTs
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#432 - Adding an interpreter to lcalc
Pull Request -
State: closed - Opened by adelaett over 1 year ago
- 3 comments
#431 - Add syntax for date rounding option in toplevel definitions
Issue -
State: closed - Opened by rmonat over 1 year ago
- 1 comment
Labels: ✨ enhancement, 🔧 compiler
#430 - Compile LaTeX code using minted without the Python venv
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#429 - French law JS must be created with a dune release profile
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
Labels: 🏗️ build system
#428 - Embed the Pygments lexers in Catala
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#427 - fix(runtimes/ocaml): rename `fun_call.inputs` into `fun_call.fun_inputs`
Pull Request -
State: closed - Opened by EmileRolley over 1 year ago
Labels: ❌ bug, 🔚 backends
#426 - Fix colors in HTML literal output, add some HTML docs to the artifacts
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#425 - Prepare release 0.8.0
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 1 comment
#424 - Some small fixes, error message improvements, CI artifacts cleanup
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#423 - Solidity backend
Pull Request -
State: closed - Opened by JMLX42 over 1 year ago
- 3 comments
#422 - Fix non-transitive comparison function on desugared vars
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 2 comments
#421 - Fix French syntax highlighting for "résultat"
Pull Request -
State: closed - Opened by denismerigoux over 1 year ago
Labels: ❓ invalid
#420 - update nix files
Pull Request -
State: closed - Opened by adelaett over 1 year ago
#419 - Refactor Python dep handling + update cheat-sheet
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 2 comments
#418 - CI updates
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#417 - CI: fix another rebuild
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#416 - Remplace la double préposition « de de » par « de »
Pull Request -
State: closed - Opened by armandsalek over 1 year ago
#415 - CI: attempt some improvements
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#414 - CI improvements attempt
Pull Request -
State: closed - Opened by AltGr over 1 year ago
#413 - Require argument name declarations, support multiple function arguments everywhere
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 1 comment
#412 - Fix without exceptions
Pull Request -
State: closed - Opened by adelaett over 1 year ago
- 4 comments
#411 - Correct printing with parenthesis for the IR Ast
Issue -
State: closed - Opened by adelaett over 1 year ago
- 2 comments
Labels: ❌ bug, 🔧 compiler
#410 - logging is still here even if --trace is set to false
Issue -
State: closed - Opened by adelaett over 1 year ago
- 1 comment
Labels: 🔧 compiler
#409 - Adelaett fix arrowlist
Pull Request -
State: closed - Opened by adelaett over 1 year ago
- 3 comments
#408 - Fix flake update mechanism
Pull Request -
State: closed - Opened by adelaett over 1 year ago
- 1 comment
#407 - Update Makefile.common.mk
Pull Request -
State: closed - Opened by armandsalek over 1 year ago
- 1 comment
#406 - Tutorial: add top-level value definitions as an annex
Pull Request -
State: closed - Opened by AltGr over 1 year ago
- 1 comment
#405 - Use ppxlib instead of printers to generate ocaml code
Issue -
State: open - Opened by adelaett over 1 year ago
- 1 comment
Labels: 💬 discussion, 🔧 compiler, 🔚 backends
#404 - Arrow List
Pull Request -
State: closed - Opened by adelaett over 1 year ago
- 9 comments
#403 - Python runtime: Money division should remain rational
Pull Request -
State: closed - Opened by rohanpadhye over 1 year ago
- 1 comment
#402 - Python backend: Decimal issue causes test failure in US Section 132
Issue -
State: closed - Opened by rohanpadhye over 1 year ago
- 1 comment