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

Commit Graph

  • 2715179182 Fix syntax error return in parenthesised term Arne Keller 2021-07-10 12:17:47 +0200
  • 7d4c724338 Change type assumptions permalink format Arne Keller 2021-07-10 12:10:54 +0200
  • c9cc12e922 Remove ParseError.TOO_FEW_TOKENS Arne Keller 2021-07-09 13:10:12 +0200
  • 4b4f38ad31 ErrorView: handle unexpected EOF token Arne Keller 2021-07-09 13:02:19 +0200
  • f87a6820cc Fix checkstyle Arne Keller 2021-07-09 12:56:22 +0200
  • e2c874de5f Scoping ID to highlight type variables Arne Keller 2021-07-09 12:46:24 +0200
  • 1b70e374ac Correctly scope variables in type assumptions Arne Keller 2021-07-09 12:46:04 +0200
  • 394b5a3d23 Reject duplicate quantified type variables Arne Keller 2021-07-09 12:26:18 +0200
  • df218d8be8 Set content in LocaleChangeEvent listener Arne Keller 2021-07-09 12:18:26 +0200
  • 5ddfb355c2 Update info dialog Moritz Dieing 2021-07-05 21:16:47 +0200
  • 60235bd757 Separate example assumptions by commas Moritz Dieing 2021-07-05 21:14:21 +0200
  • d1ea244254 Merge remote-tracking branch 'origin/master' Arne Keller 2021-07-05 19:03:40 +0200
  • 6c9aca3eb6 Add test for part of #9 Arne Keller 2021-07-05 19:03:05 +0200
  • 5eb5cd1a6e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc Moritz Dieing 2021-07-05 18:01:40 +0200
  • 1581985400 Add type assumption examples Moritz Dieing 2021-07-05 18:01:38 +0200
  • c28576175a Merge remote-tracking branch 'origin/master' Arne Keller 2021-07-05 12:28:45 +0200
  • df3f24548a Use state machine to parse type assumptions Arne Keller 2021-07-05 12:21:55 +0200
  • 93ec136970 Show expected input in UI Arne Keller 2021-07-05 09:41:37 +0200
  • f6d0777fd0 Save expected input type in ParseError Arne Keller 2021-07-05 09:35:13 +0200
  • 507d78e17f Fix key shortcut to select input field Arne Keller 2021-07-05 09:28:03 +0200
  • 9c8d9423fc Add test for 7fb33b8 Arne Keller 2021-07-05 09:25:55 +0200
  • 8dd5753ee0 Highlight each type variable separately Arne Keller 2021-07-05 09:17:37 +0200
  • a0ae4f08b6 Fix type assumption highlight in let Arne Keller 2021-07-05 08:57:05 +0200
  • 6f2c6b3481 Error messages now show whether the error is in the Term or the Type Assumptions uogau 2021-07-02 16:46:01 +0200
  • 7243719667 Merge remote-tracking branch 'origin/master' uogau 2021-07-02 16:10:59 +0200
  • 700f4bbde5 Error messages for Type Assumptions now show up correctly uogau 2021-07-02 16:10:49 +0200
  • 116aea51c3 Replace variables in MGU properly Arne Keller 2021-07-02 15:13:10 +0200
  • 480275e3a7 Semantic highlighting of variables Arne Keller 2021-07-02 14:57:25 +0200
  • 30b14a2e1a Merge remote-tracking branch 'origin/master' Arne Keller 2021-07-02 14:49:49 +0200
  • 99e1eef0bc Calculate scope of VarTerms Arne Keller 2021-07-02 14:48:51 +0200
  • f928b2bae3 Optimise type assumption syntax Moritz Dieing 2021-07-02 14:47:25 +0200
  • dc69e14c04 Fix tree layout on some inputs Arne Keller 2021-07-01 08:05:39 +0200
  • 1a988e1b7a Highlight types in unification too Arne Keller 2021-06-30 19:18:03 +0200
  • 72c1823763 Step definition tooltips Arne Keller 2021-06-29 16:27:25 +0200
  • 5a79fc64de Another type assumption parser test Arne Keller 2021-06-29 14:50:42 +0200
  • 602f6e04c4 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc Moritz Dieing 2021-06-29 12:41:55 +0200
  • 8463a26f97 Reduce upper bar height Moritz Dieing 2021-06-29 12:41:48 +0200
  • fea2b7035a Removed unnecessary information in error changed spacing in error message "Term" instead of "Input" uogau 2021-06-29 12:25:35 +0200
  • 3477bff512 Fixed off by one error for english error message uogau 2021-06-29 12:07:19 +0200
  • e621875ea4 Step label hover effect (PoC) Arne Keller 2021-06-28 14:46:22 +0200
  • 5b4bf4f583 Vaadin 19.0.9 again Arne Keller 2021-06-28 14:29:10 +0200
  • 8edeecbb8b Vaadin: 19 -> 19.0.9 Arne Keller 2021-06-28 14:20:42 +0200
  • 99c0e8332d Update InfoDialog and HelpDialog Moritz Dieing 2021-06-22 15:29:18 +0200
  • 41479483f2 Highlight variables on hover Arne Keller 2021-06-22 09:44:03 +0200
  • 70ce558cd0 CI: build-test-package pipeline Arne Keller 2021-06-21 09:24:31 +0000
  • 5a303edf0d Update .gitlab-ci.yml file ci-pipelined-3 Arne Keller 2021-06-21 09:24:31 +0000
  • 74c21773d4 Only use hover classes when using Mathjax Arne Keller 2021-06-21 11:12:02 +0200
  • 916f73927d Highlighting of types on hover Arne Keller 2021-06-21 10:53:03 +0200
  • 5cabe75933 Systemd configuration file Arne Keller 2021-06-21 10:14:28 +0200
  • 5763c6b4ee Handly empty type assumptions Arne Keller 2021-06-18 15:22:24 +0200
  • 87fd783025 Tweak syntax and display of type assumptions Arne Keller 2021-06-18 15:16:07 +0200
  • 02f2216265 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc Moritz Dieing 2021-06-18 13:34:34 +0200
  • 9ad8831ff2 Exchange TypeAssumption-Dialog with Textfield Moritz Dieing 2021-06-18 13:34:26 +0200
  • 08c3322fbb Small fix for last Commit uogau 2021-06-18 13:28:50 +0200
  • 3a443d848a Error messages now show where the error is uogau 2021-06-18 13:24:51 +0200
  • a79d41b6e8 Accept special characters around type varibles Arne Keller 2021-06-17 17:24:05 +0200
  • ce881354a0 Test quantified type assumptions Arne Keller 2021-06-17 09:00:30 +0200
  • b55c63acc0 Implement quantified variables in type assumptions Arne Keller 2021-06-17 08:45:28 +0200
  • 7736a12b8d Remove automatically generated pnpm-lock.yaml Arne Keller 2021-06-17 08:43:21 +0200
  • f6a790009f CI: quiet download logs Arne Keller 2021-06-17 08:37:54 +0200
  • e1845f8c85 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc Moritz Dieing 2021-06-16 15:38:06 +0200
  • 9df9e657e1 Restructure upper bar Moritz Dieing 2021-06-16 15:37:35 +0200
  • 289e97f254 CI: use nix-shell Arne Keller 2021-06-15 12:25:59 +0200
  • 884e82dab1 and a python3 package ci-try-nix Arne Keller 2021-06-15 12:24:36 +0200
  • 238a9697d5 apparently Vaadin requires which Arne Keller 2021-06-15 12:22:20 +0200
  • c41987bc90 node Arne Keller 2021-06-15 12:19:26 +0200
  • 30900c6a16 CI: use nixpkgs Arne Keller 2021-06-15 12:17:06 +0200
  • b02c5d8b9e CI: use helper scripts in repo Arne Keller 2021-06-15 11:58:01 +0200
  • e4f5727683 Reduce min height of proof tree Arne Keller 2021-04-04 17:39:49 +0200
  • 94c70ea864 Link to the repository Arne Keller 2021-03-31 15:01:01 +0200
  • bdbc53efbc Fix width of type inference rules Arne Keller 2021-03-17 16:18:27 +0100
  • c1f14764c6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc Johanna Stuber 2021-03-14 13:03:07 +0100
  • 7ba30b4ef5 add sentence to error view Johanna Stuber 2021-03-14 13:02:34 +0100
  • 18c64528f9 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc ucrhh 2021-03-14 11:53:36 +0100
  • 29caff2ead fix bug with unification translation ucrhh 2021-03-14 11:53:10 +0100
  • 392488ad8e Scripts used in CI Arne Keller 2021-03-14 11:08:33 +0100
  • 0b780af138 GPLv3 licensing Arne Keller 2021-03-14 10:00:22 +0000
  • 4e10893448 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc Johanna Stuber 2021-03-14 10:52:28 +0100
  • 276353a41f todos Johanna Stuber 2021-03-14 10:52:04 +0100
  • e81a532341 fix styling ucrhh 2021-03-14 10:22:17 +0100
  • 3f935bf29b Update Slideshow Moritz Dieing 2021-03-14 00:55:40 +0100
  • 780d632d8a Codestyle Arne Keller 2021-03-13 15:34:59 +0100
  • 9aa4ae9e56 IT for error view Moritz Dieing 2021-03-13 14:56:48 +0100
  • 3110aa8bc0 tokentype english translation Moritz Dieing 2021-03-13 14:47:20 +0100
  • 3dd79320be make example buttons refresh on locale change ucrhh 2021-03-13 12:26:23 +0100
  • dc60c58011 Add unit tests for new changes Arne Keller 2021-03-12 20:23:45 +0100
  • f95ff0721a Simple ITs for Info- and HelpDialog Moritz Dieing 2021-03-12 15:55:32 +0100
  • c1fa4b8663 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc ucrhh 2021-03-12 13:32:44 +0100
  • 06bc2d020e fill in possible path for jacoco agent ucrhh 2021-03-12 13:32:30 +0100
  • 7a6e0844e6 Document test coverage report location Arne Keller 2021-03-12 13:31:46 +0100
  • daf3fb51e6 Add package to integration test instructions Arne Keller 2021-03-12 13:13:08 +0100
  • caeb2fca84 Limit scope of close shortcut in type assumptions Arne Keller 2021-03-12 11:22:37 +0100
  • 002f402691 Integration tests: run asserts last Arne Keller 2021-03-12 11:07:26 +0100
  • ba8d221a42 Tooltip on entire plus button Arne Keller 2021-03-12 10:59:50 +0100
  • 8e5639040a Document manual test coverage Arne Keller 2021-03-12 10:43:46 +0100
  • db5856b360 Include manual report data Arne Keller 2021-03-12 10:42:14 +0100
  • 9a3b5586a6 make help icon white ucrhh 2021-03-12 10:37:19 +0100
  • 075d432c3b Integration tests coverage Arne Keller 2021-03-12 08:35:03 +0100
  • 2eaf3eff15 Fix width of type inference rules Arne Keller 2021-03-11 17:10:15 +0100
  • ebd6abb461 optimize texts Johanna Stuber 2021-03-11 16:44:09 +0100