4 commits

Author	SHA1	Message	Date
Leonardo de Moura	f10c27dfb7	perf: add workaround for perf issue ... See issue #361	2021-07-29 08:29:09 -07:00
Wojciech Nawrocki	80d90038ad	feat: add Format tags	2021-07-24 10:45:28 +02:00
Leonardo de Moura	873634be7e	feat: hierarchical InfoTree	2021-01-09 14:10:11 -08:00
Leonardo de Moura	b6905f66d6	fix: missing files	2020-12-18 11:47:00 -08:00