CatalaLang/catala issues and pull requests

#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: closed - Opened by AltGr over 1 year ago - 3 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 almost 2 years ago
Labels: ⚖️ program

#465 - Feat(french_law/js): add a ReScript wrapper for french_law.js

Pull Request - State: closed - Opened by EmileRolley almost 2 years ago
Labels: 🔚 backends

#464 - Feat: add a ReScript runtime and a wrapper for `french_law.js`

Pull Request - State: closed - Opened by EmileRolley almost 2 years ago
Labels: 🔚 backends

#463 - Update Docker instructions in INSTALL.md

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#462 - Some more fixes and improvements to the printer

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#461 - Fix(plugins/json_schema): don't translate the TUnit type into "null" anymore

Pull Request - State: closed - Opened by EmileRolley almost 2 years ago
Labels: 🔚 backends

#460 - Allow use of if_then_else beyond booleans in proof backend

Pull Request - State: closed - Opened by R1kM almost 2 years ago
Labels: ✅ proof

#459 - Plugins(json_schema): don't generate `null` payloads

Issue - State: closed - Opened by EmileRolley almost 2 years ago
Labels: ❌ bug, 🔚 backends

#458 - Proof backend error on housing benefits

Issue - State: closed - Opened by denismerigoux almost 2 years 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 almost 2 years ago

#456 - Explicitly choose a Markdown flavor ? (maybe commonmark?)

Issue - State: open - Opened by rprimet almost 2 years ago - 5 comments
Labels: ❓ invalid, ℹ️ information

#455 - clerck parsing issue

Issue - State: closed - Opened by adelaett almost 2 years ago - 2 comments

#454 - printing bug

Issue - State: closed - Opened by adelaett almost 2 years ago - 3 comments
Labels: ❓ invalid, 🔧 compiler

#453 - Add experimental lazy interpreter as a plugin

Pull Request - State: closed - Opened by AltGr almost 2 years ago - 2 comments

#452 - Sugar for operations on collection literals

Issue - State: open - Opened by AltGr almost 2 years ago - 2 comments
Labels: ❓ invalid, 💡 language

#451 - Use [ocolor](https://opam.ocaml.org/packages/ocolor/) ?

Issue - State: closed - Opened by AltGr almost 2 years ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler

#450 - Vastly improve the printer

Pull Request - State: closed - Opened by AltGr almost 2 years ago
Labels: ✨ enhancement, 🔧 compiler

#449 - invalid default term constructed when multiple definitions of the same variable

Issue - State: closed - Opened by adelaett almost 2 years ago - 6 comments
Labels: ❌ bug, 🔧 compiler, ➗ semantics

#448 - [RFC] Concolic testing for Catala

Pull Request - State: closed - Opened by rohanpadhye almost 2 years ago - 3 comments

#447 - Print exception tree for fun and profit

Pull Request - State: closed - Opened by denismerigoux almost 2 years ago
Labels: ✨ enhancement, 🔧 compiler

#446 - Overseas housing benefits : last fixes and tests

Pull Request - State: closed - Opened by denismerigoux almost 2 years 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 almost 2 years 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 almost 2 years ago - 3 comments
Labels: ❓ invalid, ⚖️ program

#443 - Bug in formalizing US Section 121: Five-year periods

Issue - State: open - Opened by rohanpadhye almost 2 years 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 almost 2 years ago
Labels: ❓ invalid, 🔧 compiler, 🏗️ build system

#441 - Add ocaml-crunch to build deps

Pull Request - State: closed - Opened by alex8065 almost 2 years ago - 1 comment
Labels: ❌ bug, 🏗️ build system

#440 - Update english and french tutorials

Pull Request - State: closed - Opened by armandsalek almost 2 years ago - 1 comment

#439 - Generic mapping function across different ASTs

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#438 - Add common linting passes to Catala

Pull Request - State: closed - Opened by denismerigoux almost 2 years 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 almost 2 years ago - 1 comment

#436 - Update INSTALL.md

Pull Request - State: closed - Opened by rprimet almost 2 years ago - 2 comments

#435 - Fix ocamldoc comments and .mld files

Issue - State: closed - Opened by denismerigoux almost 2 years 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 almost 2 years ago

#433 - Rework the AST Gadt to allow merging of different ASTs

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#432 - Adding an interpreter to lcalc

Pull Request - State: closed - Opened by adelaett almost 2 years ago - 3 comments

#431 - Add syntax for date rounding option in toplevel definitions

Issue - State: closed - Opened by rmonat almost 2 years ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler

#430 - Compile LaTeX code using minted without the Python venv

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#429 - French law JS must be created with a dune release profile

Pull Request - State: closed - Opened by denismerigoux almost 2 years ago
Labels: 🏗️ build system

#428 - Embed the Pygments lexers in Catala

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#427 - fix(runtimes/ocaml): rename `fun_call.inputs` into `fun_call.fun_inputs`

Pull Request - State: closed - Opened by EmileRolley almost 2 years 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 almost 2 years ago

#425 - Prepare release 0.8.0

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

#424 - Some small fixes, error message improvements, CI artifacts cleanup

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#423 - Solidity backend

