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
V
er
d
oolaege
ba
r
vinok 0
.
41
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven
Verdoola
e
ge
update pet t
o
version
0
.
11
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven
V
erdoo
l
aeg
e
update
i
sl
to
vers
i
on 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sve
n
Verdoolaeg
e
add
s
ome iscc tests for
fixed powers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
S
v
en Verdool
a
ege
iscc: fix comput
a
t
ion of (
n
egative) fixe
d
po
w
ers of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-07
Sven
V
erdool
a
ege
updat
e
is
l
fo
r
change i
n
coalescing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sve
n
Verdoolaege
update
pet f
o
r
s
upport for recent versions
o
f
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verd
o
olaege
upda
t
e isl for support for recent versions o
f
c
lang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdoolae
g
e
require
C
+
+11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdoolaege
drop s
u
pport fo
r
__gnu_cxx::hash
_
map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoo
l
aege
repla
c
e
ob
s
olete AC_TRY_LINK by A
C
_
LINK_IFELSE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en Ve
r
doolaege
repl
a
ce ob
s
o
l
ete A
C
_TRY_CO
M
PILE by AC_C
O
M
P
I
L
E_
I
FELSE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verdoolaege
repla
c
e o
b
sole
t
e AC_HELP_STRING ca
l
ls by
A
S_H
E
LP_STRING
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erd
o
olaege
repl
a
ce
o
b
s
ol
e
te AC_PROG_LIB
T
O
OL by LT_INIT
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
Verdoolaege
dr
o
p ev
_
s
ize
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
Ve
r
doolaege
d
r
o
p
count_doma
i
n
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop collect_nonsimple
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verdoolaege
drop collect_polytopes2
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
e
rdoolaege
d
r
op colle
c
t_pol
y
topes
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdool
a
ege
d
r
op verify_lexs
m
aller test application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdo
o
laege
d
rop po
l
ytope_la
t
tice_width ap
p
lication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdoolaeg
e
d
r
op polyhedron_sampl
e
applicat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop polyt
o
pe_scan
application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verd
o
olaege
drop rem
o
ve
_
redund
a
nt_e
q
ualities application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
S
ven
V
erdoolaeg
e
update documentation t
o
removal of barvinok_enumerate_pip_
w
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven Ve
r
doolaege
configure
.
ac: drop
A
M_PROG_LEX
and AC_
P
RO
G
_YACC
ca
l
ls
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sv
e
n Ver
d
oolaege
ad
d
an is
c
c weigh
t
ed cou
n
ting
t
e
s
t case wi
t
h
an equality
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sve
n
Verdoolaege
tes
t
box a
n
d bernoulli sum
m
at
i
on algorithm
s
o
n square_p2
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
e
n Verdoolaege
a
d
d tests/ehr
h
art_union
.
READM
E
explaining origin of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
add tests/ehrhart
.
REA
D
ME explain
i
n
g origin of som
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
e
n Verdoolae
g
e
add tests/lexmin
.
README explaining or
i
gin
o
f som
e
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven Verdoolaege
t
e
sts/pwq
p
/hon
g
*
.
p
w
qp: mention
c
ont
r
ibutor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
tests/is
c
c/le
r
o
ux: menti
o
n orig
i
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
Ve
r
doolaege
tes
t
s
/
iscc/lattice_width-jon_*: mention co
n
tributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Ver
d
oo
l
aege
tests/is
c
c/count/garberve
t
sky: mention contributo
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
tests/iscc/count/empty7: men
t
ion contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaeg
e
test
s
/iscc/count/andr
e
as: mention cont
r
ibutor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n Verdoola
e
ge
tests/ehrha
r
t_e/**/seghir-*
:
ment
i
on contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ve
r
d
oo
l
aege
test
s
/eh
r
h
a
r
t
/cl
a
ssen*: mention co
n
tributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven Ver
d
oo
l
aeg
e
con
v
ert sam
p
l
e
test to i
s
cc test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Verdoolaege
convert
counting tests
t
o
i
scc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2022-07-31
Sven Verdoolaege
m
ake
i
sl_
b
a
sic_set_lattice_width s
t
a
tic
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-24
Sv
e
n Verdoolaege
summ
a
te
.
c
:
add
missing incl
u
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n Ver
d
oolaege
barvinok
0
.
41
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n Verd
o
olaege
upd
a
te pet to version 0
.
11
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verd
o
olaege
update isl to vers
i
o
n 0
.
25
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven V
e
rdoolaege
al
l
o
w static building of executa
b
les
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaeg
e
confi
g
ure
.
ac: rename BV_LDFLAGS
t
o
BV_LIB_L
D
FLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n Verdool
a
ege
configure
.
ac: drop spurious
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
upd
a
t
e
pet for support for recent versi
o
ns of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoo
l
a
ege
update i
s
l for s
u
pport for recent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolae
g
e
manual_c
o
unt:
r
ename "dim" var
i
able to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdoola
e
g
e
isl_map
_
app
l
y_pw_qpolynomial: rename "dim" v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
s
u
m
m
a
te
.
c: pw_
q
polynomial_apply:
r
ename
"
dim" varia
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaeg
e
isl_unio
n
_set_app
l
y_un
i
o
n_pw_qpolynomial: r
e
name "di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven
Verd
o
ol
a
eg
e
summate
.
c:
p
w
_
qpo
l
ynomial_appl
y
_set
:
rename "dim" v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdool
a
ege
i
sl_u
n
ion_m
a
p
_
ap
p
ly_union_pw_qpolyno
m
ial
:
rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_union_pw_q
p
oly
n
omial_s
u
m
:
rena
m
e "dim" var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
dool
a
eg
e
Polyhedron_Samp
l
e: r
e
name "dim"
v
a
r
iab
l
e to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdool
a
ege
is
l
_cons
t
ra
i
nts_opt: rename "dim" variable
to "s
p
a
ce
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
e
n
Verdo
o
laege
i
s
l_polyhe
d
ron_affin
e
_sig
n
: rename "dim"
var
i
abl
e
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verd
o
olaege
boun
d
.
c: spl
i
t
_
o
n_domain_size: r
e
na
m
e "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
Ver
d
oolaege
i
sl_Polyhedron_Reduced_Basis: rena
m
e "dim" variab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
olaege
barvinok_enumerate
.
cc: verify_i
s
l: rename "d
i
m" var
i
ab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolae
g
e
isl_union_map_card: rename "
d
im" variable to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
d
oolaege
is
l
_union_s
e
t_
c
ard: rename
"dim" variabl
e
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_map_c
a
rd: rename "dim" v
a
ria
b
le t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verd
o
olaege
barvin
o
k
.
cc
:
card_
a
s_su
m
:
r
e
nam
e
"dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
barvi
n
ok
.
cc
:
b
a
s
i
c_map_card: rename "dim"
v
ariable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_union_set_la
t
tice_width: rena
m
e "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
la
e
ge
i
s
l_
s
e
t
_lat
t
ice_widt
h
: ren
a
m
e
"dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Ver
d
o
o
laege
i
s
l_basic_set_lattic
e
_width: re
n
ame "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
evalu
e
_isl
.
c:
relation2pwqp: rename "dim"
variab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
evalue_i
s
l
.
c
:
e
x
trac
t
_
base
:
rename "dim"
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aeg
e
isl_pw_qpolynomia
l
_from_evalue:
rename "dim"
p
a
ramete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
e
rdoolaege
isl_qpolynomial_fro
m
_
e
valu
e
: rename "dim"
parame
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaeg
e
verify_
o
ptions_se
t
_
r
an
g
e
_p
w
qp
.
c: use isl_pw_qp
o
lynomial
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoolaege
e
x
tract out share
d
verify_options_set_range_pwqp
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoolae
g
e
barvinok_su
m
mate
.
c
:
v
e
r
ify: fix
m
emo
r
y mana
g
ement
annotat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sv
e
n Ver
d
oola
e
ge
e
valu
e
_
isl
.
c:
a
d
d
_gua
r
ded_
q
p
: drop u
n
used variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven Ver
d
oolae
g
e
barv
i
n
ok_s
u
mmate
.
c: verify_p
o
int: dr
o
p unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sv
e
n Verdoolaeg
e
doc: update gforge
.
inria
.
fr link
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven
Verdoolae
g
e
barvinok_boun
d
:
f
ix --iterate o
p
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
bound
.
c: iterate: rename "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-07-26
Sve
n
Verdoolaege
up
d
ate pet for m
o
re rel
a
xed pet_expr_is_equal index
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Ver
d
oolaege
b
a
r
v
i
nok 0
.
41
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoo
l
a
e
ge
update pet to ve
r
s
ion 0
.
11
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verd
o
olaege
update i
s
l to
v
e
rsion
0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
S
v
en
V
erdoolaege
Makefi
l
e
.
am: dro
p
LOCAL_POLYLIB_LA
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n
Ver
d
oola
e
ge
bui
l
d libi
s
l
.
la before li
b
p
e
t
.
la
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
u
p
date pet for support for recent ve
r
sion
s
o
f clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sve
n
V
e
r
d
ool
a
e
g
e
update isl
for s
u
pport f
o
r recent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sven
Ver
d
oolaege
rem
o
ve_a
l
l_
e
qualities: also
remove
p
a
rameter equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdoolaege
remove_all_
e
q
u
alities: copy c
o
ntext whenever ma
i
n
p
olyhedron
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-19
Sven
Ver
d
oolaege
barvino
k
0
.
41
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-13
Sven
V
er
d
oolaege
u
p
date pet
t
o ver
s
ion
0
.
1
1
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-01
Sven Verdoolaege
update isl to ver
s
ion 0
.
23
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
update p
e
t
f
o
r
s
u
p
p
o
r
t
for recent versio
n
s of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
u
p
date
i
sl for
s
upport for
r
ecent v
e
rs
i
ons of cl
a
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
Sven Verdoolaege
barvinok 0
.
41
.
3
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next