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
add isl_union_pw_qpolynomial_sum
2010-07-31
Sven Verd
o
olaege
add isl_union_
p
w_qpo
l
ynom
i
al_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
a
d
d isl_
u
nion_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
i
sl_pw_qpolynomial_sum: take tuple nam
e
s into account
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
isl_ma
p
_
c
ard: prese
r
ve full domain dimension i
n
f
o
rmati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdool
a
ege
update isl for
c
hange in isl_h
a
s
h_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
barvinok_enumerate
.
cc: fix p
r
intf
for
m
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaeg
e
doc:
a
dd som
e
mo
r
e
papers r
e
fering to
the librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verd
o
olaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
d
o
olaege
update is
l
t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Ve
r
doolaege
config
u
r
e
.
in: pro
p
e
rly ad
d
isl
f
l
a
g
s
and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
in:
dr
o
p
c
all to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
ge
n
fun
.
cc
:
fix p
r
intf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdool
a
e
ge
test
_
approx
.
c:
fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdo
o
laeg
e
t
e
st_bou
n
d
.
c: fix
p
r
intf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoolaege
co
n
f
igu
r
e
.
i
n
:
s
t
o
p
c
omp
i
ling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify
_
lexs
m
aller
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n V
e
r
dool
a
ege
e
v
alue
.
c: avoid use
of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
e
v
alue_i
s
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoo
l
a
ege
iscc: recover from
e
rror
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl
for improved erro
r
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: up
d
ate doc
u
mentatio
n
of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: include
c
type
.
h for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
test_approx
:
i
nclude
config
.
h for HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
test_bound: include
c
on
f
ig
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
d
o
olaege
iscc:
a
dd
vertices ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
g
e
option
a
ll
y
use
is
l
to p
e
rform parametric vertex
e
nume
r
a
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
update isl
-
polylib for hand
l
ing of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinctio
n
betw
e
en
barvinok
-
c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
update isl
for gener
i
c
i
sl_
p
w_
q
pol
y
n
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
configure
.
in: drop
bv_omega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ad
d
isl_ctx_peek_barv
i
n
ok
_
o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdoolaege
iscc: pa
r
se barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
expor
t
isl_qpolynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
Make
f
ile
.
am:
drop depe
n
dence on do
c
/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
update isl for rena
m
e of isl_pw_qpolynomial
_
move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oolaege
verif_ehrh
a
r
t
.
c: add
m
issin
g
in
c
l
u
de
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl f
o
r
a
rgument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
update isl for keepin
g
t
rack of us
e
r
options
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verd
o
ola
e
g
e
test_bo
u
nd: re
w
r
it
e
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdo
o
l
ae
g
e
update i
s
l for help message printing
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
Verdoola
e
ge
remove evalue_o
p
ti
m
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolae
g
e
rem
o
ve evalue_rang
e
_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
e
rd
o
o
l
a
ege
te
s
t_bound
:
use isl inte
r
face
f
or computi
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verd
o
olae
g
e
barv
i
nok_bou
n
d: use i
s
l in
t
erface fo
r
co
m
puti
n
g bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
i
scc: supp
o
rt u
b
even if Gi
N
aC support was n
o
t compiled
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oo
l
aege
add generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verd
o
o
l
a
ege
upd
a
te i
s
l f
o
r i
s
l_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
o
o
lae
g
e
test_bound
:
use
isl during
verifi
c
at
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
b
a
rvinok_bound: use
i
sl during verification
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
d
oolaege
veri
f
y
.
c
:
extract some helper functions fo
r
is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
introduce "bo
u
nd"
o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
options
.
c: fix print
f
for
m
at
commit
|
commitdiff
|
tree
2010-05-10
S
ven Ver
d
o
olaege
iscc: add application
ope
r
ations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaeg
e
i
s
c
c: a
d
d read
op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
iscc: fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
update isl for readin
g
of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdo
o
laege
update isl for fix in
i
sl_printer_pri
n
t
_pw_qpoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaeg
e
update
isl-polylib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
iscc: allow sp
e
cification of
o
utput format
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
u
pdate
i
s
l for
change in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verd
o
ol
a
ege
u
pdate isl for
rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
V
e
rd
o
olaege
con
f
i
g
u
r
e
.
i
n
:
add isl flags and libs to
p
kg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaeg
e
i
s
cc: t
e
st isl_s
t
ream for eof ra
t
h
er than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolae
g
e
is
c
c: add
deltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doo
l
a
ege
update
i
s
l
for fix in isl_ma
p
_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
b
ar
v
inok
_
en
u
m
era
t
e_
p
ip_w
i
th_op
t
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoola
e
ge
is
c
c
: add cross p
r
oduc
t
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add coalesce
o
per
a
tions
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl for isl_pw_qpolynomial
_
coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdo
o
l
a
e
g
e
drop "O
m
eg
a
counting calc
u
lato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolae
g
e
t
e
st_boun
d
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
evalue_range_prop
a
gation: f
i
x
sub
s
titution for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
bernstein/configur
e
.
in: use abso
l
u
te s
r
cdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
on
l
y
distribute bu
n
d
l
ed su
b
modules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doo
l
aege
update
o
mega fo
r
configuration
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
c
o
n
figur
e
.
in: allow "build" Poly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
d
o
o
l
aege
isl_
q
p
olyn
o
mial_fol
d
_from_
g
inac: h
a
n
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_
q
polynomial_from_ginac: expand ex befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
isl_obj_lis
t
.
c: update to u
s
e of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven
V
e
r
doolaege
iscc: add
gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
upd
a
te isl for intr
o
ductio
n
of isl_prin
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
o
laeg
e
isl_pw_qpolynomial_upper_bound: set up
variable vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
isc
c
: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: add inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdo
o
laege
iscc: fix up
t
y
p
e of find_matc
h
ing_bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: a
d
d affine hull operat
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
isc
c
: ad
d
operation
t
o
const
r
u
ct universal
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
o
l
aege
iscc: add "
j
oin"
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: a
d
d intersect_doma
i
n operations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
olaege
iscc
:
allow ov
e
rl
o
ad
i
ng binary
o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add more do
m
o
per
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
doc: reorganize t
a
ble of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
barvin
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoo
l
aege
AUTHORS: u
p
date su
p
port info
r
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
rando
m
vecto
r
: double size of coefficients on each attempt
commit
|
commitdiff
|
tree
next