update cargo to use rs2bril with not unrolled initialization

egraphs-good · Oct 21, 2024 · 5a3f015 · 5a3f015
1 parent c83cb7e
commit 5a3f015
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 20 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -22,14 +22,14 @@ smallvec = "1.11.1"
 
 syn = { version = "2.0", features = ["full", "extra-traits"] }
 # currently using the uwplse/bril fork of bril, on eggcc-main
-bril2json = { git = "https://github.com/uwplse/bril", rev = "fe255deec1533960b20fff832971e45810202a5d" }
-brilirs = { git = "https://github.com/uwplse/bril", rev = "fe255deec1533960b20fff832971e45810202a5d" }
-bril-rs = { git = "https://github.com/uwplse/bril", rev = "fe255deec1533960b20fff832971e45810202a5d" }
-brilift = { git = "https://github.com/uwplse/bril", rev = "fe255deec1533960b20fff832971e45810202a5d" }
-rs2bril = { git = "https://github.com/uwplse/bril", rev = "fe255deec1533960b20fff832971e45810202a5d" ,features = [
+bril2json = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" }
+brilirs = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" }
+bril-rs = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" }
+brilift = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" }
+rs2bril = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" ,features = [
   "import",
 ] }
-brillvm = { git = "https://github.com/uwplse/bril", rev = "fe255deec1533960b20fff832971e45810202a5d" }
+brillvm = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" }
 
 
 ordered-float = { version = "3.7" }

diff --git a/dag_in_context/Cargo.toml b/dag_in_context/Cargo.toml
@@ -12,7 +12,7 @@ strum_macros = "0.25"
 main_error = "0.1.2"
 thiserror = "1.0"
 egraph-serialize = "0.2.0"
-bril-rs = { git = "https://github.com/uwplse/bril", rev = "fe255deec1533960b20fff832971e45810202a5d" }
+bril-rs = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" }
 indexmap = "2.0.0"
 rustc-hash = "1.1.0"
 ordered-float = "3"

diff --git a/infra/profile.py b/infra/profile.py
@@ -161,7 +161,7 @@ def is_looped(bril_file):
   # if it is a directory get all files
   if os.path.isdir(bril_dir):
     print(f'Running all bril files in {bril_dir}')
-    profiles = glob(f'{bril_dir}/**/*.bril', recursive=True)
+    profiles = glob(f'{bril_dir}/**/*.bril', recursive=True) + glob(f'{bril_dir}/**/*.rs', recursive=True)
   else:
     profiles = [bril_dir]