8 Commits

Author	SHA1	Message	Date
Davide Depau	f0ea9614cd	add splits positional argument to specify the number of split nodes	2017-07-10 20:06:37 +02:00
Karl Kroening	662c56eb5b	#17: fix python 3 support	2017-07-06 02:50:22 -06:00
Karl Kroening	b7fc331722	Add split operator	2017-07-06 02:32:45 -06:00
Karl Kroening	6887ad8bac	Massive refactor to break nodes into streams+nodes	2017-07-06 02:23:13 -06:00
Karl Kroening	cd3d3715b8	Support python3	2017-06-13 19:37:14 -06:00
Karl Kroening	637a2a5bc3	Add filter_ and filter_multi functions	2017-05-27 23:12:44 -10:00
Karl Kroening	8d142c5fa9	#1: update docs	2017-05-27 17:16:59 -10:00
Karl Kroening	696e52a989	#1: split operators into modules	2017-05-27 15:43:22 -10:00