Ryan Curtin 69cd36265f Merge remote-tracking branch 'upstream/master' into optimization_wrappers

2018-02-27 20:53:12 -05:00

..

doxygen

Fix doxygen footer JS to draw correctly.

2017-07-18 14:16:16 -04:00

guide

Clarify documentation.

2018-02-20 09:33:38 -05:00

policies

Add references for relevant papers in SCD implementation.

2017-08-23 19:40:08 +05:30

tutorials

Add lots of information about FunctionType checks to the new tutorial.

2018-02-15 21:57:41 -05:00