|
|
5cabb042fc
|
Improve and correct IO UI and add tests
|
2023-01-03 19:43:24 +01:00 |
|
Arnaud DABY-SEESARAM
|
fa052f70e2
|
[beamer] pause added
|
2022-12-16 17:00:24 +01:00 |
|
|
|
0175749296
|
Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
|
2022-12-16 15:53:14 +01:00 |
|
Arnaud DABY-SEESARAM
|
4054da7d47
|
[beamer]
|
2022-12-16 16:51:49 +01:00 |
|
Antoine Grimod
|
fc0a12fa12
|
beamer automaton pass
|
2022-12-16 16:40:34 +01:00 |
|
|
|
edfec42738
|
Add Git link to title slide of beamer
|
2022-12-16 16:03:47 +01:00 |
|
|
|
d06fccf36b
|
Add second slide concerning AST to C
|
2022-12-16 16:02:03 +01:00 |
|
|
|
b616bad07a
|
Modify second slide concerning AST to C
|
2022-12-16 15:53:04 +01:00 |
|
|
|
7a0f54f291
|
Remove unused pp_loc from src/ast_to_c.ml which was copied from src/pp.ml but never used
|
2022-12-16 15:40:24 +01:00 |
|
|
|
dbf1583ffd
|
Complete first slide of AST to C
|
2022-12-16 15:33:39 +01:00 |
|
|
|
9e96697991
|
First slide of AST to C
|
2022-12-16 15:07:46 +01:00 |
|
|
|
c37e819f1a
|
Add a title frame to the beamer
|
2022-12-16 05:06:27 +01:00 |
|
Arnaud DABY-SEESARAM
|
3fa0f92233
|
[beamer] A few straight forward slides added
|
2022-12-16 10:45:20 +01:00 |
|
Arnaud DABY-SEESARAM
|
38a7325097
|
[beamer] slide 7
|
2022-12-15 16:17:47 +01:00 |
|
dsac
|
e84a6e387d
|
[beamer] proto 0
|
2022-12-15 11:40:29 +01:00 |
|
