CatalaLang/catala issues and pull requests

#379 - JS of OCaml generated API should throw errors on malformed inputs

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

#378 - Package plugin files into opam

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

#376 - Fix man page generation for the website

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

#372 - Update the Menhir error messages files

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

#371 - Predicate is computed twice on each element for arg-extremums

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

#368 - Syntax changes

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

#367 - Fixing nix updating

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

#366 - More overloaded operators

Issue - State: open - Opened by AltGr about 2 years ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler, 💡 language

#364 - C backend for Catala : the closure conversion strikes back

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

#363 - Fix issue 362 with wrong encoding of context variables that are functions

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

#359 - Update compiler pass docs in `compiler//.mld`

Issue - State: open - Opened by AltGr about 2 years ago - 2 comments
Labels: 📘 documentation, 🔧 compiler

#358 - Uniformise naming of conversion modules across compilation passes

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

#354 - Pair-programming on US Tax code section 83

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

#345 - Add unit tests for the Dcalc -> Lcalc translation without exceptions

Issue - State: closed - Opened by denismerigoux over 2 years ago
Labels: ✨ enhancement, 🔧 compiler

#343 - build/fix: bump unionFind to last version

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

#329 - LégiFrance<->Catala connector

Pull Request - State: closed - Opened by denismerigoux over 2 years ago
Labels: ✨ enhancement, 🏗️ build system

#293 - Specify date rounding mode in scope declaration

Issue - State: closed - Opened by denismerigoux over 2 years ago - 9 comments
Labels: ✨ enhancement, 🔧 compiler, 💡 language

#282 - Fix: force the evaluation of all boolean expression clauses

Issue - State: open - Opened by EmileRolley over 2 years ago - 2 comments
Labels: ❌ bug, 👌 good first issue, 🔧 compiler, 🔚 backends

#274 - Compiler optimization impact the log generation

Issue - State: open - Opened by EmileRolley over 2 years ago - 2 comments
Labels: ❌ bug, 🔧 compiler

#255 - Formatter for Catala code

Issue - State: open - Opened by EmileRolley almost 3 years ago - 4 comments
Labels: ✨ enhancement, 🔚 backends

#250 - Printf multiple errors before exiting

Issue - State: closed - Opened by denismerigoux almost 3 years ago - 3 comments
Labels: ✨ enhancement, 🔧 compiler

#248 - do not import runtime symbols in global namespace

Issue - State: open - Opened by rprimet almost 3 years ago - 1 comment
Labels: ✨ enhancement, 👌 good first issue, 🔚 backends

#240 - Better use of bindlib: pretty-printing context

Issue - State: open - Opened by denismerigoux almost 3 years ago - 1 comment
Labels: ❓ invalid, 🔧 compiler

#236 - [Z3 encoding] Add support for durations

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

#204 - C backend for Catala

Issue - State: closed - Opened by denismerigoux almost 3 years ago - 6 comments
Labels: ✨ enhancement, 🔧 compiler, 🔚 backends

#203 - Let bindings in Catala

Issue - State: closed - Opened by denismerigoux almost 3 years ago - 5 comments
Labels: ✨ enhancement, 👪 help wanted, 💡 language

#200 - Implementation of Section 1001 of the US Tax Code

Pull Request - State: closed - Opened by denismerigoux almost 3 years ago - 6 comments
Labels: ⚖️ program

#199 - Pattern matching goodies

Issue - State: open - Opened by denismerigoux almost 3 years ago - 1 comment
Labels: ✨ enhancement, 👪 help wanted, 🔧 compiler, 💡 language

#194 - Document structure information missing in some positions

Issue - State: open - Opened by denismerigoux almost 3 years ago
Labels: 👪 help wanted, ❓ invalid, 🔧 compiler

#153 - handle_default() implementation without generics/inference

Issue - State: closed - Opened by JMLX42 over 3 years ago - 26 comments
Labels: 🔧 compiler, 🔚 backends

#143 - Feature/solidity

Pull Request - State: closed - Opened by JMLX42 over 3 years ago - 1 comment
Labels: ✨ enhancement, 🔚 backends

#141 - Proper environment, including builtins

Issue - State: open - Opened by msprotz over 3 years ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler, 💡 language

#130 - Improvement: add wildcard in patterns support in all intermediate representations

Issue - State: closed - Opened by EmileRolley over 3 years ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler, 💡 language

#108 - Feature request: syntactic sugar for Variant + Constructor

Issue - State: open - Opened by protz almost 4 years ago - 7 comments
Labels: ✨ enhancement, 👌 good first issue, 🔧 compiler, 💡 language

#102 - Eliminating spurious errors related to "dependent computations"

Issue - State: open - Opened by msprotz almost 4 years ago - 1 comment
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler, ➗ semantics, 💡 language

#100 - Progress on Section 121

Pull Request - State: closed - Opened by msprotz almost 4 years ago - 4 comments
Labels: ⚖️ program

#88 - Module system for Catala

Issue - State: closed - Opened by denismerigoux almost 4 years ago - 3 comments
Labels: ✨ enhancement, 👪 help wanted, 🔧 compiler

#55 - Polymorphic operators

Issue - State: closed - Opened by denismerigoux about 4 years ago - 2 comments
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler

#49 - Update tutorial with collections

Issue - State: closed - Opened by denismerigoux about 4 years ago
Labels: 📘 documentation, ✨ enhancement, 👌 good first issue, 👪 help wanted

#41 - Expand the Code général des impôts example

Issue - State: closed - Opened by denismerigoux about 4 years ago - 1 comment
Labels: ✨ enhancement, ⚖️ program

#36 - Add polymorphism into the language

Issue - State: open - Opened by denismerigoux about 4 years ago - 3 comments
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler

#17 - Lifting scope from an object to a list of objects

Issue - State: closed - Opened by denismerigoux over 4 years ago
Labels: ✨ enhancement, 💬 discussion, 💡 language

#10 - Added HTML links in "fixed by" meta-assertions

Issue - State: closed - Opened by denismerigoux over 4 years ago - 1 comment
Labels: 📘 documentation, ✨ enhancement

GitHub / CatalaLang/catala issues and pull requests