CoPaR merge requestshttps://git8.cs.fau.de/software/copar/-/merge_requests2023-03-15T11:44:47Zhttps://git8.cs.fau.de/software/copar/-/merge_requests/54Improve BDD reading/writing code2023-03-15T11:44:47ZHans-Peter DeifelImprove BDD reading/writing codeStefan GebhartStefan Gebharthttps://git8.cs.fau.de/software/copar/-/merge_requests/53C Improvements for Sylvan Stubs2023-03-02T12:43:06ZHans-Peter DeifelC Improvements for Sylvan StubsStefan GebhartStefan Gebharthttps://git8.cs.fau.de/software/copar/-/merge_requests/52Move docker setup for distributed copar to own direcotry2022-10-14T23:35:14ZStefan GebhartMove docker setup for distributed copar to own direcotryWe now need more and different docker setups, so we should have individual
directories for them.We now need more and different docker setups, so we should have individual
directories for them.https://git8.cs.fau.de/software/copar/-/merge_requests/51Distributed Merge into Master Branch2022-07-26T15:25:15ZStefan GebhartDistributed Merge into Master BranchPrism and Random WTA not really checked, since i haven't looked at them that thoroughly yet.Prism and Random WTA not really checked, since i haven't looked at them that thoroughly yet.Stefan GebhartStefan Gebharthttps://git8.cs.fau.de/software/copar/-/merge_requests/50Update dfa2022-06-20T15:50:26ZSilas KuderUpdate dfaSilas KuderSilas Kuderhttps://git8.cs.fau.de/software/copar/-/merge_requests/49Fixed (maybe?) Lexer for Windows Newline Format2022-05-11T09:22:50ZStefan GebhartFixed (maybe?) Lexer for Windows Newline FormatFeel free to remove this or fix it, if it creates Problems on Linux. This is just a small fix for me, because without it, I always get an "unexpected carriage return" error. Also I can't actually commit to the main Branch, so I have to d...Feel free to remove this or fix it, if it creates Problems on Linux. This is just a small fix for me, because without it, I always get an "unexpected carriage return" error. Also I can't actually commit to the main Branch, so I have to do this through merge requests.https://git8.cs.fau.de/software/copar/-/merge_requests/48implement functor certificates2021-04-28T20:13:09ZBastian Kauschkeimplement functor certificateshttps://git8.cs.fau.de/software/copar/-/merge_requests/47refactor some more2020-11-17T08:39:00ZBastian Kauschkerefactor some morecloses #17 i guess :sweat_smile:closes #17 i guess :sweat_smile:Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/46Random cleanups in minimization tests2020-11-16T12:31:33ZHans-Peter DeifelRandom cleanups in minimization testsBastian KauschkeBastian Kauschkehttps://git8.cs.fau.de/software/copar/-/merge_requests/45refactor Main.hs, highlight the initial state in graph2020-11-13T08:08:20ZBastian Kauschkerefactor Main.hs, highlight the initial state in graphHans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/44fix AbsorbingPolynomial innerFunctors2020-11-04T11:08:36ZBastian Kauschkefix AbsorbingPolynomial innerFunctorsfixes #16fixes #16Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/43Add T-Beg example markov chain2020-11-04T11:48:20ZHans-Peter DeifelAdd T-Beg example markov chain**Don't merge****Don't merge**https://git8.cs.fau.de/software/copar/-/merge_requests/42further cleanup2020-10-22T08:41:51ZBastian Kauschkefurther cleanupHans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/41small cleanup2020-10-20T11:35:49ZBastian Kauschkesmall cleanupHans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/40remove redundant calls to `statesOfBlock` in `Minimize`2020-10-19T06:38:00ZBastian Kauschkeremove redundant calls to `statesOfBlock` in `Minimize`Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/39update ghc, use a newtype as parser error2020-10-19T14:23:41ZBastian Kauschkeupdate ghc, use a newtype as parser errorimplements #14implements #14Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/38time minimize2020-10-19T05:51:39ZBastian Kauschketime minimizeadds the `--stats` and `--stats-json` option to `minimize`adds the `--stats` and `--stats-json` option to `minimize`Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/37Reachability2020-10-06T18:55:09ZHans-Peter DeifelReachabilityFixes #15Fixes #15Bastian KauschkeBastian Kauschkehttps://git8.cs.fau.de/software/copar/-/merge_requests/36Implement converter for the grammar rules of the berkeleyparser2020-09-17T12:41:17ZThorsten WißmannImplement converter for the grammar rules of the berkeleyparserThis implements a new converter utility that handles the file format
of the `.grammar` files generated by berkeleyparser
https://github.com/slavpetrov/berkeleyparser
Though I am not entirely sure about the semantics, this provides a so...This implements a new converter utility that handles the file format
of the `.grammar` files generated by berkeleyparser
https://github.com/slavpetrov/berkeleyparser
Though I am not entirely sure about the semantics, this provides a source
for non-randomly generated WTAs.https://git8.cs.fau.de/software/copar/-/merge_requests/35Expose coalgebra printing as debug command2020-09-25T09:14:13ZHans-Peter DeifelExpose coalgebra printing as debug commandSince the latest work changes the `minimize` command to actually do
minimization, simply printing a coalgebra wasn't exposed in the CLI
anymore.
This brings it back under the `debug` subcommand.Since the latest work changes the `minimize` command to actually do
minimization, simply printing a coalgebra wasn't exposed in the CLI
anymore.
This brings it back under the `debug` subcommand.Bastian KauschkeBastian Kauschke