Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • f55cd56fde Clean other tries Benjamin Loison 2022-12-16 04:46:48 +01:00
  • 012131e035 Solve C warnings and support renaming outputs of functions Benjamin Loison 2022-12-16 04:45:30 +01:00
  • b58b250532 WIP to remove C warnings Benjamin Loison 2022-12-16 03:18:21 +01:00
  • 78e096d2f4 Add support for returning multiple variables but generate C errors, as we keep returning variables for void functions Benjamin Loison 2022-12-16 03:03:12 +01:00
  • 621658e177 Removing first try to implement generalized function results Benjamin Loison 2022-12-16 01:55:53 +01:00
  • 85ecea0b9e First try to implement generalized function results Benjamin Loison 2022-12-16 01:55:21 +01:00
  • 7c2c43fe24 Precise to what extent considering integers work fine with working with floats instead Benjamin Loison 2022-12-16 01:20:42 +01:00
  • c7a97f3305 [passes] linearization: merge fix Arnaud DABY-SEESARAM 2022-12-16 09:00:03 +01:00
  • 8d6349dd3f Merge remote-tracking branch 'origin/master' into wip Arnaud DABY-SEESARAM 2022-12-16 08:53:55 +01:00
  • d7f0f148e9 [pre linearization] done, not tested Arnaud DABY-SEESARAM 2022-12-16 08:52:48 +01:00
  • 9987922e0f [passes] linearization of pre (wip) dsac 2022-12-16 07:47:20 +01:00
  • 6af9ddf394 added pass to check validity of automata and disable flattening of automaton branch because of incorrect code resulting from it Antoine Grimod 2022-12-16 01:04:09 +01:00
  • 1b3af051b3 adding automaton translation pass to list of executed passes Antoine Grimod 2022-12-16 00:02:48 +01:00
  • b4ae058bf6 Remove unused variable new_locvars in src/passes.ml Benjamin Loison 2022-12-16 00:04:57 +01:00
  • 0c8da12afe Correct typo in verification that nodes always have arguments and make the main having such a verification too, as in Lustre Benjamin Loison 2022-12-16 00:00:11 +01:00
  • 21d2d0c9bb fix type error in code Antoine Grimod 2022-12-15 23:48:02 +01:00
  • de294df84a Translation of automaton to lustre almost finished Antoine Grimod 2022-12-15 23:32:36 +01:00
  • bfca80bb8b Avoid crashes that can occur when using when with a statement that may crash if the when condition doesn't hold Benjamin Loison 2022-12-15 23:22:15 +01:00
  • 74f8a3c3e1 [parser] functions other that main → args required dsac 2022-12-15 22:14:59 +01:00
  • 0d5e045671 [parser] foirbid calling auxiliary nodes with no arguments dsac 2022-12-15 22:07:16 +01:00
  • 97c6020414 [parser] avoid conflicts between local, input and output variables dsac 2022-12-15 21:42:21 +01:00
  • bc8c752649 Add a comment concerning pp_resvars to avoid declaring multiple times two arrays while two would be enough Benjamin Loison 2022-12-15 21:05:20 +01:00
  • eceeb3c157 [fix] identation error dsac 2022-12-15 20:37:05 +01:00
  • ca271eaf66 Correct typos in src/passes.ml and src/test.node Benjamin Loison 2022-12-15 20:13:18 +01:00
  • 72ba196142 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems Benjamin Loison 2022-12-15 19:52:02 +01:00
  • 1a06fc9a6a Add reset support in C Benjamin Loison 2022-12-15 19:51:46 +01:00
  • 8582337774 [passes] pass to check the typing tags of the program / expressions Arnaud DABY-SEESARAM 2022-12-15 18:33:04 +01:00
  • db5c584435 [passes] fix for the equation ordering pass Arnaud DABY-SEESARAM 2022-12-15 17:40:15 +01:00
  • 6459c54159 [passes] ordering equations Arnaud DABY-SEESARAM 2022-12-15 17:11:19 +01:00
  • 9151a6e29a [tests] adding the -test option to duplicate sanity checks Arnaud DABY-SEESARAM 2022-12-15 17:11:19 +01:00
  • 19fd3bc1b9 Merge remote-tracking branch 'origin/master' Arnaud DABY-SEESARAM 2022-12-15 16:18:17 +01:00
  • 38a7325097 [beamer] slide 7 Arnaud DABY-SEESARAM 2022-12-15 16:17:47 +01:00
  • 342aba4426 Correct copy-pasted int and bool cases Benjamin Loison 2022-12-15 16:08:22 +01:00
  • e84a6e387d [beamer] proto 0 dsac 2022-12-15 11:40:29 +01:00
  • ed5f94f821 [simu] wip dsac 2022-12-15 09:13:59 +01:00
  • e75d525a6d [passes] linearisation des équations dsac 2022-12-15 09:13:28 +01:00
  • 73d5ed7726 [parser] avoid redefinition of nodes dsac 2022-12-14 18:41:59 +01:00
  • 79f0c7d223 [passes] never redefine an input Arnaud DABY-SEESARAM 2022-12-13 18:15:48 +01:00
  • f3416582be [passes] correction of the check not re-init of variables Arnaud DABY-SEESARAM 2022-12-13 18:08:06 +01:00
  • c441f8b1a6 Correct typo in comment in src/config.ml Benjamin Loison 2022-12-13 16:03:05 +01:00
  • b4cc3ae756 "pretty" print for automaton Antoine Grimod 2022-12-13 15:57:27 +01:00
  • e5ac9a719d [passes] check unicity of the assignations for each var Arnaud DABY-SEESARAM 2022-12-13 15:55:21 +01:00
  • 69b963c305 [gitfix] rebase fix Arnaud DABY-SEESARAM 2022-12-13 15:04:53 +01:00
  • bb017afe39 added automaton to ast Antoine Grimod 2022-12-13 15:02:54 +01:00
  • ad1f529863 [typo] adding newline Arnaud DABY-SEESARAM 2022-12-13 14:57:55 +01:00
  • 51ed84504f [pre propagation] done. Arnaud DABY-SEESARAM 2022-12-13 14:25:48 +01:00
  • e9d586dfe7 adding automaton Antoine Grimod 2022-12-13 11:45:40 +01:00
  • c4ad75e4cb [passes] auxiliary functions Arnaud DABY-SEESARAM 2022-12-13 11:46:04 +01:00
  • 19be2200f3 Catch syntax errors Arnaud DABY-SEESARAM 2022-12-13 11:43:23 +01:00
  • 8ef4d035a3 Reject programs with var initialized twice Arnaud DABY-SEESARAM 2022-12-13 10:26:55 +01:00
  • ef0effeb1f improvement over error messages (with code ;) ) Arnaud DABY-SEESARAM 2022-12-13 10:26:55 +01:00
  • 298e88f1a5 Simplify ETriOp case in src/ast_to_c.ml Benjamin Loison 2022-12-11 22:25:11 +01:00
  • 014110791d Remove useless prefix from pp_expression_aux and pp_expression_list functions in src/ast_to_c.ml Benjamin Loison 2022-12-11 20:07:28 +01:00
  • cbddd63927 Format the code to make it shorter and more readable Benjamin Loison 2022-12-11 19:53:23 +01:00
  • 241f3dcbc0 Add pre support in C Benjamin Loison 2022-12-11 19:28:41 +01:00
  • c0c29e1df7 Add assignement support for tuples Benjamin Loison 2022-12-11 18:45:30 +01:00
  • da823ac3c8 Add -> support in C Benjamin Loison 2022-12-10 21:17:32 +01:00
  • 38f58f7558 Unitfy pp_varlist, pp_argvarlist and pp_decvarlist Benjamin Loison 2022-12-10 20:51:52 +01:00
  • eac8c6893c Add support to multiple local variables in C Benjamin Loison 2022-12-10 20:30:32 +01:00
  • 363f5043a0 Add node call support in C Benjamin Loison 2022-12-10 20:22:11 +01:00
  • 5a54f897b1 Add indentation to pp_equations in src/ast_to_c.ml Benjamin Loison 2022-12-10 19:27:18 +01:00
  • ac1eea42e9 Make <=, >= and <> work Benjamin Loison 2022-12-10 19:24:34 +01:00
  • a44c9288f5 Translate two expressions of the AST from French to English Benjamin Loison 2022-12-10 19:12:16 +01:00
  • b2e3ec4dd8 Modify src/ast_to_c.ml as a first iteration Benjamin Loison 2022-12-10 19:07:18 +01:00
  • a8e89854a4 Copy src/pp.ml to src/ast_to_c and modify src/main.ml accordingly Benjamin Loison 2022-12-10 18:58:06 +01:00
  • 54d806f149 [pp] add typing information Arnaud DABY-SEESARAM 2022-12-10 17:20:02 +01:00
  • 5551237414 [parser] types of both side of equations are lists Arnaud DABY-SEESARAM 2022-12-10 17:14:54 +01:00
  • 45d64f6960 Add reset keyword Benjamin Loison 2022-12-10 02:18:04 +01:00
  • dcf7320c0d Add one-line comment support and make some semi-column optional Benjamin Loison 2022-12-10 01:58:09 +01:00
  • 97930ba85c Correcting typos and using only English Benjamin Loison 2022-12-10 00:53:20 +01:00
  • 8775edc6fc [parser] working equation type-checker Arnaud DABY-SEESARAM 2022-12-10 00:33:14 +01:00
  • a17b3c6fdd Make real type works Benjamin Loison 2022-12-10 00:05:07 +01:00
  • 3c811c6128 Merge remote-tracking branch 'origin/master' dsac 2022-12-10 00:00:28 +01:00
  • eb469bc960 Cleanning after last merge + parser factorisation dsac 2022-12-10 00:00:17 +01:00
  • da1406fbcc Precise varlist types in the AST Benjamin Loison 2022-12-09 23:43:56 +01:00
  • 53e356ff55 merge: fby: transformation -> pre dans le parseur Arnaud DABY-SEESARAM 2022-12-09 23:22:05 +01:00
  • 347cb3a11d [parser] ajout de fby (proposition alternative) + type checker (sera factorisé) Arnaud DABY-SEESARAM 2022-12-09 23:18:13 +01:00
  • e9dd3fbde4 Add FBY instruction Benjamin Loison 2022-12-09 22:56:51 +01:00
  • a29666f673 [parser] type-checking Arnaud DABY-SEESARAM 2022-12-08 17:52:19 +01:00
  • f64a25b0b5 [cleaning] Arnaud DABY-SEESARAM 2022-12-08 14:34:50 +01:00
  • 0c2341fa0b finished parser for now Antoine Grimod 2022-12-09 17:01:04 +01:00
  • 428b0a75e2 [parser] (wip) explicitely typing the language Arnaud DABY-SEESARAM 2022-12-09 16:33:07 +01:00
  • f84279c5d8 [parser] fixes + pretty_printers Arnaud DABY-SEESARAM 2022-12-09 15:47:27 +01:00
  • 74c04a0e4e [parser] new parser, no more pp (for now) Arnaud DABY-SEESARAM 2022-12-09 14:26:28 +01:00
  • b57cee3f73 [ast] GADTs Arnaud DABY-SEESARAM 2022-12-08 19:49:57 +01:00
  • 6308dc893f [cli] support for basic arguments dsac 2022-12-08 11:40:05 +01:00
  • 232624abac renaming dsac 2022-12-07 22:08:38 +01:00
  • 839f7b77af [parser] adding support for expressions dsac 2022-12-07 21:56:38 +01:00
  • e9e5cdcf4d [parser] parses and dumps content (without expressions) dsac 2022-12-07 16:45:55 +01:00
  • 4d304d8e9a README dsac 2022-12-04 16:19:25 +01:00