Search results

Illegal variable name: ‘enc[]Cons’

Status: Open.

#115 In abau/co4;

· jwaldmann opened on Feb 24, 2018

Configurable support for partial functions

enhancement

Status: Open.

#113 In abau/co4;

· abau opened on Feb 19, 2015

configurable name of top-level constraint

enhancement

Status: Open.

#107 In abau/co4;

· abau opened on Jul 18, 2014

represent Set Int as [Bool]

enhancement

Status: Open.

#102 In abau/co4;

· jwaldmann opened on May 28, 2014

instantiation (?) fails

bug

Status: Open.

#99 In abau/co4;

· abau opened on May 21, 2014

output of labelled systems is broken

bug

termination

Status: Open.

#97 In abau/co4;

· jwaldmann opened on May 18, 2014

proof output for semantic labelling should use tc/MB/Proof

enhancement

termination

Status: Open.

#94 In abau/co4;

· jwaldmann opened on May 15, 2014

semantic labelling: symbol map: should use common bit width

question

Status: Open.

#79 In abau/co4;

· jwaldmann opened on Apr 22, 2014

cache for abstract computation => memoize for concrete computation?

enhancement

Status: Open.

#78 In abau/co4;

· jwaldmann opened on Apr 22, 2014

Optimize <code>EncodedAdt.constructorArgument</code>

enhancement

Status: Open.

#76 In abau/co4;

· abau opened on Apr 22, 2014

LPO + MPO =&gt; RPO

enhancement

termination

Status: Open.

#72 In abau/co4;

· jwaldmann opened on Apr 13, 2014

line numbers in error messages

question

Status: Open.

#67 In abau/co4;

· jwaldmann opened on Apr 10, 2014