Search results

Better automation for program executions.

Status: Open.

#13 In AeneasVerif/mechanized-llbc;

· Cemoixerestre opened on Apr 3, 2026

Test every feature of the model on executions.

Status: Open.

#12 In AeneasVerif/mechanized-llbc;

· Cemoixerestre opened on Apr 2, 2026

Move anonymous variables management out of the State class

Status: Open.

#10 In AeneasVerif/mechanized-llbc;

· Cemoixerestre opened on Mar 28, 2026

Clarify the terminology of "permutation", "equivalence" and "renaming".

Status: Open.

#6 In AeneasVerif/mechanized-llbc;

· Cemoixerestre opened on Sep 5, 2025

Merge the branches dev-alban and dev-vincent

Status: Open.

#3 In AeneasVerif/mechanized-llbc;

· Cemoixerestre opened on Jul 17, 2025

Roadmap towards formally verifying LLBC and LLBC#

Status: Open.

#1 In AeneasVerif/mechanized-llbc;

· Cemoixerestre opened on Dec 2, 2024