Commits · master · curry / kics2

Feb 22, 2025
- Precompile also .sast files · 63ed16fa
  Michael Hanus authored 1 month ago
  
  63ed16fa
Feb 21, 2025
- Fix copy/paste mistake · ff3c8b90
  Kai Prott authored 1 month ago
  
  ff3c8b90
- Fix generated Read instance for Unit type · 3fa63e50
  Kai Prott authored 1 month ago
  
  3fa63e50
Feb 11, 2025
- Update base libs · d2905434
  Michael Hanus authored 1 month ago
  
  d2905434
Feb 06, 2025
- URLs updated · 376bc5d0
  Michael Hanus authored 1 month ago
  
  376bc5d0
Feb 03, 2025
- Update frontend · f6f646de
  Michael Hanus authored 1 month ago
  
  f6f646de
Feb 02, 2025
- Update frontend · ddc86943
  Michael Hanus authored 1 month ago
  
  ddc86943
Feb 01, 2025
- Update libs · c8d5c729
  Michael Hanus authored 1 month ago
  
  c8d5c729
Jan 31, 2025
- Update libs and tools · a96134b4
  Michael Hanus authored 1 month ago
  
  a96134b4
Jan 30, 2025
- Precompile libraries also with `--comments` and `--ast` · 9e77e235
  Michael Hanus authored 1 month ago
  
  9e77e235
- Update front end · ffec705b
  Michael Hanus authored 1 month ago
  
  ffec705b
Jan 04, 2025
- Do not remove unused imports when pre-compiling all libraries · c1b743c8
  Michael Hanus authored 2 months ago
  
  c1b743c8
Nov 26, 2024
- Update base libs (`Control.Search.SearchTree`) · 47b08f6d
  Michael Hanus authored 4 months ago
  
  47b08f6d
Nov 14, 2024
- Update front end and tools · 70c2e20b
  Michael Hanus authored 4 months ago
  
  70c2e20b
- Merge branch 'mptc' into 'master' · 43d781d7
  Michael Hanus authored 4 months ago
  
  Mptc See merge request !20
  43d781d7
Nov 11, 2024
- Update CPM and frontend · 11c7cb65
  Michael Hanus authored 4 months ago
  
  11c7cb65
Oct 16, 2024
- Update libs to master branch · cf08736a
  Michael Hanus authored 5 months ago
  
  cf08736a
Oct 11, 2024
- Update CPM · 39223c12
  Michael Hanus authored 5 months ago
  
  39223c12
Oct 10, 2024
- Update tool dependencies · d91f9338
  Michael Hanus authored 5 months ago
  
  d91f9338
Oct 09, 2024
- Go back to the deterministic REPL version since ND problem with ReadShowTerm has been fixed · 815fb9da
  Michael Hanus authored 5 months ago
  
  815fb9da
- Update Prelude · c4afcdfa
  Michael Hanus authored 5 months ago
  
  c4afcdfa
Oct 07, 2024
- Update frontend · 2538441c
  Michael Hanus authored 5 months ago
  
  2538441c
Oct 04, 2024
- Update prelude · 8aa2165f
  Michael Hanus authored 5 months ago
  
  8aa2165f
- Update libs · ea3dc4af
  Michael Hanus authored 5 months ago
  
  ea3dc4af
- Update URL of submodule lib-trunk · d0f53cf7
  Michael Hanus authored 5 months ago
  
  d0f53cf7
- Update docker scripts · 27c98721
  Michael Hanus authored 5 months ago
  
  27c98721
Oct 02, 2024
- Update tools to current version · 324f14df
  Michael Hanus authored 5 months ago
  
  324f14df
- Update lib version · 7556acb9
  Michael Hanus authored 5 months ago
  
  7556acb9
- Implementation adapted to MPTC frontend version · 35f70df8
  Michael Hanus authored 5 months ago
  
  35f70df8
Sep 30, 2024
- Update to MPTC frontend version · 290abff4
  Michael Hanus authored 5 months ago
  
  290abff4
Jul 09, 2024
- Fix interface command in dockerfile · 554c661d
  Michael Hanus authored 8 months ago
  
  554c661d
- Update docker file · 4d8385cf
  Michael Hanus authored 8 months ago
  
  4d8385cf
Jul 08, 2024
- Update frontend and interface command · 24a58e64
  Michael Hanus authored 8 months ago
  
  24a58e64
May 22, 2024
- Fix `kics2` command and `cypm` to avoid using CPM without downloaded index · b4446832
  Michael Hanus authored 10 months ago
  
  b4446832
Apr 12, 2024
- Add cleantools to Makefile · 457f0538
  Michael Hanus authored 11 months ago
  
  457f0538
Apr 11, 2024
- Update frontend and libs to fix KiCS2 memory leak · da822824
  Michael Hanus authored 11 months ago
  
  da822824
Apr 08, 2024
- Switch back to LTS 21.7 · 68d0ec21
  Michael Hanus authored 11 months ago
  
  68d0ec21
Apr 07, 2024
- Add compatibility with GHC 8.x · 0954eb3e
  Michael Hanus authored 11 months ago
  
  0954eb3e
Apr 06, 2024
- Fix dependencies for distribution · 37cd0fdf
  Michael Hanus authored 11 months ago
  
  37cd0fdf
Apr 05, 2024
- Set to stack resolver lts-20.6 · df8022a7
  Michael Hanus authored 11 months ago
  
  df8022a7