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
update pet to version 0.05
2014-04-14
Sv
e
n Ve
r
do
o
l
aeg
e
upda
t
e pet to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoo
l
aege
update isl to version
0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Ver
d
o
o
laege
update
pet for sor
t
ing of arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
r
d
oolaege
isl_par
a
m_
u
ti
l
.
c: drop expr2
v
ertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
V
erdoolaege
update
isl for change
i
n
isl
_
vertex inspec
t
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
er
d
oolaeg
e
ad
d
isl_m
u
lti_aff_to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven
Verdoolae
g
e
i
s
c
c: add
m
i
n
i
mal
s
u
p
p
ort
f
o
r isl_obj_
p
w_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ve
r
doolaege
upd
a
t
e
is
l
fo
r
isl_ob
j
_
pw_m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolae
g
e
gen_fun::add_union: context of r
e
sult
should
be the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven V
e
rdoo
l
aege
r
educe_evalue: red
u
ce polynomial
exp
r
e
s
sio
n
s in de
n
o
m
ina
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
S
ven Verdoo
l
aege
update pet for
s
u
pport for recen
t
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ve
r
d
o
olaeg
e
upd
a
te isl
for s
u
pport for
r
ece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
upda
t
e
p
et
for change i
n
pet_scop_colle
c
t_{reads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verd
o
o
l
a
ege
update
isl
f
or isl_id_to
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoo
l
aege
configure
.
ac: use AX_
D
ETECT_GIT_HEAD instead of
i
n
l
i
ned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Ve
r
do
o
laege
doc:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven Verdoola
e
ge
AX_SUBMO
D
U
L
E
: allow
.
git file i
n
su
b
mod
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sve
n
Verdoolaege
update
pet f
o
r support for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Ver
d
o
olaege
up
d
ate
isl f
o
r suppo
r
t
fo
r
recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven
V
erdoo
l
a
e
ge
v
erify_point_data_init: use isl_
s
et_card to count elements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolae
g
e
test_approx: re
t
urn
E
X
I
T_
F
AILURE on
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ven Verdoola
e
ge
test_
a
pprox:
u
s
e
isl i
n
terfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven
V
e
rdoo
l
aege
cl
e
an up
t
ests/e
h
rhart
/
* i
n
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ve
r
doolae
g
e
evalue_isl
.
c: relatio
n
2pw
q
p
:
han
d
le
n
o
n
-
parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
S
ven V
e
r
d
oola
e
ge
update i
s
l for isl_*_eval returning
an isl_val instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoo
l
aege
u
pdate isl for i
s
l_str
e
am_
r
ead_o
b
j ret
u
rning
isl_
o
bj_
v
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven V
e
rdool
a
e
g
e
u
pdate p
e
t to ver
s
ion 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven
V
erdoola
e
ge
configure
.
ac: replace --with-libgm
p
opti
o
n by --with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
S
ven Ver
d
oolaege
updat
e
isl
t
o version
0
.
1
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
i
s
cc
.
c
:
avoid use
o
f
i
s
l
_token internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoo
l
aege
e
v
alue_isl
.
c: div2evalu
e
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdo
o
laege
evalue_isl
.
c
:
i
sl_pw_q
p
olyno
m
ial_from_eval: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
d
o
o
l
aege
eva
l
ue_isl
.
c: isl_qpolynomial_from_evalue:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
evalue_isl
.
c:
ext
r
act_base: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
rdoolaege
verify
.
c: veri
f
y_point_data_init: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolae
g
e
v
erify
.
c: ver
i
fy_cont
e
xt_
s
e
t
_bounds:
u
s
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
util
.
c: manual_count: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
test_bound
.
c:
r
esult_data: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
t
e
st_bound
.
c:
v
erify_point:
u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
sampl
e
.
c: Polyh
e
dron_Sample: use isl
_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
p
o
ly
s
ign_isl
.
c
: isl_constraints_opt:
u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
V
erdoolaege
polysign_isl
.
c
:
i
s
l
_polyhed
r
on_af
f
ine_si
g
n: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
polysig
n
_is
l
.
c:
e
xtract_inequalities: u
s
e isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c:
extr
a
ct_equal
i
ties: us
e
i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
iscc
.
c: read_ident
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
e
g
e
iscc
.
c: obj_at_i
n
dex: use
i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolae
g
e
iscc
.
c
:
power: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
Ver
d
oolaege
iscc
.
c: next_is_neg_int: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaeg
e
eval
u
e_isl
.
c: add_term: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
evalue_i
s
l
.
c: relation2pwqp: use i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en
V
erdoolaege
bound
.
c
: split_on_size: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
boun
d
.
c
: verify_po
i
n
t: us
e
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olae
g
e
b
a
s
is_reduction
.
c: is
l
_Polyhedron_Reduced_Basi
s
:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
r
doolaege
b
a
rvinok
_
summat
e
.
c: verify_point: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
ba
r
vinok_enumerate
.
cc: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
e
rdoolae
g
e
b
arv
i
n
o
k
.
cc: ca
r
d_as_sum: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en
V
e
rdoolaege
isl_map_
p
olylib
.
c
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoo
l
aege
up
d
ate
i
sl for
is
l
_v
a
l abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdo
o
laege
integra
t
e isl-polylib
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
S
ven
V
e
rdoolaeg
e
barvinok_enumer
a
t
e
.
cc:
e
xplicitly incl
u
de
gmp
to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
S
ven V
e
rdoo
l
aege
ba
r
vi
n
ok
_
e
.
cc:
e
xplicitly
i
n
clude
gmp to avoid inclusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolae
g
e
test_bou
n
d
.
c: result_data_clear: remove unused variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdool
a
eg
e
eval
u
e_isl
.
c: avoid use of isl_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n
V
erdoo
l
aege
t
es
t
.
c:
r
emove
redundant incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven
V
e
rdo
o
laeg
e
up
d
ate isl to ver
s
ion 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoolaege
evalue
_
isl
.
c: avoid use of isl_
v
ec inte
r
na
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoola
e
ge
u
p
d
a
te pet for sup
p
ort
f
or recent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaeg
e
update isl f
o
r
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdo
o
l
ae
g
e
NTL_QQ: use NTL's Vec
template class wh
e
n available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_pw_
q
pol
y
no
m
ial_
s
u
m
: error out if
input does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
v
en Verdo
o
laege
iscc
.
c
:
print_code: d
o
n
o
t as
s
u
me isl_un
i
on_
m
a
p_get_s
p
ac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolae
g
e
vertex_cone:
c
h
eck that d
i
mens
i
o
n is at least one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
ba
r
vinok_s
u
m_over
_
polyt
o
pe: spec
i
al c
a
se
0
D
polyt
o
p
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
S
ven
V
er
d
o
o
l
a
ege
summate
.
c: sum_w
i
t
h
_
equalities: extract o
u
t sum_
o
ver_po
l
ytope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sv
e
n Verd
o
olaege
u
pdate isl
t
o version 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdool
a
e
ge
barvinok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erd
o
olaege
l
e
xmin
.
cc: lexmin: remo
v
e
un
u
sed label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoola
e
ge
l
atti
c
e
_point
.
cc: fractional_part
:
rem
o
ve
u
n
u
s
e
d
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
testlib
.
c
c
: test_hi
l
bert
:
f
ix t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
iscc
.
c:
read_bool_if_
a
vailable: remove unused l
a
b
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
upd
a
te
pet to version 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update isl to
v
ersio
n
0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n
Verdoolaege
R
EADME: refer to pet/README f
o
r more details on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
erdo
o
l
aege
updat
e
p
e
t
for su
p
port for
r
ecent c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update isl for
suppo
r
t f
o
r recent
c
lang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en V
e
rd
o
o
l
aeg
e
drop cl
o
og sub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdo
o
laege
use
isl fo
r
code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdool
a
ege
u
pdate
isl for
code generatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
iscc
.
c
:
a
d
d missing includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
update i
s
l for
r
ename of !
i
s
l
_set_
d
i
m_ha
s
_{lower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ve
r
doola
e
ge
d
oc: add a
n
other pa
p
er refering to
t
he
l
ibrary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
e
rdoolaege
README
:
clarif
y
that
/
o
pt is the example installation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
e
n
Verd
o
o
laege
exp
o
r
t
isl_*
_
p
w_qp
o
l
y
nom
i
al_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
u
p
da
t
e pet for adding miss
i
ng i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Ver
d
oolaege
c
onfi
g
ure
.
ac: check for NTL/ZZ
.
h
h
eade
r
bef
o
re
checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
upda
t
e pet to versio
n
0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolae
g
e
up
d
a
t
e is
l
t
o version 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Verdool
a
eg
e
options
.
c
: a
v
oid c
a
lling isl_allo
c
_
t
ype without valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
Ve
r
doolaege
eva
l
ue_isl
.
c: div
2
evalue: explici
t
ly check
fo
r
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdoolaege
update isl for
normalization of isl_term_get_div result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next