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
barvinok 0.41.7
2023-04-02
Sven
Verd
o
o
l
aege
barvinok
0
.
41
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven V
e
rdoolaege
update pet
t
o version 0
.
1
1
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdo
o
laege
update
i
sl to
v
ersion 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven
V
erdoola
e
ge
add some
i
scc tests
for fix
e
d powers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven Verdoolaege
iscc: fix computa
t
ion of
(
negativ
e
) fixed powers of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-07
Sv
e
n Verdoolaege
update isl f
o
r
change in co
a
lescing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
update p
e
t for s
u
p
p
ort for recent v
e
r
s
i
ons of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoo
l
ae
g
e
upd
a
te is
l
for
s
u
pport fo
r
recent versions of c
l
ang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
Ve
r
doo
l
aege
re
q
uire C++11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en
V
erdoolae
g
e
drop suppo
r
t
f
o
r __gnu_cxx::hash_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
repl
a
ce
o
bsolete
A
C_
T
RY
_
LINK by AC_LINK_I
F
ELS
E
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
e
r
d
o
olaege
rep
l
ace
obsolete AC_TRY_COMPILE by AC_COMPILE_I
F
ELSE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdoolaege
replace obsolete AC_HELP_STRING calls
b
y AS_HE
L
P_S
T
R
ING
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verdoola
e
ge
replace obsolete AC
_
PROG_LIBTOOL by LT_INI
T
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en V
e
rdool
a
ege
dr
o
p ev_size
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdoola
e
ge
d
r
op c
o
unt_domain
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
V
erdoola
e
ge
d
rop collect_nonsimp
l
e
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdool
a
ege
dr
o
p
co
l
lect_polytopes2
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Ver
d
o
o
laege
drop
c
ollect_p
o
ly
t
ope
s
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verdoola
e
ge
drop verify_lexsmaller test application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
dro
p
pol
y
t
ope_lattice_width
ap
p
li
c
a
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop po
l
yhe
d
ron_sample application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdo
o
laege
d
r
op pol
y
tope_scan
app
l
i
c
a
t
io
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
d
r
op r
e
move_r
e
d
undant_
e
qualities appli
c
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven Verdool
a
eg
e
upd
a
te documentation
t
o
remo
v
al of barvinok_en
u
merate_pip_wi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sve
n
Verdoola
e
ge
c
onfigure
.
ac: drop AM_PROG_LEX
and
A
C_PROG_
Y
ACC cal
l
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven Ve
r
doo
l
aege
add an iscc we
i
ghted counting test case with an equalit
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
S
v
en Verdoolaege
test box and
bernoulli s
u
mma
t
ion algorithms
on s
q
uare_p
2
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
Verdoolaege
add
tests/ehrhart_
u
n
i
on
.
README explaining or
i
gin of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven V
e
rdool
a
e
ge
add tests/ehrha
r
t
.
RE
A
DME explaining
ori
g
in of som
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
erdoolaege
a
d
d tests/lexmin
.
README ex
p
laining
o
rigin o
f
some of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
oolaege
tests
/
pwqp/hong*
.
pwqp: mention contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
Verdoolaege
tests/
i
s
c
c/leroux:
m
ention o
r
igin
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
oolaege
test
s
/iscc/la
t
tice
_
width-jo
n
_*: men
t
ion contribu
t
or
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdo
o
laege
tests/iscc/coun
t
/
g
arbervetsky: mention
c
ontributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
test
s
/iscc/coun
t
/empty7: mention
contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven Verdoo
l
aege
tests/iscc/count/andr
e
as: me
n
t
ion contribu
t
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
o
o
l
a
ege
tests/ehrhart_e/**/
s
eghir-*: mention
contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n Verdoolaeg
e
t
e
sts/ehrhart/classen*:
m
ention contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
erd
o
olae
g
e
convert sample t
e
s
t to iscc t
e
st
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoo
l
aege
co
n
vert counting tests to iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2022-07-31
S
v
e
n Verdool
a
ege
make isl_b
a
sic_set_l
a
t
t
ice_width stat
i
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-24
Sven Verdool
a
eg
e
s
u
mmate
.
c: add m
i
ssing include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sve
n
Verdoo
l
aege
barvinok 0
.
4
1
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdo
o
l
a
e
ge
u
pd
a
t
e
pet
t
o version 0
.
11
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven
V
er
d
oolaege
updat
e
isl
t
o
v
ersion 0
.
2
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
S
ven Verdoolaege
allow
s
tatic b
u
ild
i
ng of
execut
a
bles
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
configure
.
ac: rename BV_LD
F
LAGS to BV_L
I
B_LDFLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven V
e
r
d
ool
a
e
ge
con
f
ig
u
re
.
ac: drop s
p
urious
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ver
d
oolaege
update pet for support for recent
v
ersions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven
V
erdoolaege
u
p
da
t
e isl for suppo
r
t for recent versio
n
s of clan
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdool
a
ege
manual_cou
n
t: r
e
name "
d
im
"
v
ar
i
a
b
le to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
d
o
olaege
is
l
_ma
p
_a
p
p
ly
_
p
w
_qp
o
lynomial:
r
enam
e
"
dim" vari
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doo
l
aege
s
umm
a
t
e
.
c:
pw_qpolynomia
l
_
a
p
p
ly: rename
"dim" va
r
i
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doolaege
isl
_
union_set_
a
pply_un
i
on_pw_qpolynom
i
al: ren
a
me "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaege
s
u
mm
a
t
e
.
c: p
w
_qpolynomial_apply_
s
et:
rename "
d
im" variable
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoola
e
ge
isl_un
i
on_map_app
l
y_union
_
p
w_q
p
olynomia
l
: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaeg
e
isl_union_pw_qpo
l
y
n
omial
_
s
um: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Ver
d
oolae
g
e
Polyhedron_Sample: rename "di
m
" variable
t
o
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
is
l
_constraints_opt:
r
ename "d
i
m" var
i
able to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doolaege
i
sl_p
o
lyhedron_affine_si
g
n
: renam
e
"dim" variabl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
ol
a
ege
b
o
u
nd
.
c: split_on_domain_siz
e
:
renam
e
"dim" varia
b
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolae
g
e
isl_P
o
lyhedron_Reduced
_
Basis:
r
e
name "dim
"
variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
barvinok
_
enumerate
.
cc
:
v
erify_is
l
:
ren
a
me "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdoolaege
isl_union_
m
ap_c
a
rd:
r
ename "di
m
" va
r
iable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aeg
e
isl_union_set_card: r
e
na
m
e "dim" variab
l
e
t
o "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaege
i
s
l_map_card: rename "dim"
variabl
e
to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doo
l
aeg
e
barvinok
.
c
c
: ca
r
d_as_sum: rename "dim" vari
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
Ve
r
dool
a
ege
b
a
rvinok
.
c
c:
b
asic_map
_
card: r
e
n
a
me
"dim" var
i
a
bl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
do
o
laege
isl_union_
s
e
t_lattice_width:
rename "di
m
" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doolaege
isl_set_lattice_widt
h
: ren
a
me "d
i
m" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaege
isl_bas
i
c_set_lattice
_
w
i
d
th: renam
e
"dim" variabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdool
a
ege
evalue_isl
.
c:
r
elation2pwqp: rename "d
i
m" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Ver
d
o
ola
e
ge
evalue_isl
.
c: extr
a
c
t_bas
e
: renam
e
"dim
"
para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
a
e
ge
isl_p
w
_
q
polyno
m
ial_from
_
evalue: r
e
nam
e
"dim" parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
e
r
do
o
laege
i
sl_qpoly
n
omial_from_evalue: r
e
name "dim" parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
v
e
rify_opt
i
o
n
s
_set_range_pwqp
.
c
:
u
se is
l
_pw
_
qpolyno
m
ia
l
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoolaege
ex
t
ract out
s
hared verify_opt
i
ons_set_rang
e
_pwqp
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Ve
r
d
oolaege
barv
i
nok_summate
.
c:
verif
y
: fix m
e
mory management annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven V
e
rdoola
e
ge
evalue_i
s
l
.
c: ad
d
_g
u
arded_qp: dr
o
p
unus
e
d
v
ar
i
able
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven
Verdoolaege
barvinok_summa
t
e
.
c:
verify_point:
d
r
op unu
s
e
d
va
r
iable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sven Verdoolaege
doc: update gforg
e
.
inria
.
fr lin
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven
V
e
r
doolaege
b
a
rvi
n
ok_bo
u
nd: fix
--i
t
erate
option
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sv
e
n Verdoolae
g
e
bo
u
n
d
.
c: iterate: rename
"dim"
v
a
r
i
able t
o
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-07-26
S
ven Ve
r
doolaege
update pet fo
r
more relaxed pet_expr
_
is_equal index
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoo
l
aege
barvino
k
0
.
41
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
u
pdate pet
t
o v
e
rsion 0
.
11
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
update isl to version 0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Ver
d
oolaege
Makefile
.
am:
d
r
o
p LO
C
AL_
P
O
LYLIB_LA
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoola
e
ge
b
u
ild libis
l
.
la bef
o
re
l
i
bpet
.
la
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdool
a
ege
up
d
ate pet for
supp
o
rt for
re
c
ent
v
ers
i
ons o
f
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
update isl
f
o
r sup
p
or
t
fo
r
recent
versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sv
e
n Verdo
o
laege
remove_all_equ
a
liti
e
s: also
r
emove pa
r
ame
t
er
e
qualities
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sv
e
n Verdoolae
g
e
remove_all_equalities: copy context whenever main
polyhedron
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-19
Sven Verdo
o
laege
b
a
rvinok 0
.
4
1
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-13
Sven Verdoolaege
u
p
d
ate
p
et to version 0
.
11
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-01
S
ven Ve
r
doolaeg
e
u
pdate isl to version 0
.
23
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
update pe
t
for supp
o
rt for r
e
cent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
Sven
Verdoolaege
updat
e
isl for support for recen
t
versio
n
s of clan
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
Sve
n
V
e
r
doolaege
barvinok
0
.
4
1
.
3
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next