Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
919 changes: 261 additions & 658 deletions docs/RSE_Status_Report.md

Large diffs are not rendered by default.

13 changes: 13 additions & 0 deletions grey_compiler/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion grey_compiler/crates/grey_backends/src/betti_rdl.rs
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ use crate::{
EventOrdering, ExecutionTelemetry, BackendError,
CodeGenMetadata, ConfigOption
};
use crate::utils::{validate_program, generate_process_coords};
use crate::utils::validate_program;

/// Betti RDL Backend implementation
pub struct BettiRdlBackend {
Expand Down
2 changes: 1 addition & 1 deletion grey_compiler/target/.rustc_info.json
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"rustc_fingerprint":13661266674763380883,"outputs":{"7971740275564407648":{"success":true,"status":"","code":0,"stdout":"___\nlib___.rlib\nlib___.so\nlib___.so\nlib___.a\nlib___.so\n/home/engine/.rustup/toolchains/stable-x86_64-unknown-linux-gnu\noff\npacked\nunpacked\n___\ndebug_assertions\npanic=\"unwind\"\nproc_macro\ntarget_abi=\"\"\ntarget_arch=\"x86_64\"\ntarget_endian=\"little\"\ntarget_env=\"gnu\"\ntarget_family=\"unix\"\ntarget_feature=\"fxsr\"\ntarget_feature=\"sse\"\ntarget_feature=\"sse2\"\ntarget_has_atomic=\"16\"\ntarget_has_atomic=\"32\"\ntarget_has_atomic=\"64\"\ntarget_has_atomic=\"8\"\ntarget_has_atomic=\"ptr\"\ntarget_os=\"linux\"\ntarget_pointer_width=\"64\"\ntarget_vendor=\"unknown\"\nunix\n","stderr":""},"17747080675513052775":{"success":true,"status":"","code":0,"stdout":"rustc 1.92.0 (ded5c06cf 2025-12-08)\nbinary: rustc\ncommit-hash: ded5c06cf21d2b93bffd5d884aa6e96934ee4234\ncommit-date: 2025-12-08\nhost: x86_64-unknown-linux-gnu\nrelease: 1.92.0\nLLVM version: 21.1.3\n","stderr":""}},"successes":{}}
{"rustc_fingerprint":9453910527372141322,"outputs":{"17747080675513052775":{"success":true,"status":"","code":0,"stdout":"rustc 1.92.0 (ded5c06cf 2025-12-08)\nbinary: rustc\ncommit-hash: ded5c06cf21d2b93bffd5d884aa6e96934ee4234\ncommit-date: 2025-12-08\nhost: x86_64-unknown-linux-gnu\nrelease: 1.92.0\nLLVM version: 21.1.3\n","stderr":""},"7971740275564407648":{"success":true,"status":"","code":0,"stdout":"___\nlib___.rlib\nlib___.so\nlib___.so\nlib___.a\nlib___.so\n/home/engine/.rustup/toolchains/stable-x86_64-unknown-linux-gnu\noff\npacked\nunpacked\n___\ndebug_assertions\npanic=\"unwind\"\nproc_macro\ntarget_abi=\"\"\ntarget_arch=\"x86_64\"\ntarget_endian=\"little\"\ntarget_env=\"gnu\"\ntarget_family=\"unix\"\ntarget_feature=\"fxsr\"\ntarget_feature=\"sse\"\ntarget_feature=\"sse2\"\ntarget_has_atomic=\"16\"\ntarget_has_atomic=\"32\"\ntarget_has_atomic=\"64\"\ntarget_has_atomic=\"8\"\ntarget_has_atomic=\"ptr\"\ntarget_os=\"linux\"\ntarget_pointer_width=\"64\"\ntarget_vendor=\"unknown\"\nunix\n","stderr":""}},"successes":{}}
Original file line number Diff line number Diff line change
@@ -1 +1 @@
64734e5271fccfaf
94642ffe2bce7ffd
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":9786858963665974390,"profile":8731458305071235362,"path":13328546989907616322,"deps":[[5488058689210164345,"build_script_build",false,8443676248305582462]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/betti-rdl-7330db49ebfc518f/dep-lib-betti_rdl","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":9786858963665974390,"profile":8731458305071235362,"path":13328546989907616322,"deps":[[5488058689210164345,"build_script_build",false,17918360154110922553]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/betti-rdl-7330db49ebfc518f/dep-lib-betti_rdl","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7e41a8b2cff62d75
398f4be79fcdaaf8
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"rustc":4758242423518056681,"features":"","declared_features":"","target":0,"profile":0,"path":0,"deps":[[5488058689210164345,"build_script_build",false,11961522937695543121]],"local":[{"RerunIfChanged":{"output":"debug/build/betti-rdl-8cbe49d97caee3b8/output","paths":["../src/cpp_kernel/betti_rdl_c_api.h","../src/cpp_kernel/betti_rdl_c_api.cpp","../src/cpp_kernel/CMakeLists.txt"]}}],"rustflags":[],"config":0,"compile_kind":0}
{"rustc":4758242423518056681,"features":"","declared_features":"","target":0,"profile":0,"path":0,"deps":[[5488058689210164345,"build_script_build",false,11961522937695543121]],"local":[{"RerunIfChanged":{"output":"debug/build/betti-rdl-8cbe49d97caee3b8/output","paths":["../src/cpp_kernel/betti_rdl_c_api.h","../src/cpp_kernel/betti_rdl_c_api.cpp","../src/cpp_kernel/CMakeLists.txt","../../scripts/run_binding_matrix.sh"]}}],"rustflags":[],"config":0,"compile_kind":0}
Binary file not shown.
Original file line number Diff line number Diff line change
@@ -1 +1 @@
67a0cc7b45387f80
85724835e9dec8ae
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":1722584277633009122,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,12668621840458871652],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-359c0688978ac887/dep-test-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":1722584277633009122,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,18266545301981455508],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-359c0688978ac887/dep-test-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
Original file line number Diff line number Diff line change
@@ -1 +1 @@
a35656e6c06d2e6f
e2b9cbf0f4ec466a
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":8731458305071235362,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,12668621840458871652],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-c14b1355b4bc67eb/dep-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":8731458305071235362,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,18266545301981455508],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-c14b1355b4bc67eb/dep-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
Binary file not shown.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
This file has an mtime of when this was started.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
909871c0d6f6cf5c
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":5347704421440631597,"profile":8731458305071235362,"path":12960242943879320610,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,7658068753146165730],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_harness-376fe96061318c2a/dep-lib-grey_harness","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
Binary file not shown.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
This file has an mtime of when this was started.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
53c963566fd472fd
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":5347704421440631597,"profile":1722584277633009122,"path":12960242943879320610,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,7658068753146165730],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_harness-987c39918135c785/dep-test-lib-grey_harness","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
Binary file not shown.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
This file has an mtime of when this was started.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
2b56252b416e5703
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":14758537417553091458,"profile":1722584277633009122,"path":14026792902681741602,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,7658068753146165730],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[6878399189194826119,"grey_harness",false,6687835373880580240],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_harness-feeddde78423c3f3/dep-test-bin-grey_compare_sir","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
Binary file not shown.
Binary file not shown.
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ee65eec0efc9447d
ccb71cc91c96fa74
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":18111986527599903043,"profile":1722584277633009122,"path":18294483531110851322,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,8011461462404257443],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[6166839394324325998,"miette",false,2058722144300711671],[6517602928339163454,"pathdiff",false,9571749300251592706],[10630857666389190470,"log",false,10355578146799824938],[12103695930867503580,"env_logger",false,5465794399313860022],[12832915883349295919,"serde_json",false,5872362157817548037],[15622660310229662834,"walkdir",false,15700820910396579380]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/greyc_cli-12f64fae93d626be/dep-test-bin-greyc","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":18111986527599903043,"profile":1722584277633009122,"path":18294483531110851322,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,7658068753146165730],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[6166839394324325998,"miette",false,2058722144300711671],[6517602928339163454,"pathdiff",false,9571749300251592706],[10630857666389190470,"log",false,10355578146799824938],[12103695930867503580,"env_logger",false,5465794399313860022],[12832915883349295919,"serde_json",false,5872362157817548037],[15622660310229662834,"walkdir",false,15700820910396579380]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/greyc_cli-12f64fae93d626be/dep-test-bin-greyc","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
Binary file modified grey_compiler/target/debug/deps/grey_backends-359c0688978ac887
Binary file not shown.
Binary file not shown.
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
/home/engine/project/grey_compiler/target/debug/deps/grey_compare_sir-feeddde78423c3f3.d: crates/grey_harness/src/main.rs

