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
barvinok 0.31
2010-06-29
Sven Ver
d
oo
l
ae
g
e
b
a
rvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ol
a
ege
update isl
t
o
v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfi
g
ure
.
in:
prop
e
rly add isl flag
s
and l
i
bs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoo
l
aege
configure
.
in: drop call t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
g
enf
u
n
.
cc:
f
ix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoo
l
aeg
e
test_approx
.
c
:
fix p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
test_boun
d
.
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in:
s
t
o
p
co
m
piling O
m
ega by defa
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
verify_lexsmaller
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
lae
g
e
evalue
.
c: avoi
d
use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
evalue_isl
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
Verdool
a
ege
iscc:
r
ecover from errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n Ver
d
o
o
la
e
ge
update isl for i
m
proved
er
r
or ha
n
dling
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
isc
c
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdool
a
ege
d
o
c: iscc: up
d
ate
d
ocumentation of "ub
"
o
p
erator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
t
e
s
t_
a
pprox:
include ctype
.
h for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
o
l
a
ege
te
s
t_
a
pprox: include config
.
h for HAVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound:
include
c
o
nfig
.
h for HAVE_
S
YS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
iscc: add ve
r
tices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
p
t
iona
l
ly
u
se
i
sl to p
e
r
f
o
rm
p
aramet
r
ic vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdo
o
l
aege
up
d
ate isl-polylib for handlin
g
of ra
t
ional
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
drop dis
t
in
c
tion b
e
t
w
een barvinok
-
core and
bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
aege
remo
v
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
u
p
date isl for generic isl_pw_q
p
olynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in: drop bv
_
omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
add isl_ctx_p
e
ek_b
a
rvinok_
o
p
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
ge
iscc
:
parse barvinok o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
export
i
sl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop dependenc
e
on doc/o
m
ega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl fo
r
renam
e
of isl_pw_qp
o
lynomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaeg
e
verif_
e
hrh
a
rt
.
c
:
add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
ae
g
e
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolaege
use i
s
l for ar
g
um
e
nt pa
r
sing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update is
l
for keepi
n
g tr
a
ck of user optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoo
l
aeg
e
test_bound: re
w
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoolaege
update is
l
f
or help message pr
i
nt
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ve
r
do
o
laege
r
emove evalue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
rem
o
ve evalue_range_
p
ropagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
tes
t
_bound: u
s
e isl
i
nterface f
o
r computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
bar
v
i
n
ok_
b
ound:
u
se
isl interfac
e
for c
o
m
p
ut
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaeg
e
iscc
:
support ub even if GiNaC s
u
ppo
r
t wa
s
not c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdoolaeg
e
add g
e
n
e
ric isl_pw_
q
p
o
l
ynomial_
b
ou
n
d
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verd
o
olaege
update isl
f
or
isl
_
pw_qpolynom
i
al_
b
oun
d
_r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
Verd
o
olaeg
e
t
e
st_bound:
use
i
sl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoola
e
ge
barvino
k
_bo
u
nd: u
s
e isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oola
e
ge
ve
r
i
f
y
.
c: extract some helper fu
n
ctions for isl
b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
intr
o
duc
e
"bound" opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
o
p
tions
.
c:
fix print
f
format
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
doolaege
iscc: add
a
p
plication operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
i
s
cc:
add
r
ead operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rdool
a
ege
is
c
c: free
options
commit
|
commitdiff
|
tree
2010-04-24
S
ven Ver
d
oolaege
update isl for reading of string
s
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rdoolaege
update isl
for
fix
i
n isl_printer_print
_
pw_q
p
o
l
yno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
r
d
oolaege
update isl-po
l
y
l
ib for ch
a
n
ge in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
o
l
aege
iscc
:
allow spe
c
ificatio
n
o
f output
f
orma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaeg
e
u
pda
t
e isl for ch
a
ng
e
in is
l
_set
_
gi
s
t
argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
upd
a
te isl f
o
r rena
m
e
of isl
_
map_mov
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
c
o
nfigure
.
in: add isl f
l
a
gs
a
nd libs t
o
pkg-
c
on
f
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test isl_stream
f
or eof ra
t
her
t
han the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
iscc: add d
e
ltas op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
update isl
for fix in
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n
V
e
r
d
o
olaege
drop barvinok_enumerate_
p
ip_w
i
t
h_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
isc
c
: a
d
d cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdo
o
laege
iscc: a
d
d co
a
lesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl
f
or isl
_
pw
_
qp
o
lynomial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolae
g
e
dr
o
p "Omega counting calc
u
lato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oola
e
ge
test_bound
.
c
c:
fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
be
r
nstein
.
cc: f
i
x
p
r
i
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
r
d
oola
e
ge
e
v
a
lue_range_pr
o
p
agation: fix substitution f
o
r
negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
bernste
i
n/config
u
re
.
in: use
abso
l
ute srcdir
o
f
P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
olaege
only dis
t
r
ibute
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
update omega
f
or c
o
nfigur
a
tion
i
ssu
e
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoolaege
configure
.
in:
allow "build" Pol
y
Li
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qpolynomial_fold_from_ginac: han
d
le
f
ail nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qpo
l
y
nomia
l
_from_gi
n
ac:
e
x
p
and ex before
i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
d
oolae
g
e
isl_
o
bj_
l
ist
.
c: update to use of isl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolae
g
e
update isl for introduction of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
i
s
l
_
pw_qpo
l
ynomial_upper_bound
:
s
et up
v
ariable
v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Ve
r
doolaege
iscc: add so
m
e comp
a
ris
o
n opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc: add invers
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
la
e
ge
iscc: fix
up type
o
f
fi
n
d_matching_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Ve
r
dool
a
e
g
e
iscc
:
add affine
hull op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: ad
d
operation to con
s
tr
u
ct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
i
scc:
a
dd "join"
operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
llow overload
i
ng binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
add
mo
r
e
dom o
p
erat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
doc: reorg
a
nize table of
i
sc
c
ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
upda
t
e isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
barvi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
ola
e
ge
AU
T
HORS:
u
pda
t
e support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
random
v
ector: double siz
e
of
coef
f
icient
s
on each atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
er
d
oolaege
iscc: support tr
a
nsiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
updat
e
isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
ola
e
g
e
barvinok_e
.
cc: enumerate_vd: remove un
u
sed variable
s
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
olaege
eva
l
ue
.
c: Pol
y
h
edron_Insert: add m
i
ss
i
ng ret
u
rn
t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: redu
c
e_evalue: remov
e
u
n
us
e
d variabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
ege
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc
:
add "ub
"
commit
|
commitdiff
|
tree
next