issues
search
runtimeverification
/
hs-backend-booster
Accelerates K Framework's Haskell backend
BSD 3-Clause "New" or "Revised" License
7
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Unify Match/Unify modules
#573
goodlyrottenapple
opened
5 months ago
1
Update dependency: deps/haskell-backend_release
#571
rv-jenkins
closed
5 months ago
3
Update dependency: deps/k_release
#570
rv-jenkins
closed
5 months ago
0
Booster is slow on some tests in `pyk`
#569
tothtamas28
closed
5 months ago
9
Compute hashes correctly when constructing internalised collections
#568
geo2a
closed
5 months ago
4
Add mx performance script
#567
goodlyrottenapple
closed
5 months ago
0
More information on equations in logs
#566
geo2a
closed
5 months ago
0
Update dependency: deps/haskell-backend_release
#565
rv-jenkins
closed
5 months ago
0
Call hpack in fourmolu format CI check
#564
goodlyrottenapple
closed
5 months ago
0
479 do not backtranslate fancy sorts in get-model
#563
jberthold
closed
5 months ago
2
Update dependency: deps/haskell-backend_release
#562
rv-jenkins
closed
5 months ago
0
Return `rule-id`'s in execute response
#561
goodlyrottenapple
closed
5 months ago
0
Add SIGTERM handler
#560
goodlyrottenapple
opened
5 months ago
0
Update dependency: deps/k_release
#559
rv-jenkins
closed
5 months ago
0
Incorrect rule application from booster
#558
PetarMax
closed
5 months ago
5
Update dependency: deps/haskell-backend_release
#557
rv-jenkins
closed
5 months ago
0
549 use get model booster implementation in proxy
#556
jberthold
closed
5 months ago
1
ApplyEquations refactor
#555
goodlyrottenapple
closed
5 months ago
2
Update dependency: deps/haskell-backend_release
#554
rv-jenkins
closed
5 months ago
0
Experiment with a dedicated side condition simplifier
#551
jberthold
closed
5 months ago
1
Use booster implementation for get-model endpoint
#549
jberthold
closed
5 months ago
1
Unbound variable check when internalising module
#548
goodlyrottenapple
opened
6 months ago
0
Add an OrTerm constructor
#546
goodlyrottenapple
closed
6 months ago
1
Fix unification case between inj and function
#544
goodlyrottenapple
closed
5 months ago
1
Separate llvm pass from equation evaluator
#543
jberthold
closed
6 months ago
2
Fix abort reason analysis script, wait longer for server
#542
jberthold
closed
6 months ago
0
Add bug report option to the kontrol performance script
#541
goodlyrottenapple
closed
5 months ago
0
Remove the code that handles redirecting the GHC eventlog into a file
#537
geo2a
closed
6 months ago
0
Branch `rule-id` and condition are missing from response
#536
tothtamas28
closed
5 months ago
1
Update dependency: deps/haskell-backend_release
#535
rv-jenkins
closed
6 months ago
1
Update dependency: deps/k_release
#534
rv-jenkins
closed
5 months ago
3
Update dependency: deps/k_release
#533
rv-jenkins
closed
6 months ago
0
Unify code with legacy backend
#532
Baltoli
closed
5 months ago
5
Remove spurious newline from log messages
#531
geo2a
closed
6 months ago
0
Update action versions
#530
F-WRunTime
closed
6 months ago
0
Update dependency: deps/haskell-backend_release
#529
rv-jenkins
closed
6 months ago
0
Updating actions using outdated version of node to node 20
#528
F-WRunTime
closed
6 months ago
0
Update dependency: deps/haskell-backend_release
#527
rv-jenkins
closed
6 months ago
0
Update dependency: deps/k_release
#526
rv-jenkins
closed
6 months ago
0
519 - use SmtSolverError for all Smt-related errors in booster
#525
jberthold
closed
6 months ago
6
Hotfix add labelled rule logging for kore
#524
jberthold
closed
6 months ago
0
Update dependency: deps/haskell-backend_release
#523
rv-jenkins
closed
6 months ago
0
Update dependency: deps/haskell-backend_release
#520
rv-jenkins
closed
6 months ago
0
Use SmtSolverError for SMT-related errors in booster
#519
jberthold
closed
6 months ago
0
Replace usages of `priorities`, `require`, and `import`
#518
Scott-Guest
closed
6 months ago
0
Emit JSON simplification logs with `-l SimplifyJson`
#516
geo2a
closed
5 months ago
0
Update nixpkgs+ghc
#515
goodlyrottenapple
closed
6 months ago
1
Move Booster's `runServer` to `booster-dev`
#514
geo2a
closed
6 months ago
2
Upgrade GHC and nix-pkgs (legacy backend and booster)
#513
jberthold
closed
6 months ago
0
Allow sending different log levels to different handles
#512
geo2a
closed
6 months ago
0
Next