Search results

Assertion `constIdx >= 0' failed in database.h:1358

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#14 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Compilation error Mac OSX

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#13 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Compilation error

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#10 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Could not process a single mln file on Windows

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#11 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Incorrect grounding of formula with two bi-implications.

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#12 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Weight 10 not working

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#6 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Online Manual

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#7 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Parse error with ! operator

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#8 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Installation errors

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#9 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Assertion `typeId == vgt->typeId' failed."

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#5 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Assertion `typeId == vgt->typeId' failed.

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#2 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015

Compilation fails (passing address of temporary)

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#3 In craink/alchemy-2;

· GoogleCodeExporter opened on Dec 14, 2015