runtimeverification pyk issues

runtimeverification / pyk

Python tools for the K Framework

BSD 3-Clause "New" or "Revised" License

13 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Lexer locations rebased

#1080 Baltoli closed 4 months ago
1
Update dependency: deps/k_release

#1079 rv-jenkins closed 4 months ago
0
add spec module in definition_args

#1076 anvacaru closed 4 months ago
1
Attribute checking on node insertion

#1075 nwatson22 closed 4 months ago
1
Generate axioms for equation rules

#1074 tothtamas28 closed 4 months ago
1
Refactoring the branching mechanism

#1072 PetarMax closed 4 months ago
3
Update dependency: deps/k_release

#1071 rv-jenkins closed 4 months ago
0
Update dependency: deps/k_release

#1070 rv-jenkins closed 4 months ago
0
Add separate get proof steps and execute proof step phase

#1069 nwatson22 closed 4 months ago
2
Update dependency: deps/k_release

#1068 rv-jenkins closed 4 months ago
0
Only allow letters as first character in `_modname`

#1067 tothtamas28 closed 4 months ago
0
Allowing multiple constraints in splits preceding nodes to be refuted

#1066 PetarMax closed 4 months ago
0
Ordered constraint accumulation

#1065 PetarMax closed 4 months ago
1
Update dependency: deps/k_release

#1064 rv-jenkins closed 4 months ago
0
Use total function for variable lookup in `IMP`

#1063 tothtamas28 closed 4 months ago
0
Update dependency: deps/k_release

#1062 rv-jenkins closed 4 months ago
0
Update dependency: deps/k_release

#1061 rv-jenkins closed 4 months ago
0
Update dependency: deps/k_release

#1060 rv-jenkins closed 4 months ago
0
Minimization algorithm correction

#1059 PetarMax closed 4 months ago
0
Enable Booster in all `KoreClientTest` subclasses

#1058 tothtamas28 closed 4 months ago
0
Update dependency: deps/k_release

#1057 rv-jenkins closed 4 months ago
0
Exporting `get_requires` utils function

#1056 Robertorosmaninho closed 4 months ago
3
Fix `SmtSolverError`

#1055 tothtamas28 closed 4 months ago
0
Use `--warnings-to-errors` in tests

#1054 tothtamas28 closed 4 months ago
1
Location information in outer lexer

#1052 gtrepta closed 4 months ago
3
Enable inline K definitions in tests

#1050 tothtamas28 closed 4 months ago
0
Remove dest from the --debug arg

#1049 virgil-serbanuta closed 4 months ago
0
Update dependency: deps/k_release

#1048 rv-jenkins closed 4 months ago
0
Pass --debug to kompile in kbuild

#1047 virgil-serbanuta closed 4 months ago
0
Fix `as_subsort`

#1046 tothtamas28 closed 4 months ago
2
Allow `--debug` to be passed through to underlying invocations of `kompile` via `kbuild`

#1045 Baltoli closed 4 months ago
0
Regression new updated expected output

#1044 ehildenb opened 4 months ago
0
Add proof exploration and display options to CLI

#1043 ehildenb closed 4 months ago
1
Update dependency: deps/k_release

#1042 rv-jenkins closed 4 months ago
0
Update dependency: deps/k_release

#1041 rv-jenkins closed 4 months ago
0
Remove manip.get_cell, add CTerm.free_vars

#1040 ehildenb closed 4 months ago
0
Update dependency: deps/k_release

#1039 rv-jenkins closed 4 months ago
0
Update dependency: deps/k_release

#1037 rv-jenkins closed 4 months ago
0
Add method `map_sentences` to `KFlatModule`

#1036 tothtamas28 closed 4 months ago
0
Use `SIGTERM` to stop server

#1034 palinatolmach closed 4 months ago
2
Minimizing substitution printing in `Split` nodes

#1033 PetarMax closed 4 months ago
0
Update dependency: deps/k_release

#1031 rv-jenkins closed 4 months ago
0
Fix `AddDomainValueAtts`

#1030 tothtamas28 closed 4 months ago
1
Update dependency: deps/k_release

#1029 rv-jenkins closed 4 months ago
0
Adjust overload axiom generation

#1028 tothtamas28 closed 4 months ago
0
Update dependency: deps/k_release

#1027 rv-jenkins closed 4 months ago
0
Refactor no_cell_rewrite_to_dots

#1026 anvacaru closed 4 months ago
0
SMT solver error timeout message added

#1025 ovatman closed 4 months ago
0
Update dependency: deps/k_release

#1023 rv-jenkins closed 4 months ago
0
Make KAST preprocessing pipeline explicit in `_module_to_kore`

#1022 tothtamas28 closed 4 months ago
2