Commits · master · Jan Path / curry-libs · GitLab

Snippets Groups Projects

Jan 04, 2019
- Profile removed (now in package profiling) · 12314598
  Michael Hanus authored 6 years ago
  
  View commit 12314598 2 tags
  
  12314598
Jan 03, 2019
- Test corrected · 3c76cb3a
  Michael Hanus authored 6 years ago
  
  3c76cb3a
- Libraries AllSolutions, Combinatorial, Findall, Random, SearchTree*,... · fb183378
  Michael Hanus authored 6 years ago
  fb183378
- Libraries AllSolutions and Nat removed (available in packages searchtree and peano) · 2aa68cf1
  Michael Hanus authored 6 years ago
  
  2aa68cf1
Jan 02, 2019
- Test.EasyCheck removed (Test.Prop is sufficient) · 95c5e491
  Michael Hanus authored 6 years ago
  
  95c5e491
Dec 29, 2018
- Library Format removed (available in package printf) · 29c972d2
  Michael Hanus authored 6 years ago
  
  29c972d2
- Library AnsiCodes removed (available in package ansi-terminal) · 77d4ab8d
  Michael Hanus authored 6 years ago
  
  77d4ab8d
- Library Dequeue removed (available in package queue( · ab24dca3
  Michael Hanus authored 6 years ago
  
  ab24dca3
Dec 27, 2018
- red-black tree modules removed (available in package redblacktree) · bc4c4720
  Michael Hanus authored 6 years ago
  
  bc4c4720
- Bug fix in imports of Distribution · c8d0428b
  Michael Hanus authored 6 years ago
  
  c8d0428b
Dec 22, 2018
- Libraries CPNS, Socket and NamedSocket removed (now available in packages) · 0505b6da
  Michael Hanus authored 6 years ago
  
  0505b6da
Dec 21, 2018
- API of Distribution module reduced, PropertyFile removed · 4a44f1da
  Michael Hanus authored 6 years ago
  
  4a44f1da
Dec 18, 2018
- Fixes unintended character in string constant · 8793233d
  Michael Hanus authored 6 years ago
  
  8793233d
Nov 23, 2018
- Adds Distribution.curryCompilerRevisionVersion, removes Array and SCC · b3a5be87
  Michael Hanus authored 6 years ago
  
  b3a5be87
Oct 09, 2018
- Specification of sort operations improved · deafaa9e
  Michael Hanus authored 6 years ago
  
  View commits for tag v2.0.2 v2.0.2
  
  deafaa9e
Sep 21, 2018
- Findall.oneValue added, SetFunctions reimplemented in PAKCS · cbeca54d
  Michael Hanus authored 6 years ago
  
  cbeca54d
Jul 17, 2018
- Fix overlapping rule · fdce8e4c
  Finn Teegen authored 6 years ago
  
  fdce8e4c
Jul 11, 2018
- Merge branch 'makefile_cdoc' into 'master' · bb17bc89
  Michael Hanus authored 6 years ago
  bb17bc89
Jul 10, 2018
- Merge branch 'TypedFlatCurry' into 'master' · f37baa9e
  Finn Teegen authored 6 years ago
  f37baa9e
- Fix cleanall failing on existent cdoc/bt3 folder · c4e9e176
  Kai-Oliver Prott authored 6 years ago
  
  c4e9e176
Jul 04, 2018
- Findall: allHNFs removed, isFail added · ac8a4260
  Michael Hanus authored 6 years ago
  
  ac8a4260
- Fixes security issue w.r.t. random seeds w.r.t. zero minutes · af93910d
  Michael Hanus authored 6 years ago
  
  af93910d
Jul 03, 2018
- Add Target Option for type-annotated FC (former Typed FC) · 74292d58
  Kai-Oliver Prott authored 6 years ago
  
  74292d58
Jun 07, 2018
- Findall.allHNFs added for PAKCS · e71405d2
  Michael Hanus authored 6 years ago
  
  e71405d2
May 30, 2018
- Adapt external implementation of profiling library for compatibility with ghc 8.2.1 and higher · 7384be8c
  Jan Rasmus Tikovsky authored 6 years ago
  
  7384be8c
Jan 23, 2018
- writeFile/appendFile made strict for KiCS2 · 33a3ab5b
  Michael Hanus authored 7 years ago
  
  View commits for tag v2.0.1 v2.0.1
  
  33a3ab5b
Jan 19, 2018
- Some type signatures added · 57d6165d
  Michael Hanus authored 7 years ago
  
  57d6165d
Jan 18, 2018
- SetFunctions: code refactored, minValueBy/maxValueBy added · 3fdd0228
  Michael Hanus authored 7 years ago
  
  3fdd0228
- SetFunctions.isEmpty: Eq context removed · aaf89769
  Michael Hanus authored 7 years ago
  
  aaf89769
Jan 12, 2018
- --nocypm added for PAKCS · 4dba3ab3
  Michael Hanus authored 7 years ago
  
  4dba3ab3
Jan 11, 2018
- sequence renamed according to Haskell · e7149e9b
  Michael Hanus authored 7 years ago
  
  e7149e9b
- Further simple monad operations added · 8dcd4672
  Michael Hanus authored 7 years ago
  
  8dcd4672
Jan 10, 2018
- sequenceM, sequenceM_, mapM, mapM_ added (preliminary) · e387cd48
  Michael Hanus authored 7 years ago
  
  e387cd48
Jan 07, 2018
- Rename numeric coercion functions · 46eddda6
  Finn Teegen authored 7 years ago
  
  46eddda6
- deriving Read added to Time datatypes · 8b1464f0
  Michael Hanus authored 7 years ago
  
  8b1464f0
Dec 15, 2017
- Fix 'callFrontend' for calls with "complex" module paths · 3a92b667
  Jan Rasmus Tikovsky authored 7 years ago
  
  3a92b667
Dec 05, 2017
- Test.Prop.<=> added · 3d9062d7
  Michael Hanus authored 7 years ago
  
  View commits for tag v2.0.0 v2.0.0
  
  3d9062d7
Dec 04, 2017
- Test.Prop.forAll added · 2accfa5b
  Michael Hanus authored 7 years ago
  
  2accfa5b
Dec 01, 2017
- Bug fix for formatting ``format "%04.2f",0.999'' · 2a9bf2ab
  Michael Hanus authored 7 years ago
  
  2a9bf2ab
Nov 26, 2017
- EasyCheck output improved with catch-calls · 068229ea
  Michael Hanus authored 7 years ago
  
  068229ea