search

pymtl / pymtl3

Pymtl 3 (Mamba), an open-source Python-based hardware generation, simulation, and verification framework
BSD 3-Clause "New" or "Revised" License
388 stars 46 forks source link

Minor translation and import bug fix #198

Closed ptpan closed 4 years ago

ptpan commented 4 years ago
  1. Fixed name error of Bits256 during import.
  2. Fixed for loop induction bitwidth inference error (in IR type checking) when the loop bound is constant at translation time.
codecov[bot] commented 4 years ago

Codecov Report

Merging #198 into master will increase coverage by 0.00%. The diff coverage is 82.35%.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #198   +/-   ##
=======================================
  Coverage   90.48%   90.49%           
=======================================
  Files         316      316           
  Lines       27796    27811   +15     
=======================================
+ Hits        25151    25167   +16     
+ Misses       2645     2644    -1
Impacted Files Coverage Δ
...on/behavioral/test/VBehavioralTranslatorL2_test.py 100.00% <ø> (ø)
pymtl3/passes/testcases/test_cases.py 86.40% <72.72%> (-0.08%) :arrow_down:
...ends/verilog/import_/VerilogVerilatorImportPass.py 93.72% <100.00%> (ø)
...l3/passes/backends/verilog/testcases/test_cases.py 96.75% <100.00%> (+0.02%) :arrow_up:
...rtlir/behavioral/BehavioralRTLIRTypeCheckL2Pass.py 81.09% <100.00%> (+0.24%) :arrow_up:
pymtl3/dsl/Connectable.py 84.32% <0.00%> (+0.27%) :arrow_up:
...asses/rtlir/behavioral/BehavioralRTLIRGenL2Pass.py 90.83% <0.00%> (+2.29%) :arrow_up:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update d8bd91c...6698a4a. Read the comment docs.