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
barvinok 0.32
2010-09-10
Sven Verdoolae
g
e
b
a
r
v
in
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n
V
erdoolaeg
e
is
c
c: add lexicographic
opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl to ver
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoo
l
aege
i
s
cc: ad
d
"
s
our
c
e" operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
Ve
r
doolaege
iscc: add
s
upport for strings
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Ve
r
doo
l
aege
iscc: print e
r
ror message on use of unkn
o
wn identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
l
a
e
g
e
iscc: suppo
r
t unio
n
s
e
ts
i
n
vertices op
e
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
a
d
d
isl_list_conca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rdool
a
e
ge
barvin
o
k
_
bou
n
d: use isl to
s
plit period
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl for isl_p
w
_
q
p
o
lynomial_split_
p
eriods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verd
o
o
l
aege
d
o
c:
mark Po
l
y
L
ib inter
f
ac
e
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
am: drop
refer
e
nces to obsolete
@bv
_
barv
i
nok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
cc: evalue_pri
n
t_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
v
en Verdoolaege
isc
c
: allo
w
coercion of binary l
i
st in
t
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
ege
ba
r
v
inok_b
o
un
d
:
c
onvert to
isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolae
g
e
barvinok_bound:
u
s
e
isl t
o
spli
t
on domain
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
lae
g
e
set sensible defaults wit
h
--polyno
m
i
a
l-
a
pproxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoola
e
g
e
isl
_
p
w
_
qpolynomia
l
_sum: reuse barvino
k
_opti
o
ns if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
er
d
oolaege
isl_map_ca
r
d: reu
s
e barvinok_options if availabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoo
l
aege
update isl for aligni
n
g parameters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc
:
a
d
d "join
"
o
peration
o
n
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
add "j
o
i
n
" operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
i
scc: support
additio
n
o
n
a
p
ai
r
o
f
a fold and a
q
uas
i
polyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
update isl for add
i
ng typ
e
s to is
l
_{un
i
on_,}pw_qp
o
lynomial_f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
l
low
c
odege
n
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
r
doolaege
iscc:
codegen: detect stride
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc: us
e
simplified C
L
ooG interfac
e
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
V
e
r
d
oolaege
update
is
l
fo
r
r
e
name of i
s
l
_pw_qpolynom
i
a
l
_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
la
e
ge
iscc
.
c: un
i
on_pw_q
p
olynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
summa
t
e
.
c
: f
i
x t
y
po in
c
omm
e
nt
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
Verdo
o
l
aege
isl_
m
ap_apply_
p
w_qpolynomial: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl f
r
om i
s
l
_
union_ma
p
fixes
commit
|
commitdiff
|
tree
2010-08-10
S
ven
Verdoo
l
a
e
g
e
iscc:
a
llo
w
inverse
on non-union ma
p
s agai
n
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
iscc: add
wrap an
d
unwrap
operatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
add isl_union_map_
a
pply_unio
n
_pw_qpolyn
o
m
i
al
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl_pw_qp
o
lynomial_
s
um:
handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rdo
o
laege
upda
t
e isl for n
e
sted
d
imension sp
e
cifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_card: postpone shuffling around of dimensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven
Verd
o
olaege
u
p
date i
s
l for isl_basic_
m
a
p_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_
p
w
_
qpolynomial_sum:
p
u
sh c
o
nversio
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
Verdoolaege
isl_pw_qpolynomial_sum: check for unboun
d
ed
doma
i
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolae
g
e
avoid use o
f
isl_dim
i
nt
e
r
nals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
i
scc:
s
u
p
p
o
rt codege
n
ope
r
a
tion if CLo
o
G
i
s
ava
i
lable
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
oolaege
i
s
cc: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdoo
l
aege
add i
s
l_union_pw_qpol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
ad
d
isl_u
n
i
o
n_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolaege
isl_pw_qpolynomial_sum: take t
u
ple names
i
nto account
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdo
o
laege
isl_ma
p
_card: preserve full do
m
ain dim
e
ns
i
o
n
information
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoola
e
ge
upda
t
e isl for change in isl_ha
s
h_ta
b
le_
f
oreac
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdo
o
laege
b
a
r
v
i
nok_enumerate
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
olaeg
e
doc: add some more papers
refering to the library
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verdoolaege
barvi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
u
p
date isl to
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
o
o
la
e
g
e
configu
r
e
.
in: properly add
isl flags
a
nd lib
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdool
a
e
ge
c
o
nfigure
.
in: dr
o
p call to gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Ve
r
doolaege
ge
n
fun
.
cc:
fix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
t
est_
a
pp
r
ox
.
c: fix pri
n
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
test_bound
.
c
:
fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configure
.
in:
s
top compiling Omega by def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erd
o
ola
e
g
e
v
erify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
ev
a
lue
.
c: avoi
d
use of a
l
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
V
er
d
oolaeg
e
isc
c
:
recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update i
s
l for improved error
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ve
r
doolae
g
e
iscc
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
o
l
aege
doc: is
c
c:
update docum
e
n
tatio
n
o
f
"
ub" oper
a
tor
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
test_approx: include
c
type
.
h
f
or
i
sspace
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
t
est_approx
:
includ
e
config
.
h for
H
AVE_SY
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
g
e
test_bo
u
n
d: include
config
.
h for
HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
i
scc: add
v
ertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
option
a
ll
y
u
se isl to perf
o
rm
p
arametr
i
c verte
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
u
p
da
t
e
i
s
l
-pol
y
lib for handling of ra
t
ional sets
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
d
r
op distinction between barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
upd
a
te isl for generi
c
i
s
l_pw_qpo
l
ynomia
l
_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
conf
i
g
ure
.
in: drop
bv_omega_progr
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_barvinok_o
p
tion
s
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n
V
e
rdoolaege
i
s
cc: parse
b
arvinok op
t
i
ons
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolaege
export isl_qpolynomial_from_
e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop de
p
endence
o
n doc/om
e
ga
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for
r
ename of isl_pw_qp
o
lynomia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdool
a
eg
e
veri
f
_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
configure
.
in:
f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
lae
g
e
u
p
d
a
te
isl for k
e
eping track
of u
s
er option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolaege
test_boun
d
:
rewrit
e
in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoolaege
up
d
ate isl for
h
elp message
print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoo
l
aege
remov
e
eval
u
e_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdo
o
laeg
e
remove e
v
alue
_
r
an
g
e_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
test_b
o
und: use
i
sl interface
for computing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barv
i
no
k
_
b
o
u
nd: use isl interfac
e
f
o
r computing bound
s
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdoolaege
iscc: su
p
p
o
rt ub
e
v
en if GiN
a
C support w
a
s not compi
l
e
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
ool
a
ege
add gener
i
c isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
u
p
date
isl
f
o
r
i
s
l_p
w
_q
p
olyn
o
mial_
b
o
u
nd_r
a
n
g
e
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
test_bound: use
i
sl d
u
ring
v
e
r
if
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdool
a
ege
barvinok_bound: use isl du
r
i
n
g verificat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
verify
.
c:
e
xt
r
act some helper
f
unctions
for
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolae
g
e
introduce "bound" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
laege
options
.
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
i
scc: ad
d
applicatio
n
oper
a
tions
commit
|
commitdiff
|
tree
next