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
Sven Verdoolaege
u
p
d
ate i
s
l fo
r
change in isl_h
a
sh_table
_
foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolae
g
e
barvinok_enumerate
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
olaege
d
o
c
: add some
mor
e
papers
r
ef
e
r
in
g
to the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
V
erdo
o
laege
barvi
n
ok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
conf
i
gure
.
in: pr
o
perly
add
isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolae
g
e
con
f
igure
.
in: drop cal
l
to
gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
g
e
n
fun
.
c
c
:
fix
printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
test_approx
.
c: fix p
r
in
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
bound
.
c: f
i
x p
r
intf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
c
o
nfigure
.
in:
stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
rdoolae
g
e
v
e
rify_lexs
m
alle
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
evalue
.
c: a
v
oid
u
se of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven V
e
rdoolaege
iscc
:
re
c
over from
e
rro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoo
l
aege
update isl for
improved
e
rro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
iscc
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
d
o
ola
e
ge
d
oc:
i
scc: upd
a
t
e docum
e
n
tation of "ub" ope
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
test_approx: include ctype
.
h fo
r
i
sspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ol
a
ege
te
s
t_approx: incl
u
de config
.
h for HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound
:
include config
.
h for HA
V
E_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
iscc: add vertices
o
p
e
rations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oola
e
ge
optio
n
ally use isl to pe
r
f
orm param
e
tri
c
v
e
rtex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoo
l
aege
update isl-
p
o
l
y
l
ib
f
or ha
n
d
l
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
drop dist
i
nction between ba
r
vi
n
ok-c
o
re and
barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
remove bernst
e
in
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doolaege
u
p
date isl for generic isl_pw_qpolyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
do
o
laege
configure
.
in: drop bv_omega_
p
ro
g
r
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ct
x
_pee
k
_ba
r
vinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
e
rd
o
o
lae
g
e
i
scc: p
a
rs
e
barvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
xport is
l
_qpoly
n
o
mial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoo
l
aeg
e
Makefile
.
am: drop de
p
endence on
doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
update isl for rename of
i
sl_pw_q
p
olynomia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
verif_ehrhart
.
c: ad
d
missing incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
c
onfi
g
ure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rd
o
o
l
ae
g
e
use isl for arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
update is
l
f
o
r keepin
g
tr
a
ck of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
dool
a
ege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
upda
t
e isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
e
g
e
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
erdoolae
g
e
remo
v
e
evalu
e
_
r
ange_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n V
e
rdoolaege
te
s
t_bound: use
i
sl interfa
c
e for computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
barvin
o
k_bound
:
use is
l
int
e
rfa
c
e
for computing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
iscc: suppo
r
t u
b
ev
e
n if
G
iNaC supp
o
rt
w
as no
t
comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
a
d
d generic isl_p
w
_
q
polynomial
_
bound
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
doolaege
u
p
date
i
sl fo
r
isl_pw_qp
o
lynomial_bound_
r
a
n
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
olaege
test_bound: use isl during
v
erific
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
barvinok_bou
n
d:
use isl during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
V
erdoolaege
verify
.
c: ex
t
r
act some helpe
r
functions
for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
introduce
"bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
op
t
ions
.
c
: fix pri
n
t
f
for
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
i
s
cc: add application operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
l
aege
iscc: add read
o
p
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verd
o
olaege
iscc: free
o
pt
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
u
p
date isl for read
i
ng
of s
t
r
i
ng
s
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
d
oolae
g
e
update isl for fix in i
s
l_printer
_
print_pw
_
qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
upda
t
e
isl-polylib
for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
iscc:
a
ll
o
w
specifica
t
ion of output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for
c
hange in isl_se
t
_
g
ist argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdool
a
ege
u
p
date isl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
configure
.
in: add i
s
l flags and
l
ibs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
iscc
:
test isl_stream for
eof rather than the und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaeg
e
iscc: a
d
d d
e
l
t
a
s operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
u
pdate isl
f
o
r fix
i
n isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
dr
o
p ba
r
v
i
nok_enum
e
rate_pip_with_
o
p
t
ions
commit
|
commitdiff
|
tree
2010-04-01
S
v
en V
e
rd
o
olae
g
e
iscc: a
d
d
cross pro
d
uct
o
perations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoo
l
aeg
e
i
scc: add c
o
al
e
s
c
e
op
e
rat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
ge
update isl for is
l
_pw_
q
polynomial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "
O
mega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
tes
t
_bound
.
c
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
dool
a
ege
bernstein
.
c
c
: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaeg
e
evalue
_
range_propagation: fix subs
t
itution for negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
r
doolaege
bernst
e
in/conf
i
gure
.
in:
u
se absolute src
d
i
r of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
o
n
ly distribute b
u
n
d
led sub
m
o
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
update omega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
conf
i
gur
e
.
in: all
o
w
"
build" Poly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qp
o
l
y
nomial_f
o
ld_from
_
ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
d
oola
e
ge
isl_q
p
olynomial_from_ginac: expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj_
l
i
st
.
c: update t
o
use of isl
_
p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
S
ven
Verdoolaege
i
s
cc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
en V
e
rdool
a
e
ge
i
s
l
_
pw_qpolynomial_upper_bound: se
t
u
p
variable vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
iscc:
ad
d
some co
m
parison operations
commit
|
commitdiff
|
tree
2010-03-15
S
ven
V
e
rdoolaege
iscc
:
add in
v
erse ope
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laeg
e
iscc: fix up type of find_ma
t
ching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
af
f
ine
hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
d
oolaege
iscc
:
a
dd op
e
ration to con
s
truct uni
v
ersal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: add "jo
i
n"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: add inters
e
ct_do
m
ain
operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
iscc: allow
o
verloading
binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
iscc: add m
o
re dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
aege
do
c
: reorg
a
ni
z
e table
o
f iscc o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
aege
up
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
laege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
A
UT
H
ORS: update s
u
pport informatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: double size of coe
f
fici
e
nts on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
iscc: support
t
r
a
nsitive clos
u
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
b
a
r
vinok_e
.
cc:
e
numerate_vd: rem
o
v
e unused
varia
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
d
oolaege
e
value
.
c
: Polyhedron_Insert: add
missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
e
value
.
c
: reduce_evalue: r
e
move un
u
sed variable
commit
|
commitdiff
|
tree
next