Commits

Branch selector

 main

User selector

All users

All time

Commit history

Commits on May 26, 2026

• Add synthesizability latch-inference check (--check-synth)

  Show description for 5e30010
  

  babyworm

  and

  claude

  committed
  5e30010

  Copy full SHA for 5e30010

Commits on Apr 28, 2026

• Bump version 0.3.5 -> 0.3.6 with release-pipeline rework

  Show description for 3e3320d
  babyworm

  committed
  3e3320d

  Copy full SHA for 3e3320d

• Bump version 0.3.4 -> 0.3.5 with v0.3.5 release notes

  Show description for 0d5d6f6
  babyworm

  committed
  0d5d6f6

  Copy full SHA for 0d5d6f6

• Refresh contract test version expectations to 0.3.4

  Show description for ad92523
  babyworm

  committed
  ad92523

  Copy full SHA for ad92523

• Bump version 0.3.3 -> 0.3.4 with v0.3.4 release notes

  Show description for c2d0ca3
  babyworm

  committed
  c2d0ca3

  Copy full SHA for c2d0ca3

• Bump CI actions to Node.js 24-default versions before runner deprecation

  Show description for 2949ad3
  babyworm

  committed
  2949ad3

  Copy full SHA for 2949ad3

• Track earlgrey_silver_release_v5 and harden FuseSoC .core parsing

  Show description for 9ca5b49
  babyworm

  committed
  9ca5b49

  Copy full SHA for 9ca5b49

• Reference AGENTS.md so OMX/OMC tooling auto-loads workspace guidance

  Show description for 732198e
  babyworm

  committed
  732198e

  Copy full SHA for 732198e

• bench: add evaluate.py for recall/precision computation

  Show description for e53cba5
  

  babyworm

  and

  claude

  committed
  e53cba5

  Copy full SHA for e53cba5

• bench: add initial golden data for OpenTitan benchmark

  Show description for 64aebfe
  

  babyworm

  and

  claude

  committed
  64aebfe

  Copy full SHA for 64aebfe

• bench: add run.sh to execute svlens on OpenTitan targets

  Show description for 6b851d6
  

  babyworm

  and

  claude

  committed
  6b851d6

  Copy full SHA for 6b851d6

• bench: add gen_filelist.py to resolve FuseSoC .core dependencies

  Show description for efd25d2
  

  babyworm

  and

  claude

  committed
  efd25d2

  Copy full SHA for efd25d2

• bench: add fetch.sh to clone OpenTitan at pinned tag

  Show description for 9b91a60
  

  babyworm

  and

  claude

  committed
  9b91a60

  Copy full SHA for 9b91a60

• bench: scaffold OpenTitan benchmark directory and targets

  Show description for e3a3cb7
  

  babyworm

  and

  claude

  committed
  e3a3cb7

  Copy full SHA for e3a3cb7

• docs: add OpenTitan benchmark design spec

  Show description for 575b9fd
  babyworm

  committed
  575b9fd

  Copy full SHA for 575b9fd

• Apply clang-format to changed lines in test_convention_checker.cpp

  Show description for 891faa4
  

  babyworm

  and

  claude

  committed
  891faa4

  Copy full SHA for 891faa4

• Harden test_cdc_golden.sh + test_integration.sh + waiver+convention test

  Show description for 7691a31
  

  babyworm

  and

  claude

  committed
  7691a31

  Copy full SHA for 7691a31

• Per-PID + per-counter temp dirs in tests for parallel-ctest isolation

  Show description for e41a847
  

  babyworm

  and

  claude

  committed
  e41a847

  Copy full SHA for e41a847

• Make no_eol fixture syntactically valid + pin long-line/CR-LF counts

  Show description for bf01aad
  

  babyworm

  and

  claude

  committed
  bf01aad

  Copy full SHA for bf01aad

• Update test counts: 560 -> 570 in release notes, 496+ -> 570+ in CLAUDE.md

  Show description for e8dd682
  

  babyworm

  and

  claude

  committed
  e8dd682

  Copy full SHA for e8dd682

• Add encoding edge-case tests: BOM, CR-LF, no-final-newline, long line

  Show description for 473a269
  babyworm

  committed
  473a269

  Copy full SHA for 473a269

Commits on Apr 27, 2026

• Add YAML edge-case tests: cyclic anchor, deep nesting, empty, unknown keys

  Show description for 4efe531
  babyworm

  committed
  4efe531

  Copy full SHA for 4efe531

• Pin exact violation counts and lock cross-scanner path consistency

  Show description for a207d62
  babyworm

  committed
  a207d62

  Copy full SHA for a207d62

• Clarify fixture and example yaml comments to match current rule semantics

  Show description for 3d697b4
  babyworm

  committed
  3d697b4

  Copy full SHA for 3d697b4

• Surface source-text / file-naming rules in examples/styles/lowrisc.yaml

  Show description for a520dc1
  babyworm

  committed
  a520dc1

  Copy full SHA for a520dc1

• Populate column for source-text observations to match schema contract

  Show description for 978ac3b
  babyworm

  committed
  978ac3b

  Copy full SHA for 978ac3b

• Bump version 0.3.2 -> 0.3.3 with v0.3.3 release notes

  Show description for 91589db
  

  babyworm

  and

  claude

  committed
  91589db

  Copy full SHA for 91589db

• Strip "Codex cross-review:" comment prefixes; reformat changed lines

  Show description for 9774b2e
  babyworm

  committed
  9774b2e

  Copy full SHA for 9774b2e

• Move ReDoS static regex to namespace scope, drop dead inner catch

  Show description for b539b0f
  babyworm

  committed
  b539b0f

  Copy full SHA for b539b0f

• Drop dead SourceTextScanner overload + regex-based slang Debug strip

  Show description for ed9e6d2
  babyworm

  committed
  ed9e6d2

  Copy full SHA for ed9e6d2

• Standardize on global SourceManager + getRawFileName for line/path

  Show description for f6514cb
  babyworm

  committed
  f6514cb

  Copy full SHA for f6514cb

• Collapse triplicated nested-prefix YAML guards into one helper

  Show description for 0567c7c
  babyworm

  committed
  0567c7c

  Copy full SHA for 0567c7c

• Extract collectReachableModules to shared StyleReachability helper

  Show description for a216fe6
  babyworm

  committed
  a216fe6

  Copy full SHA for a216fe6

• Strip bracket-index before reset polarity classification

  Show description for 2e64924
  babyworm

  committed
  2e64924

  Copy full SHA for 2e64924

• Anchor MissingQSuffix to end of name to drop mid-string false positives

  Show description for b005cea
  babyworm

  committed
  b005cea

  Copy full SHA for b005cea