6 commits

Author	SHA1	Message	Date
Simon Cruanes	a21389063a	feat(log): if Profile is enabled, forward messages to it	2022-08-18 22:02:52 -04:00
Simon Cruanes	6f42c060f4	perf(util): more inlining	2022-08-14 22:33:33 -04:00
Simon Cruanes	a1bc186d2e	use ocamlformat	2022-07-14 22:09:13 -04:00
Simon Cruanes	564dcec252	cleanup msat, rename it sidekick.sat	2021-07-18 01:40:55 -04:00
Simon Cruanes	27d1841f6b	wip: migrate to msat 0.8	2019-01-28 21:09:57 -06:00
Simon Cruanes	d73684902f	wip: have a proper smtlib parser	2018-02-05 23:09:29 -06:00

Renamed from src/core/Log.ml (Browse further)