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
tests/ehrhart_e/**/seghir-*: mention contributor
2022-08-07
Sven Verdoolaege
test
s
/
e
h
rh
a
r
t
_e/**/seg
h
ir-*: mention
c
ontributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
e
n
Verdoola
e
ge
tes
t
s/ehrhart/classen*: mention cont
r
ib
u
tor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
erdoolaege
convert sa
m
ple test to iscc test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven V
e
rdoolae
g
e
convert counting tests to iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2022-07-31
Sven Verdoolaeg
e
make
i
sl_
b
a
sic
_
se
t
_lattice_wi
d
th stat
i
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-24
S
v
en Verdoolaege
s
ummate
.
c: add missing incl
u
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoo
l
aeg
e
barvin
o
k 0
.
41
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
S
v
en
V
erdoolaege
upd
a
te
p
e
t
t
o
ver
s
ion 0
.
11
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ve
r
doolaeg
e
update isl to version 0
.
25
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ve
r
doolaege
allow s
t
atic
b
uilding of executa
b
les
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
configure
.
ac
:
rename BV_LDFLAGS t
o
BV_LIB_LDFLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ver
d
oola
e
ge
configure
.
ac
:
drop spurious space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
update pet
for supp
o
rt
for rec
e
nt v
e
rsions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
u
pd
a
te isl for support for
recent versi
o
ns of
c
l
ang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en
V
erdoolaege
manual_count: rename "dim" vari
a
b
le to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
oolaege
i
s
l_map_apply_pw_qpolynomia
l
:
r
ename
"
dim
"
v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaege
summate
.
c: pw_qpolynomial
_
apply: r
e
name "dim" v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verd
o
olaege
i
s
l_union_
s
et_apply_
u
n
i
o
n
_pw_qpolynomi
a
l: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaege
summate
.
c: pw_q
p
o
l
yno
m
i
al_apply_set
:
re
n
am
e
"dim" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
V
erdoolae
g
e
isl_
u
nion
_
map_apply
_
unio
n
_pw_qpolynomial: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdool
a
ege
isl_un
i
on_p
w
_qpolynomial
_
sum: re
n
ame "dim" vari
a
bl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoola
e
g
e
Polyhe
d
ron_Sample: rena
m
e "dim" variab
l
e to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaege
isl_c
o
nstraints_opt: rename "dim"
v
ariable
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verd
o
olaege
i
s
l_polyhe
d
ron_affine_sign: ren
a
m
e
"dim
"
va
r
iable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaeg
e
bound
.
c:
split_on_domain_size
:
rename "
d
im" va
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erd
o
o
l
ae
g
e
isl_Po
l
yhedr
o
n_Re
d
uced_Basi
s
: rename "dim"
variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
laege
barvi
n
ok_
e
n
u
merate
.
cc:
v
erify_isl: r
e
name
"
dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
is
l
_union_ma
p
_card: rename "dim" var
i
able to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoo
l
aege
i
sl_
u
nion_set_
c
ar
d
: re
n
a
m
e
"dim"
v
ariable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
Verdoolaege
i
sl_
m
ap_
c
a
r
d
: rename "dim" variable to "sp
a
ce
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
o
o
laege
b
arvino
k
.
cc: card_as_sum: rename "dim" va
r
iable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
oola
e
ge
barv
i
nok
.
c
c: basic_map_card: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaege
isl_union_set_lattice_width: r
e
n
ame "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaeg
e
is
l
_
set_lattic
e
_width: rename "di
m
"
v
ariabl
e
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdool
a
e
g
e
isl_basi
c
_set_lattice_width: rename "
d
im" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
evalu
e
_isl
.
c
: relation2pwq
p
: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Ve
r
doolaege
evalue_isl
.
c
: extr
a
c
t
_
b
a
s
e: rename
"
dim"
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doolaeg
e
isl_p
w
_qpolynomi
a
l
_f
r
om_evalue: rena
m
e "d
i
m" parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
isl_qpolynomial_from_evalue:
r
ename "dim"
par
a
m
e
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdoolaege
v
e
rify_
o
p
tions_set_
r
ange_pwqp
.
c
:
use isl_pw_qpolynomial_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdool
a
eg
e
extrac
t
out shared v
e
rify_
o
ptions
_
s
et
_
range_p
w
q
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoo
l
aege
barvino
k
_sum
m
ate
.
c
:
v
e
rify: fix m
e
mory manage
m
ent annotatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven Verdoolaege
eval
u
e_
i
sl
.
c: a
d
d_guarded_qp: d
r
op unused var
i
able
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven
V
e
rdoolaege
ba
r
vinok_summa
t
e
.
c: verify
_
p
oint: drop unused v
a
r
i
able
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sven
V
erdoolaege
doc: update gforg
e
.
inria
.
fr link
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdo
o
laege
barvinok_bou
n
d:
fix --it
e
rate
o
ption
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
S
ven
Verdoola
e
ge
bound
.
c
:
iterate: rename "dim" va
r
iabl
e
to "spa
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-07-26
Sven Ve
r
doolaeg
e
u
pdate pet
f
or
m
ore
r
e
la
x
e
d
pe
t
_expr_is_equal index
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sv
e
n
V
erdoolaege
barvinok 0
.
41
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
update pet
t
o
v
ers
i
on 0
.
11
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
S
v
en Verdoolaege
update isl
t
o version 0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sve
n
Ve
r
do
o
laege
Makefile
.
am: drop LOCA
L
_POLYLIB_LA
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sve
n
V
e
rdoola
e
ge
build libisl
.
la before libp
e
t
.
la
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
u
pd
a
te pe
t
for support
f
or recent ve
r
sion
s
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven
V
e
rdoo
l
a
e
ge
update isl f
o
r s
u
p
p
ort f
o
r r
e
cent
v
e
rs
i
o
n
s of
cl
a
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
S
v
e
n Verdoolaege
remo
v
e_all
_
equalities: also rem
o
ve parame
t
er e
q
u
a
lities
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sven V
e
rdoolaege
r
e
move_all_equalities
:
copy
c
ontext whenever mai
n
polyhedron
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-19
Sven Verdo
o
laege
ba
r
v
inok
0
.
4
1
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-13
Sven
V
erdoolaege
u
p
d
a
te
p
et
t
o vers
i
on 0
.
11
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-01
Sven
V
erdoolaege
update i
s
l to v
e
rsion 0
.
23
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
update
pet for su
p
port for recent version
s
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoolaege
upda
t
e isl for suppo
r
t for recent
v
ersions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
Sven
Ve
r
doolaege
b
a
rvinok 0
.
41
.
3
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
Sven Ve
r
doolaege
update
pe
t
to versio
n
0
.
11
.
3
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2019-11-13
S
v
e
n
Verdoolaege
update isl to version 0
.
22
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2019-08-24
Sve
n
Verdoola
e
ge
u
pdate pet
f
o
r support fo
r
re
c
e
n
t ver
s
io
n
s
o
f clan
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sve
n
V
e
rdoolaege
update
isl for su
p
port for re
c
e
nt ver
s
ions of
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdo
o
l
a
ege
upda
t
e isl
f
or
change in outpu
t
of isl_hash_
t
able_find
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdoolaege
c
o
nf
i
gure
.
ac: fix bo
t
ched u
p
a
s
si
g
nment of previous
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-07-09
Sven Ver
d
oolaege
configure
.
ac:
o
verride
-
-with
-
i
s
l opt
i
on
f
or subm
o
dules
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-05-11
Sv
e
n
Ve
r
doola
e
ge
try and
include compi
l
e
r/linker
o
p
t
ions needed for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-05-11
Sven
V
erdoolaege
use AC_PR
O
G_SED instead of di
r
ectly calling
sed
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-28
Sven Verdoolaeg
e
barvinok 0
.
41
.
2
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-28
Sv
e
n Verdoolaege
update pet
t
o
version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-10
Sven Verdoolaege
update isl t
o
v
ersion 0
.
21
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sv
e
n Verdoola
e
ge
update p
e
t
f
or support f
o
r
r
ecent v
e
rsions
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sven Ver
d
o
o
l
a
ege
u
pda
t
e isl for su
p
p
o
rt for
r
ecent versions o
f
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sv
e
n Verdoolaege
update pet for
m
ove of isl's
i
nt
e
rf
a
ce/all
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-19
Sven Ver
d
oo
l
aege
dro
p
EXT
R
A_{test,barvinok}_{summate,bou
n
d}_SO
U
RC
E
S
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-31
Sven V
e
rdoolaege
u
p
dat
e
isl f
o
r move of inte
r
face/all
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
Sve
n
V
erdoolaege
barvino
k
0
.
41
.
1
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
Sven Verdoo
l
aege
updat
e
pet to versio
n
0
.
1
1
.
1
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
Sven Ve
r
doolaege
update isl to version 0
.
20
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-17
Sven V
e
rdo
o
laege
u
pdate pet for
d
i
re
c
t heade
r
inclusions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-05-27
Sven Verdoolae
g
e
o
n
ly build isl
.
py a
n
d its depende
n
c
i
e
s
when e
x
tract_interfac
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven
Verdoolaege
l
attic
e
_w
i
dth
.
c: directly includ
e
re
q
ui
r
ed h
e
aders
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
isl_param_util
.
c
:
d
irect
l
y
inclu
d
e r
e
quired
headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
S
v
e
n
Verdoolaege
barvinok_e
.
c
c:
d
i
r
e
c
t
ly include requ
i
red headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-17
S
ven Verdoolaege
add LI
C
ENSE to
d
istribution
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-16
Sv
e
n
V
erdoolaege
AX_SUBM
O
D
ULE
:
add mi
s
s
ing
i
nvocati
o
n
of test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-06
Sven
V
erdoolaege
ba
r
vino
k
0
.
41
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
S
v
en Verd
o
olaege
updat
e
pet to version 0
.
11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoo
l
ae
g
e
update isl to version 0
.
19
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
S
ven
V
e
rdoola
e
ge
a
dd missing CLEANFILES and
DISTC
L
EANFIL
E
S
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdo
o
laege
do not
rem
o
ve polymake
/
autog
e
n
.
sh from
distr
i
bution
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n
V
erdoolaege
a
dd
d
oc/gl
o
sstex
.
ist
to dis
t
ribution
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoo
l
a
e
g
e
AX_SU
B
MODU
L
E
:
fix typo i
n
test inv
o
cation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verd
o
ol
a
ege
interface: m
a
ke languag
e
bindings
d
e
p
e
n
d
on all r
e
l
evant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
Sven Ve
r
d
o
olaege
update p
e
t fo
r
support
for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
S
v
en Ve
r
doo
l
aeg
e
upd
a
te i
s
l
fo
r
support fo
r
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next