Search results

Incompatibility with newer versions of base-compat and monadLib

Status: Open.

#129 In GaloisInc/ivory;

· erdeszt opened on Nov 18, 2020

ivory-backend-acl2 can not work

Status: Open.

#128 In GaloisInc/ivory;

· stivensen opened on Apr 1, 2020

How to actually run the tutorial?

Status: Open.

#127 In GaloisInc/ivory;

· decapo01 opened on Dec 24, 2019

Remove <code>IvoryZero</code> constraint from <code>ifte</code> and <code>cond</code>

Status: Open.

#116 In GaloisInc/ivory;

· cblp opened on Nov 23, 2017

Constant assertions

Status: Open.

#111 In GaloisInc/ivory;

· sorki opened on Aug 24, 2017

cvc4 errors in local test

enhancement

Status: Open.

#98 In GaloisInc/ivory;

· cblp opened on Nov 11, 2016

Ivory module system improvements

enhancement

Status: Open.

#94 In GaloisInc/ivory;

· leepike opened on Oct 28, 2016

Generalize Ivory memory model

enhancement

Status: Open.

#93 In GaloisInc/ivory;

· leepike opened on Oct 28, 2016

Finish/integrate new model-checker

Status: Open.

#92 In GaloisInc/ivory;

· leepike opened on Oct 26, 2016

ProcPtrs and Refs in MemAreas

enhancement

Status: Open.

#90 In GaloisInc/ivory;

· leepike opened on Oct 26, 2016

ivory-serialize: assertions

question

Status: Open.

#78 In GaloisInc/ivory;

· leepike opened on Aug 5, 2016

ivory-bitdata: qq doesn't catch incomplete bit data definitions

enhancement

Status: Open.

#49 In GaloisInc/ivory;

· pchickey opened on Jun 25, 2015