Search results

Unable to translate Concepts

Status: Open.

#97 In tuura/plato;

· ARandomOWL opened on Sep 28, 2020

Add reset concepts

Status: Open.

#92 In tuura/plato;

· snowleopard opened on Sep 13, 2017

Add asymmetric C-elements?

Status: Open.

#90 In tuura/plato;

· snowleopard opened on Sep 11, 2017

Add support for 'may-fire' semantics

Status: Open.

#86 In tuura/plato;

· snowleopard opened on Aug 18, 2017

Implement srLatch and enable.

Status: Open.

#83 In tuura/plato;

· jrbeaumont opened on Aug 15, 2017

Implement verification for incorrect causalities.

Status: Open.

#62 In tuura/plato;

· jrbeaumont opened on Jan 27, 2017

Allow a user to define their own signal names.

Status: Open.

#35 In tuura/plato;

· jrbeaumont opened on Aug 8, 2016

Concept wrappers

Status: Open.

#25 In tuura/plato;

· snowleopard opened on Mar 24, 2016

·  

first-release

Redesign concept representation

Status: Open.

#21 In tuura/plato;

· snowleopard opened on Feb 29, 2016

Add memory concept

Status: Open.

#19 In tuura/plato;

· snowleopard opened on Feb 20, 2016

Add haddock comments

Status: Open.

#10 In tuura/plato;

· snowleopard opened on Feb 1, 2016

·  

first-release