11 Commits

Author	SHA1	Message	Date
Zach Laine	20e4faa593	Clang format in include/ and test/. ... Fixes #42.	2018-02-20 01:15:52 -06:00
Zach Laine	191aa0c0ae	Consolidate expression<> code into a single header. ... Fixes #37.	2018-02-15 19:17:10 -06:00
Zach Laine	8282c4b10e	Add Boost license copyright headers to all C++ files. ... Fixes #31.	2018-02-15 18:07:48 -06:00
Zach Laine	5d539bbb81	Swap order of template params to terminal<> and expression_ref<> aliases to match the convention of the rest of the library.	2016-12-07 20:01:27 -06:00
Zach Laine	1964805e89	Break up headers into more chunks.	2016-12-07 20:01:27 -06:00
Zach Laine	ce5a0a8744	Move lib headers to boost/yap.	2016-12-07 20:01:24 -06:00
Zach Laine	dda826b95c	proto17 -> yap	2016-12-07 20:01:24 -06:00
Zach Laine	29a7bedc00	Add reference-to-expr expr_kind expr_ref; expressions used in other expressions are now captured by reference.	2016-12-07 20:01:20 -06:00
Zach Laine	0033b42734	Replace parameter pack in expression<> with a single Tuple param.	2016-12-07 20:01:19 -06:00
Zach Laine	e8eae00afe	Add -Wall; fix warnings.	2016-12-07 20:01:18 -06:00
Zach Laine	42af863c4d	Move last bits of sketch.cpp to standalone compile test.	2016-12-07 20:01:16 -06:00