repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_test_cpp17-generic.cc: work around std::optional::value issue in older macOS
2020-12-19
Michael Kruse
i
s
l
_mat_lef
t
_hermite: avoid undefine
d
null poi
n
ter
.
.
.
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2020-12-19
Michael Kruse
isl_mat_alloc:
a
void undefined nu
l
l pointer arithmetic
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2020-11-14
Michae
l
Kruse
fix
out-of
-
bounds arr
a
y access when
p
r
inting help
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2017-06-02
Michael
Kruse
upd
a
te imath f
o
r und
e
fined
behavior fixes
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-12-02
Michael Kruse
Upd
a
te im
a
th for MS
V
C comp
i
le f
i
x
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-10-17
Mi
c
h
a
e
l Kruse
add isl_id_to_str to public h
e
ader
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-10-03
Michael Kruse
ad
d
i
s
l
_uni
o
n_pw_aff_dump to publi
c
he
a
der
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-09-07
Mic
h
ael Kruse
isl_ast_build_
e
xpr
.
c: extract_term_and_mod:
u
se
term
.
.
.
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-08-31
Michael
Kru
s
e
make
i
s
l_space_has_
e
qual_tu
p
les
p
u
blic
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kruse
isl_space
.
c
:
i
s
l_space_has_equal_tuples: retu
r
n isl_bool
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kruse
doc: add descriptio
n
of isl_space_is_
e
qual
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-05-02
Micha
e
l Kruse
i
sl
_
test_in
t
: fix memor
y
leak
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2016-04-30
Michael Kruse
d
oc: U
s
e
T1 f
o
nt encoding
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-12-01
Mic
h
ael Kru
s
e
Use __inline f
o
r Vis
u
al Studio before 20
1
5
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-12-01
Michael Kru
s
e
Fix co
m
ment formatting
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-08-08
Micha
e
l K
r
use
Add
m
i
s
si
n
g
C
LEANFILES and DIS
T
CLEAN
F
IL
E
S
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-08-08
M
i
chael Kr
u
s
e
Do
n
o
t
create gitvers
i
on
.
h at
co
n
f
igure-time
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-07-31
Michael Kruse
Uninstall GDB b
i
n
d
ings
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-07-18
Mi
c
hael
K
r
use
Re
m
ov
e
inl
i
ne qualifier of isl_sioimath_gcd
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-07-01
Michael Kruse
Ma
k
e pa
s
s-
b
y-reference
e
x
p
l
icit by using p
o
int
e
r
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-06-15
M
ichael
K
r
u
s
e
Im
p
l
ement
s
m
a
l
l
int
e
ger op
t
imiza
t
io
n
for IMath
Signed-off-by:
Michael Kruse
<ppcg@meinersbur.de>
commit
|
commitdiff
|
tree
2015-06-15
Mi
c
hael
K
ruse
Use IMath functi
o
ns
d
irectly instead of macros
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-06-15
Michael Kruse
Make pass-b
y
-refer
e
nc
e
explicit b
y
using pointers
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-05-22
M
ichael Kruse
isl_union_
*
_mul_isl_
i
nt:
a
dd missing &-
o
perator
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree
2015-03-11
Micha
e
l Kruse
i
s
l_
t
ab_extend_vars: fix
bu
f
fer overflow
Signed-off-by:
Michael Kruse
<isl@meinersbur.de>
commit
|
commitdiff
|
tree