github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

chore: fix some comments (#1456)

Browse Source 
Signed-off-by: tsinghuacoder <tsinghuacoder@icloud.com>
This commit is contained in:
tsinghuacoder
2024-06-19 00:51:13 +09:00
committed by GitHub
parent 5f6e1cd0f3
commit 63f261f3f2
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pil-analyzer/src/condenser.rs
View File

@@ -98,8 +98,8 @@ pub fn condense<T: FieldElement>(
}
s => Some(s),
};
// Extract and prepend the new witness columns, then identites
// and finally the original statment (if it exists).
// Extract and prepend the new witness columns, then identities
// and finally the original statement (if it exists).
let new_wits = condenser
.extract_new_witness_columns()
.into_iter()

2
riscv/src/runtime.rs
View File

@@ -70,7 +70,7 @@ impl SubMachine {
struct SyscallImpl(Vec<FunctionStatement>);
/// RISCV powdr assembly runtime.
/// Determines submachines, instructions and syscalls avaiable to the main machine.
/// Determines submachines, instructions and syscalls available to the main machine.
pub struct Runtime {
submachines: BTreeMap<String, SubMachine>,
syscalls: BTreeMap<Syscall, SyscallImpl>,