Skip to content

Impl/topic24 #67

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
FeelTheBeats wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Impl/topic24 #67

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
e8f98c0
feat(topic24): make Spike toolchain paths portable with graceful degr…
FeelTheBeats Sep 13, 2026
5937ba3
docs(topic24): add design and development documents
FeelTheBeats Sep 14, 2026
22f6af5
fix(topic24): harden spike failure handling and optional tool degrada…
FeelTheBeats Sep 14, 2026
780b5ab
test(topic24): cover spawn failures, fake success, probe and JSON con…
FeelTheBeats Sep 14, 2026
35880a9
feat(topic24): add spike tool-resolution case report and CI regressions
Sep 14, 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
17 changes: 17 additions & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,13 @@ jobs:
run: |
python3.12 -m pytest tests/test_pr37_regression.py -v --tb=short

- name: Run topic24 spike-tool regressions
run: |
python3.12 -m pytest \
tests/test_spike_sim_paths.py \
tests/test_topic24_spike_case_report.py \
-v --tb=short

- name: Generate test visualization page
if: github.ref == 'refs/heads/main'
run: |
Expand Down Expand Up @@ -218,6 +225,13 @@ jobs:
--json benchmark_reports/const_merge_report.json \
--markdown benchmark_reports/const_merge_report.md

# ── 3.1.3 课题24：Spike 工具解析 case 报告（hermetic 层级矩阵） ──
- name: Topic 24 spike tool-resolution case report
run: |
python3.12 benchmarks/run_topic24_spike_case.py \
--json benchmark_reports/spike_tools_report.json \
--markdown benchmark_reports/spike_tools_report.md

# ── 3.2 DSL 用例编译 + 模拟基准 ────────────────────────────────────
- name: DSL case compilation benchmarks
run: |
Expand Down Expand Up @@ -363,6 +377,9 @@ jobs:
if [ -f benchmark_reports/const_merge_report.md ]; then
cat benchmark_reports/const_merge_report.md >> $GITHUB_STEP_SUMMARY
fi
if [ -f benchmark_reports/spike_tools_report.md ]; then
cat benchmark_reports/spike_tools_report.md >> $GITHUB_STEP_SUMMARY
fi
echo "" >> $GITHUB_STEP_SUMMARY
if [ -f benchmark_reports/github_summary.md ]; then
cat benchmark_reports/github_summary.md >> $GITHUB_STEP_SUMMARY
Expand Down
Loading
Loading