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
iscc: allow inverse on non-union maps again
2010-08-10
Sve
n
Ve
r
d
o
olaege
iscc
:
allow inverse
o
n non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erd
o
olaege
iscc:
add w
r
a
p a
n
d unwrap op
e
rati
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
laeg
e
add i
s
l_union_map_appl
y
_union
_
pw_q
p
olynomial
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaeg
e
isl_pw_
q
po
l
ynomial_sum: handle isl_pw_qp
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
upd
a
te isl for
nest
e
d dim
e
n
s
i
on spec
i
f
i
c
a
tio
n
s
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdool
a
ege
isl_map_card:
postpone shuffling around of d
i
m
ensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Verdoolaege
update is
l
for isl_basic_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
S
ve
n
Verdool
a
ege
isl_pw_
q
p
olynomial_s
u
m: push conver
s
ion
t
o P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdool
a
e
ge
isl
_
pw_qpolynomial_sum: check
fo
r
u
nbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaege
a
void us
e
o
f
isl_di
m
intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
iscc: s
u
pport codegen operation i
f
CLooG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
olaege
iscc: switch t
o
using
u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdool
a
ege
add isl_u
n
ion_pw_qpolynomial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
add is
l
_
union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
i
s
l_
p
w_qpolyno
m
ial_su
m
: take tuple names into ac
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
i
sl_map_card: pres
e
rve ful
l
domain dimensio
n
in
f
or
m
ation
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ve
r
d
o
o
laeg
e
u
pdate isl
f
o
r
cha
n
g
e
in isl_hash_tabl
e
_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
r
d
oo
l
aege
barvinok_enume
r
ate
.
cc:
f
i
x
p
r
i
nt
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
doc: a
d
d
s
ome m
o
re papers r
e
feri
n
g t
o
t
he l
i
b
r
a
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
b
a
r
vinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
u
p
date is
l
to
v
ers
i
on 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdool
a
ege
conf
i
gure
.
in:
prope
r
ly
add isl fla
g
s and libs to
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigure
.
in: drop call to gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
genf
u
n
.
cc: fi
x
pr
i
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
approx
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
doolaege
t
e
s
t_bo
u
n
d
.
c: fix pr
i
ntf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
ae
g
e
c
o
nfigure
.
in: stop co
m
p
iling
Omeg
a
by def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oo
l
aege
veri
f
y
_
lexsm
a
ller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
dool
a
ege
evalue_isl
.
c:
fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ve
r
doolaeg
e
is
c
c:
rec
o
ver f
r
om error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolae
g
e
update isl fo
r
improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaeg
e
iscc
.
c
: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
d
oc: iscc: up
d
ate documentat
i
on of "
u
b" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
tes
t
_
a
p
p
r
ox: i
n
clud
e
ctyp
e
.
h
f
or isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
tes
t
_approx: include config
.
h for HAVE_S
Y
S_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
test_bound: include c
o
nfig
.
h for HAVE_S
Y
S
_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdool
a
ege
iscc: add
v
ertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
u
se is
l
t
o perform parametr
i
c
vertex en
u
m
eration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
update isl-polylib for handlin
g
of r
a
tional s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
r
do
o
laege
drop dist
i
ncti
o
n between barvinok-c
o
r
e
and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
remove
b
ernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
update isl fo
r
generic isl_
p
w_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
conf
i
g
u
re
.
i
n: dro
p
bv_omega_
p
rograms
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oola
e
ge
add isl_ctx_peek_
b
arvin
o
k_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verdoolaege
iscc: parse
bar
v
in
o
k options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_qpolynomial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoola
e
ge
Makefile
.
am: drop dependence on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
u
p
date
i
s
l for renam
e
of isl_p
w
_
qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
doolaeg
e
ve
r
i
f
_
ehrhart
.
c: add mi
s
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
configure
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdo
o
l
a
e
ge
use isl for ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
doolaege
update isl for keepi
n
g
track of us
e
r options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
t
e
st_bou
n
d:
re
w
ri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
updat
e
isl for help message printin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
rem
o
ve e
v
alue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
r
e
move evalue_range_propaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
tes
t
_bound
:
us
e
isl inte
r
face
f
o
r computi
n
g
b
o
u
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bou
n
d: us
e
isl interface for
c
omputi
n
g bo
u
nds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: support ub e
v
en
i
f
GiNaC supp
o
rt was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add gen
e
ric isl
_
pw_qp
o
lyn
o
mial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
u
pdate
i
sl for isl_
p
w
_
qpolynomial_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
t
est_bound: us
e
isl during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdo
o
laege
barvi
n
ok_b
o
und:
use isl d
u
ri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ver
d
oo
l
aege
veri
f
y
.
c:
e
x
tract s
o
m
e
helper functions for
i
sl
bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
i
n
troduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
o
p
tions
.
c
:
f
i
x
printf for
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdo
o
laege
iscc: add app
l
ic
a
tion operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
S
ven
V
erdoolaege
is
c
c:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
up
d
ate
isl for
r
eading of s
t
rin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
p
d
ate isl for
fix in isl_pri
n
ter_print_pw_qpolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
aege
update isl-poly
l
ib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
ool
a
ege
iscc: allow s
p
ecific
a
tion of output forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
update isl for change
in
isl_set_gist argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
update isl for
r
ename of isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
con
f
igure
.
in: add isl flags and libs
t
o
pkg-
c
onfi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
o
o
laege
iscc: test isl
_
strea
m
for eof rather than the under
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
iscc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
update isl for fix
in
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
drop barvi
n
ok_enumerate_pip_with_
o
ptions
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdoolae
g
e
i
s
cc:
a
dd cross product op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sven V
e
rdoola
e
g
e
iscc:
a
d
d
coa
l
esce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
upda
t
e is
l
f
or isl_pw_qpolynom
i
al_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
d
rop "Omega c
o
u
n
ting calcul
a
to
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verd
o
ol
a
e
ge
te
s
t_bou
n
d
.
cc
:
fix
p
rintf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernste
i
n
.
cc: f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
evalue_ran
g
e_prop
a
g
ation: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
olaege
bern
s
te
i
n/configure
.
in: use ab
s
olute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
o
n
ly distribute bu
n
dle
d
submod
u
les
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega
f
or configu
r
a
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
c
on
f
igure
.
in:
a
llow
"b
u
ild" PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
e
r
dool
a
ege
i
sl_
q
p
olynom
i
al_fo
l
d
_
from_gin
a
c:
handle fail
nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n V
e
rdoolaege
isl_qpolynomial_from_
g
inac
:
expand ex before ins
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
doolaege
is
l
_obj_list
.
c: up
d
ate to u
s
e of
i
sl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ver
d
oolaege
iscc: a
d
d gi
s
t
operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven V
e
r
d
o
ol
a
ege
upd
a
te isl
for
i
ntroduction of i
s
l_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpo
l
ynomia
l
_upper
_
bound: set up
v
aria
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdo
o
l
a
ege
i
s
cc:
a
dd so
m
e comparis
o
n opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add inverse o
p
eration
commit
|
commitdiff
|
tree
next