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 isl_set_from_params
2010-08-18
Sven Ver
d
oolaege
iscc:
u
se simplifi
e
d
C
LooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
update is
l
f
or rename
of i
s
l_pw_qp
o
lynom
i
al
_
fold_add
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verdoolaeg
e
iscc
.
c: union_
p
w_qpo
l
yn
o
mial_upper_
b
ound: f
i
x
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c
: f
i
x typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
i
s
l
_
map_apply_
p
w_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaeg
e
update isl
from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolae
g
e
i
s
cc: all
o
w inverse on non-union m
a
ps
again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
iscc: add wrap an
d
unwrap operat
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdool
a
ege
add isl_unio
n
_map_a
p
p
l
y_u
n
i
o
n_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_
q
polynomial
_
sum:
h
andle isl_pw
_
q
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erdoo
l
aege
updat
e
isl for nes
t
ed d
i
mension
s
pecifica
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
olaege
i
sl
_
ma
p
_
card: p
o
stpone shuf
f
ling arou
n
d of dimen
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaeg
e
update isl
for
i
s
l_basic_map_mov
e
_
d
i
m
s
commit
|
commitdiff
|
tree
2010-08-04
S
v
en V
e
rdoolaege
isl_pw_qpolynomi
a
l_sum: push conversi
o
n to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
e
g
e
isl
_
p
w_qpolynomial_sum: che
c
k for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
a
v
oid us
e
of isl_
d
im internals
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Ve
r
doolaege
iscc: suppor
t
codegen ope
r
atio
n
if
C
LooG
i
s availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc:
s
wit
c
h to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
a
d
d
i
sl_u
n
ion
_
pw_qpo
l
ynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add isl_unio
n
_
m
a
p
_card
commit
|
commitdiff
|
tree
2010-07-31
S
ven
V
e
rd
o
olaege
isl_pw_qpolynomial
_
sum
:
t
a
k
e
t
u
ple names into
a
ccoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map
_
card: preserve full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
u
p
date isl f
o
r chang
e
in isl_h
a
s
h
_table
_
forea
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
b
ar
v
inok_enume
r
ate
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdool
a
e
g
e
doc: add some
more
p
apers refering
t
o the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aeg
e
barv
i
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoola
e
ge
u
p
date isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
configure
.
in: properly add isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdoolaege
co
n
f
igur
e
.
in: dro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
g
e
nf
u
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
doolaege
te
s
t_a
p
prox
.
c:
fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaeg
e
test_bound
.
c
:
fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oo
l
a
ege
c
onfig
u
re
.
in: stop
c
ompiling Omega by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
S
v
en V
e
rdoolaege
verify_le
x
smaller
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Ver
d
oolaege
evalue
.
c: avoid
u
se of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
evalue_is
l
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
is
c
c
: re
c
o
v
er from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
update isl for impr
o
ved
e
rror handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaeg
e
i
s
cc
.
c:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdoola
e
ge
do
c
: iscc:
upd
a
t
e documenta
t
ion of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test
_
a
pprox:
inclu
d
e
ctype
.
h fo
r
is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n V
e
rdoolaege
test_
a
p
p
r
o
x
: include
co
n
f
ig
.
h for HAVE_SYS_T
I
ME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
l
a
ege
test_boun
d
:
includ
e
co
n
fig
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
i
s
cc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
optiona
l
ly use is
l
to perfor
m
p
a
ramet
r
ic vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
update i
s
l
-
polylib for
h
a
n
d
ling
o
f rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinction betwee
n
bar
v
in
o
k-co
r
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
update is
l
for generic isl_p
w
_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
configur
e
.
in:
drop bv_om
e
ga_programs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
add
i
s
l
_ctx_pee
k
_bar
v
inok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc
:
parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
ol
a
ege
e
x
p
o
r
t
i
sl_qpolynomial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
M
a
kefile
.
am: drop dep
e
ndence on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
update isl
for
r
ename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
ver
i
f
_
ehrhart
.
c:
a
dd
missing includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configu
r
e
.
in: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
use isl for argument par
s
i
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rd
o
olaege
update isl
f
o
r
keeping
t
rack of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
test_bound
:
rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
Ve
r
doola
e
ge
update isl for help message
printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
la
e
g
e
remove eval
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
r
e
move evalue_range_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ver
d
oolaege
te
s
t_bou
n
d: use
i
sl interface for comp
u
t
i
ng
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
ola
e
ge
barvin
o
k_bound: use isl interface
for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
is
c
c: suppor
t
ub even if
G
i
N
aC support was not
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdoolae
g
e
add generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
update i
s
l
for isl_p
w
_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
t
es
t
_bou
n
d: use
isl duri
n
g veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoolae
g
e
barvinok_bound: u
s
e isl du
r
i
n
g ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
d
o
olaege
verify
.
c: extr
a
ct
s
ome helpe
r
functions for is
l
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
opt
i
ons
.
c: fix p
r
i
n
tf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaeg
e
iscc
:
add a
p
plication operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
iscc:
f
ree opt
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven
Ver
d
oolaege
u
p
da
t
e is
l
for
r
e
a
din
g
of s
t
ri
n
gs
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoo
l
aege
upd
a
te
i
sl for
fix in isl_pr
i
nter_print_p
w
_qpol
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
d
oolaege
upd
a
te
i
sl-polylib for chan
g
e i
n
pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
c
c: allow specif
i
cation of output
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
S
ve
n
Verdoola
e
ge
update
isl
for change
in isl_se
t
_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdo
o
laege
update isl
for rename of isl_map_m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaeg
e
configure
.
in:
add
i
s
l
flags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
iscc: test isl_
s
tream
for
eo
f
rather than t
h
e underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
i
s
cc: ad
d
d
e
ltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
o
laege
update isl for fix i
n
isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoolaege
drop barvino
k
_enu
m
erate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc:
a
dd cr
o
ss produc
t
operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add
coalesce op
e
rations
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolaege
update isl for isl_
p
w_qpoly
n
omial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoola
e
ge
drop "Omega countin
g
c
a
lculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
test_
b
ound
.
cc: fix pr
i
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
ber
n
s
tein
.
cc:
f
ix p
r
in
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolae
g
e
eval
u
e
_
r
ange_pro
p
agation: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
bernstein/config
u
re
.
in: u
s
e abs
o
lute
srcdir
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
on
l
y
distr
i
b
ute
b
undled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
up
d
ate om
e
g
a for conf
i
guration issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdoolaege
c
on
f
igure
.
in: allow
"
build
"
Pol
y
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
a
e
ge
isl_qpolynomial_fold_from_ginac: han
d
l
e
f
a
il no
d
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
isl_q
p
olynomial_fro
m
_gin
a
c: expand ex
b
efore i
n
spec
t
ion
commit
|
commitdiff
|
tree
next