Christian Rinderknecht
|
f5e0dad979
|
Added # line directive at the start to recover the file name. Continued integration.
|
2020-04-01 19:22:46 +02:00 |
|
Christian Rinderknecht
|
968e73b342
|
Integrated the library for preprocessing.
The build with Makefile works. Dune build to be tested.
|
2020-03-31 19:44:10 +02:00 |
|
Christian Rinderknecht
|
4f4294bf56
|
Refactoring of the front-end towards integration of the local builds
and the globol build, using the parser error messages, for instance.
|
2020-01-23 18:28:04 +01:00 |
|
Christian Rinderknecht
|
8384e3d1f7
|
[WIP] Refactoring of front-end.
|
2020-01-20 10:57:07 +01:00 |
|
Christian Rinderknecht
|
ddd438aaa8
|
Forgot to add.
|
2020-01-06 10:03:41 +00:00 |
|