Skip to content
GitLab
  • Explore
  • Sign in
  • Register
  • curry
  • curry-tools
  • Merge requests
  • Open 0
  • Merged 4
  • Closed 2
  • All 6

  • Subscribe to RSS feed
  • Clean up gitignore by ignoring all .cpm directories
    !6 · created Aug 03, 2023 by Fredrik Wieczerkowski
    • Merged
    • 0
    updated Aug 03, 2023
  • Apply KiCS2-specific fixes
    !5 · created Mar 21, 2021 by Fredrik Wieczerkowski   version3
    • Merged
    • Approved
    • 0
    updated Mar 22, 2021
  • WIP: Update vendored CPM dependencies for KiCS2
    !4 · created Mar 16, 2021 by Fredrik Wieczerkowski   version3
    • Closed
    • 1
    updated Mar 16, 2021
  • Update vendored System.CurryPath module with new curryrcFileName function
    !3 · created Nov 28, 2020 by Fredrik Wieczerkowski   version3
    • Merged
    • Approved
    • 0
    updated Nov 30, 2020
  • Merge in changes from curry package "socket"
    !2 · created Apr 01, 2019 by Kai Prott   master
    • Closed
    • 1
    updated Apr 04, 2019
  • Ensure ACY files are present for every module
    !1 · created Sep 24, 2016 by Jonas Oberschweiber   master
    • Merged
    • 0
    updated Sep 26, 2016