├── .gitignore ├── LICENSE ├── Makefile ├── README ├── README.md ├── Setup.hs ├── examples ├── acaciaplus │ ├── genbuf2.tlsf │ ├── genbuf3.tlsf │ ├── genbuf4.tlsf │ ├── genbuf5.tlsf │ ├── genbuf6.tlsf │ ├── genbuf7.tlsf │ ├── loadcomp2.tlsf │ ├── loadcomp3.tlsf │ ├── loadcomp4.tlsf │ ├── loadcomp5.tlsf │ ├── loadfull2.tlsf │ ├── loadfull3.tlsf │ ├── loadfull4.tlsf │ ├── loadfull5.tlsf │ ├── ltl2dba01.tlsf │ ├── ltl2dba02.tlsf │ ├── ltl2dba03.tlsf │ ├── ltl2dba04.tlsf │ ├── ltl2dba05.tlsf │ ├── ltl2dba06.tlsf │ ├── ltl2dba07.tlsf │ ├── ltl2dba08.tlsf │ ├── ltl2dba09.tlsf │ ├── ltl2dba10.tlsf │ ├── ltl2dba11.tlsf │ ├── ltl2dba12.tlsf │ ├── ltl2dba13.tlsf │ ├── ltl2dba14.tlsf │ ├── ltl2dba15.tlsf │ ├── ltl2dba16.tlsf │ ├── ltl2dba17.tlsf │ ├── ltl2dba18.tlsf │ ├── ltl2dba19.tlsf │ ├── ltl2dba20.tlsf │ ├── ltl2dba21.tlsf │ ├── ltl2dba22.tlsf │ ├── ltl2dba23.tlsf │ ├── ltl2dba24.tlsf │ ├── ltl2dba25.tlsf │ ├── ltl2dba26.tlsf │ ├── ltl2dba27.tlsf │ ├── ltl2dpa01.tlsf │ ├── ltl2dpa02.tlsf │ ├── ltl2dpa03.tlsf │ ├── ltl2dpa04.tlsf │ ├── ltl2dpa05.tlsf │ ├── ltl2dpa06.tlsf │ ├── ltl2dpa07.tlsf │ ├── ltl2dpa08.tlsf │ ├── ltl2dpa09.tlsf │ ├── ltl2dpa10.tlsf │ ├── ltl2dpa11.tlsf │ ├── ltl2dpa12.tlsf │ ├── ltl2dpa13.tlsf │ ├── ltl2dpa14.tlsf │ ├── ltl2dpa15.tlsf │ ├── ltl2dpa16.tlsf │ ├── ltl2dpa17.tlsf │ ├── ltl2dpa18.tlsf │ ├── ltl2dpa19.tlsf │ ├── ltl2dpa20.tlsf │ ├── ltl2dpa21.tlsf │ ├── ltl2dpa22.tlsf │ ├── ltl2dpa23.tlsf │ └── ltl2dpa24.tlsf ├── lily │ ├── lilydemo01.tlsf │ ├── lilydemo02.tlsf │ ├── lilydemo03.tlsf │ ├── lilydemo04.tlsf │ ├── lilydemo05.tlsf │ ├── lilydemo06.tlsf │ ├── lilydemo07.tlsf │ ├── lilydemo08.tlsf │ ├── lilydemo09.tlsf │ ├── lilydemo10.tlsf │ ├── lilydemo11.tlsf │ ├── lilydemo12.tlsf │ ├── lilydemo13.tlsf │ ├── lilydemo14.tlsf │ ├── lilydemo15.tlsf │ ├── lilydemo16.tlsf │ ├── lilydemo17.tlsf │ ├── lilydemo18.tlsf │ ├── lilydemo19.tlsf │ ├── lilydemo20.tlsf │ ├── lilydemo21.tlsf │ ├── lilydemo22.tlsf │ ├── lilydemo23.tlsf │ └── lilydemo24.tlsf └── parameterized │ ├── LtlNfBa │ ├── ltl2dba_C2.tlsf │ ├── ltl2dba_E.tlsf │ ├── ltl2dba_Q.tlsf │ ├── ltl2dba_R.tlsf │ ├── ltl2dba_U1.tlsf │ ├── ltl2dba_alpha.tlsf │ ├── ltl2dba_beta.tlsf │ ├── ltl2dba_theta.tlsf │ ├── ltl2dpa_C2.tlsf │ ├── ltl2dpa_E.tlsf │ ├── ltl2dpa_Q.tlsf │ ├── ltl2dpa_R.tlsf │ ├── ltl2dpa_U1.tlsf │ ├── ltl2dpa_alpha.tlsf │ ├── ltl2dpa_beta.tlsf │ └── ltl2dpa_theta.tlsf │ ├── amba_case_study.tlsf │ ├── detector.tlsf │ ├── full_arbiter.tlsf │ ├── generalized_buffer.tlsf │ ├── load_balancer.tlsf │ ├── prioritized_arbiter.tlsf │ ├── round_robin_arbiter.tlsf │ └── simple_arbiter.tlsf ├── misc ├── git-post-commit ├── git-pre-commit └── tlsf-mode.el ├── src ├── lib │ ├── Config.hs │ ├── Data │ │ ├── Binding.hs │ │ ├── Enum.hs │ │ ├── Error.hs │ │ ├── Expression.hs │ │ ├── Info.hs │ │ ├── LTL.hs │ │ ├── Specification.hs │ │ ├── StringMap.hs │ │ ├── SymbolTable.hs │ │ └── Types.hs │ ├── Detection.hs │ ├── Detection │ │ └── GeneralizedReactivity.hs │ ├── Reader.hs │ ├── Reader │ │ ├── Abstraction.hs │ │ ├── Bindings.hs │ │ ├── Data.hs │ │ ├── Error.hs │ │ ├── InferType.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ │ ├── Component.hs │ │ │ ├── Data.hs │ │ │ ├── Expression.hs │ │ │ ├── Global.hs │ │ │ ├── Info.hs │ │ │ └── Utils.hs │ │ └── Sugar.hs │ ├── Simplify.hs │ ├── Syfco.hs │ ├── Utils.hs │ ├── Writer.hs │ └── Writer │ │ ├── Data.hs │ │ ├── Error.hs │ │ ├── Eval.hs │ │ ├── Formats.hs │ │ ├── Formats │ │ ├── Acacia.hs │ │ ├── AcaciaSpecs.hs │ │ ├── Basic.hs │ │ ├── Bosy.hs │ │ ├── Example.hs │ │ ├── Full.hs │ │ ├── Lily.hs │ │ ├── Ltl.hs │ │ ├── Ltlxba.hs │ │ ├── LtlxbaDecomp.hs │ │ ├── LtlxbaF.hs │ │ ├── Promela.hs │ │ ├── Psl.hs │ │ ├── Rabinizer.hs │ │ ├── Slugs.hs │ │ ├── SlugsIn.hs │ │ ├── Smv.hs │ │ ├── SmvDecomp.hs │ │ ├── Unbeast.hs │ │ ├── Utf8.hs │ │ └── Wring.hs │ │ └── Utils.hs └── syfco │ ├── Arguments.hs │ ├── Info.hs │ └── Main.hs ├── stack.yaml ├── syfco.cabal └── test ├── Spec.hs ├── amba_finite.res ├── amba_finite.tlsf ├── detector.res ├── detector.tlsf ├── lilydemo11.res ├── lilydemo11.tlsf ├── load_balancer.res ├── load_balancer.tlsf ├── robot_grid.res ├── robot_grid.tlsf ├── shift.res ├── shift.tlsf ├── simple_finite.res └── simple_finite.tlsf /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/Makefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/README -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /examples/acaciaplus/genbuf2.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/genbuf2.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/genbuf3.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/genbuf3.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/genbuf4.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/genbuf4.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/genbuf5.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/genbuf5.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/genbuf6.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/genbuf6.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/genbuf7.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/genbuf7.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadcomp2.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadcomp2.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadcomp3.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadcomp3.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadcomp4.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadcomp4.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadcomp5.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadcomp5.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadfull2.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadfull2.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadfull3.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadfull3.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadfull4.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadfull4.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/loadfull5.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/loadfull5.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba01.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba01.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba02.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba02.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba03.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba03.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba04.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba04.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba05.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba05.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba06.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba06.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba07.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba07.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba08.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba08.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba09.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba09.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba10.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba10.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba11.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba11.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba12.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba12.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba13.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba13.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba14.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba14.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba15.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba15.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba16.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba16.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba17.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba17.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba18.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba18.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba19.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba19.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba20.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba20.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba21.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba21.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba22.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba22.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba23.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba23.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba24.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba24.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba25.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba25.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba26.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba26.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dba27.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dba27.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa01.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa01.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa02.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa02.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa03.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa03.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa04.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa04.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa05.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa05.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa06.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa06.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa07.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa07.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa08.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa08.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa09.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa09.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa10.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa10.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa11.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa11.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa12.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa12.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa13.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa13.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa14.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa14.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa15.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa15.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa16.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa16.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa17.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa17.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa18.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa18.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa19.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa19.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa20.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa20.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa21.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa21.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa22.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa22.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa23.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa23.tlsf -------------------------------------------------------------------------------- /examples/acaciaplus/ltl2dpa24.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/acaciaplus/ltl2dpa24.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo01.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo01.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo02.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo02.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo03.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo03.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo04.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo04.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo05.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo05.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo06.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo06.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo07.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo07.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo08.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo08.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo09.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo09.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo10.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo10.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo11.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo11.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo12.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo12.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo13.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo13.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo14.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo14.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo15.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo15.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo16.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo16.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo17.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo17.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo18.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo18.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo19.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo19.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo20.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo20.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo21.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo21.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo22.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo22.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo23.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo23.tlsf -------------------------------------------------------------------------------- /examples/lily/lilydemo24.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/lily/lilydemo24.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_C2.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_C2.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_E.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_E.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_Q.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_Q.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_R.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_R.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_U1.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_U1.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_alpha.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_alpha.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_beta.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_beta.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dba_theta.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dba_theta.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_C2.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_C2.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_E.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_E.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_Q.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_Q.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_R.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_R.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_U1.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_U1.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_alpha.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_alpha.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_beta.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_beta.tlsf -------------------------------------------------------------------------------- /examples/parameterized/LtlNfBa/ltl2dpa_theta.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/LtlNfBa/ltl2dpa_theta.tlsf -------------------------------------------------------------------------------- /examples/parameterized/amba_case_study.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/amba_case_study.tlsf -------------------------------------------------------------------------------- /examples/parameterized/detector.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/detector.tlsf -------------------------------------------------------------------------------- /examples/parameterized/full_arbiter.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/full_arbiter.tlsf -------------------------------------------------------------------------------- /examples/parameterized/generalized_buffer.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/generalized_buffer.tlsf -------------------------------------------------------------------------------- /examples/parameterized/load_balancer.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/load_balancer.tlsf -------------------------------------------------------------------------------- /examples/parameterized/prioritized_arbiter.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/prioritized_arbiter.tlsf -------------------------------------------------------------------------------- /examples/parameterized/round_robin_arbiter.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/round_robin_arbiter.tlsf -------------------------------------------------------------------------------- /examples/parameterized/simple_arbiter.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/examples/parameterized/simple_arbiter.tlsf -------------------------------------------------------------------------------- /misc/git-post-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/misc/git-post-commit -------------------------------------------------------------------------------- /misc/git-pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/misc/git-pre-commit -------------------------------------------------------------------------------- /misc/tlsf-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/misc/tlsf-mode.el -------------------------------------------------------------------------------- /src/lib/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Config.hs -------------------------------------------------------------------------------- /src/lib/Data/Binding.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/Binding.hs -------------------------------------------------------------------------------- /src/lib/Data/Enum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/Enum.hs -------------------------------------------------------------------------------- /src/lib/Data/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/Error.hs -------------------------------------------------------------------------------- /src/lib/Data/Expression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/Expression.hs -------------------------------------------------------------------------------- /src/lib/Data/Info.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/Info.hs -------------------------------------------------------------------------------- /src/lib/Data/LTL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/LTL.hs -------------------------------------------------------------------------------- /src/lib/Data/Specification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/Specification.hs -------------------------------------------------------------------------------- /src/lib/Data/StringMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/StringMap.hs -------------------------------------------------------------------------------- /src/lib/Data/SymbolTable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/SymbolTable.hs -------------------------------------------------------------------------------- /src/lib/Data/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Data/Types.hs -------------------------------------------------------------------------------- /src/lib/Detection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Detection.hs -------------------------------------------------------------------------------- /src/lib/Detection/GeneralizedReactivity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Detection/GeneralizedReactivity.hs -------------------------------------------------------------------------------- /src/lib/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader.hs -------------------------------------------------------------------------------- /src/lib/Reader/Abstraction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Abstraction.hs -------------------------------------------------------------------------------- /src/lib/Reader/Bindings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Bindings.hs -------------------------------------------------------------------------------- /src/lib/Reader/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Data.hs -------------------------------------------------------------------------------- /src/lib/Reader/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Error.hs -------------------------------------------------------------------------------- /src/lib/Reader/InferType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/InferType.hs -------------------------------------------------------------------------------- /src/lib/Reader/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Parser.hs -------------------------------------------------------------------------------- /src/lib/Reader/Parser/Component.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Parser/Component.hs -------------------------------------------------------------------------------- /src/lib/Reader/Parser/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Parser/Data.hs -------------------------------------------------------------------------------- /src/lib/Reader/Parser/Expression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Parser/Expression.hs -------------------------------------------------------------------------------- /src/lib/Reader/Parser/Global.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Parser/Global.hs -------------------------------------------------------------------------------- /src/lib/Reader/Parser/Info.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Parser/Info.hs -------------------------------------------------------------------------------- /src/lib/Reader/Parser/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Parser/Utils.hs -------------------------------------------------------------------------------- /src/lib/Reader/Sugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Reader/Sugar.hs -------------------------------------------------------------------------------- /src/lib/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Simplify.hs -------------------------------------------------------------------------------- /src/lib/Syfco.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Syfco.hs -------------------------------------------------------------------------------- /src/lib/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Utils.hs -------------------------------------------------------------------------------- /src/lib/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer.hs -------------------------------------------------------------------------------- /src/lib/Writer/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Data.hs -------------------------------------------------------------------------------- /src/lib/Writer/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Error.hs -------------------------------------------------------------------------------- /src/lib/Writer/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Eval.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Acacia.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Acacia.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/AcaciaSpecs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/AcaciaSpecs.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Basic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Basic.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Bosy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Bosy.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Example.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Full.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Full.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Lily.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Lily.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Ltl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Ltl.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Ltlxba.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Ltlxba.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/LtlxbaDecomp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/LtlxbaDecomp.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/LtlxbaF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/LtlxbaF.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Promela.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Promela.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Psl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Psl.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Rabinizer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Rabinizer.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Slugs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Slugs.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/SlugsIn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/SlugsIn.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Smv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Smv.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/SmvDecomp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/SmvDecomp.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Unbeast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Unbeast.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Utf8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Utf8.hs -------------------------------------------------------------------------------- /src/lib/Writer/Formats/Wring.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Formats/Wring.hs -------------------------------------------------------------------------------- /src/lib/Writer/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/lib/Writer/Utils.hs -------------------------------------------------------------------------------- /src/syfco/Arguments.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/syfco/Arguments.hs -------------------------------------------------------------------------------- /src/syfco/Info.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/syfco/Info.hs -------------------------------------------------------------------------------- /src/syfco/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/src/syfco/Main.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- 1 | resolver: lts-19.33 2 | packages: 3 | - . 4 | -------------------------------------------------------------------------------- /syfco.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/syfco.cabal -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/amba_finite.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/amba_finite.res -------------------------------------------------------------------------------- /test/amba_finite.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/amba_finite.tlsf -------------------------------------------------------------------------------- /test/detector.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/detector.res -------------------------------------------------------------------------------- /test/detector.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/detector.tlsf -------------------------------------------------------------------------------- /test/lilydemo11.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/lilydemo11.res -------------------------------------------------------------------------------- /test/lilydemo11.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/lilydemo11.tlsf -------------------------------------------------------------------------------- /test/load_balancer.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/load_balancer.res -------------------------------------------------------------------------------- /test/load_balancer.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/load_balancer.tlsf -------------------------------------------------------------------------------- /test/robot_grid.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/robot_grid.res -------------------------------------------------------------------------------- /test/robot_grid.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/robot_grid.tlsf -------------------------------------------------------------------------------- /test/shift.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/shift.res -------------------------------------------------------------------------------- /test/shift.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/shift.tlsf -------------------------------------------------------------------------------- /test/simple_finite.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/simple_finite.res -------------------------------------------------------------------------------- /test/simple_finite.tlsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reactive-systems/syfco/HEAD/test/simple_finite.tlsf --------------------------------------------------------------------------------