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
test_approx: include config.h for HAVE_SYS_TIMES_H
2010-06-12
Sven Verdoolaege
te
s
t
_
appro
x
: inc
l
ude
c
onfi
g
.
h fo
r
H
A
VE
_
SY
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doo
l
a
eg
e
test_bound: include config
.
h for HA
V
E
_SY
S
_T
I
MES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
iscc:
a
dd vertices operatio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
optionally use
isl to perform pa
r
ametric v
e
rte
x
en
u
meratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
update isl-polylib for handling of rational s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
drop d
i
s
tinction between barvino
k
-cor
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
remove
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upd
a
te isl f
o
r gen
e
ric isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
con
f
ig
u
r
e
.
in: drop bv_
o
m
ega
_
progra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_ctx_peek_bar
v
inok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
ge
iscc: parse barv
i
no
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
rdoolaege
export isl_qpolynomial_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
e
r
doolaege
Make
f
ile
.
a
m
: dro
p
dependence on d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
ool
a
ege
updat
e
i
sl for rename of
isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdool
a
eg
e
veri
f
_e
h
rh
a
rt
.
c: add mi
s
sing
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configur
e
.
in
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
use
i
sl for argument par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
o
o
laege
updat
e
i
sl for keeping track of
u
ser options
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ver
d
oolaeg
e
test_
b
ound:
rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
pdate isl for
h
e
lp messag
e
print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
doolaege
remove ev
a
lue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
ve
n
Ver
d
o
o
laeg
e
remov
e
ev
a
lue
_
range_prop
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
ege
test_bo
u
nd:
use isl interface for comput
i
ng b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
barvino
k
_boun
d
: use is
l
interface for comput
i
ng bou
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
rdoolaege
iscc: support
ub
e
ve
n
if
GiNaC supp
o
r
t was n
o
t
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
oolae
g
e
add generic
i
s
l_pw_
q
polyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
updat
e
isl for isl
_
pw_qpolynomial_bo
u
n
d
_
range
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
do
o
laege
test_bou
n
d: use isl
during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aeg
e
bar
v
inok_bound:
u
se i
s
l durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
v
er
i
fy
.
c
:
extra
c
t some helper
f
unct
i
o
n
s
for isl base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bou
n
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: f
i
x printf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdool
a
e
ge
iscc: add applica
t
ion op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olae
g
e
is
c
c: add
read opera
t
io
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
isc
c
: free
options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
update isl for reading
o
f strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
update isl f
o
r
fix in
isl_printer_pr
i
nt_pw_qpolyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
updat
e
isl-po
l
yl
i
b for
ch
a
n
ge in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
i
scc: allow specifi
c
ation of
o
utput f
o
rma
t
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdo
o
laege
update
i
sl for
c
han
g
e in isl
_
set_g
i
st a
r
gume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoolaege
upd
a
t
e
isl f
o
r rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
confi
g
ure
.
i
n
:
add isl
f
lags and lib
s
to pkg-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
e
ge
iscc:
t
e
s
t i
s
l_stream f
o
r
eof rather than the und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add d
e
lt
a
s op
e
r
a
tion
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ve
r
doolaege
update isl for fix in isl_ma
p
_
deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
olaege
d
r
op ba
r
vinok_enum
e
rate_p
i
p_with_
o
ptions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
o
l
aege
iscc
:
add cross product o
p
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
i
scc: add co
a
le
s
ce operations
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ver
d
o
o
laege
upda
t
e isl f
o
r isl_p
w
_q
p
olynomial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
dro
p
"Om
e
ga c
o
u
nting calc
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
olaege
t
e
st_bound
.
cc: fi
x
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
bernstein
.
cc: fi
x
p
rintf
forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
eval
u
e_rang
e
_pr
o
paga
t
i
on: f
i
x sub
s
tit
u
t
i
on for nega
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
e
r
d
ool
a
e
g
e
b
e
rn
s
t
e
in/configure
.
in: us
e
absolu
t
e srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
o
olaege
on
l
y distribute bu
n
dled su
b
modules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
d
oolaege
up
d
ate
ome
g
a
for config
u
r
a
tion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doo
l
aege
configure
.
in:
a
llow "b
u
ild"
P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
isl_
q
polynomial_f
o
ld_from
_
gin
a
c: ha
n
dle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl_qpolynom
i
al_fro
m
_ginac: expand ex bef
o
r
e
i
nspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_obj_
l
ist
.
c: update to use of isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc
:
add gi
s
t oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
update
i
sl
for introduction of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpolynomi
a
l
_
upper_bou
n
d: s
e
t up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: add
s
ome compari
s
on operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
i
scc: add inve
r
se
operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
r
dool
a
e
g
e
iscc
:
fix up
type of
fin
d
_matchin
g
_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
lae
g
e
i
s
c
c: add af
f
ine hu
l
l
opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add op
e
ration
to construct universal m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add "join"
oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add
int
e
rsec
t
_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
i
s
cc: allo
w
overloading binar
y
op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
aege
isc
c
:
a
dd more d
o
m oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdool
a
eg
e
d
o
c:
reorganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: u
p
date support inf
o
rmation
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ver
d
oolaege
randomve
c
tor: double size o
f
coefficients on
e
ach attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
iscc
:
s
upport
t
ra
n
sitive
c
losure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laege
barvinok_
e
.
cc: en
u
merate_vd: re
m
ove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
g
e
evalue
.
c: Polyhedron_Insert: add missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalu
e
.
c: reduce_ev
a
lue: remove unus
e
d variable
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
oolaege
iscc: add @
o
perator
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdo
o
laege
iscc: add
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
add isl_pw
_
qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw_qpolyn
o
mia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw
_
qpolynom
i
al_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
update isl
f
or i
s
l_pw_q
p
olynomial_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
rena
m
e evalue2isl
to is
l
_pw_qpolynomia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Verdoo
l
aege
iscc: d
e
tect more kinds of er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
aege
barvinok_enumera
t
e: use isl d
u
r
i
ng the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
a
d
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
a
dd isl
_
se
t
_card and isl
_
map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
evalue_convert
:
exp
o
rt as a
p
pl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barv
i
nok_enumerate_e:
opti
o
nally use isl t
o
proj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdo
o
la
e
ge
add
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
A
X
_SUBM
O
DULE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvi
n
ok_enu
m
erate:
r
eturn NaN for
i
nfi
n
ite problems
commit
|
commitdiff
|
tree
next