Jon Eugster
|
572be60c65
|
Merge branch 'main' of github.com:leanprover-community/lean4game
|
2 years ago |
|
Jon Eugster
|
c6e224dc40
|
add Hole and Template skeleton
|
2 years ago |
Alexander Bentkamp
|
9ba5acef4d
|
support arbitrary docker containers as games
|
2 years ago |
|
Alexander Bentkamp
|
76ce856082
|
import experimentation
|
2 years ago |
|
Jon Eugster
|
7c65025598
|
add-imports
|
2 years ago |
|
Jon Eugster
|
93b02883b3
|
typo
|
2 years ago |
|
Jon Eugster
|
c4e63687c0
|
add log messages
|
2 years ago |
|
Alexander Bentkamp
|
eaf0d13c2f
|
make game directory more configurable
|
2 years ago |
|
Jon Eugster
|
8246ae6eac
|
change folder structure
|
2 years ago |
|
Alexander Bentkamp
|
bbe38ddc7c
|
rename testgame to adam, part 2
|
2 years ago |
|
Alexander Bentkamp
|
dac15d84b5
|
add build mechanism for nng
|
2 years ago |
|
Alexander Bentkamp
|
bf2315b474
|
remove references to `testgame` on the server, add gameId to router
|
2 years ago |
|
Alexander Bentkamp
|
4f93dbf928
|
disable automatic compilation of lean files
|
2 years ago |
|
Alexander Bentkamp
|
82af2ded8e
|
Speed up loading by process queue #15
|
2 years ago |
|
Alexander Bentkamp
|
026679e541
|
fix: kill docker when socket gets closed
|
2 years ago |
|
Alexander Bentkamp
|
9b76b4aed3
|
fix paths without lake
|
2 years ago |
|
Alexander Bentkamp
|
77a8c4750e
|
fix path issues
|
2 years ago |
|
Alexander Bentkamp
|
9a86adb17e
|
rudimentary info request
|
2 years ago |
|
Alexander Bentkamp
|
3fd22a8aa9
|
use full jsonrpc protocol
|
2 years ago |