projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96c6ec7) | patch
Integer (CLN): Minor improvements. (#5306)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 20 Oct 2020 11:41:49 +0000 (04:41 -0700)
committerGitHub <noreply@github.com>
Tue, 20 Oct 2020 11:41:49 +0000 (13:41 +0200)
commit5fb1ec459d6d94c1326ab1befe8ce8b8fbc8cfd3
tree5e63089c50454a7468bcbde2256a709b463d1ca3tree
parent96c6ec71ccdde72c6cbc850df94c8965cda8d7dbcommit | diff
Integer (CLN): Minor improvements. (#5306)

Review comments by @nafur from #5304.
src/util/integer_cln_imp.cpp diff | blob | history