matlorr
|
76f2414bd5
|
Refactor stats.sh to be more efficient.
|
1 year ago |
|
matlorr
|
bd3375ada7
|
Create CPU-usage script
|
1 year ago |
TentativeConvert
|
a191c47b8e
|
update queue of pre-loaded games
|
2 years ago |
Matvey Lorkish
|
045b1ea3fb
|
Merge pull request #261 from leanprover-community/stats
feat: improved stat logging
|
2 years ago |
|
matlorr
|
dc6f7b2822
|
Specify that logs should be created relative to the current working directory.
|
2 years ago |
|
matlorr
|
2022fa9a44
|
Added logging game-access data
|
2 years ago |
Jon Eugster
|
b77afebe0a
|
add sample
|
2 years ago |
|
matlorr
|
4ac38ef7dd
|
Refactored stats.sh to display approx. cpu usage and mem usage in .csv format
|
2 years ago |
|
Jon Eugster
|
6a8abf41bd
|
implement stats script
|
2 years ago |
|
Jon Eugster
|
ebd7268421
|
feat: add option to display server capacity
|
2 years ago |
|
Jon Eugster
|
ad1add5264
|
support translations of the games
|
2 years ago |
|
Jon Eugster
|
36bc52c960
|
add logic game to landing page
|
2 years ago |
|
Jon Eugster
|
7114a8c4cb
|
fix: remove tmp files after import
|
2 years ago |
|
Jon Eugster
|
5aa0764844
|
add comment
|
3 years ago |
|
Jon Eugster
|
527f58e3a4
|
separate lean server from socket server
|
3 years ago |