4 commits

Author	SHA1	Message	Date
Daniel Selsam	89364b802b	feat: top-down heuristic delaboration	2021-08-03 09:13:18 +02:00
Leonardo de Moura	cac080f504	test(tests/playground/mapVShmap): use {x with ...} notation in the test	2019-04-22 13:42:53 -07:00
Leonardo de Moura	32f41f60d3	feat(runtime/object): add dbgTraceIfShared primitive for debugging RC reuse issues	2019-04-19 16:26:45 -07:00
Leonardo de Moura	363f7dc6f4	test(tests/playground/mapVShmap): add example where hmap is almost 3x faster than map	2019-04-19 14:52:52 -07:00