Commits · master · Finn Teegen / kics2

Browse files

Sep 09, 2016
- Update front end · 0ff0817c
  Finn Teegen authored 8 years ago
  
  0ff0817c
Sep 01, 2016
- Update front end · 8f905410
  Finn Teegen authored 8 years ago
  
  8f905410
- Update front end · 6fb0d383
  Finn Teegen authored 8 years ago
  
  6fb0d383
- Update front end · fa9fe84d
  Finn Teegen authored 8 years ago
  
  fa9fe84d
- Update front end · a6058fe2
  Finn Teegen authored 8 years ago
  
  a6058fe2
Aug 30, 2016
- Update front end · 08489102
  Finn Teegen authored 8 years ago
  
  08489102
Aug 21, 2016
- Update front end · 234e4411
  Finn Teegen authored 8 years ago
  
  234e4411
- Update front end · 4a8b869e
  Finn Teegen authored 8 years ago
  
  4a8b869e
Aug 20, 2016
- Update front end · b8116ba7
  Finn Teegen authored 8 years ago
  
  b8116ba7
Aug 11, 2016
- Update front end · 5238638e
  Finn Teegen authored 8 years ago
  
  5238638e
- Update front end · 49deb180
  Finn Teegen authored 8 years ago
  
  49deb180
- Update front end · bc65d0ce
  Finn Teegen authored 8 years ago
  
  bc65d0ce
- Update front end · 2d3c4b8d
  Finn Teegen authored 8 years ago
  
  2d3c4b8d
Aug 09, 2016
- Update front end · d2d71867
  Finn Teegen authored 8 years ago
  
  d2d71867
Apr 12, 2016
- Update front end · d78e39d7
  Finn Teegen authored 9 years ago
  
  d78e39d7
Mar 21, 2016
- Change submodules to forked repositories · 867d42c9
  Finn Teegen authored 9 years ago
  
  867d42c9
Mar 18, 2016
- Moved Curry instance for C_Bool to runtime/Types · 9e9a9e9c
  Jan Rasmus Tikovsky authored 9 years ago
  
  9e9a9e9c
- Moved typeclass Curry from external Prelude to runtime/Types, fixes #1362 · 9371726e
  Jan Rasmus Tikovsky authored 9 years ago
  9371726e
Mar 16, 2016
- Manual updated · e49a2584
  Michael Hanus authored 9 years ago
  
  e49a2584
Mar 15, 2016
- frontend updated · 4e46237a
  Michael Hanus authored 9 years ago
  
  4e46237a
Mar 14, 2016
- tools and libs updated · 185cc9d6
  Michael Hanus authored 9 years ago
  
  185cc9d6
Mar 11, 2016
- tools and libs updated · 971ac8cc
  Michael Hanus authored 9 years ago
  
  971ac8cc
Mar 10, 2016
- Frontend reset to older non-buggy version · cfd6a702
  Michael Hanus authored 9 years ago
  
  cfd6a702
Mar 09, 2016
- Frontend updated, old testsuite deactivated in "make runtest" · d3a569dc
  Michael Hanus authored 9 years ago
  
  d3a569dc
Mar 08, 2016
- tools updated · 53ed0f33
  Michael Hanus authored 9 years ago
  
  53ed0f33
- Fixed bug in div/mod computation for algebraic numbers · df2e58c8
  Björn Peemöller authored 9 years ago
  
  df2e58c8
Mar 07, 2016
- Tool tests moved from testsuite to currytools · b471c111
  Michael Hanus authored 9 years ago
  
  b471c111
Mar 03, 2016
- tools updated, new testsuite added · 47e4ddd4
  Michael Hanus authored 9 years ago
  
  47e4ddd4
Mar 02, 2016
- Tools updated · b72729cc
  Michael Hanus authored 9 years ago
  
  b72729cc
Feb 27, 2016
- tools updated · 8de8dd42
  Michael Hanus authored 9 years ago
  
  8de8dd42
- libs updated · 072371e4
  Michael Hanus authored 9 years ago
  
  072371e4
Feb 26, 2016
- libs updated · d6493a4d
  Michael Hanus authored 9 years ago
  
  d6493a4d
Feb 25, 2016
- Tools updated · 17d739a9
  Michael Hanus authored 9 years ago
  
  17d739a9
Feb 23, 2016
- frontend updated · 749b2baa
  Michael Hanus authored 9 years ago
  
  749b2baa
- Tools updated · da090b9f
  Michael Hanus authored 9 years ago
  
  da090b9f
- src/REPL fixed · 7bcb71d0
  Michael Hanus authored 9 years ago
  
  7bcb71d0
Feb 22, 2016
- libs updated · 73a09c47
  Michael Hanus authored 9 years ago
  
  73a09c47
Feb 19, 2016
- tools and libs updated · 4f49a62a
  Michael Hanus authored 9 years ago
  
  4f49a62a
Feb 18, 2016
- manual, tools, libs updated · 6296ab21
  Michael Hanus authored 9 years ago
  
  6296ab21
Feb 17, 2016
- tools and libs updated · 4115c927
  Michael Hanus authored 9 years ago
  
  4115c927