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
avoid use of isl_dim internals
2010-08-02
Sven Verdoolaege
avo
i
d
use
of i
s
l_dim int
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
o
l
aege
iscc
:
suppo
r
t cod
e
gen oper
a
tion
if C
L
ooG
is available
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
erdoolae
g
e
isc
c
: switch t
o
u
sing unions
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaeg
e
add isl_union
_
pw
_
qpolyn
o
mial
_
sum
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
add isl
_
u
n
ion_
m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
isl_p
w
_qpolynomia
l
_sum: take tuple na
m
e
s i
n
to
a
ccou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
isl
_
ma
p
_
c
a
r
d
: preserve full dom
a
in dimension i
n
f
o
rmation
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
o
olae
g
e
update i
s
l
for ch
a
nge in isl_ha
s
h_t
a
ble_
f
oreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ola
e
ge
barvi
n
ok_enu
m
er
a
te
.
cc
:
f
ix p
r
intf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-07-03
S
v
e
n Verd
o
olaege
do
c
: add so
m
e m
o
re papers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdoolae
g
e
ba
r
vinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olae
g
e
update isl to version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
doolaege
c
onfigure
.
in:
properly add isl flags and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdo
o
l
a
e
g
e
configu
r
e
.
in: drop c
a
ll
to gl_E
A
RLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
genfun
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
eg
e
test_a
p
prox
.
c:
f
i
x p
r
intf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c:
f
i
x
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
configure
.
i
n
:
s
t
o
p compi
l
ing Omega by defaul
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
ve
r
i
fy_le
x
s
m
aller
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoola
e
ge
evalue
.
c: avoid use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoolaege
i
s
cc: re
c
o
ver from
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdo
o
laege
up
d
at
e
isl for i
m
p
r
oved error
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdo
o
l
a
ege
iscc
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
oolaege
doc:
iscc: update
docu
m
entation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_approx:
i
ncl
u
de ct
y
pe
.
h fo
r
is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
test_approx: include config
.
h for
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
test_bou
n
d: include config
.
h for HAVE_SYS
_
T
IME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isc
c
: add vertices ope
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optio
n
ally
use isl to perform
p
arametric vertex enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
update
i
sl-pol
y
lib fo
r
handli
n
g of r
a
tio
n
al sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
drop distinction b
e
t
w
een barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
remove bernstei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
up
d
ate isl for gener
i
c isl_pw_qpoly
n
omia
l
_
b
oun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
conf
i
gure
.
in: dr
o
p bv_ome
g
a_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
a
dd i
s
l_c
t
x_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
oolaege
iscc: p
a
rse
bar
v
inok
o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
ex
p
ort i
s
l_qpolynomial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
Ma
k
efile
.
am: d
r
op dependence on
d
oc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
up
d
ate isl for r
e
name
o
f
isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
ve
r
i
f_ehrhart
.
c
:
a
d
d missing
i
nc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
configure
.
i
n
: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdo
o
laege
u
se isl
f
or
a
rgum
e
nt
p
a
rsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
update isl for ke
e
ping track
of u
s
er option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaeg
e
te
s
t_bound:
rew
r
ite
i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
u
p
date
i
s
l for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
remove ev
a
lue_range_propag
a
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
t
est
_
b
o
und: use
i
s
l interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
b
arv
i
nok_boun
d
:
u
s
e is
l
interface
for computing bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doo
l
aege
iscc:
s
uppor
t
ub even if GiNaC sup
p
ort was not compiled
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d generic isl_pw_q
p
ol
y
no
m
ial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
ge
update isl for
isl_pw_qpo
l
ynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
tes
t
_bo
u
nd: use isl during
v
e
ri
f
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok
_
bound: use isl d
u
ring v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaeg
e
verify
.
c:
ext
r
act some helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolae
g
e
introduce "
b
ound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolae
g
e
op
t
ions
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdo
o
laeg
e
iscc:
a
dd applicati
o
n oper
a
tions
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdool
a
ege
iscc
:
add read ope
r
ation
commit
|
commitdiff
|
tree
2010-04-24
S
ve
n
Ver
d
o
o
laege
iscc: f
r
ee options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
upda
t
e
i
sl for
r
e
adin
g
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
pdate i
s
l for fix in isl_printer_pr
i
n
t
_pw_qpolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
update
i
sl-polylib for
c
h
ange in pkg-con
f
ig fil
e
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdo
o
laege
is
c
c
: al
l
o
w
s
p
ecificat
i
on of ou
t
put
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
upd
a
te
i
sl fo
r
change
i
n isl_s
e
t_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
upda
t
e isl for
rename of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
Verd
o
olaege
conf
i
gure
.
in: add isl flags and libs to pkg-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoola
e
ge
iscc: test isl_strea
m
for
e
of rather than the
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
ege
iscc: add deltas o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdo
o
la
e
g
e
update is
l
for fix in i
s
l_map_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop b
a
rvinok
_
enume
r
ate_pip_wi
t
h_opti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdoolaege
iscc
:
add c
r
oss product
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdoolaege
iscc: add coalesce
o
perati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doola
e
ge
update
i
sl
f
or isl_pw_qpolyn
o
mial_co
a
les
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
dr
o
p "Ome
g
a countin
g
calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bo
u
n
d
.
cc: fix printf
forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
bernstein
.
cc: fix p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
e
value_
r
a
nge_propagat
i
o
n: fix s
u
bstituti
o
n for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configu
r
e
.
in: use absolute srcdir
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdo
o
laege
only distribute bu
n
dl
e
d submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
u
p
date omega for config
u
ration issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
configure
.
in: allow
"
build" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_q
p
olynomi
a
l_
f
o
l
d_from_gin
a
c: han
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
isl_
q
p
o
l
yno
m
ia
l
_from
_
g
i
nac: e
x
pand ex be
f
ore
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolae
g
e
isl_obj_list
.
c: update to
use of is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Ver
d
o
o
laege
iscc: add g
i
st operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
u
p
da
t
e isl for intr
o
duction of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
erdoolaege
isl_pw_q
p
ol
y
nom
i
al_upper
_
b
o
u
nd:
s
e
t up variable vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc: add some
co
m
p
a
r
ison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
er
d
oola
e
ge
iscc: add
invers
e
o
peration
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
l
aege
iscc: fi
x
up type of
f
ind_mat
c
hin
g
_bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaeg
e
iscc: a
d
d affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oo
l
aege
is
c
c:
add operat
i
on to construct univers
a
l m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc:
a
dd "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc: add inter
s
e
ct_domain o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc
:
a
llow
overloading
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more
d
o
m
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
doc: reo
r
gani
z
e table
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
update isl
commit
|
commitdiff
|
tree
next