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
configure.ac: don't depend on automake 1.11
2011-05-16
Sven Verdoolaege
c
onf
i
gure
.
ac:
don't de
p
end on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ver
d
oolaege
iscc: add schedule and sch
e
dule_bands operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
erdoolaege
i
scc: add solutions operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rd
o
o
laeg
e
isc
c
: add
coef
f
icients operat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
iscc: add lift ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
doolaege
iscc: p
e
rform assignme
n
ts even on
e
rror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaeg
e
iscc: plug
m
e
mory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sv
e
n Verdoolaege
u
s
e
silent m
a
ke rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rd
o
olaege
bar
v
inok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
iscc
.
c:
f
ix
typo wh
i
ch would prevent compilati
o
n in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verd
o
o
l
aege
update isl to
v
e
rsion 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Ve
r
doola
e
ge
i
s
l_
p
w_qpolyn
o
mial_sum:
h
a
n
dle exi
s
tentials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
d
r
o
p
p
ipl
i
b
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
dool
a
eg
e
stop
u
si
n
g pip as LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
doc:
c
onstr
a
i
nts
no long
e
r
nee
d
to be speci
f
i
e
d in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
p
arse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
ad
d
is
l
_list_add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
erdoolaege
iscc
:
pars
e
booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdool
a
eg
e
i
scc: allow i
n
terruption of comput
a
tion
from the keyb
o
a
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
S
v
e
n
V
erdoolaege
avoi
d
us
e
of isl_ctx
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdo
o
laege
isl_obj_
s
tr: prin
t
quotes around s
t
ring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ve
r
doolaege
iscc: keep track of intermediate resu
l
ts in int
e
ractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolaege
i
s
cc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdo
o
laege
iscc: ad
d
del
t
as_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
l
exmin: assume u
n
kn
o
wns and p
a
r
am
e
ters
a
re non-n
e
gat
i
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
dool
a
e
ge
lexmin: use
isl to read inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdo
o
laege
also
p
erform
lexm
i
n
c
hec
k
in absenc
e
o
f
GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
polys
i
gn: add isl-backed v
e
rsion a
n
d us
e
i
t
by
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
update i
s
l
-
poly
l
ib for
fix in header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolae
g
e
update
isl
f
o
r chan
g
e in
i
sl_flow_g
e
t
_n
o
_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
do
c
: d
o
cum
e
nt isl modulo notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
Mak
e
file
.
am:
put NTL CFLAGS after isl
CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdool
a
ege
i
s
cc: re
a
d_l
i
n
e
:
fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdo
o
laege
evalue_isl
.
c: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
olaege
iscc
:
add
operations on int o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
d
o
ola
e
g
e
u
pdate isl for int
r
oduct
i
on of in
t
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
a
d
d
isl_ba
s
ic_set_
c
ard and isl
_
basic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
aeg
e
document i
s
l_u
n
ion_set
_
app
l
y_union_
p
w
_q
p
olynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
remov
e
polyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
r
e
m
o
v
e polytope_mi
n
imize application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Poly
h
edro
n
_Samp
l
e:
u
se isl unco
n
ditional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Verdoolaeg
e
remove
combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
lae
g
e
b
uild
libisl and libpol
y
libgmp before
l
i
bisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
o
olaege
iscc:
support applicati
o
n of p
i
ecewise quasipo
l
ynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
oc: f
i
x
d
ocume
n
tat
i
on of j
o
i
n of
m
ap
s
a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdo
o
l
aeg
e
add
i
s
l_union_
s
et_a
p
ply_union_pw_qpol
y
nomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaeg
e
update isl f
o
r export of isl_u
n
io
n
_m
a
p_f
r
om_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
iscc: add
w
r
ite operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
er
d
oo
l
aege
is
c
c:
optional
l
y di
s
abl
e
re
a
d operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en Ve
r
doolaege
doc: ex
p
lain
c
omma operat
o
r in a s
e
t de
s
cript
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoola
e
ge
iscc:
a
d
d
t
y
peof
oper
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoo
l
aeg
e
add is
l
_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
iscc
.
c:
use C99 designat
e
d init
i
a
l
izers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdo
o
laege
isc
c
: minor im
p
r
o
v
emen
t
in error
me
s
s
a
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoo
l
aege
iscc: add
d
omain_map and
range_map opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc
:
add "domain" an
d
"range" synon
y
m
s
for "dom"
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
up
d
a
te isl to ve
r
s
io
n
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ve
n
V
erd
o
o
l
aege
i
sc
c
:
d
o
n
't allow code generatio
n
on union sets
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
r
doola
e
ge
update isl
t
o versio
n
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n Verdoolaeg
e
avoid use of isl_set and i
s
l_map
i
n
tern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
e
n Verdoolaege
separate out isl
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Ver
d
ool
a
ege
confi
g
ure
.
in: propagate abso
l
ute isl buildd
i
r to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n Verdoo
l
a
e
ge
update isl
for ren
a
m
e of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n V
e
rdoolaege
evalue_floor2fr
a
c: don't assume
c
oefficients of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
olaege
test_bound: stop testing
after predetermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
g
e
barvi
n
ok
_
b
o
und:
r
e
w
r
ite
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
barvinok
_
{
su
m
mate
,
b
o
u
n
d
}
: t
a
k
e isl inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
test_bound: switch to isl representat
i
on e
v
en earl
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erdoolaege
test_bound: s
w
itch to
is
l
repr
e
sentation
e
a
r
lier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
is
c
c
: add
p
oly
n
omial approximation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
ven Verdoolaege
barvinok_summat
e
: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdo
o
laege
barvin
o
k_s
u
m
m
ate: use
isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolae
g
e
b
o
und
.
cc
:
d
rop dead c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Ve
r
doolae
g
e
doc: mo
r
e infor
m
ation
a
b
ou
t
using sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoo
l
aege
doc: update so
m
e r
e
ferences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
isc
c
: add poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verd
o
olaeg
e
isc
c
: add scan op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
ve
n
V
e
rdoolaege
isl_pw_qpolyno
m
ial_sum: hand
l
e existentials in
w
r
ap
p
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
v
e
n Ve
r
doolaege
u
pdate isl fo
r
renaming of isl_map_
r
emove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verd
o
olaege
v
ersion
.
c: s
h
o
w
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
V
erdoolaege
d
oc: a bit more i
n
fo
on is
c
c
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
V
erdoolaege
iscc
:
add before a
n
d aft
e
r operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc
:
add ident
i
ty operation
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
i
scc: break out off ma
i
n loop when printer no lo
n
ge
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
r
d
oolae
g
e
i
s
cc: support
ex
t
e
n
ded
P
olyLib output f
o
rmat
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdo
o
laege
con
f
igure
.
in: perform
che
c
k for GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_Po
l
yhedron_
S
ampl
e
: a
d
d
miss
i
ng initia
l
izatio
n
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
a
dd co
m
position o
p
e
r
atio
n
on
pie
c
ewise qu
a
sipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add depend
e
nce analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ve
r
d
o
olaege
iscc: r
e
gister extra
k
eywords in
g
e
neric wa
y
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
use isl to
p
erform
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
all
o
w buil
d
i
n
g wi
t
hout pipli
b
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oolaege
P
olyhedron_Redu
c
e
d_
B
a
s
is: opti
o
nally us
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
d
oolaege
fix d
e
pendence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erd
o
o
laege
isl
_
ma
p
_card:
u
s
e isl for facto
r
ization
commit
|
commitdiff
|
tree
2010-09-14
Sven Ver
d
o
olaege
isl
_
map_card: spl
i
t dim
e
nsio
n
fiddling from c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
V
erdoolaege
isl_map
_
c
ard: use isl_
p
w_qp
o
lyno
m
ial_sum if
r
eq
u
ested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven
V
erdoolaege
barvin
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
u
pd
a
t
e
isl fo
r
fix in param
e
ter alignm
e
nt
commit
|
commitdiff
|
tree
next