Repository navigation
fix: pysat CNF.append API + TUI importorskip (green CI) #44
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.
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
Merged
Merged
Changes from all commits
Commits
Show all changes
40 commits
Select commit
Hold shift + click to select a range
8bfcdce
feat: security audit, modular deps, enhanced REST API, integration tests
dominicusin 42b790a
style: fix lint issues (add Any import, reformat to py312)
dominicusin dd5a7f2
docs: add Sphinx documentation with API reference
dominicusin c0981ad
fix: replace Solver with Optimize in Z3Solver for maximize() support
dominicusin 9b385b2
style: format code with Black (py312 target)
dominicusin 080f54d
feat: DI factories, __slots__, type hints, DI bugfix
dominicusin 4cdd2ba
feat: security input validation + optional viz deps (PM-09, PM-024)
dominicusin efde97b
feat: config files + structured logging (PM-022, PM-021)
dominicusin 12ba42c
feat: result exporters (JSON/CSV/GraphML) + CLI `export` + web `/api/…
dominicusin d47d5fe
fix: Makefile uses venv python, add requested type hints, clean DI mypy
dominicusin 81e7ebb
feat: new parsers (snap/flatpak/cargo/npm) + init-config CLI (univers…
dominicusin ac877e7
feat: web rate limiting + self-documenting OpenAPI/docs (PM-23 ergono…
dominicusin 6278106
refactor: lazy solver/parser registries (no optional-dep import at load)
dominicusin baf63ae
feat: config-driven CLI defaults + SolverType enum consistency
dominicusin 276208c
feat: RTD docs config, CI coverage gate, optional property-based tests
dominicusin a284939
feat: LRU factory caching + benchmark export tests + Sphinx docs green
dominicusin 9301bad
docs: update README + Sphinx docs for multi-manager support and RTD
dominicusin b05e872
feat: add Textual TUI + CLI tui command + benchmark export tests
dominicusin 194f525
feat: Textual TUI + PyPI metadata improvements + README badges
dominicusin ccd3207
feat: add optional-solver behavior tests + TUI CLI command + README b…
dominicusin 3e67efd
docs: add TUI and LRU-cache module pages to Sphinx docs
dominicusin 961b9dc
feat: web API edge-case coverage + CHANGELOG + CONTRIBUTING + PyPI do…
dominicusin c3b2f7a
feat: add Conda/Por tage parsers + tests + PyPI docs polish
dominicusin 33bcb63
test: add CLI command behavior coverage for maximize/export/list-solv…
dominicusin 3749adc
feat: add security policy, codeowners, issue/PR templates, dependabot
dominicusin 83c0500
chore: add MIT LICENSE file
dominicusin e48b471
chore: remove flaky CLI system-command mock tests + add gitleaks/rele…
dominicusin ad3d845
chore: add PyPI badges, fix URLs, add RTD deploy workflow
dominicusin 8e13d94
Merge origin/main into feature/phase-1-docs-di (resolve conflicts)
dominicusin 110604d
Restore web/app.py and .readthedocs.yaml from feature branch
dominicusin ae1a78c
fix: make all workflows green + resolve Bandit B324 + RTD/PyPI/Pages …
dominicusin 8863e03
fix(ci): bandit -ll conflicts with --severity-level (mutually exclusive)
dominicusin 50e9884
fix(ci): install [dev,web] in test matrix + skip TUI tests without te…
dominicusin 87c2d18
ci: trigger workflow run on fixed test_tui_app (importorskip textual)
dominicusin 9a679fb
fix(ci): publish.yml uses PYPI_API_TOKEN fallback for reliable upload
dominicusin ba3a294
fix(ci): publish.yml uses OIDC Trusted Publishing (drop invalid token…
dominicusin e12699a
fix: pysat CNF.add_clause->append (API change) + TUI tests importorsk…
dominicusin 74299b2
Merge branch 'main' into feature/phase-1-docs-di
dominicusin dcaf963
Merge branch 'main' into feature/phase-1-docs-di
dominicusin 554a251
fix: remove duplicate viz block in pyproject.toml (TOML parse error b…
dominicusin File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -5,7 +5,8 @@ on: | |
| types: [published] | ||
| workflow_dispatch: | ||
|
|
||
| permissions: {} | ||
| permissions: | ||
| contents: read | ||
|
|
||
| jobs: | ||
| build: | ||
|
|
||
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.