CatalaLang/catala issues and pull requests

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

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

#400 - Fix python output of toplevel defs

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

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

Issue - State: open - Opened by denismerigoux over 1 year ago
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler, ✅ proof

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

Issue - State: closed - Opened by rmonat over 1 year ago - 5 comments
Labels: ❓ invalid, 🔚 backends

#397 - Add date rounding option in scope

Pull Request - State: closed - Opened by rmonat over 1 year ago - 8 comments

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

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

#395 - Python backend: Use true division

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

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

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

#393 - Mark up false positives for Catala verification queries

Issue - State: open - Opened by denismerigoux over 1 year ago
Labels: ✨ enhancement, ✅ proof

#392 - An attribute language for Catala code items

Issue - State: open - Opened by denismerigoux over 1 year ago - 1 comment
Labels: 💬 discussion, 💡 language

#391 - Add top-level definitions

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

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

Issue - State: closed - Opened by denismerigoux over 1 year ago - 1 comment
Labels: ❓ invalid, 💡 language, ✅ proof

#389 - VC generation failing with let bindings in conditions

Issue - State: closed - Opened by denismerigoux over 1 year ago
Labels: ❌ bug, ✅ proof

#388 - Actually merging #353

Pull Request - State: closed - Opened by denismerigoux over 1 year ago
Labels: ❓ invalid

#387 - update nix documentation

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

#386 - Install Catala plugins

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

#385 - Overseas rules for French housing benefits

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

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

Issue - State: open - Opened by AltGr over 1 year ago - 4 comments
Labels: ✨ enhancement, 🔧 compiler, ✅ proof

#382 - Nix develop fails on Mac M1

Issue - State: closed - Opened by acorrenson over 1 year ago - 5 comments

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

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

#378 - Package plugin files into opam

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

#376 - Fix man page generation for the website

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

#372 - Update the Menhir error messages files

Issue - State: closed - Opened by AltGr almost 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 almost 2 years ago
Labels: ❓ invalid, 🔧 compiler

#368 - Syntax changes

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

#367 - Fixing nix updating

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

#366 - More overloaded operators

Issue - State: open - Opened by AltGr almost 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 almost 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 almost 2 years ago
Labels: ❌ bug, 🔧 compiler

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

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

#358 - Uniformise naming of conversion modules across compilation passes

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

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

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

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

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

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

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

#329 - LégiFrance<->Catala connector

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

#293 - Specify date rounding mode in scope declaration

Issue - State: closed - Opened by denismerigoux about 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 over 2 years ago - 4 comments
Labels: ✨ enhancement, 🔚 backends

#250 - Printf multiple errors before exiting

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

#248 - do not import runtime symbols in global namespace

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

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

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

#236 - [Z3 encoding] Add support for durations

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

#204 - C backend for Catala

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

#203 - Let bindings in Catala

Issue - State: closed - Opened by denismerigoux over 2 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 over 2 years ago - 6 comments
Labels: ⚖️ program

#199 - Pattern matching goodies

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

#194 - Document structure information missing in some positions

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

#153 - handle_default() implementation without generics/inference

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

#143 - Feature/solidity

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

#141 - Proper environment, including builtins

Issue - State: open - Opened by msprotz about 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 over 3 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 over 3 years ago - 1 comment
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler, ➗ semantics, 💡 language

#100 - Progress on Section 121

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

#88 - Module system for Catala

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

#55 - Polymorphic operators

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

#49 - Update tutorial with collections

Issue - State: open - Opened by denismerigoux over 3 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 almost 4 years ago - 1 comment
Labels: ✨ enhancement, ⚖️ program

#36 - Add polymorphism into the language

Issue - State: open - Opened by denismerigoux almost 4 years ago - 1 comment
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