repo.or.cz
/
barvinok.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 help message printing
2010-05-19
Sv
e
n
Verdoola
e
g
e
update isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verd
o
olaege
r
e
move evalue
_
o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdool
a
ege
remove evalue_ran
g
e_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
lae
g
e
tes
t
_
b
ound:
use isl i
n
terface for computi
n
g bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
S
ve
n
Verdoolaege
barvinok_bound: us
e
i
sl in
t
e
r
face for comput
i
ng boun
d
s
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
iscc
:
support ub even if GiN
a
C
sup
p
or
t
was n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d ge
n
eric isl_pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
update is
l
fo
r
i
s
l_pw_q
p
o
l
y
nomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
test_bound:
use i
s
l dur
i
ng verif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolae
g
e
barvi
n
ok_bound: use i
s
l dur
i
ng verif
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
v
erif
y
.
c: ext
r
act some helper
funct
i
ons for i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
introduce "bound" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
o
p
t
ions
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
doolaeg
e
iscc:
a
dd ap
p
l
ic
a
tion operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: ad
d
read operati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rd
o
olaege
isc
c
: free
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
update isl for readin
g
of
s
trings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
update isl for fix in isl_pr
i
nt
e
r_print_pw_qpolyno
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olae
g
e
update
i
s
l-polylib
for change i
n
pkg-c
o
nf
i
g file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
iscc: allow sp
e
cification of output
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
o
olae
g
e
u
p
dat
e
is
l
for
chan
g
e
in
i
s
l
_set_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolaege
update isl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
configure
.
in
:
a
d
d i
s
l
f
lags and libs
to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
o
o
laege
i
s
cc: test
i
s
l
_strea
m
for eo
f
rather than the
u
n
derlyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ver
d
ool
a
ege
iscc:
a
dd deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update is
l
for f
i
x
i
n isl_m
a
p_
d
e
lt
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoola
e
g
e
drop barv
i
nok_enumerat
e
_pip_with_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaeg
e
iscc: add cross product ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaeg
e
isc
c
: a
d
d
coales
c
e operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolaege
updat
e
i
sl for i
s
l_pw_qpolynom
i
a
l_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
d
rop "O
m
ega countin
g
calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
e
rdool
a
e
g
e
t
est_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ver
d
ool
a
ege
bernstein
.
c
c
: fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolaege
evalue_range_
p
ropagati
o
n: fix substitution
f
o
r negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaeg
e
bernstein/configure
.
in: use a
b
so
l
ut
e
srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolae
g
e
o
n
ly distr
i
bute
b
un
d
led subm
o
dules
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verd
o
ol
a
ege
updat
e
omega for c
o
nfigu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven V
e
rdoola
e
ge
co
n
figure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_fold
_
from_gi
n
ac: handle fail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qpolynomial_f
r
o
m_ginac: expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj_list
.
c: updat
e
to
u
se of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
iscc: add
gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaeg
e
update isl for i
n
troductio
n
of
i
sl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdo
o
laege
isl_pw_qpolynomial_upper_bound: set up variable
vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
l
aege
iscc: add some co
m
parison opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdo
o
laeg
e
is
c
c: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdool
a
eg
e
isc
c
: fix
u
p type
o
f find
_
matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
isc
c
: add affine
h
ull operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
o
olaeg
e
iscc: add operation
to constru
c
t universal
m
a
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
i
scc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
l
aeg
e
iscc: add inter
s
ect_domain
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: allo
w
o
verloa
d
ing b
i
nary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
aege
iscc: add m
o
r
e
dom
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c: reorg
a
nize table of iscc
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
barv
i
nok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
d
oolaege
AUTHORS: update su
p
port information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ran
d
omvector: double size of
coefficients on ea
c
h attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
e
g
e
i
scc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
update i
s
l to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
o
l
aege
barvinok_e
.
c
c: enu
m
erate_vd: remove u
n
used variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
a
ege
evalue
.
c
:
Polyhedron
_
I
nsert:
a
dd missin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
ol
a
ege
evalue
.
c:
reduc
e
_evalue:
r
emov
e
unused
variable
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
o
o
laege
i
s
cc: add
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
iscc: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_upper_b
o
u
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oo
l
aege
add isl
_
pw_qpol
y
nomial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
l
a
e
ge
a
dd isl
_
pw_q
p
olyno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update
isl f
o
r
i
sl_pw_qpolynomial_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
re
n
am
e
evalue2
i
sl
to
isl_pw_qpolynomial_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
e
n Verdool
a
ege
iscc: detect m
o
re kin
d
s of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
er
d
oolaege
barvi
n
o
k
_
enumerate: use isl du
r
i
ng the
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add isl
_
set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
a
d
d
eval
u
e2is
l
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verdoolaege
evalue_conv
e
rt: export as applic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
barvino
k
_e
n
umerate_e: optionally
use isl to p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdoolaege
add isl submo
d
ule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX
_
SUBMODUL
E
: accept "
-
"
in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoolaege
b
arvinok_
e
n
u
m
erate: return NaN
f
or
infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ver
d
oolae
g
e
re
m
ove_al
l
_
e
qualit
i
es
:
h
andle integrally, but
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Ve
r
doolae
g
e
barvinok_enu
m
erate_e: always return
a
partitio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
b
arvinok_en
u
merate: check th
a
t d
i
m
ension
o
f inpu
t
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
do
o
l
aege
partitio
n
2enumeration: check t
h
a
t
i
n
put is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en
V
erdoolaege
update pip
l
ib for c
h
a
n
ge in configu
r
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdool
a
ege
update
om
e
ga f
o
r
configurat
i
on/compi
l
ation issue
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
barvi
n
ok_c
o
u
n
t_wit
h
_options: check
return v
a
l
ue
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ve
r
dool
a
ege
P
o
lyhe
d
ron_Samp
l
e: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
e
rdo
o
laege
sum
m
a
t
e
.
c: ad
d
missi
n
g in
c
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
topcom
.
c: support newer versi
o
ns of T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoo
l
a
e
ge
t
o
pco
m
.
c: comp
u
te
_
do
m
a
i
n: skip
vertice
s
without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolae
g
e
p
olytope_minimize: take constant
term
to
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
d
o
c: reflect that --e
n
abl
e
-
fracti
o
nal is
n
ow
the defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ver
d
oolaege
glpk_polyhedron_affine_sign: special
c
as
e
0
D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhed
r
o
n_
I
nsert_Col
u
mn
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Fac
t
or: fix up
d
ating of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Ve
r
doola
e
ge
c
onfigure
.
in: use AX_
S
UB
M
ODULE ins
t
ea
d
of BV_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdo
o
lae
g
e
remove_equalities:
u
se Polyh
e
dron_Pre
i
mage i
n
s
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
next