CatalaLang/catala issues and pull requests

#686 - CI for testing examples with a constant compiler

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, ⚖️ program, 🏗️ build system

#685 - Formatter for Catala code

Issue - State: closed - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system, 🤩 ide

#684 - #683 follow-up

Pull Request - State: closed - Opened by vincent-botbol 5 months ago

#683 - Syntax cheat typo

Pull Request - State: closed - Opened by denismerigoux 5 months ago
Labels: ❌ bug, 📘 documentation

#682 - catala-language-server does not support file names with diacritics

Issue - State: closed - Opened by denismerigoux 5 months ago
Labels: ❌ bug, 🤩 ide

#681 - `catala testcase write` seems to discard language info

Issue - State: open - Opened by rprimet 5 months ago - 2 comments
Labels: ❓ invalid, 🔧 compiler, 🤩 ide

#680 - Small typo in the syntax cheatsheet

Issue - State: closed - Opened by rprimet 5 months ago
Labels: 📘 documentation, ℹ️ information

#679 - Cross-backend testing

Issue - State: open - Opened by denismerigoux 5 months ago - 2 comments
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system, 🔚 backends

#678 - Whole program compilation

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🔧 compiler

#677 - C backend : generate deep copy functions for user-defined types containing boxes

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ❓ invalid, 🔧 compiler, 🔚 backends

#676 - catala-language-server: use LSP info in the custom test case editor

Issue - State: open - Opened by rprimet 5 months ago
Labels: ✨ enhancement, 💬 discussion, 🤩 ide

#675 - Ajout d'un fichier publiccode.yml pour être promu via code.gouv.fr

Issue - State: closed - Opened by bzg 5 months ago - 1 comment
Labels: 📘 documentation, ✨ enhancement, ℹ️ information

#674 - Correclty link Python backend to dates_calc

Issue - State: open - Opened by AltGr 5 months ago
Labels: 🔧 compiler, 🔚 backends

#673 - catala-language-server: test case format should include prose sections and possibly metadata

Issue - State: open - Opened by rprimet 5 months ago - 1 comment
Labels: ✨ enhancement, 💬 discussion, 🤩 ide

#672 - catala-language-server: investigate ATD for cross-window messaging

Issue - State: open - Opened by rprimet 5 months ago
Labels: 💬 discussion, 🤩 ide

#671 - Progress on the C backend

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

#670 - Testing CI update

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

#669 - Cleanup nested matches

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

#668 - Issue building the test case parser plugin when referencing a library

Issue - State: closed - Opened by rprimet 6 months ago

#667 - `context` variables are hard to understand

Issue - State: open - Opened by AltGr 6 months ago - 2 comments
Labels: 📘 documentation, #️⃣ syntax

#666 - Renaming idents, second stage: use proper renaming in scalc and Python

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

#665 - allow building for more systems

Pull Request - State: closed - Opened by faezs 6 months ago - 5 comments

#664 - Implement safe renaming of idents for backend printing

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

#663 - Introduce modules in toml config

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

#662 - Fix typing error missing position

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

#661 - Add LSP required features

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

#660 - Fix missing keywords in emacs mode

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

#659 - Fix scopelang scope definition variable positions

Pull Request - State: closed - Opened by vincent-botbol 7 months ago
Labels: 🔧 compiler, 🤩 ide

#658 - Trace selectors

Issue - State: open - Opened by denismerigoux 7 months ago
Labels: ✨ enhancement, 🔧 compiler

#657 - Interactive debugguer for Catala

Issue - State: open - Opened by denismerigoux 7 months ago - 1 comment
Labels: 🔧 compiler, 🏗️ build system, 🤩 ide

#656 - Add a clerk test launch and report UI

Issue - State: open - Opened by denismerigoux 7 months ago
Labels: 🏗️ build system, 🤩 ide

#655 - Make Catala compatible with Oracle Policy Automation "what-ifs" testing Excel workbooks

Issue - State: open - Opened by denismerigoux 7 months ago
Labels: 🔧 compiler, 🏗️ build system

#654 - TOML project specification file for Clerk

Issue - State: closed - Opened by denismerigoux 7 months ago
Labels: 🔧 compiler, 🏗️ build system, 🤩 ide

#653 - LSP implementation

Issue - State: closed - Opened by denismerigoux 7 months ago - 1 comment
Labels: 🔧 compiler, 🤩 ide

#652 - Add test case UI aimed at non-programmers

Issue - State: closed - Opened by rprimet 7 months ago
Labels: ✨ enhancement

#651 - Improve the format of the computation trace

Issue - State: open - Opened by denismerigoux 7 months ago
Labels: ✨ enhancement, 🔧 compiler

#650 - Static analysis for usage of input atoms

Issue - State: open - Opened by denismerigoux 7 months ago
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler

#649 - Abstract syntax tree serialization to JSON for IDE plugins

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

#648 - C backend without heap allocations

Issue - State: open - Opened by AltGr 7 months ago
Labels: 💬 discussion, 🔧 compiler, 🔚 backends

