Commit graph

578 commits

Author SHA1 Message Date
David Himmelstrup
d499000eb6 Host video files on B2. 2020-07-21 12:34:12 +08:00
David Himmelstrup
1d7f7acdf1 Fix ctex doc gif. 2020-07-20 17:39:12 +08:00
Krantz-XRF
6cf6fe85b0 LaTeX: force UTF-8 output for TeX files 2020-07-19 21:39:59 +08:00
David Himmelstrup
6b3e7a16b8 Link directly to README on github, add link to issue tracker. 2020-07-19 11:41:52 +08:00
David Himmelstrup
6b69a6cbc3
Link to discord. 2020-07-19 11:37:04 +08:00
David Himmelstrup
a3d66471a1
Add 'Features' and 'Roadmap' 2020-07-19 11:29:26 +08:00
David Himmelstrup
c9b2f8cc2b
README: Ask for stars. 2020-07-18 19:34:38 +08:00
David Himmelstrup
b0a8c6791f discord-bot: Don't mangle docs. 2020-07-17 16:42:36 +08:00
David Himmelstrup
0e4a9e1240 discord-bot: fix missing basecase. 2020-07-17 16:29:09 +08:00
David Himmelstrup
3dd8a61d32 discord-bot: Fix security vulnerability. 2020-07-17 14:04:32 +08:00
David Himmelstrup
be8776b5f7 discord-bot: improve doc formatting. 2020-07-17 09:11:07 +08:00
David Himmelstrup
05b7516f30
Discord bot article (#111) 2020-07-16 22:55:34 +08:00
David Himmelstrup
4db4fcf973 discord-server: Add sanity checking. 2020-07-16 15:17:29 +08:00
David Himmelstrup
fdfad458fc discord-bot: set timeout to 15 seconds. 2020-07-16 14:18:28 +08:00
David Himmelstrup
9d7643a6cd Fix discord-bot haddock configuration. 2020-07-16 09:30:59 +08:00
David Himmelstrup
e40777a1a4 discord-bot: wibbles. 2020-07-15 23:13:19 +08:00
David Himmelstrup
d09ecfc7b1 discord-bot: support :t and :doc commands. 2020-07-15 19:01:31 +08:00
David Himmelstrup
bad9c8dbee discord-bot: add version command 2020-07-15 14:36:01 +08:00
Xie Ruifeng
fbce05fa6f
LaTeX: add xelatexWithHeaders (#110)
* LaTeX: add xelatexWithHeaders

* LaTeX: add ctex[WithHeaders], xelatex[WithHeaders] changed

* Export ctex in Reanimate, update doc_xelatex to use ctex

* xelatex and ctex examples

* LaTeX: Remove xelatex example
2020-07-15 14:09:36 +08:00
David Himmelstrup
8fbd5bb8fe discord-bot: install dependency needed for ctex. 2020-07-15 13:56:41 +08:00
David Himmelstrup
ebc633c8ea discord-bot: install blender, povray, and latex. 2020-07-15 09:37:52 +08:00
David Himmelstrup
644fc99e8d discord-bot: Set OverloadedStrings, import images/circlePlot/ternaryPlot. 2020-07-14 23:07:08 +08:00
David Himmelstrup
3670777695 discord-bot: support multiline scripts. 2020-07-14 22:44:02 +08:00
David Himmelstrup
13342b2a8e discord-bot: run stack directly such that the process can be interrupted. 2020-07-14 19:43:04 +08:00
David Himmelstrup
172cb67752 Restart bot if a script timed out. 2020-07-14 19:39:31 +08:00
David Himmelstrup
c9d3827beb
Link to docker hub 2020-07-14 16:15:20 +08:00
David Himmelstrup
565b183dfd Add shield for discord-bot build status. 2020-07-14 15:11:38 +08:00
David Himmelstrup
e3c43c2dfa discord-bot: timeout and other wibbles. 2020-07-14 14:48:22 +08:00
David Himmelstrup
3c310f079f
Discord bot (#108) 2020-07-14 13:49:27 +08:00
David Himmelstrup
d32b485548
Use Discord invite link 2020-07-12 18:57:01 +08:00
David Himmelstrup
410610424b
Add Discord badge. 2020-07-12 18:54:47 +08:00
David Himmelstrup
34aa5780ec
Replace 'here' dependency with the lightweight 'neat-interpolation' (#106)
Misc improvements:
 * Add tasty-rerun
 * Extend CI coverage
2020-07-12 13:27:01 +08:00
David Himmelstrup
d64e36fe05
Use high-performance earcutting algorithm (#105) 2020-07-11 14:35:06 +08:00
David Himmelstrup
668a5f0391 Revert "Switch to better earcutting algorithm."
This reverts commit cabf77cceb.
2020-07-11 10:13:47 +08:00
David Himmelstrup
cabf77cceb Switch to better earcutting algorithm. 2020-07-11 09:53:29 +08:00
David Himmelstrup
c3363f07d6 Update docs for 'boundingBox'. 2020-07-10 14:21:58 +08:00
David Himmelstrup
3a46ec4753 Update changelog. 2020-07-10 14:17:57 +08:00
David Himmelstrup
6c0969abbd Web-viewer: Forward stderr messages to terminal output, don't truncate error messages, properly format run-time error messages. 2020-07-10 10:05:07 +08:00
David Himmelstrup
5211fcfa51
Add badges for stackage 2020-07-09 19:18:12 +08:00
David Himmelstrup
efc209fc80 Add '--partial' flag to driver. 2020-07-09 18:22:59 +08:00
David Himmelstrup
6310dd6ffe
CI: Install hmatrix (#101)
New behavior:
 * hmatrix is always enabled on macos and Linux.
 * hmatrix is disabled by default on windows but can be enabled by passing '--flag reanimate:hmatrix'.
 * hmatrix is enabled for Windows on CI servers.
 * hmatrix for macos and Linux defaults to blas and lapack (but can also use openblas).
 * hmatrix for Windows has to use openblas.
2020-07-09 12:55:47 +08:00
David Himmelstrup
97056932e0 Morph: Disable polygon splitting. 2020-07-09 10:16:21 +08:00
David Himmelstrup
15c392f9a7 Fix windows CI. 2020-07-09 09:26:01 +08:00
David Himmelstrup
a15b928236 Add 'here' dependency to examples where required. 2020-07-08 23:29:22 +08:00
David Himmelstrup
7226456e63 Disable haddock on Windows CI. 2020-07-08 16:30:07 +08:00
David Himmelstrup
5833157a0c Clean up CI scripts. 2020-07-08 15:24:38 +08:00
David Himmelstrup
ae251e10d4 hmatrix is not available on windows. 2020-07-08 14:22:46 +08:00
David Himmelstrup
1c8942c1ae Print error if ffmpeg doesn't support SVGs and no raster engines are available. 2020-07-08 14:17:06 +08:00
David Himmelstrup
946f4088e2 Remove explicit resolvers. 2020-07-08 11:37:29 +08:00
David Himmelstrup
677f54a7ff Update ChangeLog. 2020-07-08 11:36:28 +08:00