Search results

Magic number 42.0 in verification condition

Status: Open.

#84 In jeannin/zelus;

· jlvargasme opened on Jun 4, 2024

Function application failing at 'prove_function'

Status: Open.

#81 In jeannin/zelus;

· jlvargasme opened on Sep 16, 2023

Error in translation custom refinement type to .ml

Status: Open.

#79 In jeannin/zelus;

· EasonZ2022 opened on Mar 13, 2023

Non-refinement variables cause MARVeLus to break

Status: Open.

#78 In jeannin/zelus;

· jlvargasme opened on Mar 1, 2023

Nested function bug: function output not added to environment

Status: Open.

#77 In jeannin/zelus;

· jlvargasme opened on Mar 1, 2023

Combinatorial expression expected to be static

Status: Open.

#76 In jeannin/zelus;

· jlvargasme opened on Mar 1, 2023

Implicit type conversion bug [Lack of type inference]

Status: Open.

#75 In jeannin/zelus;

· jlvargasme opened on Mar 1, 2023

mCheck.ml

refactoring

Status: Open.

#72 In jeannin/zelus;

· jlvargasme opened on Feb 3, 2023

mVcGen.ml

refactoring

Status: Open.

#71 In jeannin/zelus;

· jlvargasme opened on Feb 3, 2023

mUtils.ml

refactoring

Status: Open.

#70 In jeannin/zelus;

· jlvargasme opened on Feb 3, 2023

mDefs.ml

refactoring

Status: Open.

#69 In jeannin/zelus;

· jlvargasme opened on Feb 3, 2023

create_z3_var_typed shall be used throughout the code

Status: Open.

#60 In jeannin/zelus;

· jlvargasme opened on Sep 3, 2022