Search results

Fault not aware of top circuit uniquification

Status: Open.

#338 In leonardt/fault;

· leonardt opened on Mar 15, 2024

Update internal signal poking for MLIR

Status: Open.

#336 In leonardt/fault;

· leonardt opened on Dec 7, 2023

Fault fails with wrong circt version

Status: Open.

#328 In leonardt/fault;

· phanrahan opened on Aug 7, 2023

Fault breaks with MagmaProtocol outputs

Status: Open.

#327 In leonardt/fault;

· cdonovick opened on Aug 1, 2023

Improve behavior output in magma_opts

Status: Open.

#325 In leonardt/fault;

· leonardt opened on Jul 24, 2023

Need help writing magma circuits.

Status: Open.

#310 In leonardt/fault;

· Arka2BR opened on Jul 1, 2021

Cant install faul.

Status: Open.

#309 In leonardt/fault;

· Arka2BR opened on Jun 30, 2021

Adding task to fault

Status: Open.

#306 In leonardt/fault;

· Kuree opened on Apr 26, 2021

Fault doesn't generate signed inputs when specified through Magma

Status: Open.

#281 In leonardt/fault;

· zamyers opened on Nov 4, 2020

Extremely low performance for large test vectors

Status: Open.

#280 In leonardt/fault;

· Kuree opened on Nov 3, 2020

fork/join Proposal

enhancementNew feature or requestNew feature or request

Status: Open.

#277 In leonardt/fault;

· Kuree opened on Oct 28, 2020

get_value does not handle signed values properly

Status: Open.

#265 In leonardt/fault;

· sgherbst opened on Sep 28, 2020