Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Type
/
to search
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
doofin
/
dependentChisel
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
6
Code
Issues
0
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
static Analysis and tree traverse
- #4
#4
Merged
doofin
merged 23 commits into
master
doofin/dependentChisel:master
from
trav
doofin/dependentChisel:trav
Copy head branch name to clipboard
Feb 3, 2026
Conversation
Commits
23
(23)
Checks
Files changed
Merged
static Analysis and tree traverse
#4
doofin
merged 23 commits into
master
doofin/dependentChisel:master
from
trav
doofin/dependentChisel:trav
Copy head branch name to clipboard
Commits
Commits on Nov 20, 2025
refactor: Rename VarDymTyped to VarDynamic and update related usages
doofin
committed
9838bb9
View commit details
Copy full SHA for 9838bb9
Browse repository at this point
feat: Add BoolProp for formal verification in sequentialCommands and update adder example
doofin
committed
573bd04
View commit details
Copy full SHA for 573bd04
Browse repository at this point
feat: Implement AST transformation methods in chiselModules and add tests for tree AST transformation
doofin
committed
39fe02c
View commit details
Copy full SHA for 39fe02c
Browse repository at this point
chore: Update CI workflow to rename job and improve Java setup steps
doofin
committed
0a0a948
View commit details
Copy full SHA for 0a0a948
Browse repository at this point
feat: Enhance AST transformation by adding BoolProp handling and refactor command appending
doofin
committed
ec99a32
View commit details
Copy full SHA for ec99a32
Browse repository at this point
feat: Add global settings and custom pprint method; update tests to use new pprint
doofin
committed
cd015bb
View commit details
Copy full SHA for cd015bb
Browse repository at this point
feat: Refactor imports to replace varDecls with circuitDecls and remove unused exprOperators
doofin
committed
a615610
View commit details
Copy full SHA for a615610
Browse repository at this point
Commits on Dec 13, 2025
feat: Refactor imports to use monadicSyntax and enhance code organization
doofin
committed
a0e1575
View commit details
Copy full SHA for a0e1575
Browse repository at this point
Commits on Jan 15, 2026
feat: Enhance MonotoneFramework and related components with transfer function and initial mapping
doofin
committed
4d922ec
View commit details
Copy full SHA for 4d922ec
Browse repository at this point
feat: Refactor domainMapT type definition and update checkUnInitAnalysis for clarity
doofin
committed
533bdf1
View commit details
Copy full SHA for 533bdf1
Browse repository at this point
Commits on Jan 19, 2026
feat: Rename initMap to botMap in MonoFramework and update related references
doofin
committed
430f6ea
View commit details
Copy full SHA for 430f6ea
Browse repository at this point
feat: Refactor checkUnInitAnalysis and remove checkUnInitLattice, integrating its functionality directly
doofin
committed
c1fea95
View commit details
Copy full SHA for c1fea95
Browse repository at this point
Commits on Jan 20, 2026
feat: Implement unInitAnalysis and associated test suite for variable initialization tracking
doofin
committed
92442fa
View commit details
Copy full SHA for 92442fa
Browse repository at this point
Commits on Jan 31, 2026
feat: Refactor domainMapT to VarMap for consistency across MonotoneFramework and related components
doofin
committed
20ac238
View commit details
Copy full SHA for 20ac238
Browse repository at this point
feat: Refactor MonoFrameworkT to use baseLattice directly and update related usages
doofin
committed
47315ef
View commit details
Copy full SHA for 47315ef
Browse repository at this point
refactor: Remove unused type alias and streamline unInitAnalysis imports
doofin
committed
9dd87a2
View commit details
Copy full SHA for 9dd87a2
Browse repository at this point
feat: Update Scala version and enhance static analysis with live variable analysis
doofin
committed
724613f
View commit details
Copy full SHA for 724613f
Browse repository at this point
feat: Enhance worklist algorithm and live variable analysis with entry/exit point support
doofin
committed
b4bc666
View commit details
Copy full SHA for b4bc666
Browse repository at this point
Commits on Feb 2, 2026
feat: Introduce reaching definition analysis and related test suite
doofin
committed
6eac0c1
View commit details
Copy full SHA for 6eac0c1
Browse repository at this point
refactor: Simplify worklist algorithm and update monoFramework signatures
doofin
committed
0e915c3
View commit details
Copy full SHA for 0e915c3
Browse repository at this point
liveVarAnalysisSuite ok, Update MonoFrameworkT
doofin
committed
17df062
View commit details
Copy full SHA for 17df062
Browse repository at this point
Commits on Feb 3, 2026
feat: Add live variable and reaching definition analysis test suites
doofin
committed
3d7652a
View commit details
Copy full SHA for 3d7652a
Browse repository at this point
fix: Update assertions in unInitAnalysisSuite for expected initialization points
doofin
committed
b282cb9
View commit details
Copy full SHA for b282cb9
Browse repository at this point
You can’t perform that action at this time.
