Search results

Packaging carneades

Status: Open.

#49 In carneades/carneades-4;

· mgttlinger opened on Jun 21, 2024

AIF import is broken

Status: Open.

#47 In carneades/carneades-4;

· tfgordon opened on Aug 21, 2022

Colouration Problem in SVG

Status: Open.

#46 In carneades/carneades-4;

· Gauntlet173 opened on Dec 23, 2020

lighten colors used in argument diagrams

enhancement

Status: Open.

#43 In carneades/carneades-4;

· tfgordon opened on May 5, 2017

check that IDs are ground atomic formula

Status: Open.

#42 In carneades/carneades-4;

· Torjas opened on Apr 28, 2017

Extend argumentation schemes to allow new variables in exceptions

enhancement

Status: Open.

#41 In carneades/carneades-4;

· tfgordon opened on Apr 28, 2017

Redefine the constant weighing function

bug

Status: Open.

#39 In carneades/carneades-4;

· tfgordon opened on Apr 3, 2017

Validator: check for unknown keys in the map

enhancement

Status: Open.

#38 In carneades/carneades-4;

· tfgordon opened on Apr 3, 2017

Proof Standards for Issue Schemes

enhancement

Status: Open.

#37 In carneades/carneades-4;

· tfgordon opened on Mar 31, 2017

Duplicate Arguments

bug

Status: Open.

#34 In carneades/carneades-4;

· tfgordon opened on Mar 30, 2017

Check that predicates of statements and assumptions have been declared.

enhancement

Status: Open.

#33 In carneades/carneades-4;

· tfgordon opened on Mar 30, 2017

Binding of variables not working correctly for exceptions

Status: Open.

#30 In carneades/carneades-4;

· pallix opened on Mar 29, 2017