Search results

Documentation for ADT

Status: Open.

#229 In epfl-lara/lisa;

· SimonGuilloud opened on Oct 4, 2024

Split e-graph & equality saturation into its own module

Status: Open.

#226 In epfl-lara/lisa;

· tribbloid opened on Sep 16, 2024

Null pointer exception raised when variable has not yet been declared

Status: Open.

#218 In epfl-lara/lisa;

· agilot opened on Mar 20, 2024

Substitution tactic crashes when assumptions are not complete

Status: Open.

#215 In epfl-lara/lisa;

· SimonGuilloud opened on Mar 4, 2024

Substitution.ApplyRules error

Status: Open.

#214 In epfl-lara/lisa;

· SimonGuilloud opened on Mar 4, 2024

Assumption handling (or lack thereof) in presence of imports

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#161 In epfl-lara/lisa;

· sankalpgambhir opened on Apr 27, 2023

<code>Restate</code> type alias raises errors

bugSomething isn't workingSomething isn't working

Status: Open.

#119 In epfl-lara/lisa;

· sankalpgambhir opened on Jan 10, 2023

Failed <code>require</code>s give unhelpful (and uncaught) errors

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#110 In epfl-lara/lisa;

· sankalpgambhir opened on Dec 8, 2022

Print errors from parsing in a meaningful way

Status: Open.

#86 In epfl-lara/lisa;

· SimonGuilloud opened on Oct 27, 2022

Loading the project fails in Intellij Idea

Status: Open.

#69 In epfl-lara/lisa;

· cache-nez opened on Oct 11, 2022

More testing cases for the Kernel

good first issueGood for newcomersGood for newcomers

Status: Open.

#39 In epfl-lara/lisa;

· SimonGuilloud opened on Aug 23, 2022

Isabelle tactic for Lisa proofs

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In epfl-lara/lisa;

· vkuncak opened on Jun 14, 2022