23.9 MB

Ctrl+K

1 contributor

History: 2 commits

Kai9987kai

Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4

450ac2f verified 4 days ago

.github
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
artifacts
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
configs
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
crosswire
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
docs
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
paper
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
publication
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
reports
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
research
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
tests
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
tools
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
.gitattributes
1.6 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
.gitignore
137 Bytes
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
CODE_OF_CONDUCT.md
5.33 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
LICENSE
1.09 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
MANIFEST.in
371 Bytes
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
README.md
19.1 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
Run-CROSSWIRE.ps1
330 Bytes
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
SECURITY.md
640 Bytes
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
pyproject.toml
723 Bytes
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago
release-manifest.json
34.4 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4 4 days ago