Commits

Branch selector

 aspdac2026-paper

User selector

All users

All time

Commit History

Commits on Oct 27, 2025

• docs: Add arXiv link and changelog to README

  kmcho2019

  committed
  81cc049

  Copy full SHA for 81cc049

Commits on Oct 23, 2025

• data(exp): add curated experimental artifacts cited in ASP-DAC 2026 paper

  Show description for 87d6947
  kmcho2019

  committed
  87d6947

  Copy full SHA for 87d6947

• docs(readme): add authors/affiliation, acknowledgments, and citation; prep for ASP-DAC 2026 camera-ready

  Show description for 04b6c63
  kmcho2019

  committed
  04b6c63

  Copy full SHA for 04b6c63

• build(docker): pin Python 3.11 with uv and exclude exp/ from build context

  Show description for 8e3459d
  kmcho2019

  committed
  8e3459d

  Copy full SHA for 8e3459d

Commits on Aug 8, 2025

• test(revolution): expand unit test coverage for core modules

  Show description for c8b3ed6
  kmcho2019

  committed
  c8b3ed6

  Copy full SHA for c8b3ed6

• fix(llm): reset code/feedback token counters in get_and_reset_usage_stats

  Show description for 4520973
  kmcho2019

  committed
  4520973

  Copy full SHA for 4520973

• test(llm): use get_and_reset_usage_stats() and assert api_calls

  Show description for 304f883
  kmcho2019

  committed
  304f883

  Copy full SHA for 304f883

• docs(readme): remove /workspace bind mount to avoid "Stale file handle"

  Show description for e9670e0
  kmcho2019

  committed
  e9670e0

  Copy full SHA for e9670e0

Commits on Aug 7, 2025

• feat(llm): Add support for Google Gemini API

  Show description for d3069c4
  kmcho2019

  committed
  d3069c4

  Copy full SHA for d3069c4

• feat(docker): Add reproducible development environment

  Show description for cadd95b
  kmcho2019

  committed
  cadd95b

  Copy full SHA for cadd95b

Commits on Aug 6, 2025

• feat(engine): Implement non-destructive "diff" generation mode

  Show description for 2a7d9e7
  kmcho2019

  committed
  2a7d9e7

  Copy full SHA for 2a7d9e7

Commits on Aug 5, 2025

• refactor(engine): Optimize SingleShotEngine to skip feedback generation

  Show description for 9ba5f32
  kmcho2019

  committed
  9ba5f32

  Copy full SHA for 9ba5f32

• feat(stats): Implement and report LLM token usage tracking

  Show description for 96f2cb1
  kmcho2019

  committed
  96f2cb1

  Copy full SHA for 96f2cb1

Commits on Aug 4, 2025

• feat(scripts): Add tqdm progress bar for real-time feedback

  Show description for cdaab68
  kmcho2019

  committed
  cdaab68

  Copy full SHA for cdaab68

• feat: Add SingleShotEngine for n-shot baseline evaluation

  Show description for fb1e9b3
  kmcho2019

  committed
  fb1e9b3

  Copy full SHA for fb1e9b3

Commits on Aug 3, 2025

• test: Add initial unit test framework and first tests

  Show description for cbd4675
  kmcho2019

  committed
  cbd4675

  Copy full SHA for cbd4675

Commits on Aug 1, 2025

• docs: Update README for prepare for public release and new structure

  Show description for 428b95d
  kmcho2019

  committed
  428b95d

  Copy full SHA for 428b95d

• fix(logging): postpone annotation evaluation and defer type imports to resolve circular import

  Show description for dbe2cff
  kmcho2019

  committed
  dbe2cff

  Copy full SHA for dbe2cff

• refactor(algorithm): Add full typing and improve strategy selection logic

  Show description for 622da38
  kmcho2019

  committed
  622da38

  Copy full SHA for 622da38

• refactor(evaluation): Add full typing and docstrings to evaluation module

  Show description for 5f5f2d8
  kmcho2019

  committed
  5f5f2d8

  Copy full SHA for 5f5f2d8

• refactor(llm): Modernize LLMInterface with full typing and robust handling

  Show description for 2d28119
  kmcho2019

  committed
  2d28119

  Copy full SHA for 2d28119

• docs: enrich docstrings and add type hints across core modules

  Show description for 32ae4b3
  kmcho2019

  committed
  32ae4b3

  Copy full SHA for 32ae4b3

• refactor: Apply ruff linter fixes and remove dead code

  Show description for 4b00f3d
  kmcho2019

  committed
  4b00f3d

  Copy full SHA for 4b00f3d

• chore(tooling): Add ruff and format refactored code

  Show description for 585ed8b
  kmcho2019

  committed
  585ed8b

  Copy full SHA for 585ed8b

Commits on Jul 31, 2025

• fix(refactor): Correct synthesis paths and add regression test

  Show description for f1d98fa
  kmcho2019

  committed
  f1d98fa

  Copy full SHA for f1d98fa

• refactor: Restructure project into a modular source layout

  Show description for 60c1b69
  kmcho2019

  committed
  60c1b69

  Copy full SHA for 60c1b69

Commits on Jul 12, 2025

• Adds text file version of README.md.

  kmcho2019

  authored
  018de96

  Copy full SHA for 018de96

• Merge pull request #1 from kmcho2019/synthesis-capability

  Show description for cf728aa
  kmcho2019

  authored
  cf728aa

  Copy full SHA for cf728aa

• chore: Prepare repository for anonymous review

  Show description for 504c420
  kmcho2019

  committed
  504c420

  Copy full SHA for 504c420

Commits on Jul 11, 2025

• feat: Add result compilation and automation scripts

  Show description for 5536727
  kmcho2019

  committed
  5536727

  Copy full SHA for 5536727

• feat(plot): Add output directory, defaults, and colormap gallery

  Show description for ce74c8c
  kmcho2019

  committed
  ce74c8c

  Copy full SHA for ce74c8c

• feat(plot): Add scoring, top-N plots, and axis controls

  Show description for 3bd073a
  kmcho2019

  committed
  3bd073a

  Copy full SHA for 3bd073a

• Add script that offers a way to plot pareto plot for individual problems using generation jsonl file and summary json file.

  Show description for dada73e
  kmcho2019

  committed
  dada73e

  Copy full SHA for dada73e

• To table_generation_script_v2.5.py add the ability to filter by gate count as well, also add .csv files saving the gate count for each problems, the -1 indicate problems during synthesis.

  Show description for e6fc0cb
  kmcho2019

  committed
  e6fc0cb

  Copy full SHA for e6fc0cb

• Add additional packages like seaborn, tqdm, pandas, scipy, and jsonlines, which were used for visualization creation scripts.

  Show description for 3fc10e8
  kmcho2019

  committed
  3fc10e8

  Copy full SHA for 3fc10e8

Pagination

Previous

Next