phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
185 Commits 19 Branches 10 Tags
f2a31d2baa928e3abcd827971b50dbeeb637f5e4
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Bentkamp f2a31d2baa fix css 2023-01-24 10:35:52 +01:00
Alexander Bentkamp 44d6560f27 start replacing mui by custom css 2023-01-23 15:59:09 +01:00
Alexander Bentkamp 8e3af92c03 simplify infoview 2023-01-20 16:44:45 +01:00
Alexander Bentkamp cdb2b64385 import the lean4 infoview so that we can modify it 2023-01-20 15:49:17 +01:00
Alexander Bentkamp 5ff9e5e26c reinsert vscode infoview 2023-01-20 13:57:23 +01:00
Alexander Bentkamp edc49184a6 fix #8 2023-01-20 13:57:04 +01:00
Alexander Bentkamp 719b8d2964 World names 
Closes #7
 2023-01-20 11:36:44 +01:00
Alexander Bentkamp 6e0469d3bf world titles 2023-01-19 17:43:36 +01:00
Alexander Bentkamp f98ff9fa10 lake exe cache get 2023-01-19 17:00:16 +01:00
Alexander Bentkamp 206152a07c save progress in local storage 2023-01-19 16:10:08 +01:00
Alexander Bentkamp 5fa49551ee keep alive message for websocket 2023-01-19 15:18:58 +01:00
Alexander Bentkamp fd0c421d84 home button 2023-01-19 12:29:07 +01:00
Alexander Bentkamp b02d55de34 track completed levels 2023-01-09 17:00:15 +01:00
Alexander Bentkamp 9f19352047 insert proper keys in lists 2022-12-23 09:14:58 +01:00
Alexander Bentkamp 49159c9761 useEditorUri, hide server crash messages 2022-12-22 16:11:27 +01:00
Alexander Bentkamp 53bed75036 fix bug of nonupdating level title 2022-12-21 15:16:38 +01:00
Alexander Bentkamp 306c76e500 jump to end position when loading a level 2022-12-21 12:42:08 +01:00
Alexander Bentkamp fd59e2067b loading icon for goals 2022-12-21 12:37:50 +01:00
Alexander Bentkamp adc6284d4c unmount editor properly 2022-12-20 17:24:36 +01:00
Alexander Bentkamp 4fd5710b9d use correct jsx capitalization 2022-12-20 16:32:19 +01:00
Alexander Bentkamp 56bf360ef5 close rpc sessions properly 2022-12-20 12:45:44 +01:00
Alexander Bentkamp ad6f907d17 load number of levels from server 2022-12-20 12:06:35 +01:00
Alexander Bentkamp 3117182494 fix dockerfile 2022-12-19 14:11:28 +01:00
Alexander Bentkamp 860a608399 data? 2022-12-19 13:56:47 +01:00
Alexander Bentkamp 91c77a0d93 set titles 2022-12-15 14:18:21 +01:00
Alexander Bentkamp 340700aba4 check completed when changing level 2022-12-15 14:02:24 +01:00
Alexander Bentkamp bbfb6f8f5e use ReactMarkdown plugins 2022-12-15 13:40:45 +01:00
Alexander Bentkamp ada40dcf34 Merge branch 'main' of github.com:hhu-adam/lean4game 2022-12-15 12:04:43 +01:00
Alexander Bentkamp 9a4abe6f80 dispose editor 2022-12-15 12:04:40 +01:00
Alexander Bentkamp 08c6ab897c reliable level completed message 2022-12-14 16:59:46 +01:00
Alexander Bentkamp 60b09c81fe diagnostics for simple infoview 2022-12-14 16:31:48 +01:00
Alexander Bentkamp 3fd3a12370 Merge branch 'main' of github.com:hhu-adam/lean4game 2022-12-14 15:30:57 +01:00
Alexander Bentkamp e88dc0eb71 unify hints and messages 2022-12-14 15:30:54 +01:00
Alexander Bentkamp 32b9d028a7 save state of code 2022-12-14 14:02:57 +01:00
Alexander Bentkamp 4114cbc304 remove button 2022-12-14 12:23:42 +01:00
Alexander Bentkamp 83bbcd850e use svg for overview 2022-12-14 12:22:46 +01:00
Alexander Bentkamp 0ec9cadb13 display errors 2022-12-13 11:02:32 +01:00
Alexander Bentkamp a5d2242ef9 add task gutter 2022-12-12 17:12:21 +01:00
Alexander Bentkamp cd18884885 fix 2022-12-12 17:07:37 +01:00
Alexander Bentkamp b5e1d38341 allow hot reloading in level 2022-12-12 16:34:25 +01:00
Alexander Bentkamp 4c135aa6ae load level using rtk 2022-12-12 16:28:07 +01:00
Alexander Bentkamp c6d8b35806 set up rtk query 2022-12-09 17:20:03 +01:00
Alexander Bentkamp 4cb129c2f3 remove old server code 2022-12-09 15:28:01 +01:00
Alexander Bentkamp f4603f5b4b add TODO 2022-12-07 18:45:29 +01:00
Alexander Bentkamp 6cbe80b3c0 fix routing 2022-12-07 18:34:14 +01:00
Alexander Bentkamp 7fab8878fc navigate to worlds when clicking on graph 2022-12-07 18:32:18 +01:00
Alexander Bentkamp 894d2708d8 add world parameter to router 2022-12-07 18:24:26 +01:00
Alexander Bentkamp 0eacf1339b Merge branch 'main' of github.com:hhu-adam/lean4game 2022-12-07 12:35:58 +01:00
Alexander Bentkamp 8dbdfb0f4d routing for level 2022-12-07 12:35:54 +01:00
Alexander Bentkamp b8a8180d7e use react router, reorganize leanClient connection 2022-12-07 12:29:05 +01:00
Alexander Bentkamp 957538dcb2 make sure that variables are only used once for messages 2022-12-06 11:09:58 +01:00
Alexander Bentkamp 7df5758d69 match assumptions for messages 2022-12-06 10:36:30 +01:00
Alexander Bentkamp 9f5fdbe35b avoid unknown free variable error in messages 2022-12-06 09:58:45 +01:00
Alexander Bentkamp f4508d81af update lean 2022-12-05 16:56:42 +01:00
Alexander Bentkamp eda5357723 enableInitializersExecution 2022-12-05 16:25:20 +01:00
Alexander Bentkamp 0a495984aa check trigger for messages 2022-12-02 12:46:16 +01:00
Alexander Bentkamp 854ac6ee55 display messages (displaying all of them immediately for now) 2022-12-02 09:57:34 +01:00
Alexander Bentkamp 4acd791fd7 Merge branch 'main' of github.com:hhu-adam/lean4game 2022-12-01 17:24:46 +01:00
Alexander Bentkamp 75c37bc8b7 always display initial goal 2022-12-01 17:24:44 +01:00
Alexander Bentkamp 0273d6a465 fix server error due to missing info tree in header snap 2022-11-30 17:28:11 +01:00
Alexander Bentkamp 4157dc0564 improve custom goal display 2022-11-30 16:15:10 +01:00
Alexander Bentkamp ef63f40531 custom goal display 2022-11-30 14:40:20 +01:00
Alexander Bentkamp d78a8fafa4 start custom infoview 2022-11-30 12:15:54 +01:00
Alexander Bentkamp bd3e3678d5 fix for React StrictMode 2022-11-30 08:58:24 +01:00
Alexander Bentkamp cc6eb8c3f9 use redux 2022-11-29 17:06:20 +01:00
Alexander Bentkamp 50339da74f use cytoscape 2022-11-28 15:50:58 +01:00
Alexander Bentkamp 5cb0ff4ccf install libatomic1 in Docker 2022-11-28 14:44:19 +01:00
Alexander Bentkamp 071871b696 copy action from lean4web 2022-11-28 14:23:59 +01:00
Alexander Bentkamp 52bcce6152 move libatomic1 first 2022-11-28 14:10:57 +01:00
Alexander Bentkamp 292bf9befc try to fix github action 2022-11-28 14:01:35 +01:00
Alexander Bentkamp 91d41cdd6d define paths 2022-11-28 14:00:21 +01:00
Alexander Bentkamp 375fffcff7 attempt to fix github action 2022-11-28 12:24:11 +01:00
Alexander Bentkamp bc9531a9c2 add worlds 2022-11-28 11:17:14 +01:00
Alexander Bentkamp c8b8fc098b rearrange layout 2022-11-25 15:06:50 +01:00
Alexander Bentkamp cede6630dc show introduction 2022-11-25 13:49:12 +01:00
Alexander Bentkamp 43d671713d level navigation 2022-11-25 10:09:15 +01:00
Alexander Bentkamp 8fd6b3e015 load levels via uri 2022-11-25 09:53:21 +01:00
Alexander Bentkamp 4d9e1ba7d7 infoview 2022-11-24 15:52:44 +01:00
Alexander Bentkamp f6bf1924ff save and load levels as syntax 2022-11-24 15:37:35 +01:00
Alexander Bentkamp 9b76b4aed3 fix paths without lake 2022-11-24 14:41:38 +01:00
Alexander Bentkamp 77a8c4750e fix path issues 2022-11-24 14:38:35 +01:00
Alexander Bentkamp 7ae299870b use LeanClient 2022-11-24 13:03:02 +01:00
Alexander Bentkamp 7e78445c43 import editor 2022-11-23 12:51:21 +01:00
Alexander Bentkamp d5fcf148fe load level 2022-11-23 10:52:55 +01:00
Alexander Bentkamp c06fa4c6ff load testgame 2022-11-23 09:08:39 +01:00
Alexander Bentkamp 9a86adb17e rudimentary info request 2022-11-17 16:38:26 +01:00
Alexander Bentkamp 3fd22a8aa9 use full jsonrpc protocol 2022-11-17 15:06:58 +01:00
Alexander Bentkamp 5e64ef848d use wss protocol 2022-11-16 11:52:52 +01:00
Alexander Bentkamp 6acc8e0969 more notes 2022-11-16 11:52:18 +01:00
Alexander Bentkamp 8f875c3bf0 add port to pm2 config 2022-11-16 11:48:39 +01:00
Alexander Bentkamp aafaa0e01f fix ecosystem file 2022-11-16 11:47:12 +01:00
Alexander Bentkamp 0a2b6b4e5f add pm2 ecosystem file 2022-11-16 11:44:42 +01:00
Alexander Bentkamp 81099a5898 more notes 2022-11-15 17:49:35 +01:00
Alexander Bentkamp 11bf628464 Merge branch 'main' of github.com:hhu-adam/lean4game into main 2022-11-15 11:22:22 +01:00
Alexander Bentkamp e8b14d64fa notes subdomain 2022-11-15 11:22:19 +01:00
Alexander Bentkamp 23f088b8bb more notes 2022-11-03 16:09:50 +01:00
Alexander Bentkamp 7cfaca4c5d more notes 2022-11-03 15:04:18 +01:00
Alexander Bentkamp 9e32566eff more notes 2022-11-03 14:59:07 +01:00
Alexander Bentkamp b68f8ecb7b Merge branch 'json-rpc' into main 2022-10-27 17:35:09 +02:00
Alexander Bentkamp a29810eff5 update notes 2022-10-27 17:34:25 +02:00