gricad-gitlab.univ-grenoble-alpes.fr / Projets-INFO4 / 22-23 / 26 / rustre
Lustre compiler/runtime implemented in Rust
Stars: 1
Forks: 0
Open issues:
License: gpl-3.0+
Language:
Dependencies parsed at:
80
Created at: over 2 years ago
Updated at: over 1 year ago
Pushed at: 11 months ago
Last synced at: 7 months ago
Topics: Compiler, Lustre, Verimag, rust
Cargo.toml
cargo
rustre-cli/Cargo.toml
cargo
rustre-core/Cargo.toml
cargo
rustre-parser/Cargo.toml
cargo
Cargo.lock
cargo
- anstream 0.6.4
- anstyle 1.0.4
- anstyle-parse 0.2.2
- anstyle-query 1.0.0
- anstyle-wincon 3.0.1
- anymap2 0.13.0
- approx 0.3.2
- ariadne 0.3.0
- autocfg 1.1.0
- beef 0.5.2
- case 1.0.0
- cfg-if 1.0.0
- clap 4.4.8
- clap_builder 4.4.8
- clap_derive 4.4.7
- clap_lex 0.6.0
- colorchoice 1.0.0
- countme 3.0.1
- decorum 0.3.1
- enum-ordinalize 4.1.0
- enum-ordinalize-derive 4.1.0
- equivalent 1.0.1
- fixedbitset 0.4.2
- fnv 1.0.7
- hashbrown 0.12.3
- hashbrown 0.14.2
- heck 0.4.1
- indexmap 2.1.0
- logos 0.13.0
- logos-codegen 0.13.0
- logos-derive 0.13.0
- memchr 2.6.4
- memoffset 0.9.0
- minimal-lexical 0.2.1
- nom 7.1.3
- num-bigint 0.4.4
- num-integer 0.1.45
- num-traits 0.2.17
- once_cell 1.18.0
- petgraph 0.6.4
- proc-macro-error 1.0.4
- proc-macro-error-attr 1.0.4
- proc-macro2 1.0.69
- quote 1.0.33
- regex-syntax 0.6.29
- rowan 0.15.13
- rowan-nom 0.1.0
- rustc-hash 1.1.0
- serde 1.0.193
- serde_derive 1.0.193
- strsim 0.10.0
- syn 1.0.109
- syn 2.0.39
- text-size 1.1.1
- thiserror 1.0.50
- thiserror-impl 1.0.50
- thread_local 1.1.7
- ungrammar 1.16.1
- unicode-ident 1.0.12
- unicode-width 0.1.11
- utf8parse 0.2.1
- version_check 0.9.4
- windows-sys 0.48.0
- windows-targets 0.48.5
- windows_aarch64_gnullvm 0.48.5
- windows_aarch64_msvc 0.48.5
- windows_i686_gnu 0.48.5
- windows_i686_msvc 0.48.5
- windows_x86_64_gnu 0.48.5
- windows_x86_64_gnullvm 0.48.5
- windows_x86_64_msvc 0.48.5
- yansi 0.5.1
- yeter 0.6.0
- yeter-macros 0.5.0