repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
evalue.c: avoid use of alloca
2010-06-27
S
v
e
n
V
e
rdoolaeg
e
evalue
.
c: avoid use of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
g
e
evalue_isl
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
V
erdoola
e
ge
iscc: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
update i
s
l for improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
i
s
cc
.
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: upda
t
e documen
t
ation of "ub
"
operator
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
r
doolae
g
e
test_approx: include
c
type
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
l
aege
t
e
st_approx: includ
e
config
.
h for HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
t
e
s
t
_bound: include config
.
h for HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdo
o
laege
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
opti
o
n
ally use isl to p
e
rform pa
r
ametric vert
e
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
update i
s
l-po
l
ylib for han
d
ling of rational s
e
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaeg
e
drop
dis
t
i
n
c
t
i
o
n
b
e
t
ween barvino
k
-core an
d
barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
r
emove bern
s
tei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
upda
t
e
isl f
o
r generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
configure
.
in:
drop bv_ome
g
a_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_ctx_
p
e
e
k_b
a
rvi
n
ok_op
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
i
sc
c
:
p
ars
e
barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
export isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
l
aege
Makefile
.
am: drop depe
n
dence
o
n doc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
upda
t
e isl for rename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
ver
i
f
_
ehrhart
.
c:
a
dd missing
i
nclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
dool
a
ege
configur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
use
isl for argument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoo
l
aege
u
pdate isl fo
r
keeping t
r
ack
o
f user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_b
o
und: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdool
a
ege
u
p
da
t
e is
l
for help messag
e
printing
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
e
rdoolaege
r
emove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
Ve
r
d
o
olaeg
e
remove evalue_ran
g
e_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
t
es
t
_bound: use isl i
n
terface f
o
r computing b
o
un
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bound: u
s
e
i
sl interf
a
ce for com
p
uting
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc
:
support ub
e
v
e
n if GiNaC support wa
s
not compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
add generic isl_pw_q
p
o
lynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
u
pdate isl for isl_pw_qpolynomial_bo
u
nd_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
test_bound: us
e
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
b
a
rvinok_
b
ound: use isl
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoo
l
a
ege
verify
.
c: extract some help
e
r functions f
o
r isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
introduc
e
"
bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaeg
e
o
pti
o
ns
.
c:
f
ix print
f
format
commit
|
commitdiff
|
tree
2010-05-10
Sven
Verdoolaege
is
c
c: add applicatio
n
operation
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
is
c
c: add
r
ead operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
u
p
date isl for reading of str
i
ngs
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
ool
a
e
g
e
update isl
for fix in i
s
l_printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoo
l
aege
upda
t
e isl-pol
y
lib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
iscc: allow
specificat
i
o
n
o
f outpu
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
erd
o
olaege
u
p
date i
s
l for change in isl_set_g
i
st argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
do
o
laege
upd
a
te
i
sl f
o
r
rename
o
f
i
s
l
_map_m
o
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
conf
i
gure
.
in
:
add i
s
l flags a
n
d libs t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
do
o
laege
iscc
:
test isl_stream
for
eof rat
h
er th
a
n the underly
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
c
c: add d
e
ltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update
is
l
for fix in
i
sl_ma
p
_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
ol
a
eg
e
dr
o
p barvinok_enume
r
at
e
_pip_with_opt
i
ons
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
V
erdoola
e
g
e
is
c
c
:
ad
d
cross
pr
o
duct operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoo
l
aeg
e
iscc:
a
dd coales
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
r
doolaege
u
pda
t
e isl
for isl_pw
_
q
polynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolae
g
e
d
r
op "Omega
coun
t
i
ng cal
c
u
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doola
e
ge
t
e
st_bo
u
nd
.
cc: fix pri
n
tf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
b
e
rnstein
.
cc: fix pri
n
tf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_prop
a
g
ation: fix subst
i
tuti
o
n fo
r
negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verd
o
ol
a
ege
be
r
nstein/configu
r
e
.
in:
u
se absolute
s
rcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
only distribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
u
p
d
a
te
omega
f
o
r
con
f
i
guration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rd
o
o
laege
c
o
nfigure
.
i
n
: allow "
b
u
i
ld
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_f
o
ld_fr
o
m_gina
c
: handle fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
isl_qpolyno
m
ial_from_g
i
nac: expand ex
b
e
fore inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
o
l
aege
i
s
l_obj_lis
t
.
c
:
up
d
a
t
e
to us
e
of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoola
e
ge
iscc: add
g
ist
o
perations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
up
d
a
te isl fo
r
i
ntr
o
duc
t
ion of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpolynomia
l
_upper_bound: set up v
a
riable vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdool
a
e
g
e
i
scc: a
d
d some comp
a
r
ison operation
s
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaeg
e
iscc: add
inver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
i
s
cc
:
fix up ty
p
e of f
i
nd_
m
atc
h
i
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add affine hull opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
do
o
la
e
ge
i
s
cc: ad
d
operat
i
on to construct
u
n
ive
r
sa
l
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc
:
add
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
intersect_domain operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoolaege
is
c
c: all
o
w o
v
erloadi
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
iscc: add m
o
re dom ope
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoo
l
aege
d
oc: re
o
rganize table o
f
iscc operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
o
l
a
e
ge
AUTHORS: update su
p
port info
r
m
a
t
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
randomvector:
d
o
uble si
z
e
of coefficients on
e
ach
at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rd
o
olaege
i
s
cc: support
trans
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdo
o
laege
update isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdool
a
ege
barvino
k
_e
.
cc:
e
n
umerate
_
vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
ev
a
lue
.
c
:
Polyhedron_Insert: ad
d
m
issing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalu
e
.
c: reduce_evalue: rem
o
ve
u
n
used variabl
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
i
scc
:
a
d
d @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l_pw_qpoly
n
omial_
u
pper_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
V
erd
o
ola
e
g
e
ad
d
isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
ol
a
eg
e
add is
l
_
p
w_qp
o
lynomial_to_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
update isl
f
o
r i
s
l_pw_
q
polynomial_for
e
a
c
h_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
ge
rena
m
e evalue2isl
t
o isl_pw_qpolynomial
_
from_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
scc: detect more kind
s
of
e
rror
s
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdo
o
l
a
ege
barvino
k
_en
u
m
erate: use
i
sl du
r
ing
the v
e
rifi
c
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add iscc
commit
|
commitdiff
|
tree
next