Fixes in $alu SAT- and eval-models
authorClifford Wolf <clifford@clifford.at>
Wed, 3 Sep 2014 11:39:46 +0000 (13:39 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 3 Sep 2014 11:39:46 +0000 (13:39 +0200)
commit50ac2848239cf5969b80c427a95b6098fd1e2f1c
tree1bf470c093e08e54c5223a60ee0b4daa2fc14ece
parent635b922afeabea8c69ac4e749881b10aeda7448b
Fixes in $alu SAT- and eval-models
kernel/consteval.h
kernel/satgen.h