Pull Request - State: closed - Opened by JMLX42 almost 2 years ago - 3 comments

#422 - Fix non-transitive comparison function on desugared vars

Pull Request - State: closed - Opened by AltGr almost 2 years ago - 2 comments

#421 - Fix French syntax highlighting for "résultat"

Pull Request - State: closed - Opened by denismerigoux almost 2 years ago
Labels: ❓ invalid

#420 - update nix files

Pull Request - State: closed - Opened by adelaett almost 2 years ago

#419 - Refactor Python dep handling + update cheat-sheet

Pull Request - State: closed - Opened by AltGr almost 2 years ago - 2 comments

#418 - CI updates

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#417 - CI: fix another rebuild

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#416 - Remplace la double préposition « de de » par « de »

Pull Request - State: closed - Opened by armandsalek almost 2 years ago

#415 - CI: attempt some improvements

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#414 - CI improvements attempt

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#413 - Require argument name declarations, support multiple function arguments everywhere

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

#412 - Fix without exceptions

Pull Request - State: closed - Opened by adelaett almost 2 years ago - 4 comments

#411 - Correct printing with parenthesis for the IR Ast

Issue - State: closed - Opened by adelaett almost 2 years ago - 2 comments
Labels: ❌ bug, 🔧 compiler

#410 - logging is still here even if --trace is set to false

Issue - State: closed - Opened by adelaett almost 2 years ago - 1 comment
Labels: 🔧 compiler

#409 - Adelaett fix arrowlist

Pull Request - State: closed - Opened by adelaett almost 2 years ago - 3 comments

#408 - Fix flake update mechanism

Pull Request - State: closed - Opened by adelaett almost 2 years ago - 1 comment

#407 - Update Makefile.common.mk

Pull Request - State: closed - Opened by armandsalek almost 2 years ago - 1 comment

#406 - Tutorial: add top-level value definitions as an annex

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

#405 - Use ppxlib instead of printers to generate ocaml code

Issue - State: open - Opened by adelaett almost 2 years ago - 1 comment
Labels: 💬 discussion, 🔧 compiler, 🔚 backends

#404 - Arrow List

Pull Request - State: closed - Opened by adelaett almost 2 years ago - 9 comments

#403 - Python runtime: Money division should remain rational

Pull Request - State: closed - Opened by rohanpadhye almost 2 years ago - 1 comment

#402 - Python backend: Decimal issue causes test failure in US Section 132

Issue - State: closed - Opened by rohanpadhye almost 2 years ago - 1 comment

#401 - Python runtime: Fix source positions linked to run-time errors

Pull Request - State: closed - Opened by rohanpadhye almost 2 years ago

#400 - Fix python output of toplevel defs

Pull Request - State: closed - Opened by AltGr almost 2 years ago

#399 - Generate an input form validation assertion by static analysis

Issue - State: open - Opened by denismerigoux almost 2 years ago
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler, ✅ proof

#398 - Backend functions for date calculations do not always behave correctly

Issue - State: closed - Opened by rmonat almost 2 years ago - 5 comments
Labels: ❓ invalid, 🔚 backends

#397 - Add date rounding option in scope

Pull Request - State: closed - Opened by rmonat almost 2 years ago - 8 comments

#396 - Python backend: Date difference should always return duration in days

Pull Request - State: closed - Opened by rohanpadhye almost 2 years ago - 3 comments

#395 - Python backend: Use true division

Pull Request - State: closed - Opened by rohanpadhye almost 2 years ago - 1 comment

#394 - Restrict function parameters naming accross definition to a unique name

Issue - State: closed - Opened by denismerigoux almost 2 years ago
Labels: ❓ invalid, 🔧 compiler

#393 - Mark up false positives for Catala verification queries

Issue - State: open - Opened by denismerigoux almost 2 years ago
Labels: ✨ enhancement, ✅ proof

#392 - An attribute language for Catala code items

Issue - State: open - Opened by denismerigoux almost 2 years ago - 1 comment
Labels: 💬 discussion, 💡 language

#391 - Add top-level definitions

Pull Request - State: closed - Opened by AltGr about 2 years ago - 3 comments

#390 - Ability to specify assertions about function parameters and results

Issue - State: closed - Opened by denismerigoux about 2 years ago - 1 comment
Labels: ❓ invalid, 💡 language, ✅ proof

#389 - VC generation failing with let bindings in conditions

Issue - State: closed - Opened by denismerigoux about 2 years ago
Labels: ❌ bug, ✅ proof

#388 - Actually merging #353

Pull Request - State: closed - Opened by denismerigoux about 2 years ago
Labels: ❓ invalid

#387 - update nix documentation

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

#386 - Install Catala plugins

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

#385 - Overseas rules for French housing benefits

Pull Request - State: closed - Opened by denismerigoux about 2 years ago - 2 comments
Labels: ⚖️ program

#384 - Easier to use counter-examples in the Proof back-end

Issue - State: open - Opened by AltGr about 2 years ago - 4 comments
Labels: ✨ enhancement, 🔧 compiler, ✅ proof

GitHub / CatalaLang/catala issues and pull requests