Overview Repositories
63
 Projects Packages Public Activity Starred Repositories
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 15:55:33 +01:00
58c17b688c Correct title rendering of slide 7 and correct copy-pasted int and bool cases
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-13 16:03:39 +01:00
c441f8b1a6 Correct typo in comment in src/config.ml
Benjamin_Loison opened issue Benjamin_Loison/YouTube_captions_search_engine#1 2022-12-13 03:00:41 +01:00
Add a license
Benjamin_Loison created repository Benjamin_Loison/YouTube_captions_search_engine 2022-12-12 00:08:57 +01:00
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 22:25:13 +01:00
298e88f1a5 Simplify ETriOp case in src/ast_to_c.ml
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 20:07:30 +01:00
014110791d Remove useless prefix from pp_expression_aux and pp_expression_list functions in src/ast_to_c.ml
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 19:53:26 +01:00
cbddd63927 Format the code to make it shorter and more readable
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 19:49:25 +01:00
4000133b66 Format the code to make it shorter and more readable
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 19:28:44 +01:00
241f3dcbc0 Add pre support in C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 18:45:33 +01:00
c0c29e1df7 Add assignement support for tuples
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 18:43:56 +01:00
639438e616 Add assignement support for tuples
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 21:17:34 +01:00
da823ac3c8 Add -> support in C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 21:15:39 +01:00
d0d4c81986 Add -> support in C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 20:52:07 +01:00
38f58f7558 Unitfy pp_varlist, pp_argvarlist and pp_decvarlist
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 20:30:36 +01:00
eac8c6893c Add support to multiple local variables in C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 20:22:14 +01:00
363f5043a0 Add node call support in C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 19:27:20 +01:00
5a54f897b1 Add indentation to pp_equations in src/ast_to_c.ml
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 19:24:36 +01:00
ac1eea42e9 Make <=, >= and <> work
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 19:24:05 +01:00
f128c7f9f5 Make <=, >= and <> work
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-10 19:21:18 +01:00
f6dc94e232 Make <=, >= and <> work