Search results

Provide a functionality for program search on a single user provided sequence.

Status: Open.

Feature

#437 In loda-lang/loda-cpp;

· weightan opened on Aug 9, 2025

Ensure that "seq using invalid arg" does not occur in virtual evaluator

Status: Open.

Task

#436 In loda-lang/loda-cpp;

· ckrause opened on Aug 9, 2025

Formular generation for <code>fac</code> operation

Status: Open.

Feature

#434 In loda-lang/loda-cpp;

· ckrause opened on Aug 1, 2025

Replace canBeNegstive() with range check

Status: Open.

Task

#429 In loda-lang/loda-cpp;

· ckrause opened on Jul 20, 2025

Suggestion when optimize/minimize programs that calculate large constant e.g. 4^256, do not convert to a constant.

Status: Open.

#416 In loda-lang/loda-cpp;

· loader3229 opened on Jun 28, 2025

Export to Lean

Status: Open.

Feature

#408 In loda-lang/loda-cpp;

· ckrause opened on Jun 26, 2025

Officially support <code>maintain</code> command

Status: Open.

Feature

#406 In loda-lang/loda-cpp;

· ckrause opened on Jun 10, 2025

Improve performance of stats generation

enhancementImprovement that is not a featureImprovement that is not a feature

performance

Status: Open.

Task

#398 In loda-lang/loda-cpp;

· ckrause opened on Jun 4, 2025

Update formula after unfold

enhancementImprovement that is not a featureImprovement that is not a feature

Status: Open.

#374 In loda-lang/loda-cpp;

· ckrause opened on Feb 8, 2025

Support formula generation of A379577

enhancementImprovement that is not a featureImprovement that is not a feature

Status: Open.

#366 In loda-lang/loda-cpp;

· ckrause opened on Jan 2, 2025

Multi-valued program mining

featureNew feature or requestNew feature or request

Status: Open.

#352 In loda-lang/loda-cpp;

· ckrause opened on Dec 7, 2024

Stats for <code>prg</code>

enhancementImprovement that is not a featureImprovement that is not a feature

Status: Open.

#337 In loda-lang/loda-cpp;

· ckrause opened on Sep 4, 2024