Search results

[Haskell-Performance] Performance Drop Using Cell-Map despite deterministic map accesses

performance

Status: Open.

#3569 In runtimeverification/haskell-backend;

· msaxena2 opened on Apr 14, 2023

Kore rpc server should retain accumulated caches between calls

performance

Status: Open.

#3424 In runtimeverification/haskell-backend;

· ana-pantilie opened on Dec 21, 2022

[Haskell-Performance] kevm proof slow with extra side conditions

performance

Status: Open.

#3286 In runtimeverification/haskell-backend;

· ehildenb opened on Sep 29, 2022

kore-exec profile: why are there so many calls to prove?

investigation

needs-reproducing

performance

Status: Open.

#2782 In runtimeverification/haskell-backend;

· ana-pantilie opened on Aug 4, 2021

Overhaul evaluators

cleanup

performance

Status: Open.

#2474 In runtimeverification/haskell-backend;

· ttuegel opened on Mar 17, 2021

kore-exec: Function in configuration is not evaluated

bug

ceil-simplification

investigation

performance

Status: Open.

#2428 In runtimeverification/haskell-backend;

· ttuegel opened on Feb 27, 2021

Use the priority attribute instead of antiLeft when applying equations

bug

performance

Status: Open.

#2371 In runtimeverification/haskell-backend;

· ana-pantilie opened on Jan 26, 2021