All issues

Search results

Mode fully not working when converting from TLSF to TLSF

Status: Open.

#48 In reactive-systems/syfco;

· Pflyg opened on Jun 4, 2023

Bug in parser

Status: Open.

#47 In reactive-systems/syfco;

· 5nizza opened on Jan 31, 2023

Simple GR(1) spec is identified as not GR(1)

Status: Open.

#46 In reactive-systems/syfco;

· 5nizza opened on Jan 25, 2023

Quantified formula in arguments of macros gets replaced by true

Status: Open.

#45 In reactive-systems/syfco;

· 5nizza opened on Jan 25, 2023

The parameter -os Mealy,Strict is ignored

Status: Open.

#44 In reactive-systems/syfco;

· 5nizza opened on Jan 24, 2023

Use target information from TLSF

Status: Open.

#42 In reactive-systems/syfco;

· gaperez64 opened on Nov 22, 2022

Bus comparison is supported in Definitions but not in Guarantees

bug

Status: Open.

#38 In reactive-systems/syfco;

· 5nizza opened on Jan 23, 2021

Module buses cannot be used in DEFINITIONS (without explicitly passing by argument)

bug

Status: Open.

#37 In reactive-systems/syfco;

· 5nizza opened on Jan 23, 2021

Translation to Acacia misinterpreting PRESETs

Status: Open.

#25 In reactive-systems/syfco;

· gaperez64 opened on Oct 28, 2017

Moore interpretation rejected as not in GR(1)

bug

Status: Open.

#18 In reactive-systems/syfco;

· johnyf opened on Jun 17, 2016

TLSF initial condition quantification

question

Status: Open.

#15 In reactive-systems/syfco;

· johnyf opened on May 14, 2016

TLSF initial conditions in synthesized AIGER circuits?

question

Status: Open.

#14 In reactive-systems/syfco;

· johnyf opened on May 14, 2016