Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity
164 Commits 2 Branches 0 Tags
a673c447e3d45dc04203f9ffa4d358f19f64205a
Commit Graph
57 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Arnaud DABY-SEESARAM a673c447e3 [messages] better comment and errors 2022-12-20 16:41:21 +01:00
Arnaud DABY-SEESARAM 03def2ce1a [C] new lines in then output after each step 2022-12-20 16:38:29 +01:00
Arnaud DABY-SEESARAM ffa8918330 [C] a few fixes 2022-12-20 16:34:31 +01:00
Arnaud DABY-SEESARAM 24108925fd [cprint] free the allocated memory (states). 2022-12-20 16:29:35 +01:00
Arnaud DABY-SEESARAM 52092b1480 [cprint] code reduction 2022-12-20 15:24:55 +01:00
Arnaud DABY-SEESARAM f121f55432 [cprint] add a main function 2022-12-20 15:11:12 +01:00
Arnaud DABY-SEESARAM 42536df81c [parser] update of some error messages 2022-12-20 14:10:34 +01:00
Arnaud DABY-SEESARAM c7edb27fb0 [lustre_pp] fix a typing error 2022-12-20 14:04:50 +01:00
Arnaud DABY-SEESARAM 3ad133344a [lustre_pp] precise error messages 2022-12-20 14:02:00 +01:00
Arnaud DABY-SEESARAM f5daae824c [merge] 2022-12-20 09:51:59 +01:00
Arnaud DABY-SEESARAM 91ff654fc9 [passes] ensure that apps don't mix with operators 2022-12-19 23:21:11 +01:00
Arnaud DABY-SEESARAM 01d4a08e8a [c pass] idem 2022-12-19 14:30:39 +01:00
Arnaud DABY-SEESARAM 9483f7df5e [c pass] merge neighbour conditionals (improved) 2022-12-19 14:22:19 +01:00
Arnaud DABY-SEESARAM 906a3d948b [oups] forgot a pattern matching 2022-12-19 12:20:03 +01:00
Arnaud DABY-SEESARAM 249ac37934 [general] renaming, comments and removal of unused function in [pass_linearization_pre] 2022-12-19 12:18:21 +01:00
Arnaud DABY-SEESARAM 1d39173e94 [general] useless fn removed in pass_linearization_app + comments + print_debug in ast_to_c 2022-12-19 12:07:43 +01:00
Arnaud DABY-SEESARAM 4ff193759b [passes] removal of constructs: seems ok 2022-12-19 11:22:16 +01:00
Arnaud DABY-SEESARAM c52dce6c02 [passes] linearization: done for app, tuples (lvl 1 behind when) and pre 2022-12-18 22:34:07 +01:00
Arnaud DABY-SEESARAM c344f125e5 [passes] linearization of tuple-equations + deletion of unused pass 2022-12-18 19:00:24 +01:00
Arnaud DABY-SEESARAM aa7f7514d3 [Lustre -> intermediate] fix for the [pre] construct 2022-12-18 17:36:10 +01:00
Arnaud DABY-SEESARAM 77c865e360 [intermediate_ast] remove unused fields of i_nodes 2022-12-18 17:25:34 +01:00
Arnaud DABY-SEESARAM fa052f70e2 [beamer] pause added 2022-12-16 17:00:24 +01:00
Arnaud DABY-SEESARAM 4054da7d47 [beamer] 2022-12-16 16:51:49 +01:00
Arnaud DABY-SEESARAM b69b6998ec [passes] linearisation: update the local variables + lienarisation of tri ops 2022-12-16 14:41:37 +01:00
Arnaud DABY-SEESARAM 57dd9c1aa4 [passes] linearozation: avoir duplication of variables 2022-12-16 14:16:13 +01:00
Arnaud DABY-SEESARAM 3fa0f92233 [beamer] A few straight forward slides added 2022-12-16 10:45:20 +01:00
Arnaud DABY-SEESARAM 3417d75620 [passes] linearisation: correction (10 -> pre (20 -> 30)) works 2022-12-16 09:44:50 +01:00
Arnaud DABY-SEESARAM c7a97f3305 [passes] linearization: merge fix 2022-12-16 09:00:03 +01:00
Arnaud DABY-SEESARAM 8d6349dd3f Merge remote-tracking branch 'origin/master' into wip 2022-12-16 08:53:55 +01:00
Arnaud DABY-SEESARAM d7f0f148e9 [pre linearization] done, not tested 2022-12-16 08:52:48 +01:00
Arnaud DABY-SEESARAM 8582337774 [passes] pass to check the typing tags of the program / expressions 2022-12-15 18:33:04 +01:00
Arnaud DABY-SEESARAM db5c584435 [passes] fix for the equation ordering pass 2022-12-15 17:40:15 +01:00
Arnaud DABY-SEESARAM 6459c54159 [passes] ordering equations 2022-12-15 17:11:19 +01:00
Arnaud DABY-SEESARAM 9151a6e29a [tests] adding the -test option to duplicate sanity checks 2022-12-15 17:11:19 +01:00
Arnaud DABY-SEESARAM 19fd3bc1b9 Merge remote-tracking branch 'origin/master' 2022-12-15 16:18:17 +01:00
Arnaud DABY-SEESARAM 38a7325097 [beamer] slide 7 2022-12-15 16:17:47 +01:00
Arnaud DABY-SEESARAM 79f0c7d223 [passes] never redefine an input 2022-12-13 18:15:48 +01:00
Arnaud DABY-SEESARAM f3416582be [passes] correction of the check not re-init of variables 2022-12-13 18:08:11 +01:00
Arnaud DABY-SEESARAM e5ac9a719d [passes] check unicity of the assignations for each var 2022-12-13 15:55:21 +01:00
Arnaud DABY-SEESARAM 69b963c305 [gitfix] rebase fix 2022-12-13 15:04:53 +01:00
Arnaud DABY-SEESARAM ad1f529863 [typo] adding newline 2022-12-13 14:57:55 +01:00
Arnaud DABY-SEESARAM 51ed84504f [pre propagation] done. 2022-12-13 14:25:48 +01:00
Arnaud DABY-SEESARAM c4ad75e4cb [passes] auxiliary functions 2022-12-13 11:46:04 +01:00
Arnaud DABY-SEESARAM 19be2200f3 Catch syntax errors 2022-12-13 11:43:23 +01:00
Arnaud DABY-SEESARAM 8ef4d035a3 Reject programs with var initialized twice 2022-12-13 10:26:55 +01:00
Arnaud DABY-SEESARAM ef0effeb1f improvement over error messages (with code ;) ) 2022-12-13 10:26:55 +01:00
Arnaud DABY-SEESARAM 54d806f149 [pp] add typing information 2022-12-10 17:20:02 +01:00
Arnaud DABY-SEESARAM 5551237414 [parser] types of both side of equations are lists 2022-12-10 17:14:54 +01:00
Arnaud DABY-SEESARAM 8775edc6fc [parser] working equation type-checker 2022-12-10 00:33:14 +01:00
Arnaud DABY-SEESARAM 53e356ff55 merge: fby: transformation -> pre dans le parseur 2022-12-09 23:22:05 +01:00
Arnaud DABY-SEESARAM 347cb3a11d [parser] ajout de fby (proposition alternative) + type checker (sera factorisé) 2022-12-09 23:18:13 +01:00
Arnaud DABY-SEESARAM a29666f673 [parser] type-checking 2022-12-08 17:52:19 +01:00
Arnaud DABY-SEESARAM f64a25b0b5 [cleaning] 2022-12-08 14:34:50 +01:00
Arnaud DABY-SEESARAM 428b0a75e2 [parser] (wip) explicitely typing the language 2022-12-09 16:33:07 +01:00
Arnaud DABY-SEESARAM f84279c5d8 [parser] fixes + pretty_printers 2022-12-09 15:47:27 +01:00
Arnaud DABY-SEESARAM 74c04a0e4e [parser] new parser, no more pp (for now) 2022-12-09 14:26:28 +01:00
Arnaud DABY-SEESARAM b57cee3f73 [ast] GADTs 2022-12-08 19:49:57 +01:00