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: switch to using unions
2010-07-31
Sve
n
Verd
o
olaege
iscc: swit
c
h t
o
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d isl_u
n
ion_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
add isl_union_map
_
ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
isl_pw_qpolynomial_su
m
:
take tuple names
i
n
t
o
account
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoo
l
aege
i
sl_m
a
p_ca
r
d: pre
s
erve full dom
a
in dimension
i
nformatio
n
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verd
o
olaege
update isl
for change in isl_h
a
sh_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
barvinok_enum
e
rate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoola
e
ge
d
o
c
:
add s
o
me
mor
e
p
a
per
s
refering
t
o the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvin
o
k 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaeg
e
u
pdate isl to
v
ersion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
configure
.
in: prope
r
l
y
add
i
s
l fl
a
gs and lib
s
to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configu
r
e
.
in: dro
p
call
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
ge
n
fun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verd
o
olaege
test_
a
pprox
.
c:
f
i
x
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
tes
t
_bound
.
c: fix p
r
intf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
conf
i
gure
.
in: stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verif
y
_l
e
x
s
m
aller
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
evalue
.
c: av
o
id
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
evalue_
i
sl
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdo
o
laege
i
scc: r
e
cov
e
r from errors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
up
d
ate isl
for impro
v
e
d error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n
Ve
r
doolaege
d
oc: iscc: updat
e
documentation of
"ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
te
s
t_a
p
prox:
i
ncl
u
d
e c
t
ype
.
h fo
r
is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_a
p
pro
x
: in
c
lud
e
conf
i
g
.
h for
H
AVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
iscc:
a
dd vertices
o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
optionally use isl
to perform par
a
metric vertex
enume
r
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
u
pda
t
e isl-polylib fo
r
ha
n
dling of rational se
t
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
d
r
o
p
d
istinc
t
ion between
b
arv
i
n
ok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
r
e
move bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
update isl for gener
i
c isl
_
p
w
_qpol
y
nomia
l
_
b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in
:
drop bv_ome
g
a_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
add isl_ct
x
_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc:
parse barvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
export isl_qpolynomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
do
o
laege
Makefile
.
am: drop depe
n
d
ence on doc
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
p
date isl
f
or
r
e
n
ame
o
f
i
sl_pw_qpolynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
veri
f
_e
h
rhart
.
c: add
m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdo
o
l
aege
configur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use
isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
u
p
d
ate isl
fo
r
keep
i
ng track of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoola
e
g
e
tes
t
_bound: rew
r
it
e
in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update i
s
l f
o
r help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
remove eval
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
remove e
v
alue_range
_
pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
test_b
o
und: use i
s
l interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
barvinok_
b
ound: use isl in
t
e
r
face
f
o
r c
o
mpu
t
ing b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
is
c
c:
s
up
p
ort ub
even i
f
GiNaC support was not
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
a
d
d generic isl_pw
_
qp
o
lynomial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
update isl for isl_pw_qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verd
o
ola
e
ge
tes
t
_bou
n
d: us
e
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
a
r
vinok_b
o
und: use i
s
l d
u
ri
n
g
v
e
ri
f
ic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
verif
y
.
c: e
x
tract s
o
m
e helper functions for is
l
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
intr
o
duce
"bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdool
a
ege
opt
i
ons
.
c
:
fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verd
o
olae
g
e
iscc: add ap
p
l
i
catio
n
oper
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoola
e
ge
iscc: ad
d
read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
iscc:
f
r
ee o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update isl for readi
n
g of s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl fo
r
fi
x
in isl_printer
_
print_
p
w
_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
update isl-polylib
for change in pkg-conf
i
g file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdo
o
laege
iscc: a
l
low specifi
c
ation of out
p
ut form
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
ae
g
e
upd
a
te isl
f
or chang
e
in isl_s
e
t_
g
ist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
upda
t
e isl for rename
o
f isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
l
a
ege
configure
.
in: a
d
d isl
flags and li
b
s to pkg-c
o
n
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
iscc: test isl_stre
a
m for eof r
a
ther th
a
n
the und
e
rly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
i
scc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdool
a
ege
updat
e
i
sl f
o
r f
i
x in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdoolaege
drop bar
v
ino
k
_enumerate_pi
p
_with
_
options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
is
c
c: add cross produ
c
t ope
r
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
erd
o
olaege
iscc
:
add c
o
alesc
e
operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
e
rdoolaege
update
i
s
l for
isl_pw_qpolynomial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ve
r
doola
e
g
e
d
r
op "Ome
g
a
c
o
un
t
in
g
calcula
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
te
s
t_bound
.
c
c
: fix p
r
in
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
rnstein
.
cc:
f
i
x
prin
t
f for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
v
alue_ra
n
g
e
_p
r
opagation: fi
x
substitution f
o
r negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
bernst
e
in/config
u
re
.
in
:
use absolute srcdir of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
on
l
y
distribute bundled submodu
l
es
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
erdoolaege
update omega
for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doola
e
ge
configur
e
.
i
n
:
allow
"build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
isl_qpoly
n
omia
l
_fol
d
_from_gi
n
a
c: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
er
d
oolaege
isl_q
p
o
l
ynomial_from_ginac:
e
xpand
ex b
e
fore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdoolaege
is
l
_obj_
l
i
s
t
.
c: update to use of
i
sl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
S
ve
n
Verdoolaege
iscc:
a
dd gist
o
perations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
u
pda
t
e isl
for introduct
i
on of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
ae
g
e
isl_pw_qpolyn
o
mia
l
_upper_boun
d
: set up variable v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdool
a
eg
e
iscc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
i
s
cc: a
d
d inv
e
rse
op
e
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoola
e
ge
iscc: f
i
x
up t
y
pe
o
f
find_ma
t
c
hing_
b
in_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: a
d
d af
f
i
ne hull operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
i
scc:
a
d
d
operation to const
r
uct
un
i
versal
map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verdoolaege
is
c
c: add
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add intersect_domain operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
doolaege
i
s
cc: allow o
v
erloading binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
is
c
c: add more d
o
m operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
do
c
:
r
eorgan
i
ze
t
able of iscc operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
AUTHORS: update support i
n
formation
commit
|
commitdiff
|
tree
next