issues
search
runtimeverification
/
k
K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430
stars
141
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update dependency: deps/haskell-backend_release
#4491
rv-jenkins
opened
3 days ago
0
Delay further steps / jobs until kframework is available on PyPi
#4490
F-WRunTime
closed
3 days ago
0
Delay Moving On, Until Pyk is Public on PyPi
#4489
F-WRunTime
closed
3 days ago
0
Update dependency: deps/llvm-backend_release
#4488
rv-jenkins
closed
3 days ago
1
Inline `app` in `Assoc`
#4487
tothtamas28
opened
4 days ago
0
Fix link in `toc.md`
#4486
tothtamas28
closed
4 days ago
0
Remove old workaround
#4485
Baltoli
closed
4 days ago
1
Simplify option parsing code in pyk
#4484
dwightguth
opened
5 days ago
1
add command line flag to enable debug info in proof trace
#4483
dwightguth
closed
4 days ago
0
Add RangeMap functionality to Pyk
#4482
Scott-Guest
closed
3 days ago
0
Make use of parsing caches in kdist
#4481
dwightguth
opened
5 days ago
0
Fix bug report request IDs being reset when using multiple `KoreClient`s
#4480
nwatson22
closed
3 days ago
0
Pyk: Parse `ignore_warnings` atoms separately
#4479
JuanCoRo
opened
6 days ago
1
Backend bug-reporting broken due to request enumeration being reset
#4478
PetarMax
closed
3 days ago
5
Add missing operators to prelude.kint
#4477
anvacaru
closed
6 days ago
0
Add link to pyk docs to ToC page
#4476
tothtamas28
closed
5 days ago
0
Pyk crash when accessing kompiled definition
#4475
Baltoli
opened
6 days ago
0
Update dependency: deps/haskell-backend_release
#4474
rv-jenkins
closed
3 days ago
0
Use prebuilt haskell backend
#4473
Baltoli
closed
6 days ago
0
add two important missing flags to the llvm backend compiler
#4472
dwightguth
closed
6 days ago
0
Expose `-Wno` via `ignore-warnings` kompile option
#4471
JuanCoRo
closed
5 days ago
4
Pass `-Wno $WARNING` through KompileOptions stack
#4470
Baltoli
closed
4 days ago
1
Fix version tag for `pypa/gh-action-pypi-publish`
#4469
tothtamas28
closed
1 week ago
0
Add workflow to run `actionlint`
#4468
tothtamas28
closed
6 days ago
0
Revert "Revert "Align Pyk's nixpkgs version to the shared K version""
#4467
Baltoli
closed
1 week ago
0
Iterate over an Assoc's elements with top_down/bottom_up
#4466
gtrepta
closed
1 week ago
2
Update dependency: deps/llvm-backend_release
#4465
rv-jenkins
closed
6 days ago
0
Fix docs build release job
#4464
Baltoli
closed
1 week ago
0
Fix version update request
#4463
tothtamas28
closed
1 week ago
0
Include ID in error and warning messages
#4462
tothtamas28
opened
1 week ago
0
Extract release job `notify-dependents`
#4461
tothtamas28
closed
1 week ago
0
Update `pyk` dependencies
#4460
tothtamas28
closed
1 week ago
0
Use Java standard SHA3 implementation
#4459
Baltoli
closed
1 week ago
0
Revert "Align Pyk's nixpkgs version to the shared K version"
#4458
Baltoli
closed
1 week ago
0
Revert `nixpkgs` alignment
#4457
palinatolmach
closed
1 week ago
1
Update dependency: deps/haskell-backend_release
#4456
rv-jenkins
closed
1 week ago
1
Support `#Or` in `kore_to_kast`
#4455
geo2a
closed
1 week ago
0
Begin implementing fuzzing
#4454
gtrepta
closed
6 days ago
0
Being implementing fuzzing
#4453
gtrepta
closed
1 week ago
0
Update dependency: deps/llvm-backend_release
#4452
rv-jenkins
closed
1 week ago
0
Change the `pyk` API docs theme
#4451
tothtamas28
closed
1 week ago
3
Rewrite docstrings in Google style
#4450
tothtamas28
closed
1 week ago
0
Remove module `pyk.proof.parallel`
#4449
tothtamas28
closed
1 week ago
0
Escape @ in _make_module_name
#4448
nwatson22
closed
1 week ago
0
Refactor `from_spec_modules` in `APRProof`
#4447
tothtamas28
closed
6 days ago
0
Update dependency: deps/haskell-backend_release
#4446
rv-jenkins
closed
1 week ago
1
Cut on circularity rule application, better error message
#4445
ehildenb
closed
1 week ago
3
Extract class `ClaimIndex`
#4444
tothtamas28
closed
2 weeks ago
0
Add labels to INT-to-ML rules in `domains.md`
#4443
geo2a
closed
2 weeks ago
0
Update dependency: deps/haskell-backend_release
#4442
rv-jenkins
closed
2 weeks ago
0
Next