All issues

Search results

fo_transform taking files parameter being None causes exception

Status: Open.

#37 In potassco/metasp;

· namcsi opened on Jul 9, 2026

Aspen preprocess generating grammar fact arg_kwarg and comments.

Status: Open.

#35 In potassco/metasp;

· namcsi opened on Jun 24, 2026

Aspen transform should check safety of rules, instead of relying on the generated externals.

Status: Open.

#26 In potassco/metasp;

· namcsi opened on May 7, 2026

Aspen Transform meta-encoding should check safety of program, not just rely on external generation.

Status: Open.

#25 In potassco/metasp;

· namcsi opened on May 7, 2026

Add defined for formulas

Status: Open.

#17 In potassco/metasp;

· susuhahnml opened on Feb 18, 2026

Logging

Status: Open.

#16 In potassco/metasp;

· susuhahnml opened on Feb 18, 2026

Rewrite modalies as cons list using first order metaprogramming so we can access arity and names using recursive rules

Status: Open.

#7 In potassco/metasp;

· namcsi opened on Aug 14, 2025

Play arround with type checking modality arguments in first order reification.

Status: Open.

#6 In potassco/metasp;

· namcsi opened on Aug 14, 2025

Checks in grounded

Status: Open.

#3 In potassco/metasp;

· susuhahnml opened on Aug 14, 2025