phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
743 Commits 19 Branches 10 Tags
918151ade519a4dd29c7735dcae62b6c23948598
Commit Graph
743 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Alexander Bentkamp d2fd1c5915 convert tabs to spaces 2022-10-21 14:39:01 +02:00
Alexander Bentkamp 054e28c1ec communicate via JSON RPC 2022-10-21 14:32:36 +02:00
Alexander Bentkamp 2f465b37c7 produce source maps 2022-10-21 11:06:59 +02:00
Alexander Bentkamp 796ebfeaab experiment with json rpc on client 2022-10-20 17:36:48 +02:00
Alexander Bentkamp 303e0d6e94 experiment with jsonrpc on server 2022-10-20 17:26:27 +02:00
Alexander Bentkamp 7623416772 add vs code settings 2022-10-20 11:58:25 +02:00
Alexander Bentkamp 6e9b842f7c more docs 2022-10-19 17:26:37 +02:00
Alexander Bentkamp 723a6e1c1f load environment only once 2022-10-19 17:15:27 +02:00
Alexander Bentkamp fd2a0bf3fd doc 2022-10-19 15:28:28 +02:00
Alexander Bentkamp ec51b47fad clean up dependencies 2022-10-19 15:26:38 +02:00
Alexander Bentkamp d24eca1c0a recompile lean and restart server on file changes 2022-10-19 15:16:31 +02:00
Alexander Bentkamp 05a9232443 add @babel/preset-typescript 2022-10-19 15:00:34 +02:00
Alexander Bentkamp 67cf74429e some documentation 2022-10-19 14:53:43 +02:00
Alexander Bentkamp 3f2fe9072f fix github action 2022-10-19 14:30:25 +02:00
Alexander Bentkamp 84bcdd8c8a fix github action 2022-10-19 14:28:54 +02:00
Alexander Bentkamp c2c04422a9 Add github action 2022-10-19 14:27:37 +02:00
Alexander Bentkamp 7eabc6245e update dependencies 2022-10-19 14:02:22 +02:00
Alexander Bentkamp 6863e10790 convert all files to typescript 2022-10-19 13:56:48 +02:00
Alexander Bentkamp e175733b44 make typescript compilation work 2022-10-19 13:23:20 +02:00
Alexander Bentkamp d3fbfaa548 start adding typescript 2022-10-19 11:58:49 +02:00
Alexander Bentkamp 94a9295554 json without line breaks 2022-10-19 09:40:30 +02:00
Alexander Bentkamp fd2af2fd24 build executable inside docker 
to avoid segmentation fault
 2022-10-19 09:16:57 +02:00
Alexander Bentkamp 121b0d0b8a notes on port 80 2022-10-18 17:26:21 +02:00
Alexander Bentkamp 039464924d use one server for both http and ws 2022-10-18 17:09:53 +02:00
Alexander Bentkamp 4e6c96e6f3 update package-lock 2022-10-18 16:13:41 +02:00
Alexander Bentkamp 732754c9fc rework build process 2022-10-18 16:03:15 +02:00
Alexander Bentkamp b8cea5b0f4 use env variable to distinguish dev and prod 2022-10-18 09:37:32 +02:00
Alexander Bentkamp 866c4b7211 pass in arguments from server js 2022-10-18 09:09:48 +02:00
Alexander Bentkamp d6bd2c98da split off test game 
still need to adapt the call to the lean binary to provide two arguments
 2022-10-17 17:42:52 +02:00
Alexander BentkampandPatrick Massot PatrickMassot@users.noreply.github.com 7563730292 init 
initalize repo

Co-authored-by: Patrick Massot PatrickMassot@users.noreply.github.com
 2022-10-17 15:12:26 +02:00