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
separate out isl interface
2010-06-20
S
ven Verdoolae
g
e
i
s
cc: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
S
ven
Verdoolaege
update is
l
for
improved
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
s
c
c
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven
V
er
d
o
olae
g
e
do
c
: i
s
cc: upd
a
te documentatio
n
of "ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
test_approx: i
n
clude ctype
.
h for isspac
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
a
ege
test_approx
:
incl
u
de config
.
h
for H
A
VE_SYS_T
I
ME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
t
est_bo
u
nd: include
confi
g
.
h for HAVE_SYS_
T
I
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
iscc: a
d
d vertices
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
optio
n
ally us
e
is
l
to perform parametri
c
v
e
rtex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
up
d
ate isl-polylib f
o
r handling
of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
drop d
i
sti
n
cti
o
n betw
e
en ba
r
vinok-c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
re
m
ove bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
upd
a
te
i
sl for generic is
l
_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in: drop b
v
_omeg
a
_pr
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
ve
n
V
erdoo
l
aege
iscc: par
s
e b
a
rvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
r
d
o
olaeg
e
export isl_qpolynomial_fr
o
m_e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoola
e
ge
M
akefil
e
.
am: drop dep
e
n
d
e
nce on doc/om
e
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoo
l
ae
g
e
upd
a
te
i
sl for
rename of isl_p
w
_qpoly
n
om
i
a
l
_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif
_
e
h
r
hart
.
c
: a
d
d mis
s
i
n
g include
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
oolaeg
e
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
ol
a
ege
use isl for ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
doolaege
update isl for keeping
t
r
a
ck of user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
test
_
bound: re
w
rite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help me
s
s
a
ge prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove eval
u
e_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolae
g
e
r
emove evalue_
r
ang
e
_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaeg
e
t
e
st_bound: u
s
e isl
i
nterface for
c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barv
i
no
k
_bo
u
n
d:
u
s
e isl
inte
r
face for computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
iscc: support ub even if GiNaC support was
n
ot
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
doolaege
add ge
n
eric isl_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
update isl f
o
r isl_
p
w
_
qp
o
l
y
nomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
tes
t
_bound: use i
s
l du
r
ing
v
erific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_boun
d
: use isl
d
u
ring v
e
rifica
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
verif
y
.
c: ext
r
a
c
t some
h
elper functions for isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
introduce "bo
u
nd" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
o
ptio
n
s
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoo
l
aege
i
scc: add application ope
r
ations
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdo
o
laege
is
c
c: add read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rdo
o
laege
i
s
cc: free optio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
e
rdoolaege
update isl for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
ge
u
p
date isl for f
i
x i
n
is
l
_printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoola
e
ge
update isl-poly
l
i
b
for chang
e
in pkg-con
f
i
g fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Ve
r
d
ool
a
e
g
e
iscc: allow spe
c
i
fication
of
out
p
ut format
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
upda
t
e
i
s
l for change
i
n isl_
s
et_gis
t
argum
e
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rd
o
olaege
upd
a
te
isl for
r
e
name
o
f
isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
co
n
fig
u
re
.
in: add isl flags and libs
t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdo
o
la
e
ge
is
c
c: test isl_stream for eof rather t
h
an t
h
e underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
doolaege
iscc: a
d
d deltas o
p
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
upda
t
e
isl for f
i
x in isl_map
_
deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdoola
e
ge
d
r
op barv
i
nok
_
e
n
u
merate_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
V
e
rdoolaege
iscc: a
d
d cross prod
u
ct op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
isc
c
: add coalesce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolae
g
e
upda
t
e
is
l
f
o
r i
s
l_pw
_
qpolynomial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ver
d
ool
a
ege
drop "Omega counting calculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
test_bound
.
cc:
fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
d
o
o
laege
bernstein
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
evalu
e
_ran
g
e_propa
g
ation: fix su
b
s
tit
u
tion fo
r
negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaeg
e
bernst
e
in
/
configure
.
in: use absolute
s
rcdir
o
f
P
o
lyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolae
g
e
only distribute
bund
l
e
d s
u
bmodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
up
d
ate omega for configu
r
ation iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doo
l
aege
c
o
nfigure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolynomi
a
l_fold_from
_
g
i
nac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qpolynomial
_
from_ginac
:
expand ex before insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
isl_obj
_
li
s
t
.
c
: u
p
da
t
e to
u
s
e
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
iscc:
a
dd
g
ist operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
updat
e
is
l
for introdu
c
tion of
i
sl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl
_
p
w
_qpolyno
m
ial_
u
pper_bo
u
nd: set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdo
o
laege
iscc:
a
dd some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc: a
d
d invers
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
isc
c
: f
i
x up type
o
f f
i
n
d_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
iscc: add
affine hull o
p
era
t
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ol
a
ege
isc
c
: add operation to co
n
struct u
n
iversal map
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
"join" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add intersect_domain ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c
: all
o
w
o
verloading b
i
nar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verdoo
l
a
e
g
e
i
s
c
c: add more dom
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c
: r
e
orga
n
ize
t
able of iscc opera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
up
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
A
UT
H
ORS: update support information
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laege
randomvec
t
or: do
u
b
le size of c
o
ef
f
i
c
ien
t
s on eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
erdoolaege
iscc: suppo
r
t t
r
ansitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
update i
s
l
t
o
ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
barvinok_e
.
cc:
enumera
t
e
_
v
d:
r
e
mov
e
unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
evalue
.
c: Polyhedron_Inse
r
t: add missing
ret
u
r
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
a
ege
e
value
.
c: reduc
e
_evalue: remove unus
e
d varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc: add @ oper
a
tor
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
oolaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoolae
g
e
add is
l
_pw_qpo
l
ynomial_upp
e
r_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
i
sc
c
: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
a
dd isl_pw_qpolynom
i
al_t
o
_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaege
u
pd
a
te
isl
f
o
r
i
sl_
p
w_qpolynom
i
a
l_
f
o
re
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doo
l
ae
g
e
rename
e
v
alue
2
isl
to i
s
l_pw_qpolynomial_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdoolaege
iscc: detec
t
m
ore kinds
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
barvinok
_
enum
e
rate:
u
se
i
sl during th
e
ve
r
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laeg
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add is
l
_
set_card a
n
d isl_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
ev
a
l
u
e2isl
commit
|
commitdiff
|
tree
next