7 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	b502126ebc	fix #7634	2025-04-27 23:57:57 -07:00
Nikolaj Bjorner	ef86f5fcc2	add partial evaluation cases for algebraic data-types for recursive functions.	2024-06-16 16:07:16 -07:00
Nikolaj Bjorner	75702c3631	na ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2021-10-11 11:03:45 -07:00
Nikolaj Bjorner	f044071f5e	fix #4260 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-05-09 18:13:12 -07:00
Nikolaj Bjorner	fa1197a78f	fix #4155	2020-04-28 13:51:25 -07:00
Nikolaj Bjorner	8996e8129e	fix #4120	2020-04-27 12:06:33 -07:00
Nikolaj Bjorner	f9193809ea	add recfun rewriting, remove quantifier based recfun	2020-04-26 12:59:51 -07:00