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
isl_map_apply_pw_qpolynomial: fix typo
2010-08-17
Sven Verdoo
l
aege
isl_map_apply_pw
_
qpolynomia
l
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Ve
r
d
o
ol
a
e
g
e
update isl from is
l
_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
iscc: allow inver
s
e
on non-union
m
a
ps aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoolaege
iscc:
add wrap and unwrap
o
p
erations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
a
dd isl_union
_
map_appl
y
_unio
n
_
p
w
_q
p
olynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
e
rdoolaege
isl_pw_
q
pol
y
nomial_sum:
h
a
n
d
le isl_
p
w_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
update isl for
nested
d
im
e
n
s
ion specificat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verd
o
ola
e
ge
isl_map_card: p
o
st
p
one s
h
uffling around
o
f d
i
m
ensi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
update isl f
o
r
i
sl_b
a
sic_map_
m
ove
_
d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_pw_q
p
olynomial_
s
um:
pus
h
co
n
ver
s
ion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_p
w
_qpo
l
ynomial_sum:
c
h
e
ck fo
r
u
nbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
avoid use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
iscc: sup
p
ort
c
odegen o
p
eration if CL
o
oG is
avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
la
e
ge
iscc: switc
h
to using unions
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Verdoolaege
add isl
_
union_pw
_
q
p
olynomia
l
_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_unio
n
_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
is
l
_p
w
_qpolynomial_sum: t
a
ke tuple n
a
m
es
int
o
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
i
s
l_map_c
a
r
d: pre
s
e
r
ve
full domain d
i
m
ension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
update isl for change in isl_hash_ta
b
le_for
e
a
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
b
arvinok_e
n
umerate
.
cc:
f
i
x
p
r
intf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add so
m
e
m
o
r
e
papers
r
e
fering to the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
dool
a
ege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaeg
e
update isl to v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
conf
i
gu
r
e
.
in: properly add isl
f
lags
a
nd libs t
o
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laege
co
n
f
i
gure
.
in:
drop call to gl_E
A
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
test_approx
.
c: fix
printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix print
f
forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolae
g
e
con
f
igure
.
in: stop compilin
g
Omega by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
o
l
aege
verify_l
e
xsmaller
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
ev
a
lue
.
c: avoid use of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
evalue_isl
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
Verdoo
l
aege
iscc: recove
r
from
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolae
g
e
update isl f
o
r imp
r
oved error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n Verd
o
ola
e
ge
do
c
: iscc: upd
a
te d
o
cu
m
entatio
n
of "ub"
op
e
rat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_approx: include
ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_appr
o
x: i
n
cl
u
de config
.
h for
H
AVE_S
Y
S_TIM
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_bound: i
n
cl
u
de co
n
fig
.
h for
HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isc
c
: add vertices oper
a
tions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
p
tionally use isl to perform para
m
e
t
r
i
c vertex
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upda
t
e isl-po
l
ylib for
h
an
d
ling o
f
rational se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
drop distinction between barvinok-core and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
remove bernst
e
i
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
up
d
ate isl
for
generic is
l
_pw_qpolynom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
configure
.
i
n
:
d
rop bv_omega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
add isl_ctx_p
e
ek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
i
scc:
p
ar
s
e
b
a
rvin
o
k options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
e
xport
i
sl_qpo
l
ynomia
l
_f
r
o
m
_
ev
a
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: dr
o
p
d
ependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaeg
e
up
d
ate isl
f
o
r rename of i
s
l_pw_q
p
olyno
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verd
o
olaege
verif_ehrhart
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verd
o
ola
e
ge
use isl f
o
r a
r
gument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oola
e
ge
update isl
f
or keeping track
o
f use
r
opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdo
o
laege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
update is
l
for help mess
a
ge pr
i
nti
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove evalue_range_propag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
d
oolaege
test_bound: use isl interface for computing b
o
un
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
barvinok_boun
d
: use i
s
l interfac
e
for c
o
mputing
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
s
c
c
:
support ub even i
f
GiNaC support was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
add generic isl
_
p
w
_qpolyno
m
i
a
l_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
up
d
a
te isl for
isl_p
w
_
qpoly
n
om
i
al_b
o
und
_
ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
test_bound: use is
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolaege
barvinok_bound: u
s
e isl during
v
erification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
rdoolaege
verify
.
c: extra
c
t
some help
e
r functions for isl
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
introd
u
ce
"bound
"
op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
l
aege
o
p
ti
o
ns
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoola
e
g
e
iscc: add application
o
perations
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
isc
c
: add read
o
p
e
ration
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolae
g
e
i
scc: free optio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdool
a
ege
update isl fo
r
r
e
ading o
f
st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update
i
sl f
o
r fix in isl_printer_print_pw_qpolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
update isl-p
o
lylib for change in pkg-config fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
c
c
: all
o
w specif
i
ca
t
io
n
of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
upd
a
te
isl fo
r
ch
a
nge in isl
_
set_g
i
st
argum
e
nt
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdoo
l
a
e
ge
update
i
s
l f
o
r renam
e
of isl_ma
p
_
move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: a
d
d
i
sl flags
a
n
d
l
ibs to p
k
g-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolae
g
e
iscc: te
s
t isl_
s
tream for eof rather than
t
he u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
ae
g
e
iscc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update
isl fo
r
fix in isl_m
a
p_de
l
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
drop barvinok_en
u
merate
_
pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoola
e
ge
i
s
c
c: a
d
d cros
s
prod
u
ct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolae
g
e
iscc: add co
a
les
c
e op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
upd
a
te isl for isl_p
w
_qpolyn
o
mia
l
_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
o
olaege
drop
"O
m
e
ga count
i
ng calculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
test_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
olaege
b
e
rnstein
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
evalue_range_propagation: fi
x
s
ubstitutio
n
for ne
g
ati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rdoolaege
bernstein/c
o
nfigure
.
in: use absolute s
r
cdir of Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaeg
e
only distribute b
u
ndled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
u
p
dat
e
o
m
e
g
a for co
n
figur
a
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
ge
config
u
re
.
in: allow "build"
P
olyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ve
r
doolaege
i
s
l_qpolynomial_fold_from
_
g
i
nac: h
a
ndle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
q
polyno
m
ial_f
r
om_
g
inac:
expand ex befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
do
o
lae
g
e
i
s
l_obj_list
.
c: update to
use
of
isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoola
e
g
e
iscc: add gist ope
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoo
l
ae
g
e
updat
e
isl for introduc
t
i
o
n
of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoolaege
isl_pw_qp
o
lyn
o
mia
l
_upper_bound: se
t
up variable vector
.
.
.
commit
|
commitdiff
|
tree
next