arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-16 16:55:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • b09ba5a83a Fixups for newer versions master Arne Keller 2023-10-23 14:17:20 +0200
  • dc9d6c046b Update dependencies Arne Keller 2023-10-23 14:15:57 +0200
  • 9d232a4b17 Update typicalc service definition uskyk 2022-07-12 12:08:57 +0200
  • 1464469c70 CI: update to nixos 21.11 Arne Keller 2022-02-24 12:08:53 +0100
  • 066d7f82e2 Unfocus all input fields on submit, fixes #33 Arne Keller 2022-02-24 12:08:16 +0100
  • da87576326 Fix issue #31 Arne Keller 2021-11-29 15:49:55 +0100
  • cfb27e3de3 removed more useless getter descriptions Robin 2021-10-12 04:08:32 +0200
  • b80e170006 various small changes Robin 2021-10-12 03:57:46 +0200
  • 376933a4f5 Small code style fixes + documentation Arne Keller 2021-10-08 11:51:53 +0200
  • b26f71e8b2 Miscellaneous cleanups and corrections Arne Keller 2021-10-07 12:39:43 +0200
  • b5e15767e9 Remove unused translation text Arne Keller 2021-10-07 11:04:18 +0200
  • ed9cb6a3fa Fix type highlighting when switching language Arne Keller 2021-10-07 11:03:39 +0200
  • 980b2d838d Various style improvements and fixes Arne Keller 2021-10-04 11:20:36 +0200
  • 1def7789d6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc Moritz Dieing 2021-09-29 17:11:53 +0200
  • 8db0436975 Actually fix exception thrown by last example Moritz Dieing 2021-09-29 17:11:37 +0200
  • edafdf0ff4 Document frontend scripts Arne Keller 2021-09-29 10:57:00 +0200
  • 91daed42c4 Optimize frontend script and style Arne Keller 2021-09-29 10:15:51 +0200
  • 49adac2a88 Add java docs and remove unused methods Moritz Dieing 2021-09-23 17:27:41 +0200
  • 2bc908e660 Fix explanation text language switch Arne Keller 2021-09-20 10:32:25 +0200
  • cbe7d47cdd Always scroll to explanation text Arne Keller 2021-09-20 10:22:37 +0200
  • bbb0f7de38 Fixes exception thrown by last example Not the most beautiful fix, but it works... Robin 2021-09-07 14:39:09 +0200
  • db48c7ffa0 Center on last step in proof tree Arne Keller 2021-09-07 09:47:31 +0200
  • 78bb732541 Consistent spelling Robin 2021-09-03 00:52:49 +0200
  • 43d350665b Entries in HelpDialog for new functionality Moritz Dieing 2021-08-31 21:16:36 +0200
  • c2ae5ca10e Add new fuzzing target for latex creator Arne Keller 2021-08-31 11:34:25 +0200
  • c7bb826b73 Improve performance of proof tree panning Arne Keller 2021-08-31 11:33:47 +0200
  • 684327d63a Consistent naming of css ids and classes Moritz Dieing 2021-08-31 10:56:03 +0200
  • 5277feafcf Button to toggle visibility of explanation texts Arne Keller 2021-08-30 16:14:51 +0200
  • 978ccb034c Fix typo in translation Arne Keller 2021-08-30 15:56:51 +0200
  • 26b2bd9f00 Fix incorrectly disabled buttons Arne Keller 2021-08-30 15:54:55 +0200
  • fbb80ae3ad Scroll to explanation text if needed Arne Keller 2021-08-30 14:55:16 +0200
  • 0f2ba5e8a2 Refactor frontend script Arne Keller 2021-08-30 14:38:34 +0200
  • 9ab7a876d6 Improve english translation Arne Keller 2021-08-30 14:24:32 +0200
  • 84f9623b95 Fix checkstyle Arne Keller 2021-08-29 16:12:37 +0200
  • 540f95c0f8 Fix NPE in frontend Arne Keller 2021-08-29 15:59:42 +0200
  • 29d692c231 Optimize unification view Arne Keller 2021-08-29 15:58:51 +0200
  • 520960fea1 Improve display of unification errors Arne Keller 2021-08-29 15:43:02 +0200
  • 6bae4a3b01 Fix incorrect latex code on let term Arne Keller 2021-08-29 15:32:49 +0200
  • 9b1070651c Almost implement scrolling to explanation texts Arne Keller 2021-08-29 15:27:07 +0200
  • 5d4d8cd828 Switch to step when clicking on explainer Arne Keller 2021-08-29 08:53:22 +0200
  • 8b1371ce08 Hovering in the unification area Arne Keller 2021-08-29 08:32:15 +0200
  • 26c97d937e Add top and bottom padding to unification Moritz Dieing 2021-08-25 14:23:57 +0200
  • 4d0e0fea3e Small bugfix Moritz Dieing 2021-08-25 14:02:54 +0200
  • d9572665df Explanation texts english Moritz Dieing 2021-08-25 14:02:26 +0200
  • 4d5d3b8636 Refactor unification view to be dynamically sized Arne Keller 2021-08-24 16:33:06 +0200
  • 04c7f6ab37 "Fix" Checkstyle, this time for real... uogau 2021-08-24 13:47:00 +0200
  • 79d6c88b1f "Fix" Checkstyle uogau 2021-08-24 13:37:35 +0200
  • 526ed46c67 Added copy buttons to share dialog uogau 2021-08-24 13:32:32 +0200
  • 0b5016da4f Refactor explanation texts Arne Keller 2021-08-21 17:44:49 +0200
  • c190289f6f Show better error message on 's∀' Arne Keller 2021-08-21 16:50:37 +0200
  • b558d3cbf5 Fix unification test Arne Keller 2021-08-21 16:45:05 +0200
  • d721fb1c33 Bug fixes and text changes Moritz Dieing 2021-08-18 14:28:19 +0200
  • 8cc089e543 Refractor unification explanation Moritz Dieing 2021-08-18 10:16:26 +0200
  • 8ec10126b5 Consistent padding of tooltip Arne Keller 2021-08-16 10:10:48 +0200
  • 7abfd66aa8 Fix some bugs of the unification explanation Arne Keller 2021-08-16 09:50:43 +0200
  • 208c21277b Add unification texts to bundle Moritz Dieing 2021-08-15 20:10:10 +0200
  • f6ccf64788 Basic explanation text UI Arne Keller 2021-08-10 14:42:50 +0200
  • 9773385eab Move hidden tooltip background off useful area Arne Keller 2021-08-10 11:45:40 +0200
  • 90833c37b5 Fix tooltips in case of failed let inference Arne Keller 2021-08-10 11:44:59 +0200
  • 60ee1583fd Fixed Checkstyle uogau 2021-08-09 18:13:07 +0200
  • 760de925f9 added new attributes to equals() and hashCode() uogau 2021-08-09 18:10:47 +0200
  • 9797d13041 Improved documentation for parser and improved error messages see #15 uogau 2021-08-09 18:05:45 +0200
  • c3deae0bcc Add tree texts to bundle (only german) Moritz Dieing 2021-08-09 13:02:32 +0200
  • 6968a4b5f2 Add structure for unification texts Moritz Dieing 2021-08-09 13:02:01 +0200
  • 69479a6368 Fix Var and Const definitions and tooltips Arne Keller 2021-08-08 18:28:22 +0200
  • a7a587a769 Add text to buttons Arne Keller 2021-08-08 17:23:40 +0200
  • e6d00f4561 Suggest end of input in some error messages Arne Keller 2021-08-08 17:16:16 +0200
  • 2817d9009f Merge remote-tracking branch 'origin/master' Robin 2021-07-31 17:55:11 +0200
  • 0e925d1294 Rewrote TypeAssumptionParser for easier error handling Robin 2021-07-31 17:54:56 +0200
  • 51fdcac9d6 Clarify licensing Arne Keller 2021-07-28 18:36:59 +0200
  • ee2de09ccc Update Spring Boot Arne Keller 2021-07-27 15:39:51 +0200
  • 83892dcc66 Include tooltip directly in SVG Arne Keller 2021-07-27 15:28:56 +0200
  • 6df7f0f443 Fix tooltip display in Google Chrome Arne Keller 2021-07-27 13:08:38 +0200
  • c9e8fc7568 Move tooltip when moving the tree Arne Keller 2021-07-27 12:38:36 +0200
  • eff5e4340e Instantiate types in all tooltips Arne Keller 2021-07-26 10:40:40 +0200
  • 19ec6cbc1a Increase ID of let inferred type variables Arne Keller 2021-07-26 10:06:19 +0200
  • c6d80d9324 Implement structure for explanation texts Moritz Dieing 2021-07-24 11:38:24 +0200
  • 6403daad8d Fix checkstyle Arne Keller 2021-07-20 16:37:59 +0200
  • 8c9f2ab67c Instantiate abs step Arne Keller 2021-07-20 15:02:29 +0200
  • 2e2b39c13b Show constraint in tooltip Arne Keller 2021-07-20 09:35:39 +0200
  • ed7ce73679 Friendly error message for "λx.x in x" Arne Keller 2021-07-19 11:24:57 +0200
  • 35013bd819 Show correct tooltips for polymorphic steps Arne Keller 2021-07-19 11:21:54 +0200
  • 08085ad44d Fix parse error for "s:()" Arne Keller 2021-07-19 11:12:58 +0200
  • 5e6cb6ca4c Generate useful error for TA input "s" Arne Keller 2021-07-19 11:06:56 +0200
  • 0285305f13 Refactor ParseError into object instead of enum Arne Keller 2021-07-19 10:56:46 +0200
  • 7310eec398 Exchange and add example term Moritz Dieing 2021-07-18 14:25:21 +0200
  • bf31ae5096 Remove useless type assumption examples Moritz Dieing 2021-07-13 12:07:59 +0200
  • d8fe8dd56a CI: also compile intergation tests Arne Keller 2021-07-12 11:43:34 +0200
  • 3fdec5ff1b Highlight new constraint on step hover Arne Keller 2021-07-12 11:41:12 +0200
  • ab86590a3b Attach index to steps Arne Keller 2021-07-12 11:16:52 +0200
  • b0288a1e3e Focus correct input field on syntax error Arne Keller 2021-07-12 10:09:20 +0200
  • ca2ea6c277 Correct typo Moritz Dieing 2021-07-11 12:02:54 +0200
  • 0cf0333289 Tooltip back-button in exampleDialog Moritz Dieing 2021-07-11 12:01:15 +0200
  • 478cd97706 Update integration tests Moritz Dieing 2021-07-11 11:54:15 +0200
  • 301af06c69 Improve type assumption error messages Arne Keller 2021-07-10 13:01:06 +0200
  • adb10a01aa Fix single step proof tree Arne Keller 2021-07-10 12:47:40 +0200
  • 8be024eb65 Update translations Arne Keller 2021-07-10 12:35:49 +0200
  • 660fe2b5d1 Add test for #2 Arne Keller 2021-07-10 12:28:13 +0200
  • f3f3bbb77d More tests for #9 Arne Keller 2021-07-10 12:23:05 +0200
  • 57064aa5f1 Translation for TokenType.COMMA Arne Keller 2021-07-10 12:18:54 +0200