This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
ekiwipushed 1 commit to main • da2b67b…8315873 • on Aug 19, 2024
Fix invalid PCH error (
#738 )
Pull request merge
ekiwipushed 1 commit to main • 82993eb…da2b67b • on Aug 6, 2024
ekiwipushed 1 commit to main • bdb84f7…82993eb • on Apr 24, 2024
add license info to readme
Add k-induction for SmtModelCheckers (
#713 )
Pull request merge
ekiwipushed 1 commit to main • 06e6ea8…bdb84f7 • on Mar 8, 2024
ekiwipushed 1 commit to 6.x • 06e6ea8…d764fdf • on Feb 28, 2024
Parse bitwuzla version number to provide appropriate command line args (
ekiwicreated 6.x • 06e6ea8 • on Feb 28, 2024
Parse bitwuzla version number to provide appropriate command line args (
Pull request merge
ekiwipushed 1 commit to main • 0783f27…06e6ea8 • on Feb 26, 2024
[CI] add verilator 5.x tests (
#709 )
Pull request merge
ekiwipushed 1 commit to main • 6e194dc…0783f27 • on Feb 7, 2024
Revert version to 6.0-SNAPSHOT and trigger a snapshot release (
#710 )
Pull request merge
ekiwipushed 1 commit to main • c9917be…6e194dc • on Feb 6, 2024
Bump to chisel 6 release (
#705 )
Pull request merge
ekiwipushed 1 commit to main • b2d8908…c9917be • on Feb 5, 2024
Add convert DecodeTableAnnotation regression test (
#698 )
Pull request merge
ekiwipushed 1 commit to main • 5b9c0b1…b2d8908 • on Jan 3, 2024
Bugfix: loadMemoryFromFile support absolute paths (
#693 )
Pull request merge
ekiwipushed 1 commit to main • 1caca88…5b9c0b1 • on Nov 16, 2023
Update scalafmt-core to 3.7.15 (
#691 )
Pull request merge
ekiwipushed 1 commit to main • 3c8d9bf…1caca88 • on Oct 25, 2023
ekiwipushed 1 commit to main • ccc91cf…3c8d9bf • on Sep 22, 2023
ekiwipushed 1 commit to main • 6e8ebc7…ccc91cf • on Sep 22, 2023
remove support for utest (
#688 )
Pull request merge
ekiwipushed 1 commit to main • 1648c14…6e8ebc7 • on Sep 22, 2023
modernize build.sbt (
#687 )
Pull request merge
ekiwipushed 1 commit to main • 6457e1a…1648c14 • on Sep 20, 2023
Rewrite Threading Backend (
#680 )
Pull request merge
ekiwipushed 1 commit to main • 33baf7c…6457e1a • on Sep 18, 2023
ChiselBridge: filter out chisel options (
#685 )
Pull request merge
ekiwipushed 1 commit to main • c77eb36…33baf7c • on Sep 16, 2023
ekiwiforce pushed to 5.x • 3035b9f…e1e11f4 • on Sep 16, 2023
ekiwipushed 2 commits to 5.x • 3f7bfc3…3035b9f • on Sep 16, 2023
You can’t perform that action at this time.