Arnaud_Daby-Seesaram
0 Followers · 0 Following
  • Joined on 2022-11-26
Repositories Projects Packages Public Activity Starred Repositories
51ed84504f [pre propagation] done.
c4ad75e4cb [passes] auxiliary functions
19be2200f3 Catch syntax errors
8ef4d035a3 Reject programs with var initialized twice
ef0effeb1f improvement over error messages (with code ;) )
Compare 2 commits »
54d806f149 [pp] add typing information
5551237414 [parser] types of both side of equations are lists
8775edc6fc [parser] working equation type-checker
3c811c6128 Merge remote-tracking branch 'origin/master'
eb469bc960 Cleanning after last merge + parser factorisation
Compare 2 commits »
53e356ff55 merge: fby: transformation -> pre dans le parseur
347cb3a11d [parser] ajout de fby (proposition alternative) + type checker (sera factorisé)
Compare 2 commits »
a29666f673 [parser] type-checking
f64a25b0b5 [cleaning]
428b0a75e2 [parser] (wip) explicitely typing the language
f84279c5d8 [parser] fixes + pretty_printers
74c04a0e4e [parser] new parser, no more pp (for now)
b57cee3f73 [ast] GADTs
6308dc893f [cli] support for basic arguments
232624abac renaming
839f7b77af [parser] adding support for expressions
e9e5cdcf4d [parser] parses and dumps content (without expressions)
Arnaud_Daby-Seesaram created branch master in Benjamin_Loison/Synchronous_reactive_systems 2022-12-04 16:20:01 +01:00