We develop a rather general thermodynamically consistent phase-field model for solidification of a binary alloy, based on an entropy functional that contains squared gradient terms in the energy density, the composition and the phase-field variable. By assuming positive local entropy production,...