Repository navigation

Add hypothesmith-based fuzz testing for Python front-end - #984

Open

tautschnig wants to merge 19 commits into

main2from

tautschnig/hypothesmith

Open

Add hypothesmith-based fuzz testing for Python front-end#984
tautschnig wants to merge 19 commits into
main2from
tautschnig/hypothesmith

Commits on Apr 20, 2026
- Add hypothesmith-based fuzz testing for Python front-end
  
  tautschnig
  and
  kiro-agent
  committed
  b054782
- Add --unrestricted mode for Python fuzz testing
  
  tautschnig
  and
  kiro-agent
  committed
  04b87e6
- Add CI workflow for Python front-end fuzz testing
  
  tautschnig
  and
  kiro-agent
  committed
  0186a62
- Add extensive documentation to fuzz testing scripts and CI workflow
  
  tautschnig
  and
  kiro-agent
  committed
  47a4eb0
Commits on Apr 22, 2026
- Address Copilot review feedback
  
  tautschnig
  and
  kiro-agent
  committed
  cee7768
- Merge remote-tracking branch 'origin/main' into tautschnig/hypothesmith
  tautschnig
  committed
  730dc7f
- ci: disable lake test in fuzz workflow (only need executable)
  
  tautschnig
  and
  kiro-agent
  committed
  6a33412
Commits on Apr 23, 2026
- Classify parse failures as SKIP in semantic mode
  
  tautschnig
  and
  kiro-agent
  committed
  0860954
- Add lightweight fuzz test integration with lake test
  
  tautschnig
  and
  kiro-agent
  committed
  7f9aaa5
- Merge remote-tracking branch 'origin/main' into tautschnig/hypothesmith
  tautschnig
  committed
  01f8323
Commits on Apr 24, 2026
- Merge branch 'main' into tautschnig/hypothesmith
  tautschnig
  authored
  5db8522
Commits on Apr 30, 2026
- Merge branch 'main' into tautschnig/hypothesmith
  aqjune-aws
  authored
  6b0a5c1
Commits on May 4, 2026
- Merge remote-tracking branch 'origin/main' into pr-984-fix
  tautschnig
  committed
  68cdc83
- Fix: remove warnOnSkip parameter, fix hypothesmith.sh python check
  
  tautschnig
  and
  kiro-agent
  committed
  cc70d55
- Fix CI: skip fuzz test gracefully when Python/strata.gen is unavailable
  
  tautschnig
  and
  kiro-agent
  committed
  0a39094
- Address review: include generated Python program in fuzz bug issues
  
  tautschnig
  and
  kiro-agent
  committed
  6c1b779
- Address review: generate compound boolean conditions in if-else tests
  
  tautschnig
  and
  kiro-agent
  committed
  30ef165
Commits on May 5, 2026
- Clarify 'failed' semantics in verification check comment
  
  tautschnig
  and
  kiro-agent
  committed
  31b3687
- Merge remote-tracking branch 'origin/main' into tautschnig/hypothesmith
  tautschnig
  committed
  400eb9e

Commits

Commits on Apr 20, 2026

Commits on Apr 22, 2026

Commits on Apr 23, 2026

Commits on Apr 24, 2026

Commits on Apr 30, 2026

Commits on May 4, 2026

Commits on May 5, 2026