COOL issueshttps://git8.cs.fau.de/software/cool/-/issues2022-08-23T07:57:56Zhttps://git8.cs.fau.de/software/cool/-/issues/45COOL used to compile with 4.132022-08-23T07:57:56ZMerlinCOOL used to compile with 4.13See: Job [#23339](https://git8.cs.fau.de/software/cool/-/jobs/23339) failed for 88a4a2e401ac3124da5b18fa49fee728e1333cdf:
Previously COOL used to compile with OCaml 4.13 but changes from the onestep branch seem to have broken that.See: Job [#23339](https://git8.cs.fau.de/software/cool/-/jobs/23339) failed for 88a4a2e401ac3124da5b18fa49fee728e1333cdf:
Previously COOL used to compile with OCaml 4.13 but changes from the onestep branch seem to have broken that.v2.1 - One-Step COOLSimon PruckerSimon Pruckerhttps://git8.cs.fau.de/software/cool/-/issues/42Replace deprecated Stream module from stdlib2022-07-08T13:26:35ZSimon PruckerReplace deprecated Stream module from stdlibWith OCAML 4.14.0 the Stream module from stdlib is deprecated and will be replaced. Switch to camlp-streams instead.With OCAML 4.14.0 the Stream module from stdlib is deprecated and will be replaced. Switch to camlp-streams instead.v2.1 - One-Step COOLSimon PruckerSimon Prucker2023-01-01https://git8.cs.fau.de/software/cool/-/issues/39Check if the executable names are too general and might conflict with preexis...2022-07-20T09:11:03ZMerlinCheck if the executable names are too general and might conflict with preexisting toolsv2.1 - One-Step COOLSimon PruckerSimon Pruckerhttps://git8.cs.fau.de/software/cool/-/issues/37Test that the formula printer and parser are quasi-inverse2022-09-05T12:32:18ZMerlinTest that the formula printer and parser are quasi-inverseWe should write a property-based test testing whether the formula printer and parser are matching.
Keep in mind though that while `parse (print f) = f` should hold, `print (parse s) = s` will probably not hold and also is complicated to...We should write a property-based test testing whether the formula printer and parser are matching.
Keep in mind though that while `parse (print f) = f` should hold, `print (parse s) = s` will probably not hold and also is complicated to generate automatically.https://git8.cs.fau.de/software/cool/-/issues/34Replace lazylist from CoAlgMisc2023-11-10T07:17:33ZMerlinReplace lazylist from CoAlgMiscThe STDlib has a Lazy module. We should investigate replacing the DIY stream in CoAlgMIsc with this or other stream implementations.The STDlib has a Lazy module. We should investigate replacing the DIY stream in CoAlgMIsc with this or other stream implementations.https://git8.cs.fau.de/software/cool/-/issues/30Fix compiling with 4.122022-01-25T07:44:45ZMerlinFix compiling with 4.124.12 is not that bleeding edge. We should look into why exactly the cross-compilation fails there.4.12 is not that bleeding edge. We should look into why exactly the cross-compilation fails there.v2.1 - One-Step COOLhttps://git8.cs.fau.de/software/cool/-/issues/26Incorporate benchmarks into nix structure2022-12-09T13:41:01ZMerlinIncorporate benchmarks into nix structurehttps://git8.cs.fau.de/software/cool/-/issues/25Speed up CI by avoiding unnecessary tests2021-06-11T13:00:22ZMerlinSpeed up CI by avoiding unnecessary testsGitlab CI can detect unchanged sources. This could be used to speed up testing.Gitlab CI can detect unchanged sources. This could be used to speed up testing.https://git8.cs.fau.de/software/cool/-/issues/21Replace hand-written parser with generated parser2022-08-23T11:29:38ZMerlinReplace hand-written parser with generated parserThe COOL formula/functor parser is a custom hand-written monstrosity (by now) making it harder than necessary to extend the syntax due to easily breaking parsing of unrelated syntax elements.
Replacing the parser with a cleanly generate...The COOL formula/functor parser is a custom hand-written monstrosity (by now) making it harder than necessary to extend the syntax due to easily breaking parsing of unrelated syntax elements.
Replacing the parser with a cleanly generated parser would avoid these issues.v2.1 - One-Step COOLSimon PruckerSimon Pruckerhttps://git8.cs.fau.de/software/cool/-/issues/20Clean up top-level directory2021-06-25T09:16:56ZMerlinClean up top-level directoryThere are a lot of old files and folders of unclear functionality in the top-level directory. We should investigate what those do and move/rename/delete/replace/document them as they are confusing for people trying to get started with CO...There are a lot of old files and folders of unclear functionality in the top-level directory. We should investigate what those do and move/rename/delete/replace/document them as they are confusing for people trying to get started with COOL.
- [x] cool2tatl
- [ ] examples
- [x] randcool
- [ ] benchmarks
- [x] fact.conf
- [x] install-remote.sh
- [x] playground.hs
- [x] randmu.py
- [x] tatl-compatability-wrapper.sh
- [x] version_gen.shv1.0 - The first "real" releaseMerlinMerlinhttps://git8.cs.fau.de/software/cool/-/issues/19Docker deploy only runs when manual tests are triggered2021-06-11T11:59:29ZMerlinDocker deploy only runs when manual tests are triggeredI suggest that master CI jobs always run all tests and deploy afterwardsI suggest that master CI jobs always run all tests and deploy afterwardsv1.0 - The first "real" releaseMerlinMerlinhttps://git8.cs.fau.de/software/cool/-/issues/18Packaging for easy installation of COOL2021-06-22T12:35:55ZMerlinPackaging for easy installation of COOLWhen we do a release we want downloadable executables for the users so that installing cool is as effortless as possible. Ideally, we have multiple options to accommodate differentiated needs:
- [x] Docker
- [x] Static executable
- [x] N...When we do a release we want downloadable executables for the users so that installing cool is as effortless as possible. Ideally, we have multiple options to accommodate differentiated needs:
- [x] Docker
- [x] Static executable
- [x] Nix derivation
- [x] AppImage/NixBundle?
- [ ] RPM/DEB packages?
Also, the different ways to install and use should be clearly documented.v1.0 - The first "real" releaseMerlinMerlinhttps://git8.cs.fau.de/software/cool/-/issues/17Proper unit-test reports2021-07-06T12:36:29ZMerlinProper unit-test reportsGitlab has support for [junit style test results](https://docs.gitlab.com/ee/ci/unit_test_reports.html). Our unit tests can be made to produce junit style reports. This would provide nice test result visualization.
https://github.com/Kh...Gitlab has support for [junit style test results](https://docs.gitlab.com/ee/ci/unit_test_reports.html). Our unit tests can be made to produce junit style reports. This would provide nice test result visualization.
https://github.com/Khady/ocaml-junitSimon PruckerSimon Pruckerhttps://git8.cs.fau.de/software/cool/-/issues/15Make pgsolver an optional dependency2021-07-06T11:12:58ZMerlinMake pgsolver an optional dependencyIn the `pgsolver` branch a dependency on pgsolver was added that causes issues when e.g. working in the CIP pools or on evaluation machines of conferences. It should therefore be made an optional dependency.In the `pgsolver` branch a dependency on pgsolver was added that causes issues when e.g. working in the CIP pools or on evaluation machines of conferences. It should therefore be made an optional dependency.v2.0 - COOL with Aconjunctive Fixpointshttps://git8.cs.fau.de/software/cool/-/issues/14Investigate performance impact of -g flag for debug2021-06-18T09:26:13ZSimon PruckerInvestigate performance impact of -g flag for debugDune builds with debug support by default. Therefore it would be interesting, whether the -g flag has any performance impact. It should be sufficient if this is checked after dune is merged into the master, for more information review th...Dune builds with debug support by default. Therefore it would be interesting, whether the -g flag has any performance impact. It should be sufficient if this is checked after dune is merged into the master, for more information review the corresponding merge request. As this is especially important for benchmarking, update the benchmarking section in HACKING.adoc afterwards.v1.0 - The first "real" releasehttps://git8.cs.fau.de/software/cool/-/issues/12Generate/update the chair page for COOL from the repository2021-06-22T12:41:02ZMerlinGenerate/update the chair page for COOL from the repositoryIdeally, we would want to manage the [COOL chair page](https://www8.cs.fau.de/research/cool-the-coalgebraic-ontology-logic-reasoner/) from this repository.
Is it possible to generate and auto-deploy this site from CI in some way?Ideally, we would want to manage the [COOL chair page](https://www8.cs.fau.de/research/cool-the-coalgebraic-ontology-logic-reasoner/) from this repository.
Is it possible to generate and auto-deploy this site from CI in some way?v1.0 - The first "real" releaseMerlinMerlinhttps://git8.cs.fau.de/software/cool/-/issues/10Remove hand-coded Test-CI Jobs2021-07-06T13:07:11ZMerlinRemove hand-coded Test-CI JobsCurrently, we run all the integration tests as separate jobs for parallelism. This however makes our CI setup quite messy as all the individual tests have to be hard-coded into the pipeline.
I see different options to get a list of test...Currently, we run all the integration tests as separate jobs for parallelism. This however makes our CI setup quite messy as all the individual tests have to be hard-coded into the pipeline.
I see different options to get a list of test cases for generating a child pipeline automatically:
1. We have the cool-testsuite output a list of test cases
2. We rework the integration tests to be a test runner checking the output against a folder of input files and use the list of these files
I'm leaning towards option 2 as this would also serve as good examples for users of COOL on how to use COOL.https://git8.cs.fau.de/software/cool/-/issues/9User-facing usage examples with docker2021-06-22T12:35:56ZMerlinUser-facing usage examples with dockerWhen we have automated docker publication in master we should write "Try out COOL now" examples using our docker image for convenienceWhen we have automated docker publication in master we should write "Try out COOL now" examples using our docker image for conveniencev1.0 - The first "real" releaseMerlinMerlinhttps://git8.cs.fau.de/software/cool/-/issues/8Remove split_on_char from CoolUtils2021-07-06T07:29:22ZMerlinRemove split_on_char from CoolUtilsGiven that we no longer want to support such ancient OCaml versions this function can be cleaned up.Given that we no longer want to support such ancient OCaml versions this function can be cleaned up.v2.0 - COOL with Aconjunctive Fixpointshttps://git8.cs.fau.de/software/cool/-/issues/7Replace 'implode' in 'FunctorParsing' by libfunction2021-07-06T12:05:15ZSimon PruckerReplace 'implode' in 'FunctorParsing' by libfunctionThe `implode` function in `FunctorParsing` only converts a list of chars to a string, which should be replaced by a simple libfunction call.The `implode` function in `FunctorParsing` only converts a list of chars to a string, which should be replaced by a simple libfunction call.v2.0 - COOL with Aconjunctive Fixpoints