phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
731 Commits 19 Branches 10 Tags
d52d63020cc6eaa236f47ba4b71723dbaf968461
Commit Graph
731 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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