Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
a843a1c
resturcture project
EYH0602 Aug 13, 2025
bd58b6c
fix: ollama new type api
EYH0602 Aug 13, 2025
bb928bf
fix lint
EYH0602 Aug 13, 2025
cf96b8c
add ruff
EYH0602 Aug 14, 2025
2564136
add ruff to ci
EYH0602 Aug 14, 2025
625ddc1
refactor: llm api (#60)
EYH0602 Aug 25, 2025
bb04023
feat: load TF-Bench from HuggingFace by default (#61)
EYH0602 Aug 27, 2025
d885470
avoid loading vLLM for now
EYH0602 Aug 27, 2025
52860c6
remove vLLM option in main
EYH0602 Aug 27, 2025
276bab7
feat: update response processing inside tfbench package (#62)
EYH0602 Aug 27, 2025
e016bbe
feat: script to analysis saved generation results
EYH0602 Aug 28, 2025
029e7d8
use orjsonl in main for consistancy
EYH0602 Aug 28, 2025
330dae3
feat: evaluation prove type equiv using TypeOperators (#64)
EYH0602 Sep 9, 2025
97cac5e
fix: experiment use prover_evaluate
EYH0602 Sep 9, 2025
42c2925
feat: error analysis with reasoning steps (#65)
EYH0602 Sep 10, 2025
9937ca2
revise error_analysis default path
EYH0602 Sep 11, 2025
9fae8e8
test: list constructor
EYH0602 Sep 11, 2025
53c19d6
remove tmp file
EYH0602 Sep 11, 2025
34897e5
fix: main missing pure parameter to
EYH0602 Sep 12, 2025
e2003dd
error analysis only output category
EYH0602 Sep 15, 2025
d7a9c35
default error analysis model to gpt-5-mini
EYH0602 Sep 15, 2025
272e5b5
adjust fontsize for 5 pies in a row
EYH0602 Sep 15, 2025
6733da2
doc: require GHC >= 9.2.1 for ImpredicativeTypes
EYH0602 Sep 16, 2025
dadb45e
feat: add default option using transformers (#67)
EYH0602 Sep 24, 2025
d4bdb93
doc: make readme and export clearer (#68)
EYH0602 Sep 30, 2025
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
1 change: 0 additions & 1 deletion .envrc

This file was deleted.

9 changes: 7 additions & 2 deletions .github/workflows/mypy.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
name: MyPy Type Checking

on: [pull_request]
on:
push:
branches: [main]
pull_request:

jobs:
type-check:
Expand All @@ -17,6 +20,8 @@ jobs:
- name: Set up Python
run: uv sync

- name: install mypy
run: uv pip install mypy

- name: Type Check Source Code
run: uv run mypy src

10 changes: 8 additions & 2 deletions .github/workflows/pylint.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
name: Pylint Linting

on: [pull_request]
on:
push:
branches: [main]
pull_request:

jobs:
linting:
Expand All @@ -16,6 +19,9 @@ jobs:

- name: Set up Python
run: uv sync

- name: Install Pylint
run: uv pip install pylint

- name: Lint Source Code
run: uv run pylint src
run: uv run pylint src
27 changes: 27 additions & 0 deletions .github/workflows/ruff.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
name: Ruff Linting

on:
push:
branches: [main]
pull_request:

jobs:
linting:
runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v2
with:
fetch-depth: 1

- name: Install uv
uses: astral-sh/setup-uv@v5

- name: Set up Python
run: uv sync

- name: install ruff
run: uv tool install ruff@latest

- name: Lint Source Code
run: uvx ruff check
7 changes: 5 additions & 2 deletions .github/workflows/unitttest.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
name: Unit Testing

on: [pull_request]
on:
push:
branches: [main]
pull_request:

jobs:
unittest:
Expand All @@ -18,4 +21,4 @@ jobs:
run: uv sync

- name: Run Unit Tests
run: uv run pytest
run: uv run pytest -n auto
Loading