git.libre-soc.org Git - cvc5.git/commit

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 35de43d) | patch

author	Gereon Kremer <nafur42@gmail.com>
	Tue, 5 Oct 2021 20:06:53 +0000 (13:06 -0700)
committer	GitHub <noreply@github.com>
	Tue, 5 Oct 2021 20:06:53 +0000 (20:06 +0000)
commit	e64a4bc87d2d98e04e8450d4ad9856bce3494c78
tree	339fd9f21009acdb7190516f62d38e247d042195	tree
parent	35de43d011528e34f42363c1d201b10bf254d386	commit \| diff

First round of refactoring on NlModel (#7255)

This PR performs a first refactoring on the NlModel class. It improves model value computation, comparison and stores the model substitutions in a map (instead of two vectors).

12 files changed: