Commit graph

28 commits

Author SHA1 Message Date
1computer1
65e604ce75 docker: make output limit configurable 2020-06-22 02:47:40 -04:00
1computer1
a4b6fccf0b docker: fix stderr output bypassing limit 2020-06-22 02:39:05 -04:00
1computer1
50729ae109 deps: use yaml instead of HsYAML due to GPL 2020-06-20 17:47:37 -04:00
1computer1
8828cd36bd change docker prefix from comp_iler to myriad 2020-06-17 02:41:12 -04:00
1computer1
3082f9b35e log: add much more logging 2020-06-17 00:29:25 -04:00
1computer1
2597c80f3d use optics labels 2020-06-16 23:56:01 -04:00
1computer1
1b4d2a04e7 remove when_/unless_ 2020-06-16 22:43:21 -04:00
1computer1
b493eb67ed cleanup extension usage 2020-06-16 22:42:29 -04:00
1computer1
e27755cdda move EvalResult to Myriad.Docker 2020-06-16 22:38:54 -04:00
1computer1
e2942e38b9 style/refactor 2020-06-16 22:37:38 -04:00
1computer1
3a10e3e72c config: refactor config reading 2020-06-16 22:29:12 -04:00
1computer1
57ea8696e7 core: use concrete monads 2020-06-16 22:08:26 -04:00
1computer1
4ea6c721c5 switch from dhall to yaml 2020-06-16 22:02:12 -04:00
1computer1
1996ab90ca eval: limit docker output to not run out of memory 2020-06-07 03:43:41 -04:00
1computer1
b97c1a0afb remove useless type 2020-06-07 01:52:58 -04:00
1computer1
8080b360c9 deps: use Stack LTS 15.15 and update deps
- use GHC 8.8.3
- use Dhall 1.30.0
- relax version bounds greatly
2020-06-07 01:47:33 -04:00
1Computer1
c31b52ce5e Change the CLI to take the languages folder 2019-09-05 10:17:08 -04:00
1computer1
9d3c5ab7b1 Enhance logging for starting 2019-07-23 01:40:45 -04:00
1computer1
8eb44f2544 Separate lib and exe; add languageDir setting 2019-07-23 01:24:02 -04:00
1computer1
348054a994 Restructure project 2019-07-18 07:40:29 -04:00
1computer1
176a78b557 Clean up code 2019-07-12 04:01:18 -04:00
1computer1
08a1f272c6 Use MVar over IORef
Prevents race conditions when updating the Maps
2019-07-12 02:53:10 -04:00
1computer1
b9ae32c4c0 Add logging for new endpoints 2019-07-11 02:23:33 -04:00
1computer1
92cb8a6388 Add /containers and /cleanup endpoints 2019-07-11 02:20:36 -04:00
1computer1
8e246c8851 Add CLI and configurable configuration 2019-07-11 01:00:41 -04:00
1computer1
a1b88e24b8 Fix port type 2019-07-09 08:37:23 -04:00
1computer1
edab8835ad Shorten two lines of code to one 2019-07-09 05:25:19 -04:00
1computer1
93a4378475 Initial commit 2019-07-09 05:19:41 -04:00