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
isl_pw_qpolynomial_sum: handle isl_pw_qpolynomials with wrapped domains
2010-08-05
Sven
Verdoola
e
g
e
isl_
p
w_qpolyno
m
ial_s
u
m:
handle is
l
_
p
w_qp
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
update isl f
o
r
n
ested
dimension specific
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
is
l
_map_card: postpone s
h
uffling aroun
d
o
f
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
update isl for isl_basi
c
_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
isl_pw_qpol
y
n
omial_s
u
m: push co
n
versi
o
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl_pw_qpoly
n
omial_sum:
ch
e
ck f
o
r
unbounde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
a
vo
i
d use of isl_dim
i
nternals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
dool
a
ege
isc
c
: su
p
po
r
t c
o
degen operation
if C
L
ooG is availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
iscc
:
switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl
_
union_pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoo
l
aege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ver
d
ool
a
e
ge
isl_pw_qpol
y
no
m
ial_su
m
:
take tu
p
le names into
accoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
isl_ma
p
_card
:
preserve
f
ull domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaeg
e
upd
a
te isl for change
i
n isl_has
h
_tabl
e
_
foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok_enumerate
.
c
c
: fi
x
p
r
intf
f
ormat
commit
|
commitdiff
|
tree
2010-07-03
Sven V
e
rdoolaege
doc:
a
dd
s
o
me more pa
p
ers refering to the
li
b
rary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
bar
v
inok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
update isl to ve
r
sion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: properly add
i
sl
flags and
l
ibs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoola
e
ge
c
onf
i
gure
.
in: dro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdool
a
ege
genf
u
n
.
cc
:
fix printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
test_approx
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
t
est_bo
u
nd
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
config
u
r
e
.
in: stop compi
l
ing Omega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
verify
_
lexsmaller
.
c: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
value
.
c
:
a
void use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
evalue_isl
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdo
o
l
a
e
ge
is
c
c:
recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olae
g
e
upda
t
e isl f
o
r impro
v
ed erro
r
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
iscc
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdo
o
laege
do
c
: iscc: update doc
u
menta
t
ion
o
f
"ub" oper
a
tor
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_approx:
inclu
d
e ctype
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
test_approx:
i
nc
l
u
d
e config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
test_
b
o
u
n
d
: include co
n
fig
.
h fo
r
H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
iscc:
a
dd ve
r
tices
oper
a
tion
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opt
i
onal
l
y use
i
sl to perfo
r
m paramet
r
ic vertex enumerat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
up
d
ate isl-po
l
ylib for handling of
ration
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
drop distinction between barvinok-core and ba
r
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
remove berns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
up
d
ate isl for
gen
e
ric
isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoo
l
ae
g
e
c
o
nf
i
gure
.
in:
drop
b
v_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_ctx_peek_bar
v
inok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
g
e
iscc: parse ba
r
vinok
opt
i
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
export
i
sl_qpolyno
m
ial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
ae
g
e
M
a
kefile
.
am:
drop
depend
e
nce on doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
update isl
f
or rename of is
l
_
p
w_q
p
olynom
i
al_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
r
d
oolaege
v
e
r
i
f
_
ehrhart
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
use
i
sl for
a
rgument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
upda
t
e isl for
keep
i
ng tr
a
c
k
of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoola
e
g
e
test_bound:
rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en
V
erdoola
e
ge
update i
s
l
f
or he
l
p message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
g
e
remo
v
e evalue_op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n Verdoo
l
aege
remove evalue_range_
p
rop
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
test_bound: use isl
i
nt
e
rface for
comp
u
t
ing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaeg
e
barvi
n
o
k
_boun
d
: use isl interface for comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
d
oolaege
i
s
cc:
s
u
p
port
u
b
even if GiNaC support w
a
s not
c
ompile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add generi
c
isl_pw_q
p
olyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doolaege
update isl for
i
sl_
p
w_qpolynomia
l
_
bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
ool
a
ege
test_bound
:
u
s
e
isl during verifi
c
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
o
lae
g
e
b
arvinok_bo
u
nd
:
use isl during veri
f
ica
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
veri
f
y
.
c:
extr
a
ct some
h
elper
func
t
ions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
in
t
roduce "bound
"
opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
optio
n
s
.
c: f
i
x printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdoolaege
iscc
:
add
applic
a
tion operations
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolae
g
e
i
s
c
c: add
r
ead operation
commit
|
commitdiff
|
tree
2010-04-24
S
ve
n
Verdoolaege
i
scc: free opt
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
update
isl for reading of
st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ve
r
doolaege
update isl for fix in isl_printer_print_pw
_
qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verd
o
olaege
u
p
date
i
sl-polylib fo
r
change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
scc:
allow specification
of output
f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl fo
r
change in isl_set_gist a
r
gument
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
update
is
l
f
or renam
e
of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
conf
i
gure
.
in: ad
d
isl flag
s
and libs t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
iscc: test isl_
s
trea
m
f
o
r eof rather
than
t
he und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
d
oolaege
iscc: ad
d
d
e
ltas oper
a
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
upd
a
t
e is
l
f
o
r
f
i
x
i
n
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvinok_en
u
merate_pip_wi
t
h_opt
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Ver
d
o
olaege
iscc:
a
dd cross prod
u
c
t
o
perat
i
on
s
commit
|
commitdiff
|
tree
2010-03-31
Sven V
e
rd
o
o
l
aege
iscc: add coa
l
esce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
er
d
oo
l
aege
u
pdate isl f
o
r i
s
l_pw_q
p
olynomi
a
l_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
drop "Omega co
u
nting ca
l
culator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
te
s
t_b
o
und
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
bernst
e
in
.
cc: fix
p
r
i
ntf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rdoola
e
g
e
evalue_range_pro
p
agation: fix substi
t
ution for
n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verd
o
olaege
b
e
r
nstein/configure
.
i
n: u
s
e absolute
s
rcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
erd
o
o
l
aege
only distribu
t
e bu
n
dled
submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
a
e
g
e
update
o
me
g
a for confi
g
uration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
config
u
re
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_fold_f
r
om_ginac: han
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
a
e
g
e
i
s
l_qpolynom
i
al_fro
m
_ginac: e
x
pand ex be
f
o
re ins
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
e
g
e
isl_obj_list
.
c: up
d
ate to use of i
s
l_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
V
erdoolaege
i
scc: add g
i
s
t
operations
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
update
isl for intr
o
ductio
n
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven
Verdoolaege
isl_pw_qpolynomial_upper_bound:
s
et up variab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
add
s
o
me comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: add inv
e
r
s
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c: f
i
x up type of find_matching
_
bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdo
o
la
e
ge
iscc: add a
f
fine h
u
ll o
p
erat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdool
a
ege
iscc: ad
d
operation to c
o
nstruct universal ma
p
f
r
om
.
.
.
commit
|
commitdiff
|
tree
next