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
evalue.c: avoid use of alloca
2010-06-27
Sven Ver
d
oolaege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
rdoolaege
iscc
:
rec
o
ver from erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolaege
update isl
for improved e
r
ror
h
andling
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ver
d
o
ola
e
g
e
i
s
c
c
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
laeg
e
doc: isc
c
: upd
a
te documen
t
ation
o
f "ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
t
e
st_approx:
inclu
d
e
ctype
.
h f
o
r
i
s
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
te
s
t_
a
p
p
r
o
x: includ
e
co
n
f
ig
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
t
e
st
_
bound: include config
.
h
f
or HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
oolaege
iscc:
a
d
d
ve
r
tices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olae
g
e
optionally use
i
sl to perform
parametric ve
r
tex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib
for ha
n
dling
o
f rational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
aege
d
rop d
i
stinc
t
ion
b
etween barvinok-c
o
r
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laeg
e
remov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
pdate isl for
generic
isl_p
w
_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
c
o
nfigure
.
i
n
:
d
rop bv_omega_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
add isl_c
t
x_peek
_
barv
i
nok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdool
a
ege
iscc: parse ba
r
vinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
x
port isl_qpolynomial
_
from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop dependenc
e
o
n
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oola
e
ge
u
pdat
e
is
l
for
rename of isl_pw_qpol
y
nomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
V
erd
o
olae
g
e
veri
f
_ehrhar
t
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoola
e
ge
configure
.
in:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
use isl for argumen
t
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
up
d
ate isl for keeping track of
u
ser options
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verd
o
olaege
te
s
t_bound: re
w
rite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoo
l
aege
update isl for help m
e
ssage printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
re
m
ov
e
evalue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoola
e
g
e
remove evalue_range_pr
o
pagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
lae
g
e
test
_
bound
:
use isl interface f
o
r
co
m
puti
n
g bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
b
a
rvinok
_
bo
u
nd:
u
se isl interface for computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
isc
c
: su
p
port ub e
v
en if GiNaC support was not compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoo
l
aege
a
d
d generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
oolaege
upda
t
e
i
sl for isl_pw_qpolynomi
a
l_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
t
e
s
t_bound
:
use i
s
l during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdo
o
la
e
ge
barv
i
n
o
k
_bound:
u
s
e
isl dur
i
ng verifi
c
at
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
v
eri
f
y
.
c: extract some helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
i
n
t
roduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
options
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add app
l
ication ope
r
ati
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
scc: add read operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolae
g
e
i
s
cc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update isl for reading o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl
f
o
r f
i
x i
n
isl_print
e
r_p
r
i
n
t
_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl-polylib for
cha
n
ge in
pkg-config fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
doolaege
iscc:
a
l
l
ow specif
i
cati
o
n of ou
t
put format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
update isl for
chan
g
e in isl_
s
e
t
_
gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
aege
update isl for rename of i
s
l_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
Ver
d
oolae
g
e
conf
i
gur
e
.
in: add isl flags
a
nd libs
t
o pkg
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
d
oolaege
iscc: t
e
st isl_stream for eof
rathe
r
than
t
he underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoola
e
g
e
iscc: add del
t
as
op
e
r
a
tion
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
upd
a
te
i
sl f
o
r
fix i
n
i
sl
_
map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdoolaege
drop
barvinok_enumerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
laege
i
s
c
c: add cross
product operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
e
n
Verdoola
e
ge
iscc: add coalesce operati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoola
e
ge
updat
e
isl f
o
r
isl_pw
_
q
p
o
lynomial_
c
oalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega counti
n
g
calcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
e
ge
test_boun
d
.
cc: f
i
x
printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
rnstein
.
cc: fi
x
print
f
forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
evalue_range_
p
ropagation: fix su
b
stitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoola
e
ge
bernstein/
c
onfigure
.
in:
u
s
e
absolute srcdir
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
do
o
laege
o
nly
d
ist
r
ibute
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
rdoolae
g
e
update
ome
g
a for
c
o
n
figura
t
ion
i
s
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
c
o
nfi
g
ure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
is
l
_qpoly
n
omial_f
o
l
d_from_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
isl_qpolynomial_from_ginac: ex
p
and e
x
before insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doo
l
aeg
e
isl_obj_list
.
c: update
t
o us
e
of isl
_
p
ri
n
t
er
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Ver
d
o
o
la
e
ge
iscc: add gist o
p
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
update
i
sl f
o
r introduction of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
isl_
p
w
_
qpoly
n
omia
l
_upper_bound: set up variabl
e
vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
a
dd so
m
e comparison oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add inver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
lae
g
e
iscc: fix up type of find_matching_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affine hull operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
is
c
c: add operation to construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoola
e
ge
iscc:
add "j
o
in"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
isc
c
: a
d
d intersect_do
m
ain op
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
i
s
cc: allow ove
r
load
i
ng binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
doc: re
o
rganize table o
f
iscc opera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
updat
e
isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
oola
e
ge
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
doolaege
AUTH
O
RS: update support in
f
ormati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
randomvec
t
or:
d
ou
b
le size
o
f c
o
eff
i
cie
n
ts on each a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support trans
i
ti
v
e closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaeg
e
update isl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
doolaege
b
a
r
vi
n
ok_e
.
cc: enum
e
rate_vd: remove
u
n
u
s
ed variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
e
v
a
lue
.
c: Polyhe
d
r
on_Ins
e
rt: add missing return
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
evalue
.
c:
r
ed
u
ce_ev
a
lue:
remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
iscc: add @ operat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdool
a
e
ge
iscc
:
a
d
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doolaege
add isl
_
pw_qpolynom
i
al_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
e
g
e
i
scc: add
su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw_qpoly
n
omial_t
o
_
e
val
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update
i
sl fo
r
isl_pw_qpolyn
o
mi
a
l_for
e
ach_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaeg
e
rename ev
a
lue2isl to isl_pw_q
p
o
lynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
ool
a
ege
iscc: de
t
ect more ki
n
ds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_en
u
merate:
use isl during
t
h
e
verif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rd
o
o
l
aege
add is
c
c
commit
|
commitdiff
|
tree
next