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
allow codegen on sets
2010-08-18
Sven Verdoolaege
a
llow co
d
egen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
is
c
c
: cod
e
gen: de
t
ect str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
ola
e
ge
iscc: use simpli
f
ie
d
CLooG
i
n
terfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
d
o
olaege
upda
t
e is
l
for
rename of isl_
p
w_qp
o
lyno
m
ia
l
_fo
l
d_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aeg
e
iscc
.
c: union_pw_qpolynomia
l
_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
summate
.
c: f
i
x
typo i
n
co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply_pw
_
qpolyn
o
mial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
update
i
sl from isl_un
i
on_ma
p
fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Ve
r
doo
l
aege
iscc
:
a
ll
o
w inve
r
se on non-
u
n
i
on ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
i
sc
c
:
add
w
rap
a
nd unwra
p
o
p
erations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
add isl_union_m
a
p_apply_u
n
ion
_
pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdo
o
la
e
ge
isl_pw_qpo
l
ynom
i
al_su
m
:
h
andle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
upd
a
te i
s
l for nested dimensio
n
specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
m
ap_card: post
p
one
s
huffli
n
g around of dimensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
u
p
d
a
te is
l
for isl_basic_ma
p
_mo
v
e
_
dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl_pw_qpolynomial_su
m
: pu
s
h con
v
ersion to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
isl_pw_qpolynomial_sum
:
c
heck for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaeg
e
a
void us
e
o
f isl_dim int
e
r
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
iscc: support codegen operation if CL
o
oG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n V
e
rdool
a
ege
iscc
:
switch to using
u
nions
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
r
doola
e
ge
add
isl_union_pw_qpol
y
nomial_
s
u
m
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdoola
e
ge
add isl_unio
n
_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
do
o
l
a
ege
isl_p
w
_q
p
ol
y
nomial_sum: ta
k
e
t
uple names i
n
to a
c
co
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
i
s
l_map
_
card: prese
r
ve full doma
i
n dime
n
s
i
on informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
up
d
a
t
e isl for change in isl_
h
a
sh_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
barv
i
no
k
_enum
e
rat
e
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven
Ver
d
o
o
l
aege
doc: add some more
p
apers refering to
t
h
e
library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
g
e
ba
r
vino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erd
o
o
l
aege
update
i
sl
to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigure
.
in: prop
e
rly add isl flags and libs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
configure
.
in: drop ca
l
l to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
c
c: fix printf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
te
s
t_approx
.
c:
fix pr
i
n
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_boun
d
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
con
f
igure
.
in:
s
top comp
i
lin
g
Ome
g
a by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
v
erif
y
_l
e
xsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: a
v
oid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oola
e
ge
evalue_isl
.
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: re
c
over from
e
rror
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
u
pd
a
te isl for improved
e
rror handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isc
c
.
c
:
fi
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n
Ver
d
o
o
laege
doc
:
iscc: update documentat
i
o
n
o
f
"ub" oper
a
to
r
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
o
laege
t
e
st_approx: includ
e
ct
y
pe
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaeg
e
test_approx: include
config
.
h for HAVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
test
_
bound:
i
nclu
d
e co
n
fig
.
h f
o
r HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
iscc: ad
d
vertices operati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
optionally use isl t
o
perform parametric vertex enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
upda
t
e
isl-polylib
for
ha
n
dling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
drop distinct
i
on
between barvi
n
ok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
ge
u
p
date isl
f
o
r g
e
neric isl_pw_qpoly
n
omial_bound
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
c
o
n
f
igure
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolae
g
e
add i
s
l_
c
tx
_
peek_barvinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdool
a
ege
iscc
:
p
arse barvi
n
ok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
e
x
por
t
isl_qpolynomial_from
_
evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Ve
r
doolaege
Makefile
.
am
:
d
rop dependen
c
e
on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
update isl
for re
n
ame
of isl_p
w
_q
p
olyno
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
olaege
verif
_
e
h
rhart
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
dool
a
ege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
u
se isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
update isl for keeping track of user options
commit
|
commitdiff
|
tree
2010-05-19
S
v
e
n
Verdoola
e
ge
test_b
o
un
d
: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdoolaege
update isl f
o
r he
l
p message pr
i
nting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remo
v
e evalue_
o
ptim
u
m
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
re
m
ove
evalue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
erdoolaege
te
s
t_b
o
und: use
i
sl inte
r
face for
computin
g
boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolae
g
e
barvinok_bou
n
d: use isl
i
n
t
e
r
face
f
or com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
iscc: support ub
e
ven if GiNaC support was
n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
gene
r
ic isl
_
pw_qpoly
n
o
m
ial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
u
p
date
i
sl fo
r
isl_pw_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
test_
b
ound: use isl
during
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ba
r
v
i
nok_b
o
und
:
use isl du
r
i
n
g
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ver
i
fy
.
c: extract some helper functions for
i
sl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oo
l
aege
intr
o
duc
e
"bou
n
d"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
options
.
c: fix printf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
i
scc: add application operati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
V
e
r
doolaege
iscc
:
add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolae
g
e
isc
c
: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
u
pdate isl fo
r
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
o
laege
updat
e
isl
f
or f
i
x in isl_printer
_
print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
oolaege
update
isl-p
o
l
ylib f
o
r
c
hange
in pk
g
-config fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaeg
e
i
scc: al
l
o
w sp
e
cification of out
p
u
t fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
update
i
sl f
o
r change in isl_set_
g
ist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Ver
d
oolaege
update isl for rename o
f
isl_map
_
m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
S
ven Ver
d
o
olaege
configure
.
in: add isl flags a
n
d l
i
bs to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
iscc: test isl_str
e
am for eof rather
t
han
t
h
e underl
y
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
iscc: ad
d
deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
upd
a
te isl f
o
r f
i
x in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoolaege
drop b
a
rvinok_enumerate_pip_
w
ith_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
ge
iscc: add cross product
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolae
g
e
is
c
c: add coale
s
ce
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl for isl_pw_qpoly
n
omial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
drop
"
Omega counti
n
g calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaege
test_bound
.
cc: fix
printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
o
o
laege
b
e
rnst
e
in
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ve
r
doolaege
evalu
e
_range
_
p
r
opaga
t
ion: fix subs
t
itution for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
bernstein/conf
i
gure
.
i
n:
use absolute srcdir
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
only distribute bun
d
led submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
upda
t
e omega for c
o
nfigura
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
configure
.
in: al
l
ow "build" Po
l
y
Lib
commit
|
commitdiff
|
tree
next