Skip to content

Commit 8dcffdd

Browse files
committed
start adding scheudling model
1 parent 41f99b3 commit 8dcffdd

File tree

3 files changed

+6
-2
lines changed

3 files changed

+6
-2
lines changed

crates/filament/src/cmdline.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -110,6 +110,10 @@ pub struct Opts {
110110
#[argh(switch, long = "preserve-names")]
111111
pub preserve_names: bool,
112112

113+
/// scheduling model containing port delays relative to clock frequency
114+
#[argh(option, long = "scheduling-model")]
115+
pub scheduling_model: Option<String>,
116+
113117
// Solver specific configuration
114118
/// solver to use (default: cvc5): cvc5, z3
115119
#[argh(option, long = "solver", default = "Solver::Z3")]

tech.toml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
[Add]
2+
out = 0.3

tech.yml

Lines changed: 0 additions & 2 deletions
This file was deleted.

0 commit comments

Comments
 (0)