Commits · master · Software / CoPaR

Browse files

Sep 05, 2023
- Fix compilation with newer versions of optparse-applicative · 51d6540f
  Hans-Peter Deifel authored Sep 05, 2023
  
  51d6540f
Oct 19, 2022
- Rerename flag to benchmark-generators · fcabd6bd
  Hans-Peter Deifel authored Oct 19, 2022
  
  fcabd6bd
Jul 22, 2022
- More Fixes · fa30b077
  Gebhart97 authored Jul 22, 2022
  fa30b077
- Fix for Stack build benchmark generators · 8d0be028
  Gebhart97 authored Jul 22, 2022
  8d0be028
Jul 21, 2022
- Removed need for cpphs · 644c0c6d
  Gebhart97 authored Jul 21, 2022
  
  644c0c6d
Jul 07, 2022
- Not needed Version constraint removed · 60d2b17c
  Gebhart97 authored Jul 07, 2022
  
  60d2b17c
- Cabal does not like Dashes · 13615a30
  Gebhart97 authored Jul 07, 2022
  
  13615a30
- Small Fixes · b33086fa
  Gebhart97 authored Jul 07, 2022
  
  b33086fa
Jul 06, 2022
- Other Solution · 04da76ba
  Gebhart97 authored Jul 07, 2022
  04da76ba
- Other Solution · c535b3fb
  Gebhart97 authored Jul 06, 2022
  c535b3fb
- Workaround for Cabal Problems · c9434b20
  Gebhart97 authored Jul 06, 2022
  
  c9434b20
Jul 05, 2022
- Distributed is now optional · 9710530d
  Gebhart97 authored Jul 05, 2022
  9710530d
Jun 21, 2022
- Last Batch of Files · 32f8244a
  Gebhart97 authored Jun 21, 2022
  32f8244a
May 04, 2022
- Fix cabal-version specification · 0a6ea00b
  Hans-Peter Deifel authored May 04, 2022
  0a6ea00b
Oct 29, 2021
- Mark generator test suites as unbuildable · 2091a01b
  Hans-Peter Deifel authored Oct 29, 2021
  2091a01b
- Make deps of prism-converter-tests consistent · 5f9dc034
  Hans-Peter Deifel authored Oct 29, 2021
  
  5f9dc034
Oct 14, 2021
- prism-conv: Convert mcrl2 generation to conduit · dcecfbdc
  Hans-Peter Deifel authored Oct 13, 2021
  
  dcecfbdc
- prism-conv: Convert markov chain processing to conduit · 429cb5b5
  Hans-Peter Deifel authored Oct 13, 2021
  
  429cb5b5
- prism-conv: Convert Mdp parsing to conduit · 174975a1
  Hans-Peter Deifel authored Oct 11, 2021
  
  174975a1
Oct 11, 2021
- Add system time timestamps to stderr. · 0210f97d
  Fabian authored Oct 11, 2021
  
  0210f97d
Oct 10, 2021
- prism-converter: Implement conduit-based sta-file parser · 90bc2b95
  Hans-Peter Deifel authored Oct 10, 2021
  
  90bc2b95
Oct 07, 2021
- random-wta: Implement better transition sampling · ac94fe81
  Hans-Peter Deifel authored Oct 05, 2021
  
  ac94fe81
- Fix build with recent version of 'hashable' · 04703e82
  Hans-Peter Deifel authored Oct 04, 2021
  
  04703e82
Oct 01, 2021
- Output stats also as JSON. · 5417f3f2
  Fabian authored Oct 01, 2021
  
  5417f3f2
Sep 27, 2021
- Add simple coalgebra splitter · f0c44631
  Hans-Peter Deifel authored Sep 27, 2021
  
  f0c44631
Sep 24, 2021
- random-wta: Convert högberg output to conduit · 977a1aae
  Hans-Peter Deifel authored Sep 23, 2021
  
  977a1aae
Aug 31, 2021
- Final cleanup · 95058645
  Fabian authored Aug 31, 2021
  
  95058645
May 19, 2021
- Gather final partition on root process and better ergonomics · a5ece554
  Fabian authored May 19, 2021
  
  a5ece554
Apr 15, 2021
- Update some dependencies · ca6c0459
  Hans-Peter Deifel authored Apr 15, 2021
  ca6c0459
Mar 11, 2021
- Cleanup. · f7bf9021
  Fabian authored Mar 11, 2021
  
  f7bf9021
Mar 10, 2021
- Switch to MPI.Serialize to serialize Texts · 98bcb002
  Fabian authored Mar 10, 2021
  
  98bcb002
Mar 09, 2021
- Outsource Algorithm to its own file. · d3a439a6
  Fabian authored Mar 09, 2021
  
  d3a439a6
Mar 08, 2021
- First working version of distributed algorithm. · 2ebd21f7
  Fabian authored Mar 08, 2021
  
  2ebd21f7
Mar 04, 2021
- Add initialise function to distribute encoding · f27e97a4
  Fabian authored Mar 04, 2021
  
  f27e97a4
Mar 03, 2021
- Implement and Simplify Computer, Reciever, Sender · e54d6bc2
  Fabian authored Mar 03, 2021
  e54d6bc2
- Add implementation for Computer. · 7e1c2e89
  Fabian authored Mar 03, 2021
  
  7e1c2e89
- Cleanup and document Computer. · 28002efe
  Fabian authored Mar 03, 2021
  
  28002efe
Feb 18, 2021
- Add structure and offline implementation for distributed algorithm. · 85e48279
  Fabian authored Feb 18, 2021
  
  85e48279
Feb 05, 2021
- Add Types and implementation for Computer; reorganize modules. · 76db2e30
  Fabian authored Feb 05, 2021
  
  76db2e30
Dec 22, 2020
- Add SignatureInterface with instances · 3690f040
  Fabian authored Dec 22, 2020
  
  3690f040