Search results

Fix notations to reduce necessary annotations

Status: Open.

#39 In vellvm/ctrees;

· YaZko opened on Apr 16, 2026

Implement ready simulation ?

enhancementNew feature or requestNew feature or request

Status: Open.

#32 In vellvm/ctrees;

· YaZko opened on Nov 7, 2025

[CTL] Coinduction lemma

Status: Open.

#30 In vellvm/ctrees;

· elefthei opened on May 19, 2023

[CTL] Make low-level definitions opaque

Status: Open.

#29 In vellvm/ctrees;

· elefthei opened on May 2, 2023

Performance issue

Status: Open.

#27 In vellvm/ctrees;

· YaZko opened on Apr 14, 2023

__upto_bind_eq_ssim is broken

Status: Open.

#26 In vellvm/ctrees;

· nchappe opened on Jan 4, 2023

Prove *complete* simulations for the constant and state schedulers

Status: Open.

#25 In vellvm/ctrees;

· nchappe opened on Jan 4, 2023

Proper instance for heterogeneous ssim

Status: Open.

#24 In vellvm/ctrees;

· nchappe opened on Jan 4, 2023

Trade off in representations

Status: Open.

#23 In vellvm/ctrees;

· YaZko opened on Nov 26, 2022

On a canonical representation for stuck

Status: Open.

#22 In vellvm/ctrees;

· YaZko opened on Nov 24, 2022

On specifiying the relation L fed to (bi)simulations

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#21 In vellvm/ctrees;

· YaZko opened on Nov 23, 2022

Recovering the companion's "symmetric" tactic in the heterogeneous branch

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In vellvm/ctrees;

· YaZko opened on Nov 20, 2022