Search results

segmentation fault on tutorial example

Status: Open.

#15 In MaxwellRebo/alchemy-2;

· dportabella opened on Oct 27, 2016

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

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#14 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Compilation error Mac OSX

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#13 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Could not process a single mln file on Windows

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#11 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Incorrect grounding of formula with two bi-implications.

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#12 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Compilation error

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#10 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Parse error with ! operator

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#8 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Installation errors

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#9 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Weight 10 not working

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#6 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Online Manual

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#7 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Compilation fails (passing address of temporary)

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#3 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015

Compile error with gcc 4.7.2

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#4 In MaxwellRebo/alchemy-2;

· GoogleCodeExporter opened on Oct 15, 2015