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
genfun.cc: fix printf format
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
conf
i
gure
.
in: stop
c
ompiling Omega b
y
def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdool
a
ege
ve
r
ify_lexsmaller
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
evalue
.
c: avoid use of a
l
l
o
ca
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
oo
l
a
e
ge
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
Verdoolae
g
e
iscc: recove
r
f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoola
e
ge
update
isl for improv
e
d
err
o
r handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
iscc
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoola
e
ge
doc:
iscc: upd
a
te doc
u
menta
t
ion
o
f "u
b
" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
test_approx: include c
t
ype
.
h for
i
sspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_app
r
ox: i
n
clude config
.
h
for HAVE_SY
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include config
.
h fo
r
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
iscc:
add v
e
rtices operat
i
on
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
r
doolae
g
e
op
t
ionally use
i
sl
to perfor
m
p
a
rametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
ool
a
ege
u
p
date
i
sl-polyli
b
for handling of rat
i
on
a
l se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verd
o
ol
a
eg
e
drop distincti
o
n betw
e
en barvinok-c
o
re and
b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
remove bernstei
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
update
is
l
for generic isl
_
pw_qp
o
l
y
nomial_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
configure
.
in:
d
rop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
d
d isl_ctx_pe
e
k_barvi
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
iscc: p
a
r
s
e
barvinok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
expor
t
isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: dro
p
dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
update isl for rename
o
f
isl_pw_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
d
o
olaege
verif_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
c
o
n
f
igure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoo
l
aege
us
e
isl
for argu
m
en
t
par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
update i
s
l for keepin
g
tr
a
ck o
f
user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdo
o
l
a
ege
test_boun
d
: rew
r
i
te in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help message
p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoo
l
aege
remo
v
e evalue_op
t
i
m
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n V
e
rdoolaege
remove evalue_rang
e
_prop
a
gati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaeg
e
test_boun
d
:
use i
s
l
interfa
c
e f
o
r compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
barvinok_bound: us
e
i
s
l i
n
terface for co
m
puting b
o
u
nds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
is
c
c: support
ub even if Gi
N
aC supp
o
rt was not
co
m
piled
in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
d
o
o
la
e
ge
a
dd generic isl_pw
_
q
p
ol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdool
a
eg
e
u
pdate isl f
o
r isl_pw_qpolynomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
test_bound: use isl during verificat
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolae
g
e
barvinok_bound: u
s
e is
l
during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
v
e
rify
.
c: extract some h
e
lper func
t
ions
for
i
sl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bound
"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
opti
o
n
s
.
c: fi
x
printf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdoolaege
iscc: add ap
p
lication operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add rea
d
ope
r
at
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
i
s
c
c
: free
opt
i
o
ns
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
u
pdate
isl for reading
o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaeg
e
u
p
date
isl fo
r
fi
x
i
n isl_printer_print_pw_qp
o
ly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
update isl-po
l
ylib for change in pk
g
-config
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erd
o
olae
g
e
i
s
cc: allow speci
f
ica
t
ion of
o
utput forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update
i
sl for change in isl_set_gis
t
argumen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
up
d
at
e
isl for rename
of is
l
_
ma
p
_mov
e
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
config
u
re
.
i
n
: add isl flags
a
n
d
lib
s
t
o pkg-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc: test isl_stre
a
m f
o
r eof rathe
r
than the u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
cc: add de
l
tas opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
S
ven Ver
d
oolaege
u
p
date isl for fix in isl
_
map_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
S
v
en
Verdoolaege
d
r
o
p barvinok_en
u
merate_p
i
p_wi
t
h_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
en V
e
rdool
a
e
g
e
iscc
:
add cr
o
ss product operations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verd
o
o
l
aege
isc
c
: add
c
oale
s
ce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
Ver
d
oola
e
ge
u
pdate isl f
o
r isl
_
pw_qpol
y
nomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Om
e
ga counting
c
alculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
test_b
o
u
nd
.
cc: fix
print
f
f
or
m
at
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
erdoolaege
bernstein
.
cc: f
i
x p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
evalue_range_propaga
t
ion:
f
ix s
u
bstitution
f
or ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rdoolaege
be
r
n
s
tein
/
configure
.
in: use
a
bsolute
srcdir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdoo
l
a
e
ge
only
d
istribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
upd
a
te
o
mega
f
or confi
g
ur
a
tion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
d
oolaege
config
u
re
.
in: a
l
l
o
w "
b
uild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaeg
e
i
sl
_
q
p
o
l
y
nomial_fold_from_
g
inac
:
h
andle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynom
i
al_from_gina
c
: expand ex befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_
o
bj_lis
t
.
c: update to use o
f
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Verdoolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
upd
a
te isl for introductio
n
of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
isl_pw_qpolynomial_upper_bound
:
set u
p
v
ar
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c: add s
o
me comparison op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
r
d
oolaege
iscc: add
i
n
vers
e
o
p
erat
i
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
V
erd
o
ola
e
g
e
iscc: fix up ty
p
e of
f
i
nd_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaege
iscc: add affin
e
hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
is
c
c: add operation
to construct
un
i
vers
a
l map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoo
l
aege
iscc:
add
"
join
"
operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c:
a
dd
i
nte
r
sec
t
_d
o
main operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
allow overloading bi
n
ary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
isc
c
: a
d
d mo
r
e dom ope
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
d
o
c: reorganize table o
f
iscc o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
l
a
e
ge
u
p
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ve
r
doolaege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
A
U
T
HORS: u
p
da
t
e
support informatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ra
n
domvector: double size
of coefficient
s
on
eac
h
at
t
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support tr
a
nsi
t
ive
closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoo
l
a
e
ge
update isl to ver
s
ion
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
barvi
n
o
k_e
.
cc: enumera
t
e_vd: remove unus
e
d vari
a
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
evalue
.
c: Polyhedron_I
n
sert: add mi
s
s
ing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
olaege
ev
a
lue
.
c
:
reduce_evalue:
rem
o
ve unused var
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oolaeg
e
is
c
c: add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
la
e
ge
isc
c
:
a
d
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
add is
l
_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oo
l
aege
is
c
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add
isl_pw
_
q
p
olyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpo
l
y
n
omi
a
l_t
o
_evalue
commit
|
commitdiff
|
tree
next