David Durst

Sorry! I was an intern at ZocDoc this summer and now I'm back at school. There were script, stylesheet, and htmltemplate bundles. Other than that, I am not table to...

@leonardt I haven't gotten to it yet. This looks like it could solve my use case, but I'll need to rewrite how I do my testing. I don't know how...

The file https://github.com/David-Durst/aetherling/blob/96fceabd202df7e6846495e152327b0e07c9c76f/aetherling/examples/ae_circuit11324-288.py is a better example of the error. I'm fairly certain this file has no type errors as I've improved my Aetherling type checker. Additionally, i've isolated the...

The error was occurring due to an invalid magma type. I was creating a Term for a magma type of "Array[0, Array[8, Bit]]". The calls to magma would succeed until...

This is addressed by #157.

https://github.com/David-Durst/aetherling/blob/82970b97ed959fe62d42778088953e21cdd072e9/tests/test_space_time/test_nested_counters.py#L16 fails with the following message: ``` E AssertionError: Got non-zero return code: 2. E ../NestedCounters_TSeq_3_1_Int__hasCEFalse_hasResetFalse_driver.cpp:8:10: fatal error: 'VNestedCounters_TSeq_3_1_Int__hasCEFalse_hasResetFalse_NestedCounters_TSeq_3_1_Int__hasCEFalse_hasResetFalse.h' file not found E #include "VNestedCounters_TSeq_3_1_Int__hasCEFalse_hasResetFalse_NestedCounters_TSeq_3_1_Int__hasCEFalse_hasResetFalse.h" E ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ E 1 error...

(aetherling) durst@DN0a22a9e8:~/dev/W17-8/aetherling$ verilator --version Verilator 4.014 2019-05-08 rev UNKNOWN_REV

I believe I just ran into this issue. It would be helpful to have documentation on how the appropriate way to print system internals. My current approach is https://github.com/David-Durst/aetherling/blob/ea5fdb63d03314268eb149b6db5a44c59811b671/tests/test_map.py#L150, which...

I think that should work. That would allow me to express my conditionals. One nice thing about my current approach is that I can use my debugging tools to filter...

https://github.com/David-Durst/aetherling/blob/2043af4641f5bf46f5dd111d0812acf98f4eb932/tests/helper_test_readyvalid.py#L19-L72