Commit Graph

Select branches

Hide Pull Requests

add_game_knights

better-timeout

bump_v4.8.0

check_upload_size

cleanup_stuff

dev

joneugster-patch-1

joneugster-patch-1-1

main

mobile-option

nowatchdog

server_capacity

stats

ubuntu-test

v4.5.0-bump

v4.6.0-bump

wasm

wasm2

world_overviews

#116

#118

#120

#129

#129

#132

#139

#139

#153

#159

#166

#167

#168

#181

#182

#184

#185

#186

#203

#204

#205

#206

#220

#224

#234

#236

#244

#248

#250

#251

#251

#253

#259

#260

#261

#262

#262

#266

#266

#267

#268

#269

#274

#274

#279

#279

#280

#281

#283

#285

#285

#287

#288

#288

#43

#53

#54

#68

#79

#83

#99

v4.1.0

v4.2.0

v4.3.0

v4.3.0-rc2

v4.4.0

v4.4.0-rc1

v4.5.0

v4.6.0

v4.6.1

v4.7.0

Mono Color

• 4cb129c2f3 remove old server code Alexander Bentkamp 2022-12-09 15:28:01 +01:00
• f4603f5b4b add TODO Alexander Bentkamp 2022-12-07 18:45:29 +01:00
• 6cbe80b3c0 fix routing Alexander Bentkamp 2022-12-07 18:34:14 +01:00
• 7fab8878fc navigate to worlds when clicking on graph Alexander Bentkamp 2022-12-07 18:32:18 +01:00
• 894d2708d8 add world parameter to router Alexander Bentkamp 2022-12-07 18:24:26 +01:00
• 0eacf1339b Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-07 12:35:58 +01:00
• 8dbdfb0f4d routing for level Alexander Bentkamp 2022-12-07 12:35:54 +01:00
• b8a8180d7e use react router, reorganize leanClient connection Alexander Bentkamp 2022-12-07 12:29:05 +01:00
• 8de1eea548 Update README.md Jon Eugster 2022-12-06 19:38:10 +01:00
• 87f943a08c levels: negation, nat-basics Jon Eugster 2022-12-06 19:33:29 +01:00
• a91c9d0af7 Merge branch 'main' of github.com:leanprover-community/lean4game into main Jon Eugster 2022-12-06 11:14:28 +01:00
• b61ffb4499 more levels. lake-packages Jon Eugster 2022-12-06 11:14:24 +01:00
• 957538dcb2 make sure that variables are only used once for messages Alexander Bentkamp 2022-12-06 11:09:58 +01:00
• 7df5758d69 match assumptions for messages Alexander Bentkamp 2022-12-06 10:36:30 +01:00
• 9f5fdbe35b avoid unknown free variable error in messages Alexander Bentkamp 2022-12-06 09:58:45 +01:00
• 80e1c6f5e0 Merge branch 'main' of github.com:leanprover-community/lean4game into main Jon Eugster 2022-12-06 09:50:37 +01:00
• c6cd627eec Merge branch 'main' of github.com:leanprover-community/lean4game Jon 2022-12-06 09:50:04 +01:00
• 2509ab96d6 . Jon Eugster 2022-12-06 09:40:06 +01:00
• ec45f6d0ca Merge branch 'jon-wip' into main Jon Eugster 2022-12-06 09:30:16 +01:00
• f4508d81af update lean Alexander Bentkamp 2022-12-05 16:56:42 +01:00
• eda5357723 enableInitializersExecution Alexander Bentkamp 2022-12-05 16:25:20 +01:00
• cde0e95c1e more levels Jon 2022-12-05 11:40:44 +01:00
• 0a495984aa check trigger for messages Alexander Bentkamp 2022-12-02 12:46:16 +01:00
• 854ac6ee55 display messages (displaying all of them immediately for now) Alexander Bentkamp 2022-12-02 09:57:34 +01:00
• 4acd791fd7 Merge branch 'main' of github.com:hhu-adam/lean4game Alexander Bentkamp 2022-12-01 17:24:46 +01:00
• 75c37bc8b7 always display initial goal Alexander Bentkamp 2022-12-01 17:24:44 +01:00
• daa45e4f9e small fixes Jon Eugster 2022-12-01 16:37:24 +01:00
• 7091f8adac Add introductory levels Jon Eugster 2022-12-01 16:00:18 +01:00
• 9e8518568a more levels Jon Eugster 2022-12-01 15:57:55 +01:00
• 63b9c6cbb6 wip Jon Eugster 2022-12-01 14:04:20 +01:00
• 0273d6a465 fix server error due to missing info tree in header snap Alexander Bentkamp 2022-11-30 17:28:11 +01:00
• 4157dc0564 improve custom goal display Alexander Bentkamp 2022-11-30 16:15:10 +01:00
• ef63f40531 custom goal display Alexander Bentkamp 2022-11-30 14:40:20 +01:00
• d78a8fafa4 start custom infoview Alexander Bentkamp 2022-11-30 12:15:54 +01:00
• bd3e3678d5 fix for React StrictMode Alexander Bentkamp 2022-11-30 08:58:24 +01:00
• 5bf0cd9775 first_levels Jon Eugster 2022-11-29 17:11:17 +01:00
• cc6eb8c3f9 use redux Alexander Bentkamp 2022-11-29 17:06:20 +01:00
• e43a2e2e9f wip Jon Eugster 2022-11-28 17:48:45 +01:00
• 50339da74f use cytoscape Alexander Bentkamp 2022-11-28 15:50:58 +01:00
• 5cb0ff4ccf install libatomic1 in Docker Alexander Bentkamp 2022-11-28 14:44:19 +01:00
• 071871b696 copy action from lean4web Alexander Bentkamp 2022-11-28 14:23:59 +01:00
• 52bcce6152 move libatomic1 first Alexander Bentkamp 2022-11-28 14:10:57 +01:00
• 292bf9befc try to fix github action Alexander Bentkamp 2022-11-28 14:01:35 +01:00
• 91d41cdd6d define paths Alexander Bentkamp 2022-11-28 14:00:21 +01:00
• 375fffcff7 attempt to fix github action Alexander Bentkamp 2022-11-28 12:24:11 +01:00
• bc9531a9c2 add worlds Alexander Bentkamp 2022-11-28 11:17:14 +01:00
• c8b8fc098b rearrange layout Alexander Bentkamp 2022-11-25 15:06:50 +01:00
• cede6630dc show introduction Alexander Bentkamp 2022-11-25 13:49:12 +01:00
• 43d671713d level navigation Alexander Bentkamp 2022-11-25 10:09:15 +01:00
• 8fd6b3e015 load levels via uri Alexander Bentkamp 2022-11-25 09:53:21 +01:00
• 4d9e1ba7d7 infoview Alexander Bentkamp 2022-11-24 15:52:44 +01:00
• f6bf1924ff save and load levels as syntax Alexander Bentkamp 2022-11-24 15:37:35 +01:00
• 9b76b4aed3 fix paths without lake Alexander Bentkamp 2022-11-24 14:41:38 +01:00
• 77a8c4750e fix path issues Alexander Bentkamp 2022-11-24 14:38:35 +01:00
• 7ae299870b use LeanClient Alexander Bentkamp 2022-11-24 13:03:02 +01:00
• 7e78445c43 import editor Alexander Bentkamp 2022-11-23 12:51:21 +01:00
• d5fcf148fe load level Alexander Bentkamp 2022-11-23 10:52:55 +01:00
• c06fa4c6ff load testgame Alexander Bentkamp 2022-11-23 09:08:39 +01:00
• 9a86adb17e rudimentary info request Alexander Bentkamp 2022-11-17 16:38:26 +01:00
• 3fd22a8aa9 use full jsonrpc protocol Alexander Bentkamp 2022-11-17 15:06:58 +01:00
• 5e64ef848d use wss protocol Alexander Bentkamp 2022-11-16 11:52:52 +01:00
• 6acc8e0969 more notes Alexander Bentkamp 2022-11-16 11:52:18 +01:00
• 8f875c3bf0 add port to pm2 config Alexander Bentkamp 2022-11-16 11:48:39 +01:00
• aafaa0e01f fix ecosystem file Alexander Bentkamp 2022-11-16 11:47:12 +01:00
• 0a2b6b4e5f add pm2 ecosystem file Alexander Bentkamp 2022-11-16 11:44:42 +01:00
• 81099a5898 more notes Alexander Bentkamp 2022-11-15 17:49:35 +01:00
• 11bf628464 Merge branch 'main' of github.com:hhu-adam/lean4game into main Alexander Bentkamp 2022-11-15 11:22:22 +01:00
• e8b14d64fa notes subdomain Alexander Bentkamp 2022-11-15 11:22:19 +01:00
• 23f088b8bb more notes Alexander Bentkamp 2022-11-03 16:09:50 +01:00
• 7cfaca4c5d more notes Alexander Bentkamp 2022-11-03 15:04:18 +01:00
• 9e32566eff more notes Alexander Bentkamp 2022-11-03 14:59:07 +01:00
• b68f8ecb7b Merge branch 'json-rpc' into main Alexander Bentkamp 2022-10-27 17:35:09 +02:00
• a29810eff5 update notes Alexander Bentkamp 2022-10-27 17:34:25 +02:00
• d2fd1c5915 convert tabs to spaces Alexander Bentkamp 2022-10-21 14:39:01 +02:00
• 054e28c1ec communicate via JSON RPC Alexander Bentkamp 2022-10-21 14:32:36 +02:00
• 2f465b37c7 produce source maps Alexander Bentkamp 2022-10-21 11:06:59 +02:00
• 796ebfeaab experiment with json rpc on client Alexander Bentkamp 2022-10-20 17:36:48 +02:00
• 303e0d6e94 experiment with jsonrpc on server Alexander Bentkamp 2022-10-20 17:26:27 +02:00
• 7623416772 add vs code settings Alexander Bentkamp 2022-10-20 11:58:25 +02:00
• 6e9b842f7c more docs Alexander Bentkamp 2022-10-19 17:26:37 +02:00
• 723a6e1c1f load environment only once Alexander Bentkamp 2022-10-19 17:15:27 +02:00
• fd2a0bf3fd doc Alexander Bentkamp 2022-10-19 15:28:28 +02:00
• ec51b47fad clean up dependencies Alexander Bentkamp 2022-10-19 15:26:38 +02:00
• d24eca1c0a recompile lean and restart server on file changes Alexander Bentkamp 2022-10-19 15:16:31 +02:00
• 05a9232443 add @babel/preset-typescript Alexander Bentkamp 2022-10-19 15:00:34 +02:00
• 67cf74429e some documentation Alexander Bentkamp 2022-10-19 14:53:43 +02:00
• 3f2fe9072f fix github action Alexander Bentkamp 2022-10-19 14:30:25 +02:00
• 84bcdd8c8a fix github action Alexander Bentkamp 2022-10-19 14:28:54 +02:00
• c2c04422a9 Add github action Alexander Bentkamp 2022-10-19 14:27:37 +02:00
• 7eabc6245e update dependencies Alexander Bentkamp 2022-10-19 14:02:22 +02:00
• 6863e10790 convert all files to typescript Alexander Bentkamp 2022-10-19 13:56:48 +02:00
• e175733b44 make typescript compilation work Alexander Bentkamp 2022-10-19 13:23:20 +02:00
• d3fbfaa548 start adding typescript Alexander Bentkamp 2022-10-19 11:58:49 +02:00
• 94a9295554 json without line breaks Alexander Bentkamp 2022-10-19 09:40:30 +02:00
• fd2af2fd24 build executable inside docker Alexander Bentkamp 2022-10-19 09:16:57 +02:00
• 121b0d0b8a notes on port 80 Alexander Bentkamp 2022-10-18 17:26:21 +02:00
• 039464924d use one server for both http and ws Alexander Bentkamp 2022-10-18 17:09:53 +02:00
• 4e6c96e6f3 update package-lock Alexander Bentkamp 2022-10-18 16:13:41 +02:00
• 732754c9fc rework build process Alexander Bentkamp 2022-10-18 16:03:15 +02:00
• b8cea5b0f4 use env variable to distinguish dev and prod Alexander Bentkamp 2022-10-18 09:37:32 +02:00