Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
4092225
feat: add FSM analysis and extraction tools to enhance sequential cir…
samuel21119 Feb 6, 2026
266d4af
fix: Enhance DFS engine through C++-based testbench and make STG with…
samuel21119 Feb 8, 2026
3ee67d0
fix: refine cli option to generate-fsm
samuel21119 Feb 8, 2026
8d5927f
Add agents.md for LMs
samuel21119 Feb 9, 2026
5a9c935
fix: update STG path in Makefiles
samuel21119 Feb 9, 2026
2050503
add: add agent md file and documentation for generate-fsm
samuel21119 Feb 10, 2026
1af3162
Update documentation and enhance CLI references
samuel21119 Feb 10, 2026
cc3ae6a
Update README.md to reflect installation of `uv`
samuel21119 Feb 10, 2026
bf3d923
fix: add linting checks and fix warnings
samuel21119 Feb 10, 2026
ad7544b
fix: improved condition parsing for complex operators
samuel21119 Feb 11, 2026
21a6eac
fix: organized the example directory into version-specific directories
samuel21119 Feb 11, 2026
08f3e02
fix: fix linting warnings
samuel21119 Feb 11, 2026
93da1bc
refactor: remove automatic env file detection
samuel21119 Feb 11, 2026
1d9b345
refactor: consolidate FSM analysis and extraction into a unified modu…
samuel21119 Feb 14, 2026
6189452
feat: add line coverage check option for FSM transitions in generate-fsm
samuel21119 Mar 1, 2026
ebf5090
Add instruction for installing custom verilator
samuel21119 Mar 1, 2026
6b3ebf6
Update GitHub Actions workflow to install Verilator from a custom bra…
samuel21119 Mar 2, 2026
e5db152
Remove hard-coded verilator PATH
samuel21119 Mar 2, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
46 changes: 46 additions & 0 deletions .github/workflows/clippy.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
name: Clippy Lint

on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]

env:
CARGO_TERM_COLOR: always

jobs:
clippy:
runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v4

- name: Install Rust toolchain
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
components: clippy
override: true

- name: Cache cargo registry
uses: actions/cache@v4
with:
path: ~/.cargo/registry
key: ${{ runner.os }}-cargo-registry-${{ hashFiles('**/Cargo.lock') }}

- name: Cache cargo index
uses: actions/cache@v4
with:
path: ~/.cargo/git
key: ${{ runner.os }}-cargo-git-${{ hashFiles('**/Cargo.lock') }}

- name: Cache cargo build
uses: actions/cache@v4
with:
path: target
key: ${{ runner.os }}-cargo-build-target-${{ hashFiles('**/Cargo.lock') }}

- name: Run clippy
run: cargo clippy --all-targets --all-features -- -D warnings
14 changes: 8 additions & 6 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ jobs:
uses: actions/cache@v4
with:
path: ~/tools
key: ${{ runner.os }}-tools-iverilog-v11-verilator-v5.020
key: ${{ runner.os }}-tools-iverilog-v11-verilator-feat-cpp-linecount

- name: Install dependencies
run: |
Expand All @@ -41,18 +41,20 @@ jobs:
make -j 4
make install

- name: Install Verilator v5.020 from source
- name: Install Verilator feat/cpp-linecount from source
if: steps.cache-tools.outputs.cache-hit != 'true'
run: |
cd /tmp
git clone https://github.com/verilator/verilator.git
git clone https://github.com/AS-SiliconMind/verilator.git
cd verilator
git checkout v5.020
git checkout feat/cpp-linecount
unset VERILATOR_ROOT
autoconf
./configure --prefix=$HOME/tools
make -j 4
./configure --prefix=$HOME/tools --with-parsetree
make -j `nproc`
make install
cd -
rm -rf /tmp/verilator

- name: Add tools to PATH and verify
run: |
Expand Down
4 changes: 4 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -73,3 +73,7 @@ obj_dir/

# Environment variables
.env

# Python files
__pycache__
.venv
Loading
Loading