Search results

Reintroduce parametrization over exec_call in shallow soundness proof

Status: Open.

#51 In katamaran-project/katamaran;

· skeuchel opened on Feb 28, 2025

Speed up bitvector enumeration with difference lists

Status: Open.

#50 In katamaran-project/katamaran;

· skeuchel opened on Feb 25, 2025

Define NamedEnv directly instead of deriving it from Env

Status: Open.

#47 In katamaran-project/katamaran;

· skeuchel opened on Dec 7, 2023

Split positions of all user-defined predicates into input and outputs

Status: Open.

#45 In katamaran-project/katamaran;

· skeuchel opened on Nov 14, 2023

Pattern matching on enums with a list of alternatives

Status: Open.

#44 In katamaran-project/katamaran;

· skeuchel opened on Nov 9, 2023

Avoid decidable equality for type indices in symbolic formula equality function

Status: Open.

#42 In katamaran-project/katamaran;

· skeuchel opened on Nov 7, 2023

Avoid decidable equality for type indices in binary op case of symbolic term equality function

Status: Open.

#41 In katamaran-project/katamaran;

· skeuchel opened on Nov 7, 2023

Introduce intermediate symbolic proposition interface in the symbolic executor

Status: Open.

#40 In katamaran-project/katamaran;

· skeuchel opened on Oct 18, 2023

Introduce intermediate monad interfaces in the shallow/symbolic executors

Status: Open.

#39 In katamaran-project/katamaran;

· skeuchel opened on Oct 18, 2023

Finish the soundness proof of the new shallow executor

Status: Open.

#38 In katamaran-project/katamaran;

· skeuchel opened on Oct 18, 2023

Strong monotonicity proofs for the new shallow executor

Status: Open.

#37 In katamaran-project/katamaran;

· skeuchel opened on Oct 18, 2023

Report upstream: Anomaly "Uncaught exception Not_found."

Status: Open.

#35 In katamaran-project/katamaran;

· skeuchel opened on Sep 26, 2023