My bachelor thesis is about the portation of cspmf to Frege, which is used by the ProB animator and model checker. There are currently no plans for a CSPM Interpreter in Frege.
Am Freitag, 29. Juli 2016 18:00:08 UTC+2 schrieb Ryland Degnan: > > Fantastic! Porting a CSPM library was actually the reason I started > looking at Data.Typeable in the first place, though I was intending to port > the library used by FDR (https://github.com/tomgr/libcspm > <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Ftomgr%2Flibcspm&sa=D&sntz=1&usg=AFQjCNGpZha5U-8THGkyyEFDCrLiraZjEw>). > > Are you intending to port the CSPM-Interpreter package as well? > > I think support for CSP along with formal verification tools could be a > killer app for Frege -- I look forward to trying this out! > > -Ryland > > On Friday, July 29, 2016 at 1:31:23 AM UTC-7, gulp21 wrote: >> >> Hi, >> >> as I’ve already mentioned earlier, I have ported some Haskell libraries >> to Frege, and now they are available at GitHub[1]. The following >> libraries can be found in the Libraries folder: >> >> System.FilePath version 1.4.1.0 (original code from >> http://hackage.haskell.org/package/filepath-1.4.1.0) >> Text.ParserCombinators.Parsec version 3.1.9 (without permutation >> parsers; http://hackage.haskell.org/package/parsec-3.1.9) >> Data.Data and Data.Generics from Scrap Your Boilerplate 0.3 (mkT, mkQ, >> everything and everywhere have been tested, other functions might work, >> some functions have not been ported; >> http://hackage.haskell.org/package/syb-0.3) >> Data.DList 0.7.1.2 (http://hackage.haskell.org/package/dlist-0.7.1.2) >> >> I’d like to thank rdegnan for his port of Data.Typeable[2] and Ingo for >> his support with working around bugs in Frege’s type checker. >> >> Regards >> Markus >> >> [1] https://github.com/mabre/cspmf/tree/frege >> <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fmabre%2Fcspmf%2Ftree%2Ffrege&sa=D&sntz=1&usg=AFQjCNHjzwnEmop2PBUYh-CRXS2WlbgPmA> >> >> [2] https://github.com/rdegnan/typeable >> >> -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
