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_map_card: preserve full domain dimension information
2010-07-31
S
ve
n
V
e
rdoolaege
isl_map_card: pres
e
rve full
domain dimension informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
update isl for change i
n
is
l
_h
a
s
h_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdo
o
la
e
ge
barvinok_enumerate
.
cc: fix print
f
f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-07-03
S
ven Verdoo
l
ae
g
e
doc: add
some m
o
re pap
e
rs refering to the library
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdo
o
la
e
ge
b
arvino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
u
pd
a
te isl
to ve
r
sion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdo
o
laege
con
f
igure
.
in: properly add isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
con
f
igure
.
in: drop call to gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doo
l
aege
g
e
n
fun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
test_approx
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
test_bound
.
c: fix pr
i
n
tf
forma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configure
.
in: s
t
o
p
com
p
iling
Omeg
a
b
y
default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en V
e
rdoolaege
verify_lexsmaller
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Ver
d
oolaege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
evalue_isl
.
c
:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolaege
iscc: recover from
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verd
o
olaege
update
i
sl f
o
r
improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
is
c
c
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaeg
e
d
o
c:
i
s
cc: update doc
u
mentatio
n
of "ub
"
operat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_approx: include ctype
.
h fo
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx:
include
config
.
h
f
or
H
AVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
test_bound: i
n
clude config
.
h for HAVE_
S
YS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc
:
add verti
c
es operation
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
opt
i
onall
y
use
isl to perform parametr
i
c vertex
e
n
u
mer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
updat
e
isl-polyli
b
for
h
a
ndling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
drop distinction be
t
ween barvinok-core and
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
remo
v
e bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
update
i
sl for gen
e
ri
c
isl_pw_
q
p
o
lynomial_bo
u
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
confi
g
ure
.
in:
d
ro
p
bv_omega_
p
rogra
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add isl
_
ctx_p
e
ek_barvi
n
ok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Ver
d
oolaege
isc
c
:
parse b
a
rvinok option
s
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
export isl_q
p
olyno
m
i
a
l_from
_
e
valu
e
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rd
o
olae
g
e
M
a
kefile
.
am: drop dependence
o
n doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
rdo
o
laege
update isl for rename o
f
isl_pw
_
qpolynomia
l
_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
v
erif_ehrhart
.
c: add mi
s
sing in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoola
e
ge
configur
e
.
in:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
o
l
aege
use
isl f
o
r argu
m
ent
p
arsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oo
l
aege
up
d
at
e
is
l
f
o
r keep
i
n
g
track of user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdool
a
e
g
e
te
s
t_bou
n
d
: rewrit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
update
isl fo
r
help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_range_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ver
d
oolaeg
e
t
e
s
t
_
b
ound: u
s
e isl i
n
t
erface for co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoo
l
aege
barvinok_bound: use
isl interface for
c
o
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
iscc:
support u
b
e
v
en if GiNaC support was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add gener
i
c isl
_
pw_qpolynomial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
updat
e
isl for is
l
_
pw_qpolynomial_boun
d
_
range
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaeg
e
test_bound: use is
l
during ver
i
f
i
catio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
ola
e
ge
barvinok_bound:
use
i
s
l during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
ve
r
ify
.
c
: extract som
e
helper f
u
nc
t
ions for isl
b
ase
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
la
e
ge
introduce "b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolae
g
e
opt
i
ons
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdoolaege
iscc: add
a
p
plication oper
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoo
l
aege
i
s
cc
:
add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
iscc:
f
ree options
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ver
d
o
o
la
e
ge
u
p
date isl for reading of st
r
in
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
update isl for fix in isl_
p
rinter_print_p
w
_qpolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ve
n
V
e
r
doolaege
update isl-polylib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
rd
o
o
laege
iscc: allow specific
a
tion of output fo
r
ma
t
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
u
pdat
e
isl for c
h
a
ng
e
i
n isl_set
_
gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdool
a
ege
update isl for
rename of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configu
r
e
.
i
n
:
add isl
flags and l
i
bs to pkg-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
iscc: test
i
sl
_
stream fo
r
eof rather than t
h
e underly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
iscc: ad
d
de
l
tas opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
updat
e
i
sl for
f
ix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoola
e
ge
d
r
op
barvinok_enumerate_
p
i
p
_
wit
h
_options
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoola
e
g
e
i
scc: add
c
ross pro
d
uct o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdoolaege
iscc: add c
o
alesce ope
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl fo
r
isl_
p
w_qpolynomial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
l
aeg
e
drop "
O
m
ega cou
n
t
i
ng calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
test_bound
.
cc: f
i
x printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
berns
t
ein
.
cc: fix pri
n
tf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdool
a
ege
eval
u
e_rang
e
_propag
a
tion: fix su
b
s
t
itutio
n
for negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configure
.
in:
use
a
b
solute srcdir of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
rdoo
l
aege
only dis
t
ribute bundled
submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
update omeg
a
for configuration
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
c
o
n
fi
g
ure
.
in: allow "buil
d
" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdo
o
laege
is
l
_qpol
y
nomi
a
l_fold_from_gin
a
c
:
handle
f
a
il nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoolaege
isl_q
p
olynomial_f
r
o
m
_gina
c
: expand e
x
before
in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n V
e
rdoolae
g
e
isl_
o
bj_list
.
c: up
d
a
t
e to us
e
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
cc:
add gist
operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpol
y
nomi
a
l_upper_bound: set up variab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc:
a
dd some c
o
mpari
s
o
n o
p
e
r
a
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
cc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaeg
e
iscc: fix
up type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: a
d
d a
f
f
ine
h
ull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
ege
i
s
c
c: ad
d
operati
o
n to
c
onst
r
u
ct
u
niversal
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: a
d
d "join" ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add inter
s
ect_domain opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verd
o
o
l
aeg
e
is
c
c: allow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
do
o
laege
i
s
c
c
: add mo
r
e
d
om op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Verd
o
olaege
doc: re
o
r
g
an
i
ze tabl
e
of iscc ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdool
a
ege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTH
O
RS: update
s
u
ppor
t
informati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
lae
g
e
randomvector: double siz
e
of coefficient
s
on
e
ach a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
scc: support transiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoolaege
u
p
d
a
t
e
isl t
o
ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
barvinok_e
.
cc: enum
e
rate_vd:
remove unused
va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalu
e
.
c: Polyhedron_Insert:
a
dd missing
r
eturn ty
p
e
commit
|
commitdiff
|
tree
next