Block a user
Arnaud_Daby-Seesaram
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2023-01-09 22:51:53 +01:00
2da1fac66f
[passes] linearization of when
Arnaud_Daby-Seesaram
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2023-01-09 22:23:40 +01:00
ad74146396
[passes] linearization of merge (untested)
Arnaud_Daby-Seesaram
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2023-01-05 16:38:03 +01:00
30f9c71294
[equation ordering] comments added
Arnaud_Daby-Seesaram
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2023-01-03 23:07:02 +01:00
f8c673632e
[c printer] protects the names of node states
Arnaud_Daby-Seesaram
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-22 14:27:28 +01:00
ff9da14379
[cprint] replace scanf to properly read an input line
Arnaud_Daby-Seesaram
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-22 14:25:00 +01:00
e31af2c7b4
[cprint] replace scanf to properly read an input line
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 16:53:20 +01:00
8c3e3d1eac
[C] malloc->calloc + conditions merged in free_state_*
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 16:41:37 +01:00
a673c447e3
[messages] better comment and errors
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 16:38:45 +01:00
03def2ce1a
[C] new lines in then output after each step
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 16:34:47 +01:00
ffa8918330
[C] a few fixes
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 16:29:58 +01:00
24108925fd
[cprint] free the allocated memory (states).
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 15:25:09 +01:00
52092b1480
[cprint] code reduction
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 15:11:28 +01:00
f121f55432
[cprint] add a main function
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 14:10:50 +01:00
42536df81c
[parser] update of some error messages
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 14:05:06 +01:00
c7edb27fb0
[lustre_pp] fix a typing error
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 14:02:21 +01:00
3ad133344a
[lustre_pp] precise error messages
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-20 09:52:21 +01:00
f5daae824c
[merge]
91ff654fc9
[passes] ensure that apps don't mix with operators
025d25a146
Replace
nunmbers
to numbers
in two comments of src/parser.mly
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-19 23:21:39 +01:00
91ff654fc9
[passes] ensure that apps don't mix with operators
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-19 14:30:58 +01:00
01d4a08e8a
[c pass] idem
Arnaud_Daby-Seesaram
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-19 14:22:49 +01:00
9483f7df5e
[c pass] merge neighbour conditionals (improved)