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
iscc.c: read_ident: use isl_val
2011-03-18
Sven
Verdoolaege
stop using
pi
p
a
s LP
solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verd
o
olaege
doc:
constra
i
nts no lon
g
er need to
be specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
is
c
c: pars
e
lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ola
e
g
e
ad
d
isl
_
list_ad
d
_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaeg
e
iscc: allow i
n
terruption of comput
a
t
i
on from the keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Ver
d
oola
e
g
e
avoid
u
se of isl_ctx inter
n
a
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
e
n
Verdo
o
la
e
ge
i
s
l_ob
j
_str: print quotes around
s
trin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc
:
ke
e
p track of intermediate
resul
t
s i
n
in
t
e
ractiv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
is
c
c: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oola
e
ge
iscc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven
V
e
r
d
oolaege
iscc: add
d
el
t
as_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin: assu
m
e unkn
o
wns and parameters
are non-n
e
g
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoo
l
aege
lexmi
n
: use isl to read
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ola
e
ge
also perf
o
r
m
lexmin c
h
eck in absence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
doolaege
polysign: add is
l
-backed version
a
nd
u
se it
b
y
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
u
p
date isl-polylib f
o
r fi
x
in header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
update isl fo
r
change in
i
s
l_flow_get_no_s
o
urce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdo
o
laege
doc: docu
m
ent isl modulo n
o
t
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
g
e
Makef
i
le
.
am: put NTL CFLAG
S
afte
r
isl
C
FLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
c
c
: read_line: fix retu
r
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
e
va
l
ue_is
l
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
is
c
c: add operations on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
update is
l
for introductio
n
of int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoo
l
ae
g
e
add isl_basic_set_card and i
s
l_basic_m
a
p_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
r
do
o
laege
document isl_union_set_apply_
u
nion
_
pw_
q
po
l
ynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
olaege
remove
p
olyhedron
_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oola
e
g
e
rem
o
v
e
p
oly
t
op
e
_mi
n
imi
z
e applic
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
P
olyhed
r
on_Sample:
u
s
e
i
sl uncon
d
itional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdo
o
laeg
e
remove com
b
ine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
erdoolaege
build l
i
bisl and libpolyli
b
gm
p
befor
e
lib
i
sl-
p
olylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
i
scc:
support application
o
f pie
c
ewise
quasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
doc: fi
x
docum
e
n
t
ati
o
n of joi
n
o
f
maps
a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
d
oo
l
aege
add
is
l
_uni
o
n
_set_a
p
pl
y
_union_pw_qpol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
Verd
o
o
l
a
e
g
e
update
isl
fo
r
export of isl_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
a
ege
iscc:
a
dd write o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
oolaege
iscc: optionall
y
disa
b
le re
a
d ope
r
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
ven Ver
d
oolaege
doc: ex
p
lain comma
o
pera
t
or
i
n
a
set desc
r
iption
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
iscc:
a
dd t
y
peof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaege
a
d
d isl_str_f
r
o
m_s
t
ring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
ola
e
g
e
iscc
.
c
: use C
9
9 designated initializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
rdoola
e
g
e
iscc: m
i
n
or improve
m
ent in err
o
r m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
olaege
iscc:
a
dd
do
m
ain_map and rang
e
_ma
p
o
p
erations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoola
e
g
e
i
s
cc:
a
dd "domain" and
"
range" syn
o
nyms for "d
o
m
" an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verd
o
o
l
aege
update isl t
o
versi
o
n 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
iscc: don't allow code g
e
neration on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven
Verdoolaege
up
d
ate isl to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n V
e
r
doo
l
ae
g
e
avoi
d
use
of
i
sl_
s
e
t
a
nd isl_map
i
n
t
erna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Ve
r
doolaege
separa
t
e out is
l
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Verdoolaege
c
o
nfigure
.
i
n: pr
o
pa
g
ate absolute isl buil
d
dir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ve
r
doolaege
upda
t
e isl for rename of header
files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
eval
u
e_floor
2
fra
c
:
don
'
t
assume
coe
f
ficients
o
f floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verdoo
l
aege
test_bound: st
o
p
testing aft
e
r predetermin
e
d
n
u
mber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
barvinok_bound: r
e
w
r
ite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ve
r
d
oolaege
barvinok_{sum
m
ate,bound}
:
take
i
sl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoola
e
ge
test
_
bound:
switch
to
i
sl re
p
resent
a
tion even
e
a
r
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
test_bound: switch to isl
r
epresen
t
ati
o
n
e
arl
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
is
c
c
:
add polynomial approx
i
mati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Verd
o
olaege
barvinok_summat
e
: rewrite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvi
n
ok_summate: u
s
e is
l
i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
boun
d
.
cc:
d
r
o
p
dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven V
e
rdoolae
g
e
doc:
m
ore information about u
s
i
ng sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: updat
e
some refer
e
nce
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
iscc: add poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
ven Ve
r
doolae
g
e
isc
c
: add scan op
e
rati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven
Verdoolaege
isl_
p
w_qpo
l
yno
m
i
a
l
_sum: ha
n
dle existen
t
ia
l
s
i
n wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n
V
erdoolaege
updat
e
i
s
l for renami
n
g
of isl
_
map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
Verdoola
e
g
e
versi
o
n
.
c: s
h
ow us
e
of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
d
oc: a bit m
o
re info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
add
b
efore and after ope
r
ations
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
iscc: add
identi
t
y operation
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
iscc: bre
a
k
o
u
t off main lo
o
p when printer
no
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
scc: support ext
e
nde
d
PolyLib
o
utput format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
confi
g
ure
.
in: perfo
r
m c
h
eck
f
o
r
GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verdoolaege
isl_Poly
h
e
d
ron_Sam
p
l
e: add
m
is
s
ing initi
a
liza
t
ion
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
iscc: add compos
i
tion o
p
eratio
n
on piecewise
quasipo
l
y
n
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven
V
erdoo
l
aege
i
scc: add
d
ep
e
ndenc
e
analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
lae
g
e
iscc
:
re
g
i
ster extra keywo
r
d
s
in generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
use isl to perform
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allo
w
buildi
n
g without
p
iplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaeg
e
Polyhedron_Reduced_Basis: optional
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
fix d
e
pende
n
ce on
build
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
ola
e
ge
i
sl_map_card: use
i
sl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoola
e
ge
i
sl_map_card: split dimension fi
d
d
ling from
c
o
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_ma
p
_card: use isl_pw_q
p
olyno
m
ial_su
m
if
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoo
l
a
e
ge
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
Verdoola
e
ge
update isl
f
or fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolaege
barvi
n
ok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lexicograph
i
c
oper
a
tors
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
update isl
t
o ve
r
sio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Verdoo
l
aege
iscc: ad
d
"sourc
e
" opera
t
io
n
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc: print error me
s
sage on use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
c
c:
s
u
pport u
n
ion sets in
vertic
e
s operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaeg
e
add isl_li
s
t_concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en V
e
rdo
o
laege
barvinok_bound: use isl to sp
l
it
period
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
up
d
a
t
e
i
s
l for isl_pw_qpo
l
ynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaege
doc: mark PolyLib interface obs
o
lescent
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaege
Makefil
e
.
am: drop ref
e
rences to obsole
t
e @bv_barvin
o
k_bound
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_conv
e
rt
.
c
c: e
v
alue_pr
i
n
t_
i
sl: print end-of-line
commit
|
commitdiff
|
tree
next