Commit Graph

Select branches

Hide Pull Requests

ast2C_proposition

master

Mono Color

• 0349304632 Delete TODO to use git Issues instead master Benjamin_Loison 2023-04-28 01:16:49 +02:00
• 66de13fff2 added main to automaton.node Antoine Grimod 2023-01-10 00:39:50 +01:00
• 17e2f93629 fix oversight in lustre_pp.ml Antoine Grimod 2023-01-10 00:28:41 +01:00
• b0545a2733 Correct some typos Benjamin Loison 2023-01-10 00:11:35 +01:00
• 1297835bda Make tests/when_merge.node clearer by using reals Benjamin Loison 2023-01-10 00:07:49 +01:00
• a5f8c720f4 extended when once again Antoine Grimod 2023-01-09 23:04:36 +01:00
• ad4f5e7962 clock unification now works if when is applied to a boolean comparison Antoine Grimod 2023-01-09 22:54:08 +01:00
• 2da1fac66f [passes] linearization of when dsac 2023-01-09 22:51:30 +01:00
• ad74146396 [passes] linearization of merge (untested) dsac 2023-01-09 22:23:00 +01:00
• 2f0b9a572e error catching Antoine Grimod 2023-01-09 21:22:37 +01:00
• 42cbc6ddaf fix typo in code Antoine Grimod 2023-01-09 21:11:38 +01:00
• 23e234732f code cleanup Antoine Grimod 2023-01-09 21:09:29 +01:00
• ad97c6b627 first version of clock unification Antoine Grimod 2023-01-09 20:57:19 +01:00
• 68d67bb53b Fix a typo in a comment in src/passes.ml Benjamin Loison 2023-01-06 15:09:52 +01:00
• b2aa8bc6d5 [automaton] support for multiple output conditions sofamaniac 2023-01-05 18:31:12 +01:00
• 094f403f5f finalizing automata translation sofamaniac 2023-01-05 17:45:34 +01:00
• 30f9c71294 [equation ordering] comments added dsac 2023-01-05 16:36:45 +01:00
• fef64987de traduction des automates v2 mais cassé sofamaniac 2023-01-05 16:02:58 +01:00
• b168161b4f Correct boolean inputs Benjamin Loison 2023-01-03 23:23:18 +01:00
• f8c673632e [c printer] protects the names of node states dsac 2023-01-03 23:05:55 +01:00
• 69e84f0a8e Rename _buffer to buffer, expand tabs to spaces in src/ and tests/ and move up BUFFER_SIZE macro definition Benjamin Loison 2023-01-03 22:58:38 +01:00
• 5cabb042fc Improve and correct IO UI and add tests Benjamin Loison 2023-01-03 19:43:24 +01:00
• ff9da14379 [cprint] replace scanf to properly read an input line Arnaud DABY-SEESARAM 2022-12-22 14:27:14 +01:00
• 9d7588f103 Merge ast2C_proposition branch with the master one Benjamin Loison 2022-12-21 15:51:32 +01:00
• 8c3e3d1eac [C] malloc->calloc + conditions merged in free_state_* ast2C_proposition Arnaud DABY-SEESARAM 2022-12-20 16:52:59 +01:00
• a673c447e3 [messages] better comment and errors Arnaud DABY-SEESARAM 2022-12-20 16:41:21 +01:00
• 03def2ce1a [C] new lines in then output after each step Arnaud DABY-SEESARAM 2022-12-20 16:38:29 +01:00
• ffa8918330 [C] a few fixes Arnaud DABY-SEESARAM 2022-12-20 16:34:31 +01:00
• 24108925fd [cprint] free the allocated memory (states). Arnaud DABY-SEESARAM 2022-12-20 16:29:26 +01:00
• fd95446636 Modify C main to initialize correctly the state with is_reset = false Benjamin Loison 2022-12-20 15:46:31 +01:00
• 19524ea99c Merge branch 'ast2C_proposition' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems into ast2C_proposition Benjamin Loison 2022-12-20 15:42:59 +01:00
• 88c145a527 Disable mallocs when reseting Benjamin Loison 2022-12-20 15:39:33 +01:00
• 52092b1480 [cprint] code reduction Arnaud DABY-SEESARAM 2022-12-20 15:24:55 +01:00
• f121f55432 [cprint] add a main function Arnaud DABY-SEESARAM 2022-12-20 15:11:12 +01:00
• 42536df81c [parser] update of some error messages Arnaud DABY-SEESARAM 2022-12-20 14:10:34 +01:00
• c7edb27fb0 [lustre_pp] fix a typing error Arnaud DABY-SEESARAM 2022-12-20 14:04:50 +01:00
• 3ad133344a [lustre_pp] precise error messages Arnaud DABY-SEESARAM 2022-12-20 14:02:00 +01:00
• 4303dcd0e4 Correct a typo in src/main.ml disabling the compilation Benjamin Loison 2022-12-20 13:09:09 +01:00
• f5daae824c [merge] Arnaud DABY-SEESARAM 2022-12-20 09:51:59 +01:00
• 9fbdb7000f Merge branch 'ast2C_proposition' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems into ast2C_proposition Benjamin Loison 2022-12-20 03:51:31 +01:00
• e1de3e6829 Add support for resets Benjamin Loison 2022-12-20 03:51:28 +01:00
• 657fe7e6fa Add support for resets Benjamin Loison 2022-12-20 03:48:37 +01:00
• 91ff654fc9 [passes] ensure that apps don't mix with operators Arnaud DABY-SEESARAM 2022-12-19 23:21:11 +01:00
• 025d25a146 Replace nunmbers to numbers in two comments of src/parser.mly Benjamin Loison 2022-12-19 19:48:21 +01:00
• 10838d3f2d Remove TODO in src/passes.ml:automaton_translation Benjamin Loison 2022-12-19 17:45:33 +01:00
• e63123d8f6 Move from the x reset y syntax to reset x every y one Benjamin Loison 2022-12-19 16:28:03 +01:00
• 01d4a08e8a [c pass] idem Arnaud DABY-SEESARAM 2022-12-19 14:30:39 +01:00
• 9483f7df5e [c pass] merge neighbour conditionals (improved) Arnaud DABY-SEESARAM 2022-12-19 14:22:19 +01:00
• 9a0bfd468c Correct some typos Benjamin Loison 2022-12-19 14:06:18 +01:00
• 609870755c Remove debugging symbols in failwith Benjamin Loison 2022-12-19 13:56:48 +01:00
• 906a3d948b [oups] forgot a pattern matching Arnaud DABY-SEESARAM 2022-12-19 12:20:03 +01:00
• 249ac37934 [general] renaming, comments and removal of unused function in [pass_linearization_pre] Arnaud DABY-SEESARAM 2022-12-19 12:18:21 +01:00
• 1d39173e94 [general] useless fn removed in pass_linearization_app + comments + print_debug in ast_to_c Arnaud DABY-SEESARAM 2022-12-19 12:07:43 +01:00
• 4ff193759b [passes] removal of constructs: seems ok Arnaud DABY-SEESARAM 2022-12-19 11:22:16 +01:00
• c52dce6c02 [passes] linearization: done for app, tuples (lvl 1 behind when) and pre Arnaud DABY-SEESARAM 2022-12-18 22:34:07 +01:00
• c344f125e5 [passes] linearization of tuple-equations + deletion of unused pass Arnaud DABY-SEESARAM 2022-12-18 19:00:24 +01:00
• aa7f7514d3 [Lustre -> intermediate] fix for the [pre] construct Arnaud DABY-SEESARAM 2022-12-18 17:36:10 +01:00
• 77c865e360 [intermediate_ast] remove unused fields of i_nodes Arnaud DABY-SEESARAM 2022-12-18 17:25:34 +01:00
• ade62ba678 Use output_file to print to this file instead to stdout Benjamin Loison 2022-12-18 16:04:57 +01:00
• 02130cf57c Rename maybeprint to print_if_any to precise the purpose of this function Benjamin Loison 2022-12-18 14:50:55 +01:00
• 273a868162 Simplify cp_value for boolean constants in src/cprint.ml Benjamin Loison 2022-12-18 14:45:23 +01:00
• 37dfcdda35 Remove unneeded node prototypes, as Lustre only allows to call already defined nodes Benjamin Loison 2022-12-18 14:42:26 +01:00
• c3a64a2bae Correct some typos Benjamin Loison 2022-12-18 14:31:56 +01:00
• 1491e279f7 [ast2C] printer: ok. dsac 2022-12-18 13:38:40 +01:00
• ce686f6c9a [ast2C] merge ok (needs linearization) dsac 2022-12-18 10:41:36 +01:00
• 1d4e1820e4 [ast2C] Applications to values dsac 2022-12-18 09:41:22 +01:00
• 007c5b2862 [c printer] Ok. dsac 2022-12-18 00:26:51 +01:00
• 243e8f245a [ast2C] adding the (->) construct dsac 2022-12-18 00:11:02 +01:00
• 791af71913 [ast2C] print all basic operators dsac 2022-12-17 23:58:45 +01:00
• 233b385608 missing 'state->' added + print +,-,*,... dsac 2022-12-17 23:46:39 +01:00
• 7a32d474d4 [ast2C] support for some basic operations (exemple in test.node) dsac 2022-12-17 23:36:07 +01:00
• cbc834b32a [ast2C] constants, simple assignations, variables (+ one fix about pre storage) dsac 2022-12-17 22:36:42 +01:00
• a877501cca [general] renaming: done. dsac 2022-12-17 21:37:37 +01:00
• 3cbfaeb2a8 [general] renaming (pp -> lustre_pp ; c_* -> intermediate_*) dsac 2022-12-17 21:26:32 +01:00
• 916c7f544b [ast2C] initialize states of auxiliary nodes. dsac 2022-12-17 18:34:11 +01:00
• 6291957be5 [ast2C] init or not init (field added to the state of the node) dsac 2022-12-17 16:35:49 +01:00
• bb99a5882b [ast2C] store old values of variables used in the pre construct dsac 2022-12-17 16:30:10 +01:00
• 0da0f58b22 [ast2C] proposition initiale dsac 2022-12-17 16:01:48 +01:00
• fa052f70e2 [beamer] pause added Arnaud DABY-SEESARAM 2022-12-16 17:00:24 +01:00
• 0175749296 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems Benjamin Loison 2022-12-16 15:53:14 +01:00
• 4054da7d47 [beamer] Arnaud DABY-SEESARAM 2022-12-16 16:51:49 +01:00
• b616bad07a Modify second slide concerning AST to C Benjamin Loison 2022-12-16 15:53:04 +01:00
• fc0a12fa12 beamer automaton pass Antoine Grimod 2022-12-16 15:45:40 +01:00
• edfec42738 Add Git link to title slide of beamer Benjamin Loison 2022-12-16 16:03:47 +01:00
• d06fccf36b Add second slide concerning AST to C Benjamin Loison 2022-12-16 16:02:03 +01:00
• 7a0f54f291 Remove unused pp_loc from src/ast_to_c.ml which was copied from src/pp.ml but never used Benjamin Loison 2022-12-16 15:40:24 +01:00
• dbf1583ffd Complete first slide of AST to C Benjamin Loison 2022-12-16 15:33:39 +01:00
• 9e96697991 First slide of AST to C Benjamin Loison 2022-12-16 15:07:46 +01:00
• aa84a07902 testing clock unification Antoine Grimod 2022-12-16 14:51:39 +01:00
• ed54fd0114 clock unification added Antoine Grimod 2022-12-16 14:51:03 +01:00
• b69b6998ec [passes] linearisation: update the local variables + lienarisation of tri ops Arnaud DABY-SEESARAM 2022-12-16 14:41:13 +01:00
• 73b753bec2 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems Benjamin Loison 2022-12-16 05:57:55 +01:00
• a0383dbf13 Make last equation of a node potentially not ending with a semi column be correctly parsed Benjamin Loison 2022-12-16 05:57:25 +01:00
• 530f6ddf51 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems Benjamin Loison 2022-12-16 05:55:15 +01:00
• 57dd9c1aa4 [passes] linearozation: avoir duplication of variables Arnaud DABY-SEESARAM 2022-12-16 14:16:00 +01:00
• 21414e6461 Make last equation of a node potentially not ending with a semi column Benjamin Loison 2022-12-16 05:54:41 +01:00
• c37e819f1a Add a title frame to the beamer Benjamin Loison 2022-12-16 05:06:27 +01:00
• ea94bb84dd Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems Benjamin Loison 2022-12-16 04:47:05 +01:00
• 3fa0f92233 [beamer] A few straight forward slides added Arnaud DABY-SEESARAM 2022-12-16 10:45:20 +01:00
• 3417d75620 [passes] linearisation: correction (10 -> pre (20 -> 30)) works Arnaud DABY-SEESARAM 2022-12-16 09:44:22 +01:00