Alexander Bentkamp
|
bae360874c
|
json api
|
3 years ago |
joneugster
|
07b6525c58
|
fix local setup
|
3 years ago |
|
joneugster
|
8e8026aa38
|
more fixing
|
3 years ago |
|
joneugster
|
a3a421f504
|
fix bubblewrap script
|
3 years ago |
|
joneugster
|
084e25c0dc
|
wip on imports
|
3 years ago |
|
Alexander Bentkamp
|
374afa318a
|
fix gameserver path
|
3 years ago |
|
joneugster
|
1d2420331d
|
make URL case insensitive
|
3 years ago |
|
joneugster
|
2213862998
|
disable bad try catch
|
3 years ago |
|
joneugster
|
33068f1183
|
improve error message
|
3 years ago |
|
joneugster
|
8ab37d4344
|
disable queue
|
3 years ago |
|
joneugster
|
427ce43e95
|
fix import mechanism
|
3 years ago |
|
joneugster
|
5fcdee4f71
|
import seems to be working
|
3 years ago |
|
joneugster
|
7ad23dab24
|
work on importing
|
3 years ago |
|
joneugster
|
04c70ba522
|
fix for STG on landing page
|
3 years ago |
|
joneugster
|
1b3993ad3e
|
fix
|
3 years ago |
|
joneugster
|
823000d5d4
|
partial implementation of loading mechanism
|
3 years ago |
|
joneugster
|
bb0ba83f18
|
load arbitrary games with tags g/local/FolderName
|
3 years ago |
|
joneugster
|
7563963c34
|
npm update and landing page update
|
3 years ago |
|
Alexander Bentkamp
|
a445635a99
|
remove some vulnerable dependencies
|
3 years ago |
|
Alexander Bentkamp
|
dc144d1979
|
use bubblewrap
|
3 years ago |
|
Alexander Bentkamp
|
2f8a75c216
|
rename to local/game
|
3 years ago |
|
Alexander Bentkamp
|
b5b3426856
|
use DEV_CONTAINER env var
|
3 years ago |
|
Alexander Bentkamp
|
620cf0597e
|
add path for local game
|
3 years ago |
|
Jon Eugster
|
1b0e4a6a81
|
make command optional
|
3 years ago |
|
Jon Eugster
|
13233710e9
|
modified inventory doc requirement
|
3 years ago |
|
Alexander Bentkamp
|
ef8815f306
|
use only lower case docker image names
|
3 years ago |
|
Jon Eugster
|
572be60c65
|
Merge branch 'main' of github.com:leanprover-community/lean4game
|
3 years ago |
|
Jon Eugster
|
c6e224dc40
|
add Hole and Template skeleton
|
3 years ago |
|
Alexander Bentkamp
|
9ba5acef4d
|
support arbitrary docker containers as games
|
3 years ago |
|
Alexander Bentkamp
|
76ce856082
|
import experimentation
|
3 years ago |
|
Jon Eugster
|
7c65025598
|
add-imports
|
3 years ago |
|
Jon Eugster
|
93b02883b3
|
typo
|
3 years ago |
|
Jon Eugster
|
c4e63687c0
|
add log messages
|
3 years ago |
|
Alexander Bentkamp
|
eaf0d13c2f
|
make game directory more configurable
|
3 years ago |
|
Jon Eugster
|
8246ae6eac
|
change folder structure
|
3 years ago |
|
Alexander Bentkamp
|
bbe38ddc7c
|
rename testgame to adam, part 2
|
3 years ago |
|
Alexander Bentkamp
|
dac15d84b5
|
add build mechanism for nng
|
3 years ago |
|
Alexander Bentkamp
|
bf2315b474
|
remove references to `testgame` on the server, add gameId to router
|
3 years ago |
|
Alexander Bentkamp
|
4f93dbf928
|
disable automatic compilation of lean files
|
3 years ago |
|
Alexander Bentkamp
|
82af2ded8e
|
Speed up loading by process queue #15
|
3 years ago |
|
Alexander Bentkamp
|
026679e541
|
fix: kill docker when socket gets closed
|
3 years ago |
|
Alexander Bentkamp
|
9b76b4aed3
|
fix paths without lake
|
4 years ago |
|
Alexander Bentkamp
|
77a8c4750e
|
fix path issues
|
4 years ago |
|
Alexander Bentkamp
|
9a86adb17e
|
rudimentary info request
|
4 years ago |
|
Alexander Bentkamp
|
3fd22a8aa9
|
use full jsonrpc protocol
|
4 years ago |