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
set sensible defaults with --polynomial-approximation and --approximation-method
2010-08-26
Sven Verdoolae
g
e
s
e
t
sensible defaults with --
p
o
l
ynomi
a
l-
a
pproxi
m
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolae
g
e
i
s
l_p
w
_qpolynomial_
s
um:
r
euse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_m
a
p_car
d
: reuse barvino
k
_option
s
if a
v
ailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
u
pdate
i
sl for
a
ligning
p
arameters of
u
nion
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doo
l
aege
i
scc: add "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
olaege
iscc: add
"
j
oin" operation
on map
s
and
fo
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support
a
dditio
n
on a pair o
f
a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl
f
o
r
adding types
to
isl_{un
i
on
_
,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
allow codegen o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
o
o
laege
iscc:
codegen: detect stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
rdoolae
g
e
iscc: use s
i
mplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
up
d
at
e
isl for ren
a
me of
isl_pw_qpolyn
o
m
i
al
_
fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdool
a
e
g
e
iscc
.
c: union_pw_qpolynom
i
al_upp
e
r_bo
u
nd: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
summat
e
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoola
e
ge
isl_map
_
apply_pw_qpolynomi
a
l: fix t
y
po
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdool
a
ege
update isl from isl
_
un
i
on_map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
v
en
V
erdoolaege
isc
c
:
allow inverse on non
-
unio
n
map
s
again
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
iscc: add wrap and
u
nwrap
opera
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add i
s
l_union_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoola
e
ge
isl_pw_qpoly
n
o
mial_sum: handle i
s
l
_
p
w
_qpol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
update i
s
l
f
o
r
nested d
i
mension
s
pecifi
c
ati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaege
isl_map_
c
ard: pos
t
pone shuffling around o
f
d
imensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ol
a
ege
u
p
d
a
te isl for
i
sl_basic_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw
_
qpolynomial_s
u
m: push c
o
nversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl
_
p
w
_q
p
olynom
i
a
l
_s
u
m: check for unboun
d
ed domain
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
av
o
id us
e
o
f isl
_
dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
i
s
cc:
s
upport cod
e
gen ope
r
a
t
i
o
n if CLooG is avai
l
able
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolaege
iscc: switc
h
t
o
usi
n
g unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoola
e
ge
a
d
d isl_union_p
w
_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doola
e
ge
a
dd isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aeg
e
i
sl_p
w
_qpolynom
i
al_sum: take tuple na
m
es into account
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdoola
e
ge
isl_map_card: preser
v
e
full domain di
m
e
nsio
n
i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
update
isl for change in isl_hash_
t
able_f
o
reach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
barvinok_enumerate
.
cc: f
i
x
printf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolae
g
e
do
c
: a
d
d
some more paper
s
refer
i
ng to t
h
e library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rd
o
olae
g
e
updat
e
isl
t
o ve
r
sion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
configure
.
in: p
r
operly add isl flags and li
b
s
t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop ca
l
l to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoola
e
ge
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
test_
a
pp
r
ox
.
c:
fix p
r
i
n
tf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
t
est
_
b
ound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ver
d
oolaege
configure
.
in: stop com
p
iling Omeg
a
b
y
defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaeg
e
verify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
olaeg
e
eval
u
e
.
c
:
avoid use of
a
ll
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
ev
a
lue
_
isl
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc:
r
e
c
over from err
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verd
o
olaege
upd
a
te isl for
i
mproved error h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
iscc
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: isc
c
: update d
o
cumentation of "ub" operat
o
r
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
test_appr
o
x: inc
l
ude ctype
.
h for iss
p
a
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: in
c
lude config
.
h for HAVE_S
Y
S_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
tes
t
_bound: include
c
onfig
.
h for HAVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolae
g
e
iscc: add vertice
s
opera
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
optionally u
s
e isl to perform parame
t
ric v
e
rtex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upda
t
e
is
l
-polylib fo
r
handl
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdool
a
ege
drop
dis
t
i
nction between barvinok-core and barvin
o
k
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
remove b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
update is
l
fo
r
generic i
s
l_pw_qpolyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
c
onfigure
.
i
n: drop
b
v_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_c
t
x_peek
_
barvinok_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
is
c
c: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laeg
e
export isl_
q
polynomial_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doola
e
ge
Makefile
.
am: drop dependence
o
n
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
updat
e
i
sl fo
r
rename
of isl_pw_qpolynomial_m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
veri
f
_ehrhart
.
c: add
m
i
ssi
n
g includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
configure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Ver
d
oolaege
use
i
sl for argument par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
dool
a
ege
up
d
ate is
l
for k
e
epin
g
track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Ver
d
o
olaeg
e
test_
b
oun
d
: rewr
i
te in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolae
g
e
update isl f
o
r help m
e
ss
a
g
e pri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
l
aege
remove
e
v
alue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
remo
v
e evalue_rang
e
_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
tes
t
_boun
d
: us
e
isl interface for c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ver
d
oolaege
barvinok_bound
:
use
isl interfac
e
for computing
bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdool
a
e
ge
iscc:
s
upport ub even if GiNaC su
p
port
was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
add gener
i
c
i
s
l_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
upda
t
e i
s
l
for isl_pw_
q
polyno
m
ial
_
bo
u
n
d
_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
test_bound: use isl durin
g
verific
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
barvi
n
ok_bound: u
s
e
i
sl duri
n
g verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
erify
.
c: ext
r
act some
h
elper
functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
e
g
e
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
options
.
c: fix pri
n
tf
format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
e
r
d
oola
e
ge
iscc:
add applic
a
t
i
o
n op
e
rations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olae
g
e
iscc
:
ad
d
rea
d
op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
i
scc: free o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
upda
t
e
isl for
reading of str
i
n
gs
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
update isl for fix in isl_printer_
p
rint_pw_qpo
l
ynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
update isl
-
p
o
lylib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
iscc: allow specific
a
tion
o
f
output forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdo
o
laege
update
i
s
l for
c
h
a
nge in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update i
s
l fo
r
rename of is
l
_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
doola
e
ge
co
n
f
i
gure
.
in:
ad
d
isl fla
g
s and li
b
s
t
o pkg-
c
onf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test isl_stream for eof rather tha
n
the un
d
erl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc:
add
d
e
l
t
as
o
pe
r
atio
n
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ve
r
doola
e
ge
update isl for fix in
i
sl_ma
p
_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdool
a
ege
d
rop barvinok_enumerate_p
i
p_with_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
is
c
c: add
c
ross product o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verd
o
ola
e
ge
is
c
c: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolaege
update isl
f
or isl_pw_q
p
olynomial_coalesce
commit
|
commitdiff
|
tree
next