9 commits

Author	SHA1	Message	Date
nikswamy	8002a51b82	tiny fix to qprofdiff (#6497)	2022-12-30 15:25:01 -08:00
Rocco Salvia	3852d4516d	modular Axiom Profiler (#4619) ... * Rocco first commit * Rocco: clean the log * Rocco: version 0.1 beta of the causality graph * Rocco: minimal fix to separate lines * Rocco: fix the enodes * Rocco: our trace has to reflect same behaviour of the native trace for what concern used_enodes * Rocco: disable trace when dummy instantiations * Rocco: fix to enodes * Update README.md * Rocco: remove causality details and add the pattern (trigger) * Rocco: add ; at the end of the bindings * Rocco: add triggers as separate trace * Rocco README file * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Rocco: bug in tout flush * Update README.md * Update README.md * Rocco: clean code * Ready for pull request * Remove commented line bindings * Add space between // and first char * Substitute or with || for compatibility; Add space around >	2020-08-08 12:09:24 -07:00
Christoph M. Wintersteiger	7dd28708a1	Fix bug in qprofdiff. Fixes #4521.	2020-07-15 15:13:11 +00:00
Christoph M. Wintersteiger	1b1ff8dbab	Fix bug in qprofdiff	2019-02-07 14:08:18 +00:00
Christoph M. Wintersteiger	95cf1447ea	Added maintainers.txt for qprofdiff	2017-04-10 13:18:45 +01:00
Christoph M. Wintersteiger	9a757ffffe	Result ordering fix for qprofdiff	2017-04-07 18:12:33 +01:00
Christoph M. Wintersteiger	23f4a0c332	Build fix for qprofdiff	2017-04-07 18:12:26 +01:00
Christoph M. Wintersteiger	f3c990d356	Fixes for qprofdiff	2017-04-07 18:12:16 +01:00
Christoph M. Wintersteiger	d390885757	Added utility to compare quantifier instantiation profiles generated via smt.qi.profile=true	2017-04-06 18:37:29 +01:00