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: use simplified CLooG interface
2010-08-18
Sven Ver
d
oolaege
iscc: use
s
i
mplif
i
ed CLooG inter
f
ace
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
u
p
d
a
te isl for ren
a
me of isl_pw_q
p
ol
y
nomial
_
fol
d
_add
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
isc
c
.
c: union_pw_
q
polynomial_
u
pper_bound: fix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
s
ummate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
V
erdoolaege
isl_map_apply_pw_qpol
y
nomi
a
l:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
u
p
date
isl fro
m
i
sl_
u
nio
n
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
erdoolaege
i
scc: allow
inverse on no
n
-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoo
l
aege
is
c
c: add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
add isl_
u
nion_map_
a
pply_union_pw
_
qp
o
lynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_pw_qpoly
n
omial_sum
:
handle isl_pw_qpol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
u
pdat
e
isl for nested dimension spec
i
fication
s
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
erdoolaege
isl_map_card:
p
ostpone shuff
l
i
n
g
around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
u
p
date isl for isl_ba
s
ic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
isl_pw
_
qpolynomi
a
l_sum: pus
h
conv
e
r
s
ion
to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_qpolynomial_
s
u
m:
check for unboun
d
ed
d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avo
i
d
use of isl_dim in
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
er
d
o
o
la
e
ge
iscc:
s
upport code
g
en
o
pe
r
ati
o
n if CLooG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
iscc: switch to using
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
add isl_union_p
w
_qpoly
n
omial
_
sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
add
isl_unio
n
_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
isl_
p
w_qpolynom
i
al_
s
um: take
t
uple names into
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
isl_map_ca
r
d: preserve
f
ull
d
o
main dimension
i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdool
a
ege
update isl for cha
n
ge i
n
isl_hash_table
_
foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoola
e
ge
ba
r
vinok_enu
m
e
r
ate
.
cc: f
i
x pr
i
nt
f
format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ver
d
oolaege
d
oc: add some more pape
r
s refering to
the
l
ibrary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
upda
t
e isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
config
u
r
e
.
in
:
pro
p
erly add isl
flags and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigur
e
.
i
n
: dr
o
p ca
l
l to gl_E
A
RLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
ge
n
fun
.
cc: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaeg
e
t
e
st_
a
ppro
x
.
c: fix
printf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
b
o
und
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
config
u
re
.
in: s
t
o
p
comp
i
ling O
m
ega by
d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
ve
r
i
f
y_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdool
a
ege
evalue
.
c: av
o
id use
o
f allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_i
s
l
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Ve
r
doola
e
ge
iscc:
recover f
r
om error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoo
l
aege
update isl fo
r
i
mproved error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
ola
e
ge
d
o
c: isc
c
: update d
o
cu
m
entatio
n
of
"ub"
o
pera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx:
inclu
d
e
c
type
.
h fo
r
issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
test_approx: include con
f
ig
.
h for HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include config
.
h for H
A
V
E
_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
iscc: add verti
c
e
s
operations
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdo
o
la
e
ge
optio
n
ally use isl
t
o pe
r
for
m
parametric vertex en
u
mer
a
tio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
update
isl-
p
o
lylib for handling of ra
t
ional
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
dro
p
disti
n
c
tion betwe
e
n barvinok-cor
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
remove
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
d
a
te is
l
fo
r
gen
e
ric isl_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
configure
.
in: drop bv
_
omega_progr
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_ctx
_
pee
k
_b
a
rvinok_op
t
io
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
erdoolaege
iscc: pa
r
s
e
b
ar
v
inok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
export is
l
_qp
o
lynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
Makefile
.
am:
d
rop
d
ependence on do
c
/
omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
e
ge
u
p
d
a
t
e isl
for rename of isl_pw_q
p
ol
y
nomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
ve
r
if_ehrh
a
rt
.
c: add
m
issi
n
g includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
configu
r
e
.
i
n: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaeg
e
use isl f
o
r argume
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for keep
i
n
g
t
r
ack of
u
ser options
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdool
a
ege
t
e
st_b
o
und:
r
ewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdo
o
l
a
e
g
e
u
p
date isl for help mes
s
age
prin
t
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
remove evalue
_
optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoola
e
ge
remove eva
l
ue_ran
g
e_
p
ropaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
test_bound: use
i
sl interface for
computing bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ver
d
oolaege
ba
r
vi
n
o
k_boun
d
:
u
se isl interface for comp
u
ting bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
iscc:
s
upport ub even if GiNaC support w
a
s not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
o
o
laeg
e
a
d
d
generic is
l
_
pw_qpoly
n
omial_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
la
e
g
e
up
d
a
t
e
i
sl fo
r
isl_
p
w_qpolyn
o
mi
a
l_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
test_
b
ou
n
d
:
u
s
e
isl
d
u
r
i
ng verific
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
bar
v
inok
_
bound: u
s
e
i
sl dur
i
ng verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olae
g
e
verify
.
c:
extra
c
t
some
h
e
l
per functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
o
l
aege
i
ntrod
u
ce "b
o
u
n
d" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
options
.
c: fi
x
pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
e
n Verdoolaege
iscc: a
d
d appli
c
ation oper
a
tion
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
isc
c
: add read operation
commit
|
commitdiff
|
tree
2010-04-24
S
ven
V
erdoolaege
iscc: free
opt
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update i
s
l for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoola
e
g
e
update i
s
l for fix in isl_printer_p
r
int_p
w
_qpoly
n
om
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upda
t
e isl-po
l
ylib
for change in pkg-confi
g
f
i
le
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ver
d
o
olae
g
e
i
s
cc: allow speci
f
ication of
output format
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoola
e
g
e
update isl for change in
i
sl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verd
o
olaege
up
d
ate isl
for r
e
name of isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
config
u
re
.
in
:
add isl fla
g
s
and
lib
s
to pkg-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
iscc: test isl_stream for eof rather t
h
an the un
d
erly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
iscc: add deltas op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
upda
t
e isl for fix i
n
i
sl_ma
p
_
d
el
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
drop
b
arvinok_enu
m
erate_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross produ
c
t operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oolaege
iscc: add
coalesce operation
s
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolaege
update isl
f
or isl_
p
w_qpolynomi
a
l_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdoolaeg
e
drop "Omega c
o
unti
n
g calculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doola
e
ge
test_bound
.
cc: fix
p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernstein
.
cc: f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
eva
l
ue_range_propagation: fix
s
ubstitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
bernstein/conf
i
gu
r
e
.
in: use absolute srcdir of
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
only distrib
u
te
bundle
d
s
u
bm
o
dules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
configure
.
in: all
o
w "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qpo
l
yn
o
mial_fold_from_ginac: han
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdoolaege
isl_qpolynomial_from_ginac: e
x
p
a
nd ex before inspection
commit
|
commitdiff
|
tree
next