Merge remote-tracking branch 'origin/master' into xc7mux
authorEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 23:15:19 +0000 (16:15 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 23:15:19 +0000 (16:15 -0700)
commit1e201a9b010badec6f220476dc6bc03a06de5b69
treeceff38dbba8d2b63dd6f302949a742ef2061eff3
parentfe4394fb9aacfaee840d2c72b88c5da666fbcb28
parent2b350401c4577d54c0d460240e2d2847d2eeadc4
Merge remote-tracking branch 'origin/master' into xc7mux
CHANGELOG
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h