CatalaLang catala issues

CatalaLang / catala

Programming language for literate programming law specification

https://catala-lang.org

Apache License 2.0

1.97k stars 78 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Dcalc: don't thunk context inputs anymore

#710 AltGr opened 7 hours ago
0
Improvements for the Catala formatter

#709 denismerigoux opened 13 hours ago
0
Add a catch to error raised by get_command

#708 denismerigoux closed 9 hours ago
0
Hosting docs and syntax on catala-lang.org

#707 denismerigoux opened 15 hours ago
0
Add `--autotest` option

#706 AltGr opened 1 day ago
3
Suport for composite catala duration literals in the parser

#705 rprimet closed 1 day ago
2
Small interface improvements

#704 AltGr closed 6 days ago
0
Fix handling of the lexer context

#703 AltGr closed 6 days ago
3
LSP : display error messages in a nicer format adapted to VSCode

#702 denismerigoux opened 1 week ago
0
Call Catala plugin backends from custom clerk targets

#701 denismerigoux opened 1 week ago
0
Improve the explanation by lazy evaluation plugin

#700 denismerigoux opened 1 week ago
0
List available targets for clerk

#699 denismerigoux opened 1 week ago
0
Package and automatize the packaging of the Catala VSCode plugin

#698 denismerigoux opened 1 week ago
1
Expand multiple errors return

#697 denismerigoux opened 1 week ago
0
Positions of locally bound variables in binder

#696 denismerigoux opened 1 week ago
0
LSP : print only name of structs and enums on type hover

#695 denismerigoux closed 1 day ago
1
Fix inconsistent marks

#694 vincent-botbol closed 1 week ago
0
clerk behavior differs when using absolute or relative paths?

#693 rprimet opened 1 week ago
1
RFC - Clerk TOML configuration & Expected usage

#692 vincent-botbol opened 1 week ago
3
Contract language for Catala scopes

#691 denismerigoux opened 1 week ago
3
Idiomatic C backend

#690 denismerigoux opened 1 week ago
0
Fix OCaml backend bug regarding exception source positions

#689 AltGr closed 2 weeks ago
0
Add the possibility to override inputs of included files

#688 vincent-botbol closed 3 weeks ago
0
Proper renaming system in the backend

#687 denismerigoux closed 3 weeks ago
0
CI for testing examples with a constant compiler

#686 denismerigoux opened 3 weeks ago
0
Formatter for Catala code

#685 denismerigoux closed 3 weeks ago
0
#683 follow-up

#684 vincent-botbol closed 3 weeks ago
0
Syntax cheat typo

#683 denismerigoux closed 3 weeks ago
0
catala-language-server does not support file names with diacritics

#682 denismerigoux closed 3 weeks ago
0
`catala testcase write` seems to discard language info

#681 rprimet opened 3 weeks ago
2
Small typo in the syntax cheatsheet

#680 rprimet closed 3 weeks ago
0
Cross-backend testing

#679 denismerigoux opened 3 weeks ago
1
Whole program compilation

#678 denismerigoux opened 3 weeks ago
0
C backend : generate deep copy functions for user-defined types containing boxes

#677 denismerigoux opened 3 weeks ago
0
catala-language-server: use LSP info in the custom test case editor

#676 rprimet opened 4 weeks ago
0
Ajout d'un fichier publiccode.yml pour être promu via code.gouv.fr

#675 bzg closed 3 weeks ago
1
Correclty link Python backend to dates_calc

#674 AltGr opened 4 weeks ago
0
catala-language-server: test case format should include prose sections and possibly metadata

#673 rprimet opened 4 weeks ago
1
catala-language-server: investigate ATD for cross-window messaging

#672 rprimet opened 1 month ago
0
Progress on the C backend

#671 AltGr closed 6 days ago
3
Testing CI update

#670 AltGr closed 1 month ago
0
Cleanup nested matches

#669 AltGr closed 1 month ago
0
Issue building the test case parser plugin when referencing a library

#668 rprimet closed 1 month ago
0
`context` variables are hard to understand

#667 AltGr opened 1 month ago
2
Renaming idents, second stage: use proper renaming in scalc and Python

#666 AltGr closed 1 month ago
1
allow building for more systems

#665 faezs closed 4 weeks ago
5
Implement safe renaming of idents for backend printing

#664 AltGr closed 1 month ago
0
Introduce modules in toml config

#663 vincent-botbol closed 1 month ago
1
Fix typing error missing position

#662 vincent-botbol closed 1 month ago
1
Add LSP required features

#661 vincent-botbol closed 2 months ago
1