issues
search
elegaanz
/
rustre
Lustre compiler and tools in Rust
https://projets-info4.gricad-pages.univ-grenoble-alpes.fr/22-23/26/docs/html/
GNU General Public License v3.0
5
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Properly decode this latin-encoding thing
#9
edgarogh
opened
2 years ago
1
First version of the `rowan_nom` cross-integration
#8
edgarogh
closed
1 year ago
0
Add ungrammar to generate the AST types
#7
elegaanz
closed
2 years ago
0
Logos rowan+refactor+returns+body+params
#6
edgarogh
closed
2 years ago
0
Type checking
#5
elegaanz
opened
2 years ago
0
Build a map of all definitions
#4
elegaanz
opened
2 years ago
1
Expand includes
#3
elegaanz
opened
2 years ago
0
Add a way to access comments next to a given span
#2
elegaanz
opened
2 years ago
2
Optimize the lexer
#1
elegaanz
closed
2 years ago
0