Commits · master · curry / icurry_web · GitLab

Snippets Groups Projects

Apr 15, 2025
- Port number changed · 1ea3c164
  Michael Hanus authored 1 month ago
  
  1ea3c164
- Add makefile for starting/stopping · f6ad1a43
  Michael Hanus authored 1 month ago
  
  f6ad1a43
- Change generated icurry_web URLs to relative URLs · 58ada9b6
  Michael Hanus authored 1 month ago
  
  58ada9b6
Apr 11, 2024
- Update todos · c16e32c3
  Michael Hanus authored 1 year ago
  
  c16e32c3
- Remove subdirectory `icurry` since it it identical to package `icurry` · 0e6c9fbe
  Michael Hanus authored 1 year ago
  
  0e6c9fbe
- Update installation notes · 87667f39
  Michael Hanus authored 1 year ago
  
  87667f39
Oct 15, 2022
- Changed how execution states are selected for visualization: · ce8dfc12
  Sushman authored 2 years ago
  ce8dfc12
Oct 08, 2022
- Fixed a bug where webapp would crash on svg upload · 0df1c3cf
  Sushman authored 2 years ago
  
  0df1c3cf
Oct 07, 2022
- Some code reformatting · bbd7c499
  Michael Hanus authored 2 years ago
  
  bbd7c499
Oct 05, 2022
- Add examples and explanations · 0a15f078
  Michael Hanus authored 2 years ago
  
  0a15f078
Oct 04, 2022
- Add arity check for main function in interpreter · 95c39089
  Michael Hanus authored 2 years ago
  
  95c39089
- Update help page · 8be3f643
  Michael Hanus authored 2 years ago
  
  8be3f643
- Use darkgey for better readability · 438e121a
  Michael Hanus authored 2 years ago
  
  438e121a
Oct 02, 2022
- Fixed two syntax errors · 9402245f
  Sascha Ecks authored 2 years ago
  
  9402245f
Oct 01, 2022
- Added option to icurry_web.py to apply settings to non-python files in wsgi deployment · fe2ade6b
  Sascha Ecks authored 2 years ago
  
  fe2ade6b
Sep 30, 2022
- Drawing term graphs as trees now displays outgoing connections of nodes on... · 246739ac
  Sascha Ecks authored 2 years ago
  246739ac
- Update dates · 2e63d645
  Michael Hanus authored 2 years ago
  
  2e63d645
- Add examples and explanation for normalForm operation · e3c2c2b3
  Michael Hanus authored 2 years ago
  
  e3c2c2b3
Sep 29, 2022
- Infos updated · f2984f1b
  Michael Hanus authored 2 years ago
  
  f2984f1b
- Matched titles of slideshow and program sites to the other sites · 2913e151
  Sushman authored 2 years ago
  
  2913e151
- Examples in drop down menu on form page are now sorted alphabetically · 1c0ca7de
  Sushman authored 2 years ago
  
  1c0ca7de
- Update and extend tool infos · a53e3850
  Michael Hanus authored 2 years ago
  
  a53e3850
- Slight updates on main form · e5993384
  Michael Hanus authored 2 years ago
  
  e5993384
- Update examples · 1f22802d
  Michael Hanus authored 2 years ago
  
  1f22802d
- UPdate examples · 55f8ebef
  Michael Hanus authored 2 years ago
  
  55f8ebef
Sep 28, 2022
- Fixed a big in XML.curry where it was attempted to follow the choice mapping... · 478a51bb
  Sushman authored 2 years ago
  478a51bb
Sep 27, 2022
- Added another missing import and fixed a wrong function call in cache_cleaner · a4643fb7
  Sushman authored 2 years ago
  
  a4643fb7
- Added a missing import to the cache_cleaner that caused the app to crash · f61a1076
  Sushman authored 2 years ago
  
  f61a1076
Sep 26, 2022
- Added install-info about external cache cleaning and settings file · b08e6505
  Sascha Ecks authored 2 years ago
  
  b08e6505
- Added the curry icon to the webpages · aaeb1c43
  Sascha Ecks authored 2 years ago
  
  aaeb1c43
- moved user settings to separate module for ease of access and fixed cache_cleaner. · fe48232b
  Sascha Ecks authored 2 years ago
  
  fe48232b
- changed webpage titles to be more descriptive · 6f7fb248
  Sascha Ecks authored 2 years ago
  
  6f7fb248
- Moved cache-cleaner functions to separate file to enable easier external triggering · 879eda34
  Sascha Ecks authored 2 years ago
  
  879eda34
- Added some concrete info about creation of the cache dirs to installation instructions · eee06443
  Sascha Ecks authored 2 years ago
  
  eee06443
- Added missing absolute paths to application setup · d3a7e529
  Sascha Ecks authored 2 years ago
  
  d3a7e529
- Translated installation instructions and changed a bit of setup code of the webapp · e199e05f
  Sascha Ecks authored 2 years ago
  
  e199e05f
Sep 25, 2022
- Added information about installation onto a webserver (howto only in german for now) · f731acab
  Sascha Ecks authored 2 years ago
  
  f731acab
- ElementTree Namespace registration now takes places each time the slideshow is built. · f6db4005
  Sascha Ecks authored 2 years ago
  f6db4005
- Added missing absolute path on icurry-program execution · 6797e475
  Sascha Ecks authored 2 years ago
  
  6797e475
- Added a missing reference to the webapp's absolute path · 896361c2
  Sascha Ecks authored 2 years ago
  
  896361c2