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
update isl for change in isl_hash_table_foreach
2010-07-31
Sv
e
n Verd
o
olaege
update isl
f
or change in isl_
h
ash
_
table_fo
r
each
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdo
o
laege
barv
i
no
k
_enumerat
e
.
c
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add some
more
p
apers
r
efering t
o
the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
b
arvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolae
g
e
update isl to
vers
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
er
d
oolaege
c
o
n
figure
.
in: p
r
ope
r
ly
a
dd isl f
l
a
gs and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ver
d
oolaege
c
onfigur
e
.
i
n
: dro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
appr
o
x
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
e
st_bo
u
n
d
.
c: fix pr
i
ntf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
con
f
ig
u
re
.
in: sto
p
compiling Om
e
ga by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoo
l
aege
v
erify_
l
exsmaller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalu
e
.
c: avoid use of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalu
e
_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoola
e
g
e
iscc: rec
o
ver from errors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoolaege
u
pdat
e
isl for
imp
r
ove
d
err
o
r han
d
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolae
g
e
doc: iscc: u
p
d
ate doc
u
mentation of
"ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
test_approx: inclu
d
e ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
test
_
approx
:
include config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
test_bound: include
conf
i
g
.
h for
HA
V
E_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
iscc: add vertices o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
o
ptionall
y
u
s
e isl
to p
e
rfo
r
m parametri
c
vertex enume
r
ati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update i
s
l-po
l
ylib for
ha
n
dling of
ration
a
l set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
drop distinct
i
on between
barvinok
-
core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
remove
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
update
i
sl for gener
i
c isl
_
pw_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
configure
.
in: d
r
op
bv_omega
_
programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
dd
i
sl_ctx_peek_bar
v
inok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: parse
barv
i
nok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
export isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
Makefile
.
am: drop de
p
e
n
denc
e
on d
o
c
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolae
g
e
upda
t
e
i
s
l for re
n
ame of
i
sl_p
w
_
q
pol
y
n
o
mial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
verif_ehrhart
.
c
:
ad
d
missi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
r
d
oo
l
a
e
g
e
c
o
nfigure
.
in: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
us
e
isl for
argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update i
s
l for keep
i
ng track of u
s
e
r op
t
ions
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n V
e
r
d
oolaege
test_bound:
rew
r
i
te in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolae
g
e
upda
t
e isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
e
v
a
lue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_ra
n
g
e
_pro
p
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
ol
a
ege
test_b
o
u
nd: u
s
e isl inte
r
f
ace for
co
m
putin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
barvinok_bound: use isl
i
nt
e
rfac
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
iscc: support
u
b even
i
f
G
iNaC
support wa
s
n
o
t
compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d gen
e
ric isl
_
pw_qpolynom
i
al_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl
f
o
r isl_pw_qp
o
lynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
t
est_bound: us
e
isl during veri
f
icati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
er
d
oolaege
b
ar
v
i
n
ok_bound: use isl during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ve
r
if
y
.
c: extract some helper fun
c
tions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdool
a
e
ge
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
op
t
ions
.
c:
f
ix printf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
e
n Verdoolaege
iscc: a
d
d
application
operation
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
iscc: add read operati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
iscc: free
o
p
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
u
p
d
ate isl for read
i
ng
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
update isl for fi
x
i
n
isl_printer_pri
n
t_pw_qpoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
u
pdate isl-polylib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
l
a
ege
i
scc:
a
llow specification of output f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
o
o
laege
u
pdate isl for
c
h
a
nge in is
l
_set_gis
t
arg
u
me
n
t
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdool
a
ege
update isl
f
or rena
m
e of
isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdool
a
ege
c
o
nfigure
.
in: add
isl f
l
ags and libs to pkg
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven V
e
r
doolaege
isc
c
: tes
t
is
l
_st
r
eam for
e
of
rat
h
er
t
h
a
n the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verd
o
ola
e
ge
iscc: a
d
d d
e
lta
s
operation
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
update isl
f
or fix in
isl_map_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
olaege
drop
b
ar
v
in
o
k_
e
numerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
laege
iscc: add cross pr
o
du
c
t operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en V
e
rdoolaege
iscc: add coalesce ope
r
ations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verd
o
olaege
update isl for
i
s
l_pw_qpol
y
nomial_coal
e
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoola
e
ge
d
r
o
p
"
Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
t
e
st_bound
.
c
c
: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdoo
l
a
e
ge
b
ernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
oolaege
eval
u
e_range_pr
o
pagation: fix
su
b
stitution for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
dool
a
e
ge
ber
n
stein/config
u
re
.
in: use a
b
s
ol
u
te srcdir of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoola
e
ge
only distribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
d
oo
l
aege
up
d
at
e
omega for conf
i
gura
t
i
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
configure
.
in: allow
"build
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Ve
r
doo
l
a
ege
i
sl_qpolynomial_fold_from_ginac:
h
andle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
o
l
aege
isl
_
qpolynomial_from
_
gin
a
c: expand
e
x bef
o
re
i
nsp
e
c
t
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl_
o
bj_l
i
s
t
.
c: update to
u
se of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
a
e
ge
isc
c
:
add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
update isl fo
r
introduction
o
f isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoola
e
ge
i
sl_p
w
_qpolynomial_upper_bound: set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaeg
e
isc
c
:
a
dd some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc
:
ad
d
i
nverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up
t
ype of fin
d
_matc
h
i
ng_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
a
dd affi
n
e hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
isc
c
: add operation
to
construct un
i
v
ersal map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
aege
i
scc: add "join" ope
r
ati
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
d
o
o
l
aege
iscc: add
intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
olaege
i
s
cc: al
l
o
w
overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c: add more dom oper
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c: reo
r
ga
n
i
z
e table
o
f iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
oo
l
ae
g
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
do
o
laege
b
arvinok
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
AUTHO
R
S: updat
e
support inform
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olae
g
e
randomvector: double si
z
e of
c
oefficients
on each a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support tra
n
s
i
t
iv
e
clo
s
ur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
ola
e
ge
update isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
bar
v
i
n
o
k
_e
.
cc
:
enumerate_vd: remove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdo
o
lae
g
e
evalue
.
c:
Polyhedron_Insert: add miss
i
ng
r
eturn
t
y
p
e
commit
|
commitdiff
|
tree
next