diff --git a/Cargo.lock b/Cargo.lock index 14f3f7ddb..3037b460b 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -17,6 +17,12 @@ version = "1.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe" +[[package]] +name = "adler2" +version = "2.0.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627" + [[package]] name = "ahash" version = "0.7.8" @@ -91,7 +97,7 @@ dependencies = [ "argh_shared", "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -127,7 +133,7 @@ checksum = "c980ee35e870bd1a4d2c8294d4c04d0499e67bca1e4b5cefcc693c2fa00caea9" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -158,7 +164,7 @@ checksum = "3c87f3f15e7794432337fc718554eaa4dc8f04c9677a950ffe366f20a162ae42" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -169,9 +175,9 @@ checksum = "d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa" [[package]] name = "baa" -version = "0.14.0" +version = "0.16.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9aca4f2e283a3de6f3c40834fc27668303e33662676e90254b5168271209ef95" +checksum = "40d4492a0c39a5286a28e99628afceb95566c04fe265b1cabac90ef11bae34ab" dependencies = [ "fraction", "num-bigint", @@ -188,7 +194,7 @@ dependencies = [ "cc", "cfg-if", "libc", - "miniz_oxide", + "miniz_oxide 0.7.2", "object", "rustc-demangle", ] @@ -226,18 +232,6 @@ version = "2.4.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "ed570934406eb16438a4e976b1b4500774099c13b8cb96eec99f620f05090ddf" -[[package]] -name = "bitvec" -version = "1.0.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1bc2832c24239b0141d5674bb9174f9d68a8b5b3f2753311927c172ca46f7e9c" -dependencies = [ - "funty", - "radium", - "tap", - "wyz", -] - [[package]] name = "block-buffer" version = "0.10.4" @@ -267,7 +261,7 @@ dependencies = [ "ident_case", "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -535,7 +529,6 @@ dependencies = [ "ahash 0.8.10", "argh", "baa", - "bitvec", "bon", "calyx-frontend", "calyx-ir", @@ -547,7 +540,6 @@ dependencies = [ "itertools 0.11.0", "num-bigint", "num-traits", - "once_cell", "owo-colors", "pest", "pest_consume", @@ -562,7 +554,7 @@ dependencies = [ "slog-async", "slog-term", "smallvec", - "thiserror", + "thiserror 1.0.64", ] [[package]] @@ -579,7 +571,7 @@ dependencies = [ "slog", "slog-async", "slog-term", - "thiserror", + "thiserror 1.0.64", ] [[package]] @@ -596,7 +588,7 @@ dependencies = [ "proptest", "serde", "serde_json", - "thiserror", + "thiserror 1.0.64", ] [[package]] @@ -836,7 +828,7 @@ source = "git+https://github.com/sztomi/dap-rs?tag=v0.4.1-alpha1#44c0aea6151f37b dependencies = [ "serde", "serde_json", - "thiserror", + "thiserror 1.0.64", ] [[package]] @@ -884,7 +876,7 @@ dependencies = [ "proc-macro2", "quote", "strsim 0.11.1", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -906,7 +898,7 @@ checksum = "d336a2a514f6ccccaa3e09b02d41d35330c07ddf03a62165fcec10bb561c7806" dependencies = [ "darling_core 0.20.10", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -1020,7 +1012,7 @@ dependencies = [ "smallvec", "symbol_table 0.2.0", "symbolic_expressions", - "thiserror", + "thiserror 1.0.64", ] [[package]] @@ -1131,9 +1123,9 @@ dependencies = [ [[package]] name = "fraction" -version = "0.11.2" +version = "0.15.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ad18174c73e668720cf9961281ea94a10a8c4003c2b2ad7117252109e5423a3f" +checksum = "0f158e3ff0a1b334408dc9fb811cd99b446986f4d8b741bb08f9df1604085ae7" dependencies = [ "lazy_static", "num", @@ -1143,13 +1135,13 @@ dependencies = [ [[package]] name = "fst-writer" -version = "0.2.1" +version = "0.2.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d70529890a0a27d43374a430d7faf7634ef8df0ae775bb2836d92468eb74d61f" +checksum = "1ae6363689a1b6772c72f9b2123781d4657a327210dd0e65f1c47138344da15b" dependencies = [ "lz4_flex", - "thiserror", - "twox-hash", + "miniz_oxide 0.8.2", + "thiserror 2.0.8", ] [[package]] @@ -1196,12 +1188,6 @@ dependencies = [ "toml_edit", ] -[[package]] -name = "funty" -version = "2.0.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6d5a32815ae3f33302d95fdcb2ce17862f8c65363dcfd29360480ba1001fc9c" - [[package]] name = "futures" version = "0.3.30" @@ -1246,7 +1232,7 @@ checksum = "87750cf4b7a4c0625b1529e4c543c2182106e4dedc60a2a6455e00d212c489ac" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -1622,7 +1608,7 @@ dependencies = [ "once_cell", "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -1646,6 +1632,15 @@ dependencies = [ "adler", ] +[[package]] +name = "miniz_oxide" +version = "0.8.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "4ffbe83022cedc1d264172192511ae958937694cd57ce297164951b8b3568394" +dependencies = [ + "adler2", +] + [[package]] name = "mio" version = "0.8.10" @@ -1710,9 +1705,9 @@ dependencies = [ [[package]] name = "num" -version = "0.4.1" +version = "0.4.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b05180d69e3da0e530ba2a1dae5110317e49e3b7f3d41be227dc5f92e49ee7af" +checksum = "35bd024e8b2ff75562e5f34e7f4905839deb4b22955ef5e73d2fea1b9813cb23" dependencies = [ "num-bigint", "num-complex", @@ -1735,9 +1730,9 @@ dependencies = [ [[package]] name = "num-complex" -version = "0.4.5" +version = "0.4.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "23c6602fda94a57c990fe0df199a035d83576b496aa29f4e634a8ac6004e68a6" +checksum = "73f88a1307638156682bada9d7604135552957b7818057dcef22705b4d509495" dependencies = [ "num-traits", "serde", @@ -1760,9 +1755,9 @@ dependencies = [ [[package]] name = "num-iter" -version = "0.1.44" +version = "0.1.45" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d869c01cc0c455284163fd0092f1f93835385ccab5a98a0dcc497b2f8bf055a9" +checksum = "1429034a0490724d0075ebb2bc9e875d6503c3cf69e235a8941aa757d83ef5bf" dependencies = [ "autocfg", "num-integer", @@ -1879,7 +1874,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "219c0dcc30b6a27553f9cc242972b67f75b60eb0db71f0b5462f38b058c41546" dependencies = [ "memchr", - "thiserror", + "thiserror 1.0.64", "ucd-trie", ] @@ -1925,7 +1920,7 @@ dependencies = [ "pest_meta", "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -1966,7 +1961,7 @@ checksum = "266c042b60c9c76b8d53061e52b2e0d1116abc57cefc8c5cd671619a56ac3690" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -2035,9 +2030,9 @@ dependencies = [ [[package]] name = "proc-macro2" -version = "1.0.78" +version = "1.0.92" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e2422ad645d89c99f8f3e6b88a9fdeca7fabeac836b1002371c4367c8f984aae" +checksum = "37d3544b3f2748c54e147655edb5025752e2303145b5aefb3c3ea2c78b973bb0" dependencies = [ "unicode-ident", ] @@ -2087,12 +2082,6 @@ dependencies = [ "proc-macro2", ] -[[package]] -name = "radium" -version = "0.7.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "dc33ff2d4973d518d823d61aa239014831e521c75da58e3df4840d3f47749d09" - [[package]] name = "radix_trie" version = "0.2.1" @@ -2216,7 +2205,7 @@ checksum = "a18479200779601e498ada4e8c1e1f50e3ee19deb0259c25825a98b5603b2cb4" dependencies = [ "getrandom", "libredox", - "thiserror", + "thiserror 1.0.64", ] [[package]] @@ -2291,7 +2280,7 @@ checksum = "59aecf17969c04b9c0c5d21f6bc9da9fec9dd4980e64d1871443a476589d8c86" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -2402,7 +2391,7 @@ checksum = "7eb0b34b42edc17f6b7cac84a52a1c5f0e1bb2227e997ca9011ea3dd34e8610b" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -2424,7 +2413,7 @@ checksum = "0b2e6b945e9d3df726b65d6ee24060aff8e3533d431f677a9695db04eff9dfdb" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -2495,7 +2484,7 @@ dependencies = [ "darling 0.20.10", "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -2675,7 +2664,7 @@ dependencies = [ "proc-macro2", "quote", "rustversion", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -2718,9 +2707,9 @@ dependencies = [ [[package]] name = "syn" -version = "2.0.58" +version = "2.0.90" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "44cfb93f38070beee36b3fef7d4f5a16f27751d94b187b666a5cc5e9b0d30687" +checksum = "919d3b74a5dd0ccd15aeb8f93e7006bd9e14c295087c9896a110f490752bcf31" dependencies = [ "proc-macro2", "quote", @@ -2733,12 +2722,6 @@ version = "0.2.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "f764005d11ee5f36500a149ace24e00e3da98b0158b3e2d53a7495660d3f4d60" -[[package]] -name = "tap" -version = "1.0.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "55937e1799185b12863d447f42597ed69d9928686b8d88a1df17376a097d8369" - [[package]] name = "tempdir" version = "0.3.7" @@ -2802,7 +2785,16 @@ version = "1.0.64" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "d50af8abc119fb8bb6dbabcfa89656f46f84aa0ac7688088608076ad2b459a84" dependencies = [ - "thiserror-impl", + "thiserror-impl 1.0.64", +] + +[[package]] +name = "thiserror" +version = "2.0.8" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "08f5383f3e0071702bf93ab5ee99b52d26936be9dedd9413067cbdcddcb6141a" +dependencies = [ + "thiserror-impl 2.0.8", ] [[package]] @@ -2813,7 +2805,18 @@ checksum = "08904e7672f5eb876eaaf87e0ce17857500934f4981c4a0ab2b4aa98baac7fc3" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", +] + +[[package]] +name = "thiserror-impl" +version = "2.0.8" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f2f357fcec90b3caef6623a099691be676d033b40a058ac95d2a6ade6fa0c943" +dependencies = [ + "proc-macro2", + "quote", + "syn 2.0.90", ] [[package]] @@ -2916,7 +2919,7 @@ checksum = "5b8a1e28f2deaa14e508979454cb3a223b10b938b45af148bc0986de36f1923b" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -3018,7 +3021,7 @@ checksum = "84fd902d4e0b9a4b27f2f440108dc034e1758628a9b702f8ec61ad66355422fa" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -3046,7 +3049,7 @@ checksum = "34704c8d6ebcbc939824180af020566b01a7c01f80641264eba0999f6c2b6be7" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] [[package]] @@ -3488,15 +3491,6 @@ dependencies = [ "memchr", ] -[[package]] -name = "wyz" -version = "0.5.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "05f360fc0b24296329c78fda852a1e9ae82de9cf7b27dae4b7f62f118f77b9ed" -dependencies = [ - "tap", -] - [[package]] name = "yaml-rust" version = "0.4.5" @@ -3542,5 +3536,5 @@ checksum = "9ce1b18ccd8e73a9321186f97e46f9f04b778851177567b1975109d26a08d2a6" dependencies = [ "proc-macro2", "quote", - "syn 2.0.58", + "syn 2.0.90", ] diff --git a/Cargo.toml b/Cargo.toml index 8ffea0dca..a79870620 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -58,6 +58,7 @@ calyx-ir = { path = "calyx-ir", version = "0.7.1" } calyx-frontend = { path = "calyx-frontend", version = "0.7.1" } calyx-opt = { path = "calyx-opt", version = "0.7.1" } calyx-backend = { path = "calyx-backend", version = "0.7.1" } +baa = { version = "0.16.0", features = ["bigint", "serde1", "fraction1"] } [workspace.dependencies.petgraph] version = "0.6" diff --git a/cider-dap/Cargo.toml b/cider-dap/Cargo.toml index 2ed62056a..b9eccc0be 100644 --- a/cider-dap/Cargo.toml +++ b/cider-dap/Cargo.toml @@ -15,7 +15,7 @@ argh = "0.1" slog = "2.7.0" slog-term = "2.8.0" slog-async = "2.7.0" -baa = "0.14" +baa.workspace = true cider = { path = "../cider" } diff --git a/cider/Cargo.toml b/cider/Cargo.toml index 892a84e9c..9ea4cc89c 100644 --- a/cider/Cargo.toml +++ b/cider/Cargo.toml @@ -21,10 +21,9 @@ pest_derive.workspace = true pest_consume.workspace = true argh.workspace = true owo-colors = "^3.5" -bitvec = "1.0" serde_json = "1.0" rustyline = "=10.0.0" -fraction = { version = "0.11.0", features = ["with-serde-support"] } +fraction = { version = "0.15.3", features = ["with-serde-support"] } thiserror = "1.0.26" slog = "2.7.0" slog-term = "2.8.0" @@ -33,7 +32,6 @@ ahash = "0.8.3" num-bigint = "0.4.6" num-traits = "0.2.19" -once_cell = "1.9.0" petgraph = "0.6.3" calyx-ir = { path = "../calyx-ir" } @@ -42,8 +40,8 @@ calyx-opt = { path = "../calyx-opt" } calyx-frontend = { path = "../calyx-frontend" } ciborium = "0.2.2" -baa = { version = "0.14.0", features = ["bigint", "serde1", "fraction1"] } -fst-writer = "0.2.1" +baa.workspace = true +fst-writer = "0.2.3" bon = "2.3" [dev-dependencies] diff --git a/cider/src/flatten/flat_ir/base.rs b/cider/src/flatten/flat_ir/base.rs index bb2f4a015..bc9b2be45 100644 --- a/cider/src/flatten/flat_ir/base.rs +++ b/cider/src/flatten/flat_ir/base.rs @@ -565,7 +565,7 @@ impl AssignedValue { /// A utility constructor which returns a new implicitly assigned value with /// a one bit high value pub fn implicit_bit_high() -> Self { - Self::new(BitVecValue::tru(), AssignmentWinner::Implicit) + Self::new(BitVecValue::new_true(), AssignmentWinner::Implicit) } /// A utility constructor which returns an [`AssignedValue`] with the given @@ -586,13 +586,13 @@ impl AssignedValue { /// high value and a [`AssignmentWinner::Cell`] as the winner #[inline] pub fn cell_b_high() -> Self { - Self::cell_value(BitVecValue::tru()) + Self::cell_value(BitVecValue::new_true()) } /// A utility constructor which returns an [`AssignedValue`] with a one bit /// low value and a [`AssignmentWinner::Cell`] as the winner #[inline] pub fn cell_b_low() -> Self { - Self::cell_value(BitVecValue::fals()) + Self::cell_value(BitVecValue::new_false()) } pub fn thread(&self) -> Option { diff --git a/cider/src/flatten/primitives/stateful/math.rs b/cider/src/flatten/primitives/stateful/math.rs index 1d47fadf5..132445eca 100644 --- a/cider/src/flatten/primitives/stateful/math.rs +++ b/cider/src/flatten/primitives/stateful/math.rs @@ -49,9 +49,9 @@ impl Primitive for StdMultPipe { let done_signal = port_map.insert_val_general( done, AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; @@ -101,9 +101,9 @@ impl Primitive for StdMultPipe { port_map.insert_val_general( done, AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; @@ -378,9 +378,9 @@ impl Primitive for FxpMultPipe { let done_signal = port_map.insert_val_general( done, AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; @@ -439,9 +439,9 @@ impl Primitive for FxpMultPipe { port_map.insert_val_general( done, AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; port_map.write_exact_unchecked(out, self.current_output.clone()); diff --git a/cider/src/flatten/primitives/stateful/memories.rs b/cider/src/flatten/primitives/stateful/memories.rs index 9bf02fb3a..c8e396f37 100644 --- a/cider/src/flatten/primitives/stateful/memories.rs +++ b/cider/src/flatten/primitives/stateful/memories.rs @@ -76,7 +76,7 @@ impl Primitive for StdReg { BitVecValue::zero(self.internal_state.value.width()); port_map.insert_val_general( done, - AssignedValue::cell_value(BitVecValue::fals()), + AssignedValue::cell_value(BitVecValue::new_false()), )? } else if port_map[write_en].as_bool().unwrap_or_default() { self.internal_state.value = port_map[input] @@ -89,13 +89,13 @@ impl Primitive for StdReg { port_map.insert_val_general( done, - AssignedValue::cell_value(BitVecValue::tru()), + AssignedValue::cell_value(BitVecValue::new_true()), )? } else { self.done_is_high = false; port_map.insert_val_general( done, - AssignedValue::cell_value(BitVecValue::fals()), + AssignedValue::cell_value(BitVecValue::new_false()), )? }; @@ -120,9 +120,9 @@ impl Primitive for StdReg { let done_signal = port_map.insert_val_general( done, AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; @@ -566,9 +566,9 @@ impl Primitive for CombMem { let done_signal = port_map.insert_val_general( self.done(), AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; Ok(done_signal | read) @@ -902,9 +902,9 @@ impl Primitive for SeqMem { let done_signal = port_map.insert_val_general( self.done(), AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; @@ -962,9 +962,9 @@ impl Primitive for SeqMem { port_map.insert_val_general( self.done(), AssignedValue::cell_value(if self.done_is_high { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), )?; port_map.write_exact_unchecked( diff --git a/cider/src/flatten/structures/environment/env.rs b/cider/src/flatten/structures/environment/env.rs index d08ca037f..d655dadb1 100644 --- a/cider/src/flatten/structures/environment/env.rs +++ b/cider/src/flatten/structures/environment/env.rs @@ -151,9 +151,9 @@ impl PortMap { self.insert_val( target, AssignedValue::cell_value(if done_bool { - BitVecValue::tru() + BitVecValue::new_true() } else { - BitVecValue::fals() + BitVecValue::new_false() }), ) .map_err(|e| RuntimeError::ConflictingAssignments(e).into()) @@ -1687,7 +1687,7 @@ impl + Clone> BaseSimulator { + self.env.ctx.as_ref().primary[ledger.comp_id] .unwrap_standard() .go; - self.env.ports[go] = PortValue::new_implicit(BitVecValue::tru()); + self.env.ports[go] = PortValue::new_implicit(BitVecValue::new_true()); } // may want to make this iterate directly if it turns out that the vec @@ -1867,7 +1867,7 @@ impl + Clone> BaseSimulator { for (comp, id) in self.env.pc.finished_comps() { let done_port = self.env.unwrap_comp_done(*comp); - let v = PortValue::new_implicit(BitVecValue::tru()); + let v = PortValue::new_implicit(BitVecValue::new_true()); self.env.ports[done_port] = if self.conf.check_data_race { v.with_thread(id.expect("finished comps should have a thread")) } else { @@ -1902,7 +1902,7 @@ impl + Clone> BaseSimulator { // if the done is not high & defined, we need to set it to low if !self.env.ports[comp_done].as_bool().unwrap_or_default() { self.env.ports[comp_done] = - PortValue::new_implicit(BitVecValue::fals()); + PortValue::new_implicit(BitVecValue::new_false()); } match &ctx_ref.primary[node.control_node_idx] { @@ -1917,7 +1917,7 @@ impl + Clone> BaseSimulator { // set go high let go_idx = index_bases + go_local; self.env.ports[go_idx] = - PortValue::new_implicit(BitVecValue::tru()); + PortValue::new_implicit(BitVecValue::new_true()); } ControlNode::Invoke(invoke) => { if invoke.comb_group.is_some() @@ -1931,7 +1931,7 @@ impl + Clone> BaseSimulator { let go = self.get_global_port_idx(&invoke.go, node.comp); self.env.ports[go] = - PortValue::new_implicit(BitVecValue::tru()) + PortValue::new_implicit(BitVecValue::new_true()) .with_thread_optional( if self.conf.check_data_race { assert!(thread.is_some(), "Invoke is running but has no thread. This shouldn't happen. In {}", node.comp.get_full_name(&self.env));