Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / reactive-systems/syfco issues and pull requests

#55 - differences between syfco's lily examples, and the original examples from Lily

Issue - State: open - Opened by adl about 1 month ago - 6 comments

#54 - Something to do with MonoidFail

Pull Request - State: open - Opened by santolucito about 2 months ago

#53 - Strong-next translation error on TLSF over infinite traces

Issue - State: open - Opened by gaperez64 4 months ago
Labels: bug

#52 - Not building on OSX (M2) or Ubuntu

Issue - State: closed - Opened by scottbuckley 5 months ago - 1 comment

#51 - Is there a statically compiled latest version?

Issue - State: closed - Opened by 5nizza 10 months ago - 1 comment

#50 - `syfco` hangs on this simple spec that uses a recursive definition

Issue - State: closed - Opened by 5nizza about 1 year ago - 1 comment

#49 - Update Info.hs

Pull Request - State: closed - Opened by Pflyg over 1 year ago

#48 - Mode fully not working when converting from TLSF to TLSF

Issue - State: open - Opened by Pflyg over 1 year ago - 3 comments

#47 - Bug in parser

Issue - State: open - Opened by 5nizza over 1 year ago

#46 - Simple GR(1) spec is identified as not GR(1)

Issue - State: open - Opened by 5nizza over 1 year ago

#44 - The parameter `-os Mealy,Strict` is ignored

Issue - State: open - Opened by 5nizza over 1 year ago - 5 comments

#43 - Added support for finite-word semantics

Pull Request - State: closed - Opened by gaperez64 almost 2 years ago

#42 - Use target information from TLSF

Issue - State: open - Opened by gaperez64 almost 2 years ago

#41 - Please update the project so that it would build with modern version of ghc

Issue - State: closed - Opened by yurivict almost 2 years ago - 2 comments

#40 - Question: what is "pure LTL" format?

Issue - State: closed - Opened by 5nizza over 3 years ago - 1 comment

#39 - Output reorder option

Issue - State: closed - Opened by gaperez64 over 3 years ago - 2 comments

#38 - Bus comparison is supported in Definitions but not in Guarantees

Issue - State: open - Opened by 5nizza over 3 years ago
Labels: bug

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

Issue - State: open - Opened by 5nizza over 3 years ago - 1 comment
Labels: bug

#36 - Which past operators are supported?

Issue - State: closed - Opened by 5nizza over 3 years ago - 2 comments

#35 - Strict semantics not working?

Issue - State: closed - Opened by ssardina almost 4 years ago - 8 comments

#34 - GR(1) support

Issue - State: closed - Opened by lucageatti almost 4 years ago - 7 comments

#33 - fix bug in simplify

Pull Request - State: closed - Opened by ggeier over 4 years ago

#32 - Negation normal form rewrites equivalence to top-level and

Pull Request - State: closed - Opened by meyerphi over 4 years ago - 2 comments

#31 - Add SMV format with decomposed formulas

Pull Request - State: closed - Opened by meyerphi over 4 years ago - 1 comment

#30 - Added a compositional version of ltlxba

Pull Request - State: closed - Opened by gaperez64 over 4 years ago - 1 comment

#29 - issue with push operator inside and pull operator outside

Issue - State: closed - Opened by sajivjs over 4 years ago - 1 comment

#28 - nnf contains implication and bi implication

Issue - State: closed - Opened by sajivjs over 4 years ago

#26 - Add output format for pure LTL formulas and add option to quote identifiers

Pull Request - State: closed - Opened by meyerphi about 5 years ago - 1 comment

#25 - Translation to Acacia misinterpreting PRESETs

Issue - State: open - Opened by gaperez64 almost 7 years ago

#24 - Building fails on Arch

Issue - State: closed - Opened by xbauch about 7 years ago - 2 comments

#23 - internal changes + library support

Pull Request - State: closed - Opened by kleinreact over 7 years ago

#22 - README.md: Fix typo

Pull Request - State: closed - Opened by nbraud about 8 years ago

#21 - Bosy

Pull Request - State: closed - Opened by ltentrup about 8 years ago

#20 - not all inputs are printed with -ins flag

Issue - State: closed - Opened by 5nizza about 8 years ago - 1 comment
Labels: bug

#19 - API: do not append any extension for output other than tlsf and unbeast

Pull Request - State: closed - Opened by johnyf over 8 years ago - 1 comment

#18 - Moore interpretation rejected as not in GR(1)

Issue - State: open - Opened by johnyf over 8 years ago
Labels: bug

#17 - 2 Fixes to the slugsin output

Pull Request - State: closed - Opened by progirep over 8 years ago

#16 - Add SMV as a format target option

Pull Request - State: closed - Opened by ltentrup over 8 years ago - 1 comment

#15 - TLSF initial condition quantification

Issue - State: open - Opened by johnyf over 8 years ago
Labels: question

#14 - TLSF initial conditions in synthesized AIGER circuits?

Issue - State: open - Opened by johnyf over 8 years ago - 1 comment
Labels: question

#13 - GR(1) tests, syfco termination, Prelude.undefined

Issue - State: closed - Opened by johnyf over 8 years ago - 1 comment

#12 - Variable identifiers as array indices? (array theory or not)

Issue - State: closed - Opened by johnyf over 8 years ago - 2 comments

#10 - Does TLSF support only constant arithmetic expressions?

Issue - State: closed - Opened by johnyf over 8 years ago - 2 comments

#9 - Test suite

Issue - State: open - Opened by johnyf over 8 years ago - 1 comment
Labels: enhancement

#8 - syfco: Prelude.head: empty list

Issue - State: closed - Opened by johnyf over 8 years ago

#7 - TLSF identifiers can contain `@`

Issue - State: closed - Opened by johnyf over 8 years ago - 3 comments

#6 - TLSF allows identifiers with primes, but prime means "next" in Slugs output

Issue - State: closed - Opened by johnyf over 8 years ago - 4 comments

#5 - Promela output for synthesis

Issue - State: open - Opened by johnyf over 8 years ago
Labels: enhancement

#4 - Slugs

Pull Request - State: closed - Opened by johnyf over 8 years ago

#3 - -pf flag

Issue - State: closed - Opened by gaperez64 over 8 years ago - 3 comments

#2 - GHC on debian

Issue - State: closed - Opened by gaperez64 over 8 years ago - 1 comment

#1 - Unbeast output fix

Pull Request - State: closed - Opened by progirep almost 9 years ago - 1 comment