Skip to content
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

Jump to bottom

Minimize boilerplate when building Commands/Options #4292

Draft
wants to merge 17 commits into
base: develop
Choose a base branch
from
Draft

Minimize boilerplate when building Commands/Options #4292

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
6cb5d64
Add Option and OptionsHandler classes
nwatson22 Apr 25, 2024
94d1098
Expand CLI, Options, Option, and Command classes
nwatson22 Apr 26, 2024
ec3cb3c
Fill out automatic argument parser generation and options extraction
nwatson22 Apr 27, 2024
b34af86
Add type-specific Options classes
nwatson22 Apr 30, 2024
db7bba7
Add kompile options using new system
nwatson22 Apr 30, 2024
6a156e9
Move 3 commands to new system
nwatson22 Apr 30, 2024
8a0d2b8
Move kompile and run commands to new system
nwatson22 Apr 30, 2024
2da8b01
Add Prove, ProveLegacy, and Show commands to new system
nwatson22 May 1, 2024
ae7c697
Finish converting commands to new system
nwatson22 May 1, 2024
5ca694c
Mirror add_argument interface more closely
nwatson22 May 2, 2024
eeef418
Finish converting to plain Option
nwatson22 May 3, 2024
4eebc14
Implement generic add_arg
nwatson22 May 3, 2024
10d0dfd
Integrate toml parsing into new system
nwatson22 May 7, 2024
4ade3ff
Use null object instead of string sentinel
nwatson22 May 7, 2024
8f8fd23
Merge develop into noah/options-2
nwatson22 May 7, 2024
fec21ed
pyupgrade
nwatson22 May 7, 2024
15b811d
Fix toml parsing
nwatson22 May 8, 2024
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,010 changes: 652 additions & 358 deletions pyk/src/pyk/__main__.py
View file
Open in desktop

Large diffs are not rendered by default.

Loading
Loading