repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.34
2011-07-14
Sven Verdoo
l
aege
barvinok 0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaege
update
cl
o
og to vers
i
on 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
S
v
en Ve
r
d
oolaege
up
d
ate
i
sl to version 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven V
e
r
d
oolaeg
e
autogen
.
sh: replace s
u
perproject p
a
r
t
b
y call to autoreco
n
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verd
o
ola
e
ge
conf
i
gur
e
.
a
c: use
n
on-depr
e
c
a
te
d
form of
A
M_IN
I
T_AUTOM
A
KE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sve
n
Verdoolaege
ren
a
me
c
onfigur
e
.
i
n
to conf
i
gure
.
a
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven
V
erdoolaege
u
pda
t
e cloog for
n
ot dependi
n
g on internal represenation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdool
a
eg
e
t
e
s
t: use isl interface f
o
r testing la
t
tice w
i
dths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
iscc
:
add lattice_wid
t
h operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
e
ge
i
s
cc
:
replace schedule_bands by
sch
e
d
u
le_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaeg
e
up
d
a
te isl for fix
i
n isl_sch
e
d
ule interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verd
o
o
laege
up
d
ate cloog for addition
o
f missin
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
iscc:
a
cc
e
pt empty lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
remo
v
e e
v
alue_split_perio
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
dr
o
p evalue_c
o
nvert a
p
plication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
V
erd
o
olaege
lexmin
.
cc: add
miss
i
ng
r
e
t
urn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
verify
.
c
: add missing retu
r
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
evalue_rea
d
.
c: stream_push_token: fix r
e
turn type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
e
value_
r
e
a
d
.
c:
a
d
d missing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
dool
a
ege
evalue_
r
ead
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_
o
bj_
l
ist_p
r
int: pr
o
perly return
i
sl_print
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_obj_list
.
h
: use fle
x
a
r
ray member to avo
i
d array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
ol
a
ege
up
d
ate i
s
l for
r
ena
m
ing o
f
isl_qpolynomial_i
s
_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdo
o
l
aege
barvinok_summate:
be more car
e
f
u
l about spac
e
s
i
n
which
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
summat
e
.
c:
add
m
i
ssi
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n Verdoolaege
b
a
rvinok
.
cc: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdoolae
g
e
Change
licen
s
e
from GPL 2
.
0 to GPL
2
.
0
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sve
n
V
erdoolaege
eva
l
u
e_isl
.
c: add
m
issing incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
erdoolaege
a
d
d clo
o
g su
b
modu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
u
p
date isl for cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ver
d
o
olaege
isl_obj_list
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sve
n
Verdoo
l
aege
iscc
:
turn on sh opti
o
n when
calling CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Ver
d
oolaege
e
va
l
ue_isl
.
c
:
avoid use
o
f isl
_
div internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doola
e
g
e
update isl
for isl_div
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en V
e
rdoola
e
ge
configure
.
a
c
:
don't depend o
n
automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdo
o
laege
iscc:
a
dd sched
u
le and sche
d
ul
e
_ban
d
s operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolae
g
e
iscc: add solution
s
operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
iscc: add coefficients operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: a
d
d lift oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolae
g
e
i
s
cc: perform assignmen
t
s
e
ven o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: plug
m
em
o
r
y leak on
e
r
r
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Ve
r
doo
l
aege
use sil
e
nt make
r
ules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
b
a
rvinok 0
.
3
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
ge
i
s
cc
.
c
:
fix typo
w
hi
c
h would prevent co
m
p
ilation in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
la
e
g
e
update
isl
to
v
ersion 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl
_
pw_qpolynom
i
al_sum: handle exist
e
n
t
ials in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
drop piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
ae
g
e
stop us
i
ng pip
as LP sol
v
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
do
c
: constra
i
nts no longer need to be specified i
n
DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
iscc: parse list
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
V
erdool
a
ege
ad
d
isl_
l
i
st_
a
dd_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
iscc: parse bool
e
ans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
i
scc: allo
w
interrupt
i
on of computation from the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven V
e
rdoolaege
avoid
u
se of isl_ctx
i
n
ternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en
V
er
d
oolaege
is
l
_ob
j
_str: print qu
o
tes aroun
d
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolaege
isc
c
:
keep
track
o
f intermedia
t
e
results in interactive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
iscc: add po
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoola
e
ge
iscc: add
z
ip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdo
o
laeg
e
i
s
cc: a
d
d
del
t
as_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
lexmin: ass
u
me unkn
o
w
n
s
an
d
p
arameters are non-n
e
g
a
t
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
lexmin: use i
s
l t
o
read in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
er
d
o
olae
g
e
als
o
perform lexmin check in abse
n
ce of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ol
a
ege
polysign: add isl-bac
k
ed version and use it
b
y default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
up
d
ate isl
-
polylib for fix in header file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdoolaege
upda
t
e isl
f
or
chan
g
e in i
s
l
_
flow
_
get_
n
o_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
doc: docume
n
t isl modulo n
o
t
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolaege
iscc: rea
d
_
lin
e
:
f
i
x retu
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaeg
e
evalue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdool
a
ege
i
scc
:
add o
p
e
r
atio
n
s on i
n
t objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
update
i
sl for in
t
roduction of
int
obj
e
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verdoola
e
g
e
add isl_basic_set_card a
n
d
i
sl_basic_map
_
card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
do
o
laege
d
ocument isl_uni
o
n
_
s
et_
a
pply_
u
n
i
on_pw_qpolynom
i
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove p
o
l
y
hedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
r
e
move po
l
y
tope_minimize application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
ool
a
ege
Pol
y
he
d
ron
_
Sam
p
l
e
: use
isl unconditional
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
remove combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
bui
l
d
l
ibisl
and lib
p
olylibgmp before
libi
s
l-p
o
lyl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
cc: suppor
t
appl
i
cation
o
f piecewi
s
e
q
uasipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoola
e
ge
doc:
f
ix documentation of
join of m
a
ps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
d
d isl
_
union_se
t
_ap
p
l
y_
u
n
ion_
p
w_qp
o
lynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
update isl for e
x
port of i
s
l_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
iscc: add
w
rit
e
o
p
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
a
eg
e
is
c
c: o
p
ti
o
nal
l
y disable rea
d
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc: explain comma
o
perator i
n
a set descr
i
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
scc:
add t
y
p
e
of ope
r
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
add
isl
_
str_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n V
e
rdoolaege
iscc
.
c
:
us
e
C99 designated
i
n
itializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Ve
r
doolaege
iscc
:
minor improv
e
ment in err
o
r
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoolaege
iscc: a
d
d domain_map and range_map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
iscc
:
add "domain
"
and
"
r
ange"
synonyms for "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
u
p
date
i
s
l to versi
o
n 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verdoo
l
aege
iscc:
don't allow code
g
eneration on union
s
ets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update
isl t
o
version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
o
o
laege
a
void use of isl_se
t
a
n
d isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n
V
erdoolaege
sep
a
rate
out isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en
Verdoolaege
con
f
igure
.
in: propag
a
te ab
s
olute
i
sl build
d
i
r
to submod
u
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ven Verdool
a
ege
u
p
date
i
s
l for rename of head
e
r
files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
e
value_
f
loor2frac: don't
a
ssume coeffi
c
ients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Ver
d
oolae
g
e
test_boun
d
: stop testing af
t
er pre
d
eterm
i
n
e
d num
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
barvinok_b
o
und: re
w
rite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next