Denis Merigoux
|
03774fdfc2
|
Fixed CI
|
2021-03-02 18:28:56 +01:00 |
|
Denis Merigoux
|
0259573cd0
|
Renamed files and makefiles fixes
|
2021-02-28 18:18:01 +01:00 |
|
Denis Merigoux
|
716700c8be
|
Merge branch 'master' into gen-parser-msgs
|
2021-02-17 10:45:43 +01:00 |
|
Denis Merigoux
|
2b1c28302a
|
Update makefile rule
|
2021-02-12 18:56:36 +01:00 |
|
Louis Gesbert
|
c628b31d12
|
Generate parser.messages from dune
(and remove generated `parser_errors.ml` from git)
|
2021-02-12 18:28:22 +01:00 |
|
Louis Gesbert
|
edd94dcc0e
|
Rename directories to match the names of the libraries they contain
|
2021-02-12 17:26:39 +01:00 |
|
Denis Merigoux
|
f2c4303f53
|
Update website assets make rules
|
2021-02-04 11:17:45 +01:00 |
|
Denis Merigoux
|
f685c9302f
|
Added test suite for compiled code
|
2021-02-03 10:53:21 +01:00 |
|
Denis Merigoux
|
b3c8b49a3b
|
Fixed typo
|
2021-02-01 22:42:58 +01:00 |
|
Denis Merigoux
|
c212a1e2f8
|
Fixed makefile
|
2021-02-01 20:24:50 +01:00 |
|
Denis Merigoux
|
5c5dbc542f
|
Js version of Allocations familiales
|
2021-02-01 20:09:16 +01:00 |
|
Denis Merigoux
|
aed578d6df
|
Dox fix
|
2021-01-30 18:00:49 +01:00 |
|
Denis Merigoux
|
647320d4aa
|
Benchmark, randomness of inputs, bugs fixed
|
2021-01-30 17:54:05 +01:00 |
|
Denis Merigoux
|
313ca065f4
|
Benchmarked the result on allocations familiales, it is fast enough
|
2021-01-28 23:46:39 +01:00 |
|
Denis Merigoux
|
617d19df24
|
Improved OCaml backend, made dev loop
|
2021-01-28 18:30:01 +01:00 |
|
Denis Merigoux
|
a9d415b7b9
|
Added map visitors to surface AST
|
2021-01-20 16:27:39 +01:00 |
|
Denis Merigoux
|
a6338c3a9c
|
Typos
|
2021-01-16 18:06:22 +01:00 |
|
Denis Merigoux
|
852a6412eb
|
Changed odate to calendarLib
|
2021-01-14 13:04:15 +01:00 |
|
Denis Merigoux
|
8a2bf4e389
|
Better trace
|
2021-01-09 21:03:32 +01:00 |
|
Denis Merigoux
|
06803e4170
|
Fixed makefile and dune_porject
|
2021-01-05 14:35:04 +01:00 |
|
Denis Merigoux
|
f966fc87d0
|
Added web-compatible version of the Catala interpreter
|
2020-12-26 17:37:45 +01:00 |
|
James Barnes
|
f7bd47c38d
|
Adapt general makefile for dual language tutorials
|
2020-12-24 11:37:11 +01:00 |
|
Denis Merigoux
|
dbfd990f95
|
Makefile tweaks
|
2020-12-21 18:26:01 +01:00 |
|
Denis Merigoux
|
293438ea38
|
Missing JS stubs
|
2020-12-21 18:15:53 +01:00 |
|
Denis Merigoux
|
73c19df068
|
Added the js_of_ocaml to the deps
|
2020-12-21 16:06:01 +01:00 |
|
Denis Merigoux
|
606b148c74
|
Lots of documentation
|
2020-12-21 16:02:00 +01:00 |
|
Denis Merigoux
|
e33ea8d55c
|
Finished documentation
|
2020-12-14 18:09:38 +01:00 |
|
Denis Merigoux
|
8f8d322400
|
Fixed makefile wrangling
|
2020-12-10 18:21:48 +01:00 |
|
Denis Merigoux
|
ebf14f6121
|
Added assertions, starting to execute section132
|
2020-12-10 18:11:43 +01:00 |
|
Denis Merigoux
|
902c3f8d7d
|
Added date and durations handling
|
2020-12-10 11:35:56 +01:00 |
|
Denis Merigoux
|
be563a24f6
|
Defined operators for dec and money
|
2020-12-09 14:51:22 +01:00 |
|
Denis Merigoux
|
0e7943b8f7
|
Fix makefile
|
2020-11-23 09:33:07 +01:00 |
|
Denis Merigoux
|
4c66a09895
|
Added bindlib as a dependency
|
2020-11-22 21:04:29 +01:00 |
|
Denis Merigoux
|
32800d3011
|
Added unionfind as a dependencu
|
2020-11-22 21:00:14 +01:00 |
|
Denis Merigoux
|
1d0517d5b8
|
Remove mentions to LegiFrance Catala
|
2020-10-04 13:02:50 +02:00 |
|
Denis Merigoux
|
cdfa9038cf
|
Literate programming AST now tree-shaped
|
2020-10-04 01:25:37 +02:00 |
|
Denis Merigoux
|
0cda3ba819
|
Big renaming
|
2020-09-12 17:03:42 +02:00 |
|
Denis Merigoux
|
144b1e7d0d
|
Added VSCode syntax highlighting!
|
2020-08-18 23:16:27 +02:00 |
|
Denis Merigoux
|
e54bce094c
|
Localized files extensions, syntax highlighting for non-verbose which is now the defaul
|
2020-08-08 19:07:28 +02:00 |
|
Denis Merigoux
|
df25d5d94d
|
Automated test suite!
|
2020-08-07 17:37:28 +02:00 |
|
Denis Merigoux
|
00286605dc
|
Merge pull request #22 from CatalaLang/proto
Prototype implementation featuring only the core default calculus and scope language
|
2020-08-04 15:02:49 +02:00 |
|
Nicolas Chataing
|
15c1df9fa7
|
Add ocamlgraph dependency in the Makefile
|
2020-08-03 16:41:51 +02:00 |
|
jemsab
|
f2a33977eb
|
Set directory for code_general_impots
|
2020-07-11 16:22:05 +02:00 |
|
jemsab
|
efeff8bbac
|
Implement example article for French Tax Code (Code général des Impôts)
|
2020-07-11 16:22:05 +02:00 |
|
Denis Merigoux
|
09d0aeeb57
|
Makefile should now build examples
|
2020-05-26 11:38:52 +02:00 |
|
Denis Merigoux
|
7018e2ab1d
|
Transformed dummy example into real english example
|
2020-05-25 19:07:55 +02:00 |
|
Denis Merigoux
|
962109be36
|
Added doc generation to website assets
|
2020-05-23 17:39:16 +02:00 |
|
Denis Merigoux
|
cd9957b8c4
|
Add interface and doc to api.ml
|
2020-05-22 23:02:48 +02:00 |
|
Denis Merigoux
|
1ade06a8f9
|
Added beginning of tutorial
|
2020-05-17 18:53:54 +02:00 |
|
Denis Merigoux
|
f3aabf5287
|
Field -> Scope
|
2020-05-14 21:19:46 +02:00 |
|