solver-rewrite

History Graph

Commit	Author	Details	Committed
a23d4b76944e	richart	Preparing version 4.0.0	Aug 17 2021
a13f3874ff27	richart	Adding code-quality clang-tidy	Mar 12 2021
d0b37677147c	richart	Installing arcanist by hand in the dockerfile	Jan 29 2019
3cb848d814e7	richart	clang-tidy first pass of auto-fixes	Nov 8 2017
022300508462	richart	tidying the code	Aug 11 2017
ac6c3960f3b2	richart	Adding clang-tidy to clean the code	Jun 1 2017