Denis Merigoux
0ec75ad589
Merge branch 'master' into adelaett-withoutexceptionsfix
2023-04-18 14:37:02 +02:00
Louis Gesbert
bd870b0c28
Add experimental lazy interpreter as a plugin ( #453 )
2023-04-18 14:08:03 +02:00
Denis Merigoux
0266252854
Refactoring for cleaner exception graph building
2023-04-18 11:06:58 +02:00
Denis Merigoux
57da622567
Refactoring changes after @altgr's suggestions
2023-04-18 10:31:44 +02:00
Denis Merigoux
6479c3c10b
Print exception tree
2023-04-18 09:59:24 +02:00
Denis Merigoux
2afb6fc20c
I/O plumbing necessary for this feature, missing main implem
2023-04-18 09:59:24 +02:00
Louis Gesbert
b4a68fa392
Add experimental lazy interpreter as a plugin
...
To try it (without installing Catala):
```shell-session
$ make plugins
$ export CATALA_PLUGINS=_build/default/compiler/plugins
$ dune exec -- catala lazy examples/aides_logement/tests/tests_calcul_apl_locatif.catala_fr -s Exemple2
```
Keep in mind that this is a work-in-progress prototype :)
2023-04-14 16:56:57 +02:00
adelaett
adf14056fd
backtrace is now determined by the option.debug flag.
2023-04-14 16:38:39 +02:00
adelaett
abc30e1612
handling invariants checking differently in the main driver
2023-04-14 12:01:16 +02:00
adelaett
622feec9a5
change Invariants choice to --check_invariants flag
2023-04-14 11:32:49 +02:00
Louis Gesbert
feeee4016e
Add support for dcalc plugins
...
previously only lcalc and scalc where available
2023-04-14 10:42:26 +02:00
adelaett
83553d5950
indicate what interpreter is launched in debug mode.
2023-04-11 16:15:24 +02:00
adelaett
3e35d4b826
Merge branch 'master' into adelaett-withoutexceptionsfix
2023-04-11 11:49:22 +02:00
adelaett
6c7ac061d4
fix identation and use new formatting functions as default
2023-04-07 11:57:14 +02:00
adelaett
618ff0518d
move printing of program & scope to the Print module
2023-04-07 11:26:10 +02:00
adelaett
9b63743c2f
documentation
2023-04-07 10:49:48 +02:00
alain
ec40de83fc
Merge branch 'master' into adelaett-withoutexceptionsfix
2023-04-06 13:57:22 +02:00
adelaett
75e496c62d
correct types
2023-04-05 16:35:12 +02:00
adelaett
72f6ac9f58
append lcalc to driver
2023-04-05 15:42:26 +02:00
adelaett
06147ac5b6
typing working in the file, but does not accept
...
Lcalc for some reason
2023-04-05 10:32:52 +02:00
adelaett
948af85abd
simplification of the driver
2023-04-04 15:17:43 +02:00
Denis Merigoux
6d71d52a2e
Update tests and create disable_warnings option
2023-03-31 16:43:03 +02:00
Denis Merigoux
9d64150a47
Add linting
2023-03-30 16:09:03 +02:00
adelaett
61830bc348
fixing runtime merge errors
2023-03-30 11:02:35 +02:00
adelaett
6dee3874cc
Merge branch 'master' into adelaett-withoutexceptionsfix
2023-03-30 10:50:32 +02:00
adelaett
4fe23c894d
driver debugging code
2023-03-28 09:55:01 +02:00
Denis Merigoux
e4c4339856
Small fixes
2023-03-28 09:38:47 +02:00
adelaett
9806eb7e0f
format for program
2023-03-23 13:46:17 +01:00
adelaett
256adcae4b
rename invariant
2023-03-21 14:31:21 +01:00
Denis Merigoux
48ef5b8f21
Fix warning and update assets
2023-03-21 14:00:49 +01:00
Denis Merigoux
aa8ab3be3d
Merge branch 'master' into c_backend
2023-03-21 12:14:10 +01:00
adelaett
82af9e8305
unfolding more bugs
2023-03-16 17:14:33 +01:00
Louis Gesbert
abc5a00c2f
Compile LaTeX code using minted without the Python venv
...
This is a hack, but not a dirty one: a new command `catala pygmentize` is added,
which is just a wrapper around `pygmentize` that calls it with the proper lexers
defined.
The point is that this needs no installation, just a stock `pygmentize`
installation and the `catala` binary.
2023-03-14 17:35:22 +01:00
adelaett
4d3b021eef
finished the implementation, but a few issues are missing
2023-03-13 16:51:06 +01:00
Louis Gesbert
508992de33
Embed the Pygments Catala lexer
...
This enables the HTML output to work without a custom Pygments installation (or
the proper venv activated)
2023-03-13 14:41:24 +01:00
adelaett
6c0e04942f
corrected iota optimization
2023-03-06 16:00:41 +01:00
adelaett
2ae2ff7d50
adding a non-passing invariant
2023-02-28 08:36:34 +01:00
adelaett
9ec2b7785d
more work on invariants
2023-02-27 11:20:59 +01:00
adelaett
382150b513
new invariant option when launching the compiler
2023-02-27 11:20:59 +01:00
Louis Gesbert
03645e6404
Rename Scalc from_lambda to from_lcalc for consistency
2023-02-17 19:49:56 +01:00
Louis Gesbert
c3af0b4097
Toplevel definitions: branch cleanup
...
- fix remaining warnings (mostly unused arguments)
- renamings throughout for consistency and clarity
2023-02-13 18:02:09 +01:00
Louis Gesbert
912e1500c4
Handle toplevel defs down to scalc
2023-02-13 11:44:32 +01:00
Louis Gesbert
9b0c7583ec
Add top-level definitions
...
Only handled until before scalc at the moment.
2023-02-13 11:43:49 +01:00
Denis Merigoux
7702949401
Better printing
2023-02-08 16:03:23 +01:00
Denis Merigoux
c78a004b53
Leave everything unresolved for now
2023-02-08 16:00:53 +01:00
Denis Merigoux
e7d1fb84e9
Trying to retype closure conversion but fails [skip-ci]
2023-02-08 16:00:20 +01:00
Denis Merigoux
38d5ef9715
Small improvement
2023-02-08 15:59:51 +01:00
Denis Merigoux
83e9e83909
Progressing [skip ci]
...
Testing with dune exec catala -- Lcalc -s S tests/test_func/good/closure_conversion.catala_en --avoid_exceptions -O --closure_conversion
2023-02-08 15:59:51 +01:00
Louis Gesbert
467a338b6c
Install Catala plugins
...
Fixes #378
- the plugins are compiled as libraries rather than with `executable`, so that
dune is able to install them
- they get installed to `lib/catala/plugins/<plugin-name>/<plugin-name>.cmxs`
- the lookup for plugins is now recursive to cope with the plugin subdirectories
in the point above
2023-01-17 14:38:09 +01:00
Denis Merigoux
2f4a51ce64
Bug fixed! It was tricky
2023-01-07 20:22:36 +01:00
