Treadle v1.3.3

Highlights

• Bump to FIRRTL v1.4.3 (see release notes)

Treadle v1.3.2

License

• Fix settings so maven reports treadle as apache-2.0 (#284) (#285)

Treadle v1.3.1

Highlights

• Move Treadle to SPDX license conventions
• Update .scalafmt.conf to be the same as firrtl (#250)
• License reference in maven publishing info, now points to apache 2.0 (#252)
• Clean up Treadle: TestHarness (#257)
  • Change all possible printlns into logger.
  • Create a TreadleTestHarness
    • Make cleaner API for running tests in Treadle
    • Make all tests involving a tester to run in a Logger.makeScope
• Simplify Github Actions CI (bp #267)
• Does not crash when encountering formal statements (bp #261)
  • Add new transform that
    • removes cover statements
    • drops assumes or converts them to asserts
    • all asserts are then converted to printf + stop
  • Add annotation to control assume behavior
  • Add tests to demonstrate above
• Automatically publish SNAPSHOTs on pushes (#277)
• Uses sbt-ci-release for automation (#279) (#281) (#283)

Treadle 1.3.0

Fix

(#212) Wrong enable signal was shown in expression view of memory access

(#216) Increase Fidelity with Verilator Printf

(#223) Missing Annotations in CLI list

(#226) Make treadle clean with respect to Form deprecations

(#229) Fix problem with hardcoded firrtl

(#230) version number wrong in build.sc

(#238) Fix problems caused by PadWidths creating Dshlw

Feature

(#197) First round of support for rocket black boxes: ClockDivider2, ClockDivider3, EicgWrapper, PlusArgReader

(#234) Implement a finish call for engine, this can provide, hook for test

(#211) This adds the ability to log memory changes to vcd output

(#215) Ability to Randomize Registers and Memory

(#220) Provides support for latest memory initialization annotations

Miscellany

(#208) Bump SNAPSHOT version.
(#218) fix build for mill
(#224) Fix unused import
(#225) Add documentation building to CI
(#236) Refactor build.sbt into a more normal style
(#237) Update scalatest, scalatest_2.11, ... to 3.2.1
(#240) Update scalacheck-1-14_2.11, ... to 3.1.3.0
(#244) Update scalatest, scalatest_2.11, ... to 3.2.2
(#245) Update scalacheck-1-14_2.11, ... to 3.2.2.0
(#246) Allows chisel-iotesters to turn on vcd logging of memories
(#248) README: correct grammar mistakes

v1.3.0-RC1

Fix

(#212) Wrong enable signal was shown in expression view of memory access
(#216) Increase Fidelity with Verilator Printf
(#223) Missing Annotations in CLI list
(#226) Make treadle clean with respect to Form deprecations
(#229) Fix problem with hardcoded firrtl
(#230) version number wrong in build.sc
(#238) Fix problems caused by PadWidths creating Dshlw

Feature

(#211) This adds the ability to log memory changes to vcd output

(#215) Ability to Randomize Registers and Memory

(#220) Provides support for latest memory initialization annotations

Miscellany

(#208) Bump SNAPSHOT version.
(#218) fix build for mill
(#224) Fix unused import
(#225) Add documentation building to CI
(#236) Refactor build.sbt into a more normal style
(#237) Update scalatest, scalatest_2.11, ... to 3.2.1
(#240) Update scalacheck-1-14_2.11, ... to 3.1.3.0

v1.2.2

Bump dependencies

v1.1.7

Bump dependencies

v1.2.1

Feature

(#194) Augmented combinational loop report
(#195) Additional changes for combinational loop reports
(#196) Provide a way to save lowered Firrtl file
(#198) Update json4s-native to 3.6.8
(#200) Fix override of write latency
(#201) Update scalatest to 3.1.2

v1.1.6

Bump dependencies

v1.2.0

Fix

(#150) Fixed bug in Treadles internal default test directory naming
(#153) Fixes incomplete match specification of a datastore plugin in repl
(#154) Fixes for problem discovered in riscv-mini
(#156) Fix code analysis problem introduced with #154
(#157) The vcd filename can be wrong
(#159) Make printf behavior more closely match verilator
(#166) VCD fixes and improvements

Feature

(#145) Testers2 boring fix
(#152) Provide API for getting stop result in from treadle tester
(#155) Makes treadle printf output formatted more like verilator does
(#160) Add the current .scalafmt.conf
(#161) Vcd diff upgrade 2
(#162) Vcd update 3
(#163) Relicense under Apache 2.0
(#164) Add scalastyle plugin
(#165) Allows setting the initial phase offset for the clock to zero
(#167) Bump sbt and tool/plugin dependencies.
(#169) Update junit to 4.13
(#170) Update sbt to 1.3.8
(#171) Update scalacheck to 1.14.3
(#175) Update scalatest to 3.1.1
(#177) Gives symbol table a mapping between instance names and module names
(#179) Don't mess with version management.
(#181) Bump to Scala 2.12.10
(#188) Make scala-steward run on the first of each month
(#190) Update sbt to 1.3.10
(#192) Add github action/workflow testing
(#191) Address Scala 2.11 issue; add missing import.
(#187) Treadle clean up.
(#182) Return to using LowFirrtlOptimization