panasenco
|
c87e3eac08
|
Removed CLP(Z) from library(json), achieving a 100x speedup in JSON parsing.
|
2021-04-20 17:30:41 -07:00 |
|
panasenco
|
bec8d36961
|
Switched to cargo-chef for preparing the Docker image
|
2021-04-12 17:35:20 -07:00 |
|
panasenco
|
db56bb92f0
|
Fixed link in Dockerfile documentation. Updated README with working Docker link. Made general improvements to the Docker section of the README now that I'm not in a sleep-deprived zombie state.
|
2020-05-22 13:57:48 -07:00 |
|
panasenco
|
e82e36f51e
|
Revert "Revert "Created and Tested Dockerfile""
This reverts commit e00d864199.
|
2020-05-22 13:57:48 -07:00 |
|
Mark Thom
|
e00d864199
|
Revert "Created and Tested Dockerfile"
|
2020-05-19 11:59:06 -06:00 |
|
panasenco
|
5639f40994
|
Managed to create a 77MB scryer-prolog Docker image
|
2020-05-17 20:50:34 -07:00 |
|
panasenco
|
33a8262334
|
New Dockerfile based on Fredrik Park's blog post - compilation fails with linker error
|
2020-05-17 20:50:34 -07:00 |
|
panasenco
|
9b4f7ad696
|
Created initial working Docker deployment
|
2020-05-17 20:50:33 -07:00 |
|