Commits · 0a15f078c49fc13875e7c264b4931a084b08bbfa · curry / icurry_web · GitLab

Snippets Groups Projects

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
- Added main.wsgi for wsgi-deployment · f04edfd7
  Sascha Ecks authored 2 years ago
  
  f04edfd7
- Added relative path of the webapp config option to enable support for wsgi-deployment · 8ff0fa0d
  Sascha Ecks authored 2 years ago
  
  8ff0fa0d
- Fixed a bug where displaying source and loading last program on form page did not work · 32c78bb6
  Sascha Ecks authored 2 years ago
  
  32c78bb6
Sep 22, 2022
- Added configuration option for the path of the icurry-executable. · 5940d4ae
  Sushman authored 2 years ago
  
  5940d4ae
Sep 09, 2022
- Added options to control the cache-cleaning · ccf1995c
  Sushman authored 2 years ago
  
  ccf1995c
Aug 22, 2022
- integrated the max-step parameter into the caching system · 7a58be1a
  Sushman authored 2 years ago
  
  7a58be1a
Aug 21, 2022
- Added ability to set max-steps in webapp and some cosmetical changes to webapp · 5d6b15a0
  Sushman authored 2 years ago
  
  5d6b15a0
Aug 20, 2022
- Added max-steps parameter to icurry · e577b3e9
  Sushman authored 2 years ago
  
  e577b3e9
Aug 10, 2022
- Added icurry files · 8949a3aa
  Sushman authored 2 years ago
  
  8949a3aa