Caleb Donovick

Assignment for wiring ports in magma sequential

3

It is currently difficult to create wiring loops in magma sequential as the output of a circuit cannot be probed prior to calling it. One solution to this would be...

It would be convenient if there was a universal function for declaring theory constants similar to the `Symbol`. E.g.: ```Python from pysmt import shortcuts as sc from pysmt import typing...

[RFC] Add `.code` to statements and expressions

2

Related to https://github.com/Instagram/LibCST/issues/16 While debugging I often find myself dumping generated code. This can be accomplished by using: ```Python Module([]).code_for_node(node) ``` This is hardly elegant. While I understand that Annotations...

I am building a metadata provider and running into a pretty strange bug. If I declare my provider: ```Python class Provider(cst.BatchableMetadataProvider[bool]): def _visit_simple_block(self, node: Union[cst.SimpleStatementLine, cst.SimpleStatementSuite] ) -> Optional[bool]: ......

Issue 341

6

## Summary resolves #341 Adds `_PrecedenceNode` as a helper class to automatically parenthesize child nodes when necessary ## Test Plan Adds basic unit tests for implicit parens and extends fuzz...

It would be nice if there was a pass that removed reshapes and single input muxes from the graph.

Add broken tests

4

Related issue #327

Fault breaks with MagmaProtocol outputs

2

Fault breaks when a protocol is used an output type on account of missing `debug_name` and `len` See: #326

mpfr ignores context

2

When constructing a mpfr from an mpfr the precision of the input is used not the context. ```python get_context().precision = 10 x = mpfr('0.3') # mpfr('0.2998',10) get_context().precision = 5 y...