Skip to content
GitLab
  • Explore
  • Sign in
  • Informatik 8Informatik 8
  • CoPaR
  • Merge requests
  • Open 2
  • Merged 11
  • Closed 0
  • All 13

  • Subscribe to RSS feed
  • Fixes
    !13 · created Mar 21, 2019 by Thorsten Wißmann
    • Merged
    • 1
    updated Mar 22, 2019
  • Linux bin artifacts
    !10 · created Nov 26, 2018 by Thorsten Wißmann
    • Merged
    • 10
    updated Nov 30, 2018
  • Rationals
    !9 · created Nov 15, 2018 by Hans-Peter Deifel
    • Merged
    • 0
    updated Nov 16, 2018
  • Use exact comparision for doubles
    !8 · created Nov 15, 2018 by Hans-Peter Deifel
    • Merged
    • 2
    updated Nov 16, 2018
  • Rename the functor H to F
    !7 · created Nov 09, 2018 by Hans-Peter Deifel
    • Merged
    • 0
    updated Nov 09, 2018
  • Functor subexpression absorbing
    !6 · created Oct 27, 2018 by Hans-Peter Deifel
    • Merged
    • 7
    updated Nov 02, 2018
  • Features/true monoids
    !5 · created Oct 23, 2018 by Hans-Peter Deifel
    • Merged
    • 0
    updated Oct 25, 2018
  • WIP: Add converter from PRISM models to our syntax
    !4 · created Aug 15, 2018 by Hans-Peter Deifel
    • Merged
    • 0
    updated Aug 22, 2018
  • Add build script that wraps stack
    !3 · created Jul 26, 2018 by Hans-Peter Deifel
    • Merged
    • 3
    updated Jul 29, 2018
  • Exponentials
    !2 · created Jul 18, 2018 by Hans-Peter Deifel
    • Merged
    • 0
    updated Jul 19, 2018
  • Polynomial functor
    !1 · created Jul 17, 2018 by Hans-Peter Deifel
    • Merged
    • 1
    • 0
    updated Jul 18, 2018