repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update isl for fix in isl_printer_print_pw_qpolynomial C format printing
2010-04-21
Sven Verdoolaege
update isl f
o
r
f
ix in
isl_pri
n
ter_
p
r
i
nt_pw_q
p
olyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaeg
e
updat
e
isl
-
pol
y
lib for
c
ha
n
ge in pkg-conf
i
g file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
lae
g
e
i
s
cc: allow spe
c
ifi
c
ation
o
f outp
u
t format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
update isl for
c
han
g
e in
isl_set_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update i
s
l for
r
enam
e
of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
configure
.
in
:
add isl flags and l
i
bs
t
o
p
kg
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdoolaege
i
scc: test isl_stream for eof
r
ather than
t
he underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
i
s
cc: add
deltas operatio
n
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoo
l
aege
u
p
d
ate isl for
fix in isl_map_d
e
l
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
d
r
op barvinok_enu
m
e
r
a
te_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
o
l
ae
g
e
i
s
c
c: add cross produ
c
t
o
pera
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoola
e
ge
iscc: add coalesce
operation
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aege
update
i
s
l
for is
l
_pw_q
p
oly
n
omial_
c
oale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
drop "O
m
eg
a
counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
cc: fix
prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
bernstein
.
c
c
:
f
ix prin
t
f forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
eva
l
ue
_
r
ange_propagatio
n
:
f
ix substi
t
ution fo
r
n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
b
erns
t
e
i
n/configure
.
in: use
a
bsolute s
r
cdir of
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
only distribute bundled submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
update omega for configuration issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
config
u
re
.
in: al
l
ow "build" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
do
o
laege
i
s
l_qpolyn
o
mial_fold_from
_
g
i
nac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl
_
qp
o
lynomi
a
l
_
from_ginac: expand ex before inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
do
o
laege
isl_obj_list
.
c
:
u
p
dat
e
t
o
u
s
e of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
c
c: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
i
s
l_p
w
_qpolynomial
_
upper_bound:
s
e
t
up var
i
a
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Ver
d
oolaege
iscc: add
s
om
e
compariso
n
op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: ad
d
i
nverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaeg
e
iscc: f
i
x up type
of f
i
nd_matchi
n
g_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oolaege
isc
c
: add a
f
fine
hul
l
op
e
r
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
i
s
cc: add operation to
c
onstruct
u
niversal map
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "joi
n
" o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoola
e
ge
i
s
cc:
add intersect_do
m
ain o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
er
d
oolae
g
e
iscc: allow ove
r
lo
a
ding binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
eg
e
iscc:
a
d
d
more dom op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
doc: reorganize table of
i
scc operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ve
r
doolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
b
a
r
v
i
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
AUTHORS:
u
pdate support i
n
f
ormatio
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
ran
d
omvector: dou
b
le
size
of
coefficients o
n
each a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
iscc
:
sup
p
o
r
t trans
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
ae
g
e
upd
a
te
i
sl to vers
i
on 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvi
n
ok_
e
.
cc: enumerate_vd: remove unused v
a
riables
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
evalue
.
c: Polyhedron_
I
n
sert: add missing re
t
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdoolaege
e
value
.
c: reduce_eva
l
ue: rem
o
ve unus
e
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdoolaege
i
scc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
l
a
ege
add isl_pw_qpolynomial_up
p
er_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
isc
c
:
a
dd sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
oolaege
a
d
d isl_pw_
q
pol
y
nomi
a
l_su
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolae
g
e
a
dd isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolae
g
e
update isl for i
s
l_pw
_
qpolyno
m
ial_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdool
a
ege
rename
e
v
a
lue
2
is
l
t
o isl
_
pw_qpolynomia
l
_
from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolae
g
e
iscc: detect m
o
re k
i
nds o
f
e
rro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
b
arvinok_enum
e
rate:
use
i
sl dur
i
ng
the veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
ad
d
isl
_
set
_
card and
isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
laege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
doolaege
ev
a
lue
_
convert: export as applicat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
barvinok
_
enumerate_e:
opt
i
on
a
ll
y
u
s
e isl t
o
proj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add isl
sub
m
odule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
ool
a
ege
AX
_
SUBMO
D
ULE: a
c
cept "-" in modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
b
ar
v
inok_enumerate:
r
eturn N
a
N for infin
i
te problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
e
rdoolaege
re
m
ove_all_equali
t
ies: h
a
nd
l
e i
n
tegrally, b
u
t
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
ba
r
vin
o
k_enumerate_
e
:
a
l
ways return a partition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
ba
r
v
i
nok_enu
m
erate:
check that di
m
en
s
ion of inp
u
t i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
Verdoo
l
aege
partition2enu
m
eration
:
check that input
is reall
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
dool
a
ege
u
p
date pipl
i
b
f
or chang
e
in co
n
figure o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update ome
g
a for configuration
/
compil
a
t
i
o
n
i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n V
e
rdoo
l
a
ege
barvinok_count
_
with_
o
ptions: chec
k
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
Polyhedron_Sa
m
p
l
e: pl
u
g
m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Ver
d
o
olae
g
e
summate
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
top
c
o
m
.
c: support newer versions o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
p
com
.
c
:
comput
e
_domai
n
:
s
kip vertices without d
o
m
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflec
t
th
a
t --enable-fractional i
s
now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_
p
o
lyhedro
n
_affine_sign: spec
i
a
l
case 0D po
l
yhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
Po
l
yhedron_Insert_Colum
n
s: fix typo
commit
|
commitdiff
|
tree
2009-11-11
S
ve
n
Verdoolaege
Polyhedro
n
_Factor: fix updating of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolaeg
e
configure
.
in: use AX_SUBM
O
D
U
LE instea
d
of BV_SUBMO
D
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verd
o
olaege
remove_equalities: use Pol
y
hedron_Pr
e
image in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
ol
a
ege
b
a
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
: add experimental
c
o
m
pa
r
iso
n
between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
lexmin
.
cc: re
m
ove
"anachro
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
a
d
d "clev
e
r" La
u
rent ex
p
ansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Ver
d
oolaege
move Last_
N
on_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoola
e
ge
ex
t
ract
out para
m
_
p
olyn
o
mi
a
l
f
rom lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
ex
t
ract
v
ertex
_
co
n
e from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
doolaege
update po
l
ylib
for
speed improvement
i
n
i
n_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update piplib f
o
r distr
i
but
i
on issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verdoola
e
ge
Poly
h
edron_Fa
c
tor:
f
ix merging of gr
o
up
s
of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
l
ae
g
e
(t
)
counter
:
move counter::
r
e
set() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
Make
f
ile
.
a
m: keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
Line_L
e
ngth: handle 0D polyto
p
e in 1D
spac
e
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verd
o
olaeg
e
P
o
lyhedron_Factor
:
ha
n
dl
e
pol
y
hedra with a no
n
-
trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdool
a
eg
e
update pi
p
lib for change in conf
i
gure argu
m
ents
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoola
e
g
e
barvinok
.
cc: remove
u
nused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
V
erdoo
l
aege
update
pip
l
ib for MinGW compat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
update polylib fo
r
M
inGW compatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c:
i
n_
d
om
a
in:
s
pecial-case 0D
domains
commit
|
commitdiff
|
tree
next