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 Ve
r
d
oolae
g
e
evalue
.
c
:
a
v
oid us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover f
r
o
m e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
r
d
oolaege
update
isl
for
improved
e
rror handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
scc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoolaege
d
oc
:
iscc:
update docum
e
ntati
o
n of "ub" o
p
erator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
test_app
r
ox: in
c
lude ctype
.
h for isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_ap
p
ro
x
: include config
.
h for H
A
VE_SYS_
T
IMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
test_bound: i
n
clude con
f
ig
.
h
for HAVE_
S
YS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
iscc: add
v
ertices operati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
o
ptionally use i
s
l
to perform parametri
c
ve
r
tex enum
e
r
a
tion
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laeg
e
u
pdate isl-polylib for ha
n
dling of
rationa
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop d
i
s
t
i
nc
t
ion between b
a
rv
i
no
k
-
core
a
nd barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
u
p
date
i
sl for generic
i
sl_pw_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoo
l
aege
configure
.
in:
d
r
op
b
v_omega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek
_
bar
v
inok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: pa
r
se
b
arvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
export
i
sl_qpolynomi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
Makefi
l
e
.
am
:
dr
o
p depend
e
nce on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
oolae
g
e
update isl for rename of isl_pw_qp
o
ly
n
omial_
m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
v
erif_ehrhart
.
c:
a
d
d
missing
incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erd
o
olaege
configure
.
in:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
l
aege
use is
l
for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Verd
o
olaeg
e
update is
l
f
o
r kee
p
ing track of u
s
er optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolae
g
e
test_bound: rewri
t
e
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
upda
t
e isl for
h
elp message
p
ri
n
t
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n V
e
rdoolae
g
e
remove
e
value_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
evalue_rang
e
_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
test_bo
u
nd:
u
s
e isl interfac
e
for compu
t
ing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
b
a
rvi
n
ok_boun
d
:
u
s
e is
l
interface for
computing
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
iscc: support ub even if GiNaC support was not compi
l
ed
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d
g
e
neric isl_pw_qpolyn
o
mial_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdo
o
laege
update i
s
l for
i
sl_pw_
q
p
o
lynomial_
b
ound_
r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdoola
e
ge
test_bou
n
d: us
e
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
a
rvinok_boun
d
:
use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
erif
y
.
c: ext
r
act some help
e
r fun
c
t
i
ons for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
doolaege
introduce "bound"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdoolae
g
e
op
t
ions
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add a
p
plication operatio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
Ver
d
oo
l
aege
iscc: add
r
e
ad o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
V
erdoolaege
iscc: free
opti
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
upda
t
e isl for
r
e
a
ding of string
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolae
g
e
u
p
d
a
te isl for fix i
n
isl_printer_print_pw_qpolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Ve
r
doolaege
u
pdate isl-polylib for change in pk
g
-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verd
o
olaege
isc
c
: allo
w
specificati
o
n of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaeg
e
update isl
f
or
change in is
l
_
s
et_gi
s
t argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for rename
o
f
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n V
e
r
d
oolaege
c
o
nfigure
.
in: add isl flags and lib
s
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoo
l
aege
iscc: t
e
st
isl_stream for eof rather than
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
i
s
cc: a
d
d delta
s
oper
a
tion
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolaege
upda
t
e is
l
fo
r
fix in isl_map_d
e
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop b
a
rvinok_e
n
u
m
erat
e
_pip_wi
t
h_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
o
l
a
ege
iscc: add cross p
r
oduc
t
operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
iscc: a
d
d coales
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdool
a
ege
update isl for i
s
l_pw_qp
o
lynomi
a
l_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n V
e
rdoolaege
drop
"
Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaeg
e
te
s
t_bound
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoola
e
ge
bernstein
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_r
a
nge_propagation: fix su
b
sti
t
ution for neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
bernstein/
c
onfi
g
u
r
e
.
i
n: us
e
abso
l
ute
s
rcdir of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
only distribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
update omega for configuration
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
configure
.
in: allow "bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolyn
o
m
ial_f
o
l
d_fro
m
_ginac: handle fa
i
l n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
i
s
l_qp
o
lynom
i
al_
f
rom_gi
n
ac: expand
ex befor
e
i
nspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
a
ege
isl_obj_list
.
c: u
p
date to us
e
of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
S
ven V
e
rdoo
l
aege
iscc: add gist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
u
pdate
isl for intro
d
uc
t
ion of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
i
s
l_pw_
q
poly
n
omial_upp
e
r_bound
:
set
u
p
v
a
r
iable
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
isc
c
: add some comp
a
rison operatio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
a
d
d
inverse
operation
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verdoolaege
iscc: fi
x
up ty
p
e
of find_
m
atching_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd a
f
fine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add operation to constru
c
t universa
l
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ol
a
ege
iscc: add "join"
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
aege
iscc:
a
dd intersect_domai
n
operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
iscc: a
l
lo
w
over
l
oading bi
n
ary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
more dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Ver
d
oola
e
ge
d
oc:
reorganize t
a
b
l
e of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdo
o
laege
barv
i
no
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
AUTHORS:
u
pdate
s
u
p
port inf
o
rmatio
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verdoo
l
aege
rand
o
mvecto
r
: dou
b
le siz
e
of coeffi
c
ie
n
ts
o
n each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
ae
g
e
iscc: support tr
a
nsiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
up
d
ate isl
t
o version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
arvinok_e
.
cc: enumerate_vd:
r
e
m
ove unus
e
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
evalue
.
c: Pol
y
he
d
ron_Insert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
eval
u
e
.
c: reduce_eval
u
e
:
remov
e
unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
c
c
: add @
o
p
er
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
iscc: add
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add isl_pw
_
qpolynomial_up
p
e
r
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
a
d
d
isl_pw
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaeg
e
add isl_p
w
_qpoly
n
om
i
al_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
aege
updat
e
isl for isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ren
a
me eva
l
ue2isl to
i
sl_pw_qpo
l
y
nomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Verdoolaege
iscc:
d
ete
c
t more
k
inds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
barvinok_enumerate: use isl duri
n
g the veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
er
d
o
o
l
a
ege
add iscc
commit
|
commitdiff
|
tree
next