verify.c: move computation of true context into check_poly_context_scan
commit31ab4c01095829f05a6221d7f383ddef20db7f73
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Mar 2007 09:04:41 +0000 (26 11:04 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 31 Mar 2007 13:10:41 +0000 (31 15:10 +0200)
treed8e5f268d5be8421916c6336b6c258174aad8847
parent47d580df22e3a06b4e248c538d1ed628ad704a57
verify.c: move computation of true context into check_poly_context_scan
barvinok_enumerate.cc
barvinok_enumerate_e.cc
lexmin.cc
maximize.cc
verify.c
verify.h