#647 - Add a list folding surface syntax

Issue - State: closed - Opened by denismerigoux 7 months ago - 3 comments
Labels: ✨ enhancement, 🔧 compiler, #️⃣ syntax

#646 - Add a list sorting builtin to the language

Issue - State: open - Opened by denismerigoux 7 months ago
Labels: ✨ enhancement, 🔧 compiler, #️⃣ syntax

#645 - Invent Catala writing exercices to complement the tutorial

Issue - State: open - Opened by denismerigoux 7 months ago - 1 comment
Labels: 📘 documentation

#644 - Write a "get started" section of the README.md or a separate GETSTARTED.md file

Issue - State: open - Opened by denismerigoux 7 months ago
Labels: 📘 documentation

#643 - Remove the R backend

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

#642 - Add JUnit-compatible test output to `clerk report`

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

#641 - Remove the "with-exceptions" backend from the compiler

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

#640 - Literate output: adjust catala-metadata margins

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

#639 - Support for basic `clerk.toml` configuration files

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

#638 - Clerk reports: postprocess diff output

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

#637 - Testing and debugging closure conversion

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

#636 - Refactor suggestions mechanism

Pull Request - State: closed - Opened by vincent-botbol 8 months ago
Labels: ✨ enhancement

#635 - Fix spurious clerk rebuilds

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

#634 - Add error messages numbering

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

#633 - Add PR policies in CONTRIBUTING.md

Pull Request - State: closed - Opened by vincent-botbol 8 months ago
Labels: 📘 documentation, ℹ️ information

#632 - Generate tests reports from 'clerk test'

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

#631 - Multiple typing errors reporting

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

#630 - Multiple parsing errors reporting

Pull Request - State: closed - Opened by vincent-botbol 8 months ago - 4 comments
Labels: ✨ enhancement, 🔧 compiler

#629 - Fix error message typo

Pull Request - State: closed - Opened by vincent-botbol 8 months ago

#628 - Generate loaders for external modules

Issue - State: open - Opened by AltGr 8 months ago
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system

#627 - Typing across closure conversion

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

#626 - Update opam dependencies

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

#625 - Implement module hashes and checks

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

#624 - Add Input or context subscopes

Pull Request - State: open - Opened by denismerigoux 9 months ago
Labels: ✨ enhancement, 🔧 compiler, 🚧 wip

#623 - Improve the output of clerk test

Issue - State: closed - Opened by denismerigoux 9 months ago - 2 comments
Labels: 👌 good first issue, ❓ invalid, 🏗️ build system

#622 - Combine English and French VS Code extensions

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

#621 - Fix lexing of verbatim blocks

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

#620 - Fix building and publishing of the website assets

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

#619 - Bug in make website-assets.tar

Issue - State: closed - Opened by denismerigoux 9 months ago - 2 comments
Labels: ❌ bug, 🏗️ build system

#618 - Fixes in Python runtime

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

#617 - Fixes for 0.10.0

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

#616 - Missing runtime embedding for tuples

Issue - State: open - Opened by AltGr 9 months ago - 1 comment
Labels: 🔧 compiler

#615 - Unify traces between interpreter and runtime

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

#614 - Cleaner message printing

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

#613 - Continuation-based message module can lead to performance decrease

Issue - State: closed - Opened by rmonat 9 months ago - 4 comments
Labels: ❓ invalid, 🔧 compiler

#612 - Python rounding operators are incorrect

Issue - State: closed - Opened by rmonat 9 months ago - 1 comment
Labels: ❌ bug, 🔚 backends

#611 - Unify runtime error handling

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

#610 - Concolic testing engine

Pull Request - State: closed - Opened by rmonat 10 months ago - 3 comments

#609 - Default optimizations missing some cases?

Issue - State: closed - Opened by rmonat 10 months ago - 2 comments

#608 - Fix some statement orderings in scalc

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

#607 - Add env variables to set flags `-O`, `--avoid-exceptions`, `--trace`

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

#606 - Update syntax highlighting rules and cheat-sheets

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

#605 - Improvements around external modules and error handling

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

#604 - Support for direct tuple member access

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

#603 - Support for structure updates

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

#602 - Improve message formatting throughout

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

#601 - Rework the Message module interface

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

#600 - Broken links in READMEs

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

#599 - Handle CRLF line endings

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

#598 - Input/context subscopes ?

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

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

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

#596 - Publish VS Code extension(s)

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

#595 - Temporary: switch to unreleased version of dates_calc to avoid str dep

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

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

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

#593 - add a utility function `is_function_type` to check if a given type is…

Pull Request - State: closed - Opened by ghost 11 months ago

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

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

#591 - More linting filters

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

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

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

#589 - Pygments lexer breaks LaTeX escapeinside

Issue - State: closed - Opened by pierregoutagny 11 months ago - 5 comments

#588 - Repair the 'explain' plugin

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

#587 - Fix R compilation

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

GitHub / CatalaLang/catala issues and pull requests