phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 97dc648452 use goal lctx for hints Alexander Bentkamp 2023-11-30 20:38:25 +0100
  • 472e2c66df remove old-nng tile joneugster 2023-11-30 20:29:47 +0100
  • 622e9d3897
         Update update_game.md v4.3.0-rc2 Jon Eugster 2023-11-30 19:32:38 +0100
  • 7f91ae7da8 Merge branch 'dev' joneugster 2023-11-30 19:29:18 +0100
  • 28a7c65db2 update doc, including #148 joneugster 2023-11-30 19:26:42 +0100
  • 56525c6234 update doc joneugster 2023-11-30 17:39:29 +0100
  • 44f7b6703e Revert "fix variables in hints" joneugster 2023-11-30 12:16:06 +0100
  • 8851cd8b1f fix variables in hints joneugster 2023-11-30 11:18:56 +0100
  • bae360874c json api Alexander Bentkamp 2023-11-30 10:47:55 +0100
  • 07b6525c58 fix local setup joneugster 2023-11-30 09:20:16 +0100
  • 8e8026aa38 more fixing joneugster 2023-11-29 15:17:16 +0100
  • a3a421f504 fix bubblewrap script joneugster 2023-11-29 15:14:00 +0100
  • 084e25c0dc wip on imports joneugster 2023-11-29 14:43:33 +0100
  • 6580afb622 fix names in hints Alexander Bentkamp 2023-11-28 20:51:10 +0100
  • 0c0a7ab400 bubblewrap test joneugster 2023-11-28 16:32:19 +0100
  • dfb2f10219 correct std version joneugster 2023-11-28 16:27:00 +0100
  • a57a5af111 also display loading of constants Alexander Bentkamp 2023-11-28 14:52:56 +0100
  • 946a7fa673 update gitignore joneugster 2023-11-28 14:26:41 +0100
  • 244c373192 model.dispose() Alexander Bentkamp 2023-11-28 14:05:15 +0100
  • 374afa318a fix gameserver path Alexander Bentkamp 2023-11-28 13:55:14 +0100
  • d0636b1d85 update workflow joneugster 2023-11-27 16:50:45 +0100
  • 2e121363b3 update workflow joneugster 2023-11-27 16:47:35 +0100
  • 590d68ccfb gitignore .lake Alexander Bentkamp 2023-11-28 11:40:33 +0100
  • f6727e5c9f loading progress Alexander Bentkamp 2023-11-28 11:40:00 +0100
  • 241ef4b67a bump to v4.3.0-rc2 joneugster 2023-11-28 11:29:40 +0100
  • ea4250f38d modify message of import script joneugster 2023-11-28 11:26:07 +0100
  • 1d2420331d make URL case insensitive joneugster 2023-11-28 11:05:50 +0100
  • 2213862998 disable bad try catch joneugster 2023-11-27 22:48:46 +0100
  • 81073b24b8 fix bubblewrap script joneugster 2023-11-27 22:42:31 +0100
  • bb8be70bcb error: Tried to spawn a new thread, but wasm Alexander Bentkamp 2023-11-27 22:12:37 +0100
  • 33068f1183 improve error message joneugster 2023-11-27 22:10:15 +0100
  • 8ab37d4344 disable queue joneugster 2023-11-27 22:06:16 +0100
  • 9d9902cce1 edit pm2 config joneugster 2023-11-27 21:29:22 +0100
  • f53316c591 fix paths joneugster 2023-11-27 20:57:18 +0100
  • 427ce43e95 fix import mechanism joneugster 2023-11-27 17:22:02 +0100
  • 15d79244d4 update workflow joneugster 2023-11-27 16:50:45 +0100
  • f13027f75c update workflow joneugster 2023-11-27 16:47:35 +0100
  • 5fcdee4f71 import seems to be working joneugster 2023-11-27 16:40:38 +0100
  • 87cbcbc4e0
         Grammar fix in FileWorker.lean #153 Patrick Stevens 2023-11-25 22:49:16 +0000
  • 85fef9373d fix rootUri Alexander Bentkamp 2023-11-24 10:19:34 +0100
  • be34fe9cda didOpen Alexander Bentkamp 2023-11-23 22:07:44 +0100
  • 6d61bc1942 connect to all game watchdog methods Alexander Bentkamp 2023-11-22 20:02:19 +0100
  • 2613c16bbb bump toolchain Alexander Bentkamp 2023-11-22 18:26:16 +0100
  • 926a013b10 more Alexander Bentkamp 2023-11-22 17:58:40 +0100
  • 7ad23dab24 work on importing joneugster 2023-11-22 15:54:45 +0100
  • 89e19cc019 update lean4web and npm packages joneugster 2023-11-22 13:14:18 +0100
  • 4db5260ed8 shrink nng image joneugster 2023-11-20 12:31:37 +0100
  • d19046aebd fix dist path joneugster 2023-11-20 12:27:23 +0100
  • 6e0fcb1d50 fixes for vite joneugster 2023-11-20 11:19:25 +0100
  • 04c70ba522 fix for STG on landing page joneugster 2023-11-18 12:12:19 +0100
  • 1b3993ad3e fix joneugster 2023-11-17 22:45:02 +0100
  • 45a95bbdc4 update landing page joneugster 2023-11-17 22:27:29 +0100
  • 7c9f3d7a0a remove token joneugster 2023-11-17 16:43:42 +0100
  • 823000d5d4 partial implementation of loading mechanism joneugster 2023-11-17 13:10:07 +0100
  • 4e45111dd8 game info Alexander Bentkamp 2023-11-16 20:54:05 +0100
  • 32a2ff3e18 game module import (not quite) Alexander Bentkamp 2023-11-15 21:27:52 +0100
  • 8d29761579 stdout Alexander Bentkamp 2023-11-15 17:49:41 +0100
  • 3ff46aeb54 merge dirs Alexander Bentkamp 2023-11-15 14:41:55 +0100
  • c706b66af1 update doc to use -K option for local setup joneugster 2023-11-14 21:52:23 +0100
  • 3d79c4ea60 connect wasm to monaco Alexander Bentkamp 2023-11-10 20:25:25 +0100
  • 11dde6aad9 more Alexander Bentkamp 2023-11-10 15:34:31 +0100
  • 8a6486bdd5 reverse-ffi IO Alexander Bentkamp 2023-11-10 11:27:09 +0100
  • 933394bb6f
         Update running_locally.md Jon Eugster 2023-11-10 11:16:25 +0100
  • e09c016c4c
         Update update_game.md Jon Eugster 2023-11-10 11:15:53 +0100
  • f6063023b4 reverse-ffi test Alexander Bentkamp 2023-11-10 10:44:37 +0100
  • 06d9656e88
         Update running_locally.md Jon Eugster 2023-11-09 17:30:48 +0100
  • b30164dec4
         Update README.md Jon Eugster 2023-11-09 17:28:58 +0100
  • ea685f0b19
         Update README.md Jon Eugster 2023-11-09 17:27:32 +0100
  • d71b895550
         Update create_game.md Jon Eugster 2023-11-09 17:20:47 +0100
  • 21070af13c
         Update create_game.md Jon Eugster 2023-11-09 17:20:13 +0100
  • 2b9f791655
         Create update_game.md Jon Eugster 2023-11-09 17:18:02 +0100
  • 51ca5354dc
         Update running_locally.md Jon Eugster 2023-11-09 17:04:17 +0100
  • ebcde9d588
         Update create_game.md Jon Eugster 2023-11-09 16:54:06 +0100
  • 335e7e6883
         Update README.md Jon Eugster 2023-11-09 16:51:45 +0100
  • 6f92d61381 fix redirect from landing page in dev container #145 v4.2.0 joneugster 2023-11-09 15:26:53 +0100
  • 506677ee02 bump to v4.2.0 joneugster 2023-11-08 10:36:13 +0100
  • 3d97cff0f4 change to vite v4.1.0 joneugster 2023-10-31 14:56:11 +0100
  • bda1f98693 remove docker isntructions Alexander Bentkamp 2023-10-31 15:35:20 +0100
  • 7e0b82cb14 better handling of breaking connection Alexander Bentkamp 2023-10-31 15:34:54 +0100
  • 22f245df7c
         Merge bea342b2c7 into 918151ade5 #139 Jon Eugster 2023-10-27 19:08:10 +0000
  • bea342b2c7 work on network interruption errors #139 better-timeout joneugster 2023-10-27 21:02:20 +0200
  • 940663f640 improve loading of inventory doc popups #138 joneugster 2023-10-27 18:48:02 +0200
  • 918151ade5 npm audit joneugster 2023-10-27 14:07:24 +0200
  • c2b5754371 Merge branch 'refactor' joneugster 2023-10-27 14:05:25 +0200
  • d1cd0f80fd refactor app_bar joneugster 2023-10-27 14:03:25 +0200
  • d52d63020c fix dropdown on safari joneugster 2023-10-27 14:00:54 +0200
  • efdc9ee536
         Merge pull request #132 from pitmonticone/main TentativeConvert 2023-10-27 09:54:24 +0200
  • 9b8e84cc9c Update landing_page.tsx #132 Pietro Monticone 2023-10-26 17:24:49 +0200
  • 3416b32ddc Update FileWorker.lean Pietro Monticone 2023-10-26 17:19:53 +0200
  • 2951747d1a Update EnvExtensions.lean Pietro Monticone 2023-10-26 17:19:49 +0200
  • f0f998298f Update Commands.lean Pietro Monticone 2023-10-26 17:19:47 +0200
  • c4dc48292a Update running_locally.md Pietro Monticone 2023-10-26 17:19:44 +0200
  • d3a450f5b1 Update npm_scripts.md Pietro Monticone 2023-10-26 17:19:40 +0200
  • fe8f8b6df3 Update DOCUMENTATION.md Pietro Monticone 2023-10-26 17:19:37 +0200
  • 207bb88c59 Update create_game.md Pietro Monticone 2023-10-26 17:19:33 +0200
  • 5c41d5c83c Merge branch 'main' into refactor joneugster 2023-10-24 11:39:50 +0200
  • 8e4c993bd7 fix Exercise statement joneugster 2023-10-24 09:39:32 +0200
  • 787d010b6c cleanup app_bar.tsx joneugster 2023-10-23 21:07:33 +0200
  • e740027144 move css files joneugster 2023-10-23 18:07:55 +0200
  • 53e015a2fe cleanup app.tsx joneugster 2023-10-23 18:00:42 +0200