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
S
v
e
n Ve
r
do
o
laege
barvin
o
k
0
.
41
.
7
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
Sve
n
Ver
d
oolaege
upd
a
te pet to version
0
.
11
.
7
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdoolaege
upda
t
e
isl to v
e
rsio
n
0
.
26
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-20
Sven Ver
d
o
olaege
a
dd some iscc t
e
sts for fixed
p
ower
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-20
S
ven
V
erdoolaeg
e
is
c
c: fix compu
t
ati
o
n of
(
negative) fix
e
d powers of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-07
Sven Ve
r
do
o
laege
upd
a
te isl
for ch
a
n
g
e
i
n
coalescing
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
u
p
d
a
te pet for support for
r
ecent versi
o
ns of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
u
p
d
a
t
e isl for support fo
r
recent versions of c
l
a
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdo
o
laege
r
equire C++11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop support for
__gnu_
c
x
x::hash_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
replace obs
o
lete AC_TRY_
L
INK by A
C
_LINK_IFELS
E
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
r
eplace obsolet
e
AC_TR
Y
_
COM
P
ILE by AC_COMPILE_IFELSE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en Ver
d
oo
l
aege
rep
l
ac
e
o
b
s
olete A
C
_HELP_
S
TRING c
a
lls
by AS_HELP_STRING
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
r
e
p
lace
obsolete
A
C_PROG
_
LIBTOOL
b
y LT_INIT
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop
e
v
_size
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdoolaege
dr
o
p count_domain
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verd
o
ol
a
e
g
e
drop co
l
lect_non
s
imple
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verd
o
olaege
drop collect_polytopes2
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdoo
l
ae
g
e
drop
c
o
llect
_
polytopes
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdool
a
ege
drop verify_l
e
xs
m
al
l
er test a
p
pl
i
c
ati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaeg
e
drop poly
t
op
e
_la
t
t
ice
_
width appl
i
cat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven
Verdoolae
g
e
drop p
o
l
yhe
d
ron_sample appli
c
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en Verdoolaege
drop
p
o
lyt
o
pe_scan applic
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
d
r
op
r
emove_redundant_
e
qualitie
s
application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-20
Sven Verdoolaeg
e
upda
t
e d
o
cum
e
ntation to removal of
barvinok_enumerat
e
_pip_wi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-20
Sven Ve
r
do
o
laege
conf
i
gure
.
ac: drop A
M
_
P
RO
G
_LEX and AC_PROG_YACC calls
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-14
Sven Verdoo
l
aege
add an iscc weighted
c
o
untin
g
test case with an eq
u
ality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-14
Sven
Verd
o
olaege
t
e
st box and bernoulli s
u
mmation algorithms on square_p2
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
V
erdoolaege
add tests/ehr
h
ar
t
_union
.
R
E
ADME ex
p
la
i
nin
g
o
r
i
gin of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
S
ven Verdo
o
laege
add
tes
t
s/ehrhart
.
R
E
A
D
ME
e
xpl
a
ining origin of some
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
oolaege
a
d
d
tests/lexmi
n
.
README explainin
g
origin of some of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
tests/pwqp/hong*
.
p
w
qp: mention contr
i
butor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n Ve
r
doolaege
t
e
s
t
s
/iscc/leroux: mention origin
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verd
o
olaege
tests/iscc/
l
at
t
i
c
e_
w
i
d
th-jon
_
*: mention
c
o
nt
r
ibutor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
t
ests/iscc/count/garberv
e
tsk
y
:
m
ention co
n
t
r
ibut
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ve
r
doolaege
tests
/
i
s
c
c/count
/
em
p
t
y
7
: m
e
ntion contributor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
e
rdool
a
ege
tests
/
iscc/co
u
n
t
/andreas: men
t
ion c
o
ntributor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Verdoolaege
tests/ehrhart_e/**/s
e
ghir-*: mention
c
ontributor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
S
ven Ver
d
oolaege
tests/
e
hrhart/classen*: m
e
ntion
c
ontributor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdool
a
ege
convert sampl
e
tes
t
to iscc tes
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolae
g
e
convert
c
ounting
test
s
to iscc tests
commit
|
commitdiff
|
tree
2022-07-31
Sv
e
n
Ve
r
doolaege
make isl_ba
s
ic_set_
l
attice_
w
idth static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-24
Sv
e
n Verdoolaege
su
m
mat
e
.
c: add missin
g
include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
ba
r
vinok 0
.
41
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verd
o
olaege
u
pda
t
e pet
t
o vers
i
o
n
0
.
11
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdo
o
laege
u
p
date
isl to version 0
.
25
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sve
n
Verdoolaege
allow sta
t
ic build
i
ng
o
f executables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
S
ven Verdo
o
laege
c
o
nfigure
.
ac: renam
e
BV_LDFLAG
S
to
BV_L
I
B_LDFLA
G
S
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n Verd
o
olaege
configure
.
ac: drop spurious space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ve
r
do
o
laege
update
pet
for supp
o
rt
fo
r
r
ece
n
t versio
n
s o
f
clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n Verdoolaeg
e
upd
a
te i
s
l for
support for recent ve
r
sions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
Verdoolaege
manual_c
o
u
n
t
: ren
a
m
e
"dim
"
variable to
"
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
V
erdoolaege
isl_
m
ap
_
apply_pw_
q
p
o
lynomial: re
n
a
m
e "d
i
m"
v
a
riables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaege
summ
a
te
.
c: pw_qpolynomial_apply: rename "dim"
v
ariables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
i
s
l_union_set_
a
pply_union_pw_q
p
olynomi
a
l:
r
en
a
me "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
sum
m
at
e
.
c:
pw_qpolynomial_apply_set: rena
m
e
"dim" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdoolaege
isl_union_map_appl
y
_union_pw_qpolyn
o
mial: re
n
am
e
"dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdool
a
ege
isl_un
i
on
_
p
w
_qpolynomia
l
_sum: rena
m
e "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdoolaege
Polyhe
d
ron_Samp
l
e
:
r
en
a
me "dim" var
i
able to
"s
p
ace
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
oola
e
ge
isl_constraints_opt: rename "dim" variabl
e
to
"space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aeg
e
isl_polyhedron_a
f
fine_sign: re
n
ame "dim" v
a
ria
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdool
a
e
g
e
bound
.
c
: split_on
_
domai
n
_si
z
e:
r
ena
m
e "d
i
m" v
a
riable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Ve
r
doo
l
aeg
e
is
l
_
P
olyh
e
dr
o
n_Reduced_
B
asis: rename "
d
im" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
b
a
rv
i
no
k
_enum
e
rate
.
cc: verify_isl: rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rd
o
olaege
is
l
_u
n
io
n
_map_card:
rename "dim"
v
a
riable
t
o "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
i
sl
_
un
i
on_set_card: re
n
am
e
"dim" va
r
ia
b
le to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doola
e
ge
isl_map_card: re
n
ame "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
V
e
rdoolaege
barvino
k
.
cc: card_as_s
u
m: re
n
ame "
d
im"
v
ariable
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
barvinok
.
c
c
:
b
asic_map_card:
ren
a
m
e
"
d
im" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verdoolaege
isl
_
un
i
on_se
t
_la
t
tice
_
w
i
d
th: re
n
a
m
e "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verdoolaege
isl_set_latti
c
e_width:
r
ename
"dim" va
r
iable to
"
s
p
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdo
o
l
ae
g
e
isl_b
a
sic_set_lattice_width: rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
ev
a
lu
e
_isl
.
c: relatio
n
2pwqp:
rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdo
o
lae
g
e
evalue_isl
.
c
:
extract_
b
ase
:
rename "dim" par
a
m
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
is
l
_
pw_qpol
y
nomial_fr
o
m_e
v
alue:
rename "dim"
p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
oolaege
is
l
_qpol
y
nomial_
f
r
o
m_evalue: re
n
a
me "dim" paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
ve
n
Verdoolaege
verify_
o
ptions_set_range_p
w
qp
.
c: use isl_pw_qpoly
n
omial_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-30
Sve
n
Verd
o
olaege
e
xtract out shared
verify_o
p
tions_se
t
_range_pw
q
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-30
Sven
V
erdoolaege
barvinok_summate
.
c: ver
i
fy: fix m
e
mory
m
anagem
e
n
t
annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-24
Sven Ver
d
oo
l
aege
evalue_isl
.
c
:
add_
g
uarded_qp: drop unused
var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-24
Sven Verdoolaege
barvinok_summate
.
c: verify_point: drop unused
variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-03-19
S
ven V
e
rdoolaege
d
o
c
: upda
t
e g
f
orge
.
inri
a
.
fr link
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
Sven Ve
r
doo
l
aege
b
arv
i
nok_bound: fi
x
--
i
t
e
rate option
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
Sven
V
erdoolaege
bound
.
c: itera
t
e
: rename "dim" va
r
iable to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
Sven Verdoolaeg
e
update pet for more
r
el
a
x
ed pet_expr_is_eq
u
a
l
index
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sv
e
n
V
erdoo
l
aege
barvi
n
o
k
0
.
41
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
update
pet to version 0
.
1
1
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoola
e
ge
update isl to ve
r
sion
0
.
2
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
Makefile
.
am: drop LOCAL_POLYLIB_LA
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdo
o
laege
bu
i
ld libisl
.
la bef
o
re libpet
.
l
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
update pet f
o
r supp
o
rt f
o
r recent ver
s
ions of cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolae
g
e
u
pdate
isl
f
or sup
p
ort for recent
v
ers
i
ons of cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdool
a
ege
remove_all_e
q
ualities
:
also re
m
ov
e
p
ar
a
mete
r
equal
i
ties
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdoolaege
r
e
move_all_equalities:
c
opy co
n
text whe
n
ever main polyhedr
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-19
Sven Verdoola
e
g
e
barvino
k
0
.
4
1
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-13
Sven
V
erdoolaege
update pet
t
o version 0
.
11
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-01
S
v
en Verdool
a
e
ge
u
pdate i
s
l to
version 0
.
23
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sv
e
n
V
erdoola
e
ge
update
pet for support
f
o
r
recent ve
r
sions
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
updat
e
isl fo
r
support for r
e
cent version
s
of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-13
Sven Verd
o
olaege
barvi
n
ok 0
.
4
1
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next