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
Makefile.am: drop references to obsolete @bv_barvinok_bound@
2010-08-31
S
v
en Verd
o
olaege
Makefil
e
.
am: drop refer
e
nces
t
o obs
o
lete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
o
laeg
e
ev
a
l
u
e_convert
.
cc: evalue_print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Verdoolaege
i
s
cc: allow
c
oercion of
b
inary list into
first element
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdool
a
ege
b
a
rvinok_bou
n
d: co
n
vert to isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound: us
e
i
s
l to split on
domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdool
a
ege
set sensible defaults
w
it
h
--polynomial-
a
pp
r
oxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
e
ge
isl_pw_qpolynomial_su
m
: reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven
V
erdoola
e
ge
i
s
l_map_card: reuse barvinok_option
s
if availa
b
le in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdool
a
e
g
e
update isl for
a
li
g
ning
par
a
meters of
u
nion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: add "join
"
operation
o
n fold
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdool
a
ege
iscc: a
d
d
"join" operat
i
on on maps
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc:
s
upport addition on a pair of a f
o
ld and a
quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
update i
s
l for a
d
ding type
s
t
o
isl_{union_,}pw_qpolynomial_
f
o
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
allow codegen on
s
ets
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
i
scc: c
o
degen
:
detec
t
strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c: use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oo
l
ae
g
e
update
is
l
for rename
o
f
i
s
l_pw_q
p
o
ly
n
o
mial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c
.
c:
union_pw_qpolynomial_uppe
r
_bou
n
d: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
summate
.
c: fix typo
in co
m
me
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
i
sl_
m
ap_apply_pw_qpolynomial
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
update i
s
l f
r
om isl_un
i
on_
m
ap f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoo
l
a
ege
i
s
c
c
: al
l
ow inverse on n
o
n-unio
n
maps again
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdool
a
e
g
e
iscc:
add wrap and un
w
ra
p
operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_
u
nio
n
_ma
p
_
a
pply_union
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoo
l
aege
isl_pw_qpoly
n
omial_sum: han
d
le isl_pw_qpolyno
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
up
d
a
t
e isl for nested di
m
ension specificati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
isl_
m
ap_card
:
p
ostpone shu
f
fling around of dimension
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upda
t
e isl for isl_basic_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ve
r
do
o
laege
isl_pw_qpolynomial_sum: push
c
o
n
ve
r
s
ion
t
o Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
i
s
l
_p
w
_
qp
o
lyn
o
mia
l
_sum: che
c
k fo
r
un
b
ounded dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Ver
d
oolaege
avoid
u
se of i
s
l_
d
im in
t
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoola
e
g
e
isc
c
:
su
p
port code
g
en ope
r
ation if CLo
o
G is available
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
erdoolaege
is
c
c:
swi
t
ch to using
un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
add isl_union_pw
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Ve
r
doolaege
add
i
sl_union
_
map_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
isl_pw
_
qpo
l
ynomial_sum:
t
a
ke tuple names into acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolae
g
e
i
sl_map
_
card:
preserve full dom
a
in dimension in
f
orm
a
ti
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
u
pdate isl for change
in i
s
l_has
h
_t
a
ble_fore
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
b
a
rvinok
_
e
n
umer
a
t
e
.
cc:
f
i
x
p
r
intf form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoolaege
doc: add som
e
more papers refering to
the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoo
l
aege
upda
t
e isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
config
u
re
.
in
:
properly add is
l
flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
c
o
nfigu
r
e
.
in
:
drop call to
gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoo
l
aege
genfu
n
.
cc: fix p
r
intf f
o
rma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdool
a
e
ge
test_approx
.
c: fi
x
pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doo
l
aege
test_bound
.
c: fix
p
ri
n
tf
f
orm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
c
onf
i
gu
r
e
.
i
n
: stop c
o
mpilin
g
Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
ve
r
i
f
y
_lexsm
a
ller
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
value
.
c:
a
v
o
id
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
e
g
e
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
laege
iscc: reco
v
er
f
rom
errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdo
o
laege
u
pda
t
e
is
l
f
o
r
i
mproved error hand
l
in
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolae
g
e
doc: iscc: updat
e
do
c
umentation of "
u
b" ope
r
ator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olae
g
e
tes
t
_approx: inc
l
ude ctype
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_
a
pprox: includ
e
config
.
h for HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
tes
t
_b
o
und: inc
l
ude config
.
h for H
A
VE_SYS_TI
M
E
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertices operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
option
a
lly
u
se isl t
o
perform param
e
tr
i
c vertex en
u
m
e
r
a
ti
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
u
p
d
a
te isl-poly
l
ib fo
r
handlin
g
o
f
r
a
tio
n
al set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
drop distinction between bar
v
i
nok-co
r
e and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl f
o
r generic is
l
_pw_
q
pol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
co
n
f
igure
.
in
:
d
rop bv_om
e
ga_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_c
t
x_peek_barvin
o
k_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
o
o
laege
isc
c
: par
s
e
ba
r
vinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
oolaege
export
i
sl_qpolynomial_
f
rom_e
v
alu
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop d
e
pendence on
d
oc/om
e
ga
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upd
a
te i
s
l for rename of isl_p
w
_qpol
y
n
omial_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
erdoolae
g
e
v
erif_ehrhart
.
c
: add
m
issin
g
inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
laege
c
onfi
g
ure
.
i
n
: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
u
s
e
i
s
l
for argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
update
i
sl for k
e
eping track of user
option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
te
s
t_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdoolaege
upd
a
te isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdo
o
laege
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
remove
e
value
_
ra
n
g
e
_prop
a
ga
t
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
r
doolae
g
e
test_bound: use isl in
t
erfac
e
for computi
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
barvinok_
b
ound: use is
l
interface for comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
iscc: s
u
pport ub e
v
en
i
f GiNaC
sup
p
ort was not com
p
i
led in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add generic isl_pw
_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoola
e
ge
update
i
sl for isl_pw_qpolynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
test
_
bound:
use isl duri
n
g verificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
b
a
r
v
i
n
ok_bound: use isl
d
uri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdoolaege
verify
.
c:
e
x
t
r
act some he
l
per f
u
n
ctions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
introduce "bound"
option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdoo
l
aege
op
t
ions
.
c: fix
printf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdo
o
laege
iscc:
a
dd ap
p
lication operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
erdo
o
laege
iscc:
a
dd read opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
i
scc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
updat
e
isl for read
i
ng of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoolae
g
e
update isl for fix
in isl_pr
i
nter
_
print_
p
w_qpo
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdoolaege
update isl-polylib for
cha
n
g
e
i
n
pk
g
-co
n
f
ig
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdool
a
e
ge
iscc: allow specifica
t
i
on of
o
utput form
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update i
s
l
f
o
r change in isl_set_gi
s
t
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolaege
update i
s
l fo
r
re
n
ame of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verd
o
olaege
c
onfigur
e
.
i
n: add isl flags and libs
to pkg-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdool
a
ege
iscc: t
e
st i
s
l
_stream for e
o
f r
a
t
her
t
han the
u
n
d
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc: add d
e
l
ta
s
operation
commit
|
commitdiff
|
tree
next