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
#705 - Suport for composite catala duration literals in the parser
Issue -
State: open - Opened by rprimet 8 days ago
- 1 comment
Labels: 💡 language, #️⃣ syntax
#704 - Small interface improvements
Pull Request -
State: closed - Opened by AltGr 8 days ago
#703 - Fix handling of the lexer context
Pull Request -
State: closed - Opened by AltGr 9 days ago
- 3 comments
#702 - LSP : display error messages in a nicer format adapted to VSCode
Issue -
State: open - Opened by denismerigoux 9 days ago
Labels: ✨ enhancement, 🤩 ide
#701 - Call Catala plugin backends from custom clerk targets
Issue -
State: open - Opened by denismerigoux 9 days ago
Labels: ✨ enhancement, 🏗️ build system
#700 - Improve the explanation by lazy evaluation plugin
Issue -
State: open - Opened by denismerigoux 9 days ago
Labels: ✨ enhancement, 🔧 compiler
#699 - List available targets for clerk
Issue -
State: open - Opened by denismerigoux 9 days ago
Labels: 📘 documentation, 🏗️ build system
#698 - Package and automatize the packaging of the Catala VSCode plugin
Issue -
State: open - Opened by denismerigoux 9 days ago
- 1 comment
Labels: 🏗️ build system, 🤩 ide
#697 - Expand multiple errors return
Issue -
State: open - Opened by denismerigoux 9 days ago
Labels: ✨ enhancement, 🔧 compiler, 🤩 ide
#696 - Positions of locally bound variables in binder
Issue -
State: open - Opened by denismerigoux 9 days ago
Labels: ❓ invalid, 🔧 compiler, 🤩 ide
#695 - LSP : print only name of structs and enums on type hover
Issue -
State: open - Opened by denismerigoux 9 days ago
- 1 comment
Labels: ✨ enhancement, 🤩 ide
#694 - Fix inconsistent marks
Pull Request -
State: closed - Opened by vincent-botbol 10 days ago
#693 - clerk behavior differs when using absolute or relative paths?
Issue -
State: open - Opened by rprimet 11 days ago
- 1 comment
Labels: ❌ bug, 🏗️ build system
#692 - RFC - Clerk TOML configuration & Expected usage
Issue -
State: open - Opened by vincent-botbol 15 days ago
- 3 comments
Labels: 💬 discussion, 🏗️ build system
#691 - Contract language for Catala scopes
Issue -
State: open - Opened by denismerigoux 15 days ago
- 2 comments
Labels: 🔧 compiler, 💡 language, #️⃣ syntax
#690 - Idiomatic C backend
Issue -
State: open - Opened by denismerigoux 15 days ago
Labels: ✨ enhancement, 🔧 compiler
#689 - Fix OCaml backend bug regarding exception source positions
Pull Request -
State: closed - Opened by AltGr 18 days ago
#688 - Add the possibility to override inputs of included files
Pull Request -
State: closed - Opened by vincent-botbol 23 days ago
#687 - Proper renaming system in the backend
Issue -
State: closed - Opened by denismerigoux 24 days ago
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system
#686 - CI for testing examples with a constant compiler
Issue -
State: open - Opened by denismerigoux 24 days ago
Labels: ✨ enhancement, ⚖️ program, 🏗️ build system
#685 - Formatter for Catala code
Issue -
State: closed - Opened by denismerigoux 24 days ago
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system, 🤩 ide
#684 - #683 follow-up
Pull Request -
State: closed - Opened by vincent-botbol 24 days ago
#683 - Syntax cheat typo
Pull Request -
State: closed - Opened by denismerigoux 24 days ago
Labels: ❌ bug, 📘 documentation
#682 - catala-language-server does not support file names with diacritics
Issue -
State: closed - Opened by denismerigoux 24 days ago
Labels: ❌ bug, 🤩 ide
#681 - `catala testcase write` seems to discard language info
Issue -
State: open - Opened by rprimet 25 days ago
- 2 comments
Labels: ❓ invalid, 🔧 compiler, 🤩 ide
#680 - Small typo in the syntax cheatsheet
Issue -
State: closed - Opened by rprimet 25 days ago
Labels: 📘 documentation, ℹ️ information
#679 - Cross-backend testing
Issue -
State: open - Opened by denismerigoux 29 days ago
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system, 🔚 backends
#678 - Whole program compilation
Issue -
State: open - Opened by denismerigoux 29 days ago
Labels: ✨ enhancement, 🔧 compiler
#677 - C backend : generate deep copy functions for user-defined types containing boxes
Issue -
State: open - Opened by denismerigoux 29 days ago
Labels: ❓ invalid, 🔧 compiler, 🔚 backends
#676 - catala-language-server: use LSP info in the custom test case editor
Issue -
State: open - Opened by rprimet 30 days 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 30 days ago
- 1 comment
Labels: 📘 documentation, ✨ enhancement, ℹ️ information
#674 - Correclty link Python backend to dates_calc
Issue -
State: open - Opened by AltGr 30 days ago
Labels: 🔧 compiler, 🔚 backends
#673 - catala-language-server: test case format should include prose sections and possibly metadata
Issue -
State: open - Opened by rprimet about 1 month ago
- 1 comment
Labels: ✨ enhancement, 💬 discussion, 🤩 ide
#672 - catala-language-server: investigate ATD for cross-window messaging
Issue -
State: open - Opened by rprimet about 1 month ago
Labels: 💬 discussion, 🤩 ide
#671 - Progress on the C backend
Pull Request -
State: closed - Opened by AltGr about 1 month ago
- 2 comments
#670 - Testing CI update
Pull Request -
State: closed - Opened by AltGr about 1 month ago
#669 - Cleanup nested matches
Pull Request -
State: closed - Opened by AltGr about 1 month ago
#668 - Issue building the test case parser plugin when referencing a library
Issue -
State: closed - Opened by rprimet about 1 month ago
#667 - `context` variables are hard to understand
Issue -
State: open - Opened by AltGr about 2 months ago
Labels: 📘 documentation, #️⃣ syntax
#666 - Renaming idents, second stage: use proper renaming in scalc and Python
Pull Request -
State: closed - Opened by AltGr about 2 months ago
- 1 comment
#665 - allow building for more systems
Pull Request -
State: closed - Opened by faezs about 2 months ago
- 5 comments
#664 - Implement safe renaming of idents for backend printing
Pull Request -
State: closed - Opened by AltGr about 2 months ago
#663 - Introduce modules in toml config
Pull Request -
State: closed - Opened by vincent-botbol 2 months ago
- 1 comment
#662 - Fix typing error missing position
Pull Request -
State: closed - Opened by vincent-botbol 2 months ago
- 1 comment
#661 - Add LSP required features
Pull Request -
State: closed - Opened by vincent-botbol 2 months ago
- 1 comment
#660 - Fix missing keywords in emacs mode
Pull Request -
State: closed - Opened by vincent-botbol 2 months ago
- 1 comment
#659 - Fix scopelang scope definition variable positions
Pull Request -
State: closed - Opened by vincent-botbol 3 months ago
Labels: 🔧 compiler, 🤩 ide
#658 - Trace selectors
Issue -
State: open - Opened by denismerigoux 3 months ago
Labels: ✨ enhancement, 🔧 compiler
#657 - Interactive debugguer for Catala
Issue -
State: open - Opened by denismerigoux 3 months ago
- 1 comment
Labels: 🔧 compiler, 🏗️ build system, 🤩 ide
#656 - Add a clerk test launch and report UI
Issue -
State: open - Opened by denismerigoux 3 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 3 months ago
Labels: 🔧 compiler, 🏗️ build system
#654 - TOML project specification file for Clerk
Issue -
State: open - Opened by denismerigoux 3 months ago
Labels: 🔧 compiler, 🏗️ build system, 🤩 ide
#653 - LSP implementation
Issue -
State: closed - Opened by denismerigoux 3 months ago
- 1 comment
Labels: 🔧 compiler, 🤩 ide
#652 - Add test case UI aimed at non-programmers
Issue -
State: open - Opened by rprimet 3 months ago
Labels: ✨ enhancement
#651 - Improve the format of the computation trace
Issue -
State: open - Opened by denismerigoux 3 months ago
Labels: ✨ enhancement, 🔧 compiler
#650 - Static analysis for usage of input atoms
Issue -
State: open - Opened by denismerigoux 3 months ago
Labels: ✨ enhancement, 💬 discussion, 🔧 compiler
#649 - Abstract syntax tree serialization to JSON for IDE plugins
Issue -
State: closed - Opened by denismerigoux 3 months ago
- 1 comment
Labels: ✨ enhancement, 🔧 compiler
#648 - C backend without heap allocations
Issue -
State: open - Opened by AltGr 3 months ago
Labels: 💬 discussion, 🔧 compiler, 🔚 backends
#647 - Add a list folding surface syntax
Issue -
State: open - Opened by denismerigoux 3 months ago
- 1 comment
Labels: ✨ enhancement, 🔧 compiler, #️⃣ syntax
#646 - Add a list sorting builtin to the language
Issue -
State: open - Opened by denismerigoux 3 months ago
Labels: ✨ enhancement, 🔧 compiler, #️⃣ syntax
#645 - Invent Catala writing exercices to complement the tutorial
Issue -
State: open - Opened by denismerigoux 3 months ago
Labels: 📘 documentation
#644 - Write a "get started" section of the README.md or a separate GETSTARTED.md file
Issue -
State: open - Opened by denismerigoux 3 months ago
Labels: 📘 documentation
#643 - Remove the R backend
Pull Request -
State: closed - Opened by AltGr 3 months ago
#642 - Add JUnit-compatible test output to `clerk report`
Pull Request -
State: closed - Opened by AltGr 3 months ago
- 1 comment
#641 - Remove the "with-exceptions" backend from the compiler
Pull Request -
State: closed - Opened by AltGr 3 months ago
- 2 comments
#640 - Literate output: adjust catala-metadata margins
Pull Request -
State: closed - Opened by AltGr 3 months ago
#639 - Support for basic `clerk.toml` configuration files
Pull Request -
State: closed - Opened by AltGr 3 months ago
- 1 comment
#638 - Clerk reports: postprocess diff output
Pull Request -
State: closed - Opened by AltGr 3 months ago
- 1 comment
#637 - Testing and debugging closure conversion
Pull Request -
State: closed - Opened by AltGr 3 months ago
#636 - Refactor suggestions mechanism
Pull Request -
State: closed - Opened by vincent-botbol 4 months ago
Labels: ✨ enhancement
#635 - Fix spurious clerk rebuilds
Pull Request -
State: closed - Opened by AltGr 4 months ago
#634 - Add error messages numbering
Pull Request -
State: closed - Opened by vincent-botbol 4 months ago
- 2 comments
#633 - Add PR policies in CONTRIBUTING.md
Pull Request -
State: closed - Opened by vincent-botbol 4 months ago
Labels: 📘 documentation, ℹ️ information
#632 - Generate tests reports from 'clerk test'
Pull Request -
State: closed - Opened by AltGr 4 months ago
- 4 comments
#631 - Multiple typing errors reporting
Pull Request -
State: closed - Opened by vincent-botbol 4 months ago
Labels: ✨ enhancement, 🔧 compiler
#630 - Multiple parsing errors reporting
Pull Request -
State: closed - Opened by vincent-botbol 4 months ago
- 4 comments
Labels: ✨ enhancement, 🔧 compiler
#629 - Fix error message typo
Pull Request -
State: closed - Opened by vincent-botbol 4 months ago
#628 - Generate loaders for external modules
Issue -
State: open - Opened by AltGr 4 months ago
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system
#627 - Typing across closure conversion
Pull Request -
State: closed - Opened by AltGr 4 months ago
#626 - Update opam dependencies
Pull Request -
State: closed - Opened by AltGr 4 months ago
- 5 comments
#625 - Implement module hashes and checks
Pull Request -
State: closed - Opened by AltGr 4 months ago
- 1 comment
#624 - Add Input or context subscopes
Pull Request -
State: open - Opened by denismerigoux 4 months ago
Labels: ✨ enhancement, 🔧 compiler, 🚧 wip
#623 - Improve the output of clerk test
Issue -
State: closed - Opened by denismerigoux 5 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 5 months ago
- 1 comment
#621 - Fix lexing of verbatim blocks
Pull Request -
State: closed - Opened by AltGr 5 months ago
#620 - Fix building and publishing of the website assets
Pull Request -
State: closed - Opened by AltGr 5 months ago
#619 - Bug in make website-assets.tar
Issue -
State: closed - Opened by denismerigoux 5 months ago
- 2 comments
Labels: ❌ bug, 🏗️ build system
#618 - Fixes in Python runtime
Pull Request -
State: closed - Opened by rmonat 5 months ago
- 1 comment
#617 - Fixes for 0.10.0
Pull Request -
State: closed - Opened by AltGr 5 months ago
#616 - Missing runtime embedding for tuples
Issue -
State: open - Opened by AltGr 5 months ago
- 1 comment
Labels: 🔧 compiler
#615 - Unify traces between interpreter and runtime
Pull Request -
State: closed - Opened by AltGr 5 months ago
- 1 comment
#614 - Cleaner message printing
Pull Request -
State: closed - Opened by AltGr 5 months ago
- 3 comments
#613 - Continuation-based message module can lead to performance decrease
Issue -
State: closed - Opened by rmonat 5 months ago
- 4 comments
Labels: ❓ invalid, 🔧 compiler
#612 - Python rounding operators are incorrect
Issue -
State: closed - Opened by rmonat 5 months ago
- 1 comment
Labels: ❌ bug, 🔚 backends
#611 - Unify runtime error handling
Pull Request -
State: closed - Opened by AltGr 5 months ago
- 2 comments
#610 - Concolic testing engine
Pull Request -
State: closed - Opened by rmonat 5 months ago
- 3 comments
#609 - Default optimizations missing some cases?
Issue -
State: closed - Opened by rmonat 5 months ago
- 2 comments
#608 - Fix some statement orderings in scalc
Pull Request -
State: closed - Opened by AltGr 5 months ago
- 1 comment
#607 - Add env variables to set flags `-O`, `--avoid-exceptions`, `--trace`
Pull Request -
State: closed - Opened by AltGr 6 months ago
- 2 comments
#606 - Update syntax highlighting rules and cheat-sheets
Pull Request -
State: closed - Opened by AltGr 6 months ago
- 1 comment