/home/engine/project/grey_compiler/target/debug/deps/grey_compare_sir-feeddde78423c3f3: crates/grey_harness/src/main.rs

crates/grey_harness/src/main.rs:
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
/home/engine/project/grey_compiler/target/debug/deps/grey_harness-376fe96061318c2a.d: crates/grey_harness/src/lib.rs

/home/engine/project/grey_compiler/target/debug/deps/libgrey_harness-376fe96061318c2a.rlib: crates/grey_harness/src/lib.rs

/home/engine/project/grey_compiler/target/debug/deps/libgrey_harness-376fe96061318c2a.rmeta: crates/grey_harness/src/lib.rs

crates/grey_harness/src/lib.rs:

# env-dep:CARGO_MANIFEST_DIR=/home/engine/project/grey_compiler/crates/grey_harness
Binary file not shown.
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
/home/engine/project/grey_compiler/target/debug/deps/grey_harness-987c39918135c785.d: crates/grey_harness/src/lib.rs

/home/engine/project/grey_compiler/target/debug/deps/grey_harness-987c39918135c785: crates/grey_harness/src/lib.rs

crates/grey_harness/src/lib.rs:

# env-dep:CARGO_MANIFEST_DIR=/home/engine/project/grey_compiler/crates/grey_harness
Binary file modified grey_compiler/target/debug/deps/grey_ir-9971ef24a66e8092
Binary file not shown.
Binary file modified grey_compiler/target/debug/deps/libbetti_rdl.rlib
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Loading
Loading