Merge requests · Software

Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in

S Software
Group information
- Group information
- Activity
- Labels
- Members
Issues 45
- Issues 45
- List
- Board
- Milestones
Merge requests 6
- Merge requests 6
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

Software
Merge requests

Open 6
Merged 63
Closed 2
All 71

Implement a parsable functor-expression printer

copar!23 · created May 11, 2020 by Bastian Kauschke
- MERGED
- 7
updated May 18, 2020
reenable GroupValued Int parsing

copar!22 · created May 11, 2020 by Bastian Kauschke
- MERGED
- 8
updated May 13, 2020
Allow names starting with digits

copar!21 · created May 11, 2020 by Bastian Kauschke
- MERGED
- 3
updated May 13, 2020
custom impl for `debug print-functor`

copar!20 · created May 01, 2020 by Bastian Kauschke
- MERGED
- 24
updated May 06, 2020
Add functor implementation example

copar!19 · created Apr 19, 2020 by Bastian Kauschke
- MERGED
- 0
updated Apr 20, 2020
add missing space to "defined twice" error

copar!18 · created Apr 17, 2020 by Bastian Kauschke
- MERGED
- 0
updated Apr 17, 2020
[WIP]: remove Polynomial::Product, add Pair functor

copar!17 · created Apr 16, 2020 by Bastian Kauschke
- CLOSED
- 9
updated Apr 19, 2020
fix typo

copar!16 · created Apr 03, 2020 by Bastian Kauschke
- MERGED
- 1
- 0
updated Apr 03, 2020
WIP: Specialize

copar!15 · created Feb 24, 2020 by Hans-Peter Deifel
updated Feb 24, 2020
Selective/Parallel test execution

cool!5 · created Aug 02, 2019 by Merlin
- MERGED
- 7
updated Aug 06, 2019
Documentation update

cool!4 · created Aug 02, 2019 by Merlin
- MERGED
- 0
updated Aug 02, 2019
Add licensing info

cool!3 · created Aug 02, 2019 by Merlin
- MERGED
- 2
updated Aug 05, 2019
CI Improvements

cool!2 · created Aug 01, 2019 by Merlin
- MERGED
- 7
updated Aug 01, 2019
Add dune build system

cool!1 · created Jul 30, 2019 by Hans-Peter Deifel v1.0 - The first "real" release
- MERGED
- Approved
- 1
- 10
updated May 21, 2021
Implement true rationals

copar!14 · created May 29, 2019 by Hans-Peter Deifel
- MERGED
- 0
updated May 29, 2019
WIP: WTA Benchmarks

copar-benchmarks!1 · created Mar 26, 2019 by Hans-Peter Deifel
- MERGED
- 0
updated Mar 27, 2019
Fixes

copar!13 · created Mar 21, 2019 by Thorsten Wißmann
- MERGED
- 1
updated Mar 22, 2019
WIP: Random WTA generator

copar!12 · created Mar 18, 2019 by Thorsten Wißmann
- MERGED
- 5
updated Apr 12, 2019
WIP: WEB!

copar!11 · created Dec 13, 2018 by Thorsten Wißmann
- 1
updated Dec 13, 2018
Linux bin artifacts

copar!10 · created Nov 26, 2018 by Thorsten Wißmann
- MERGED
- 10
updated Nov 30, 2018

Prev
1
2
3
4
Next