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_tab.c: don't detect equalities while setting up tableau
2009-03-20
Sven Ve
r
d
o
olaege
isl_ta
b
.
c: don't
detect equalities while setting
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_
m
at_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately export
i
sl_basic_{set,
m
a
p}_normalize_con
s
tra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add isl_basic_set
_
e
x
tend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
isl_basic_map_elimin
a
t
e
_v
a
rs: clea
r
divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
aeg
e
i
s
l
_basic_map_e
l
imi
n
a
t
e_vars: remove
all dep
e
n
d
ent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_hash_tabl
e
_alloc and
i
s
l
_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
i
s
l_hash_table_init: take
m
inima
l
size inst
e
ad of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olae
g
e
isl_
{
bas
i
c_,}s
e
t_
p
reimage: drop
c
tx arg
u
m
e
n
t
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doola
e
ge
isl_basic_map_i
n
tersect: reuse sample value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
add i
s
l_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
constraint_d
i
v
:
perform required reference increas
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
V
e
rdool
a
ege
i
sl_b
a
sic
_
map: put ine
q
ualiti
e
s be
f
or
e
eq
u
ali
t
i
e
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
ool
a
ege
a
d
d isl_seq_no
r
m
a
l
i
z
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
s
l
_
ctx
.
h:
m
ake F
L
_ISSET return a
boolean
v
al
u
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
rename F_ and FL_ macros to ISL_F_
and ISL_FL_ to
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl
_
mat_swap_
c
ols
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
V
erd
o
ol
a
ege
isl_mat_
d
ump: also
i
ndent NULL
m
at
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
ge
a
dd isl_cal
l
oc_t
y
pe
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
isl_map_convex_hull: normalize map first
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
olaege
isl_s
e
t_preimage: clear IS
L
_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
S
ven
V
erdoo
l
aege
add isl
_
basic_map_de
t
e
c
t_equalitie
s
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
export isl_
b
asic_ma
p
_
i
s
_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
ol
a
e
ge
add isl_dim_rang
e
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doola
e
ge
add isl_map_p
r
oduct
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolae
g
e
add isl_basic_map_ad
d
_constr
a
int
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
o
l
aege
isl_map
_
pi
p
lib
.
c: isl_map_from_quast: properly
k
eep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
ch
a
nge calli
n
g convention
of is
l
_
basic_
m
ap
_
{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Ver
d
oolaege
add isl_map_copy_basic_map and isl_
m
ap_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verd
o
olaege
add isl_map_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
add
isl_map_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Ver
d
o
o
l
a
ege
c
h
ange c
a
lli
n
g convention of isl_ma
p
_
empty
and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
isl_map_intersect_{domai
n
,
range
}
: allow intersect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
sl_map_inters
e
c
t: allow intersec
t
io
n
with pure
param
e
ter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
dool
a
ege
isl_
b
asic_ma
p
_a
f
fin
e
_hull
:
fix s
e
arch for integer points
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
isl_
b
as
i
c
_map_
o
verlyin
g
_
se
t
: don't ad
d
div c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en
V
erd
o
olae
g
e
isl_dim
.
c:
u
pdate n_name (only) wh
e
n ch
a
n
g
i
n
g
nam
e
s
commit
|
commitdiff
|
tree
2009-02-15
S
v
en Verdoolae
g
e
fix seri
o
us err
o
r in i
s
l_mat_para
m
eter_compression
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdo
o
l
a
e
ge
export isl_bas
i
c_map_int
e
r
sect_range
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdool
a
ege
ad
d
is
l
_b
a
s
ic_m
a
p_floordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaege
add i
s
l_basic_map_fast
_
is_fi
x
e
d
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add
isl_basic_m
a
p_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl_ba
s
i
c
_map
_
sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdo
o
laege
add isl_
m
ap_fix_si, a gener
a
l
ization
of
i
sl
_
basi
c
_map_
f
ix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
Ver
d
oolaege
isl_map_simp
l
i
f
y
.
c
:
r
emove_duplicate_divs: remove d
i
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_basic
_
map_gauss: be
c
areful not to introduce circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ve
n
Verdoolaege
add func
t
ions for sett
i
ng isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_map_fr
o
m
_quas
t
: don't throw away
any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
S
ve
n
Ve
r
doola
e
ge
isl_map_simplify
.
c: normalize_
d
ivs: f
i
x use of
variable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
isl_mat_vari
a
ble_compression: fix u
s
e
aft
e
r fr
e
e
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoo
l
a
ege
isl_ma
p
_simplify
.
c: no
r
mal
i
ze_divs: ensure e
n
ough ex
i
stentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl_h
a
sh_
t
able
_
re
m
ove: upd
a
te number of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdo
o
laege
isl_map_simple_hull: plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
S
v
e
n
V
erdo
o
laege
add std::ost
r
e
a
m &
o
pera
t
or<<(std::ostream &os, isl
_
in
t
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
normalize
divs involved
in
equalit
i
es
commit
|
commitdiff
|
tree
2009-01-08
Sven Ver
d
oolaeg
e
isl_map_underlying_set:
d
rop names fro
m
dim
e
si
o
n in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdoolaege
add isl_mat
_
param
e
ter_co
m
p
ression
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verd
o
olaege
isl_equalit
i
e
s
.
c
:
e
xtract and export
i
sl_mat_variable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
Ver
d
oolaege
add is
l
_basic_set_is
_
empty
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdool
a
e
g
e
add
i
s
l
_
mat_right_ke
r
nel
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoolaege
add isl_mat_col_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoo
l
aege
isl_map_simplify
.
c: ext
r
act
out
s
impl
i
f
y and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en V
e
rdoolaege
i
sl_constraint: add
li
m
ited support
for adding divs
commit
|
commitdiff
|
tree
2009-01-06
Sven V
e
rdoolaege
change calling
c
o
nve
n
tions of is
l
_basic_s
e
t_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
S
ven Verdoolaege
add isl_basic_{set,
m
ap}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sv
e
n Verd
o
olaege
isl_basic_map_
g
ist: also
exploit equalities in gist
e
d se
t
commit
|
commitdiff
|
tree
2008-12-28
Sv
e
n Verdool
a
ege
isl_basic_map_overlying_set: sim
p
lify resulting basic
map
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
a
d
d isl
_
div abstraction, simi
l
a
r
t
o
i
s
l_constraint
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
erdoo
l
ae
g
e
i
sl_basic
_
set_compare_at: combine c
o
nstraints
b
efo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ven Verd
o
olaege
isl_map_un
d
erlying_set: align di
v
s before ca
l
l
ing th
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_basic_m
a
p_overlying
_
set
:
properly
handle di
v
s
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
V
erdool
a
e
g
e
isl_basic_m
a
p
_align_div
s
: don't ma
k
e assumption
s
on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven V
e
rdoolaege
avoid i
n
creas
i
ng "ex
t
r
a
"
without also extendin
g
the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
add isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
S
v
en Verdoolaege
r
e
mo
v
e isl_ctx argument fro
m
functions
acce
p
t
i
ng isl_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
S
v
en V
e
r
d
oolaege
isl_conv
e
x_hull
.
c:
remove
dead code
commit
|
commitdiff
|
tree
2008-12-15
S
ven Verdoo
l
aege
a
d
d isl_
c
on
s
traint_n
e
gate
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoo
l
aege
add isl_basic_se
t
_add_c
o
nstraint for addi
n
g manually
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
Verdoolaege
repla
c
e
i
sl_basic_
s
et_
c
onstraint b
y
refc
o
unted isl_constr
a
int
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
allow p
a
r
ameter
s
and dimens
i
o
ns to be na
m
ed
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
in
t
roduc
e
is
l
_
h
ash_table and move
h
a
shing dec
l
ara
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sv
e
n
V
erdoolaege
i
n
tro
d
uce int
e
rnal isl_dim_map for represe
n
ting mappings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoola
e
ge
i
n
troduce isl_dim structure for representing shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Verd
o
o
laege
isl_
m
ap
.
c: avo
i
d
p
otential
NULL derefere
n
ce
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
Add backup
mp_get_memor
y
_
f
unctions im
p
lemen
t
ation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolae
g
e
isl_
m
a
p
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2008-12-02
S
v
en Verdoolaeg
e
add gist te
s
t
commit
|
commitdiff
|
tree
2008-11-11
Sven
Verdoolaege
update pipl
i
b for impro
v
ed
e
ff
i
c
iency
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolaege
ad
d
isl_set
_
dim_i
s
_unique
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n Verdoolaege
a
dd isl_set
_
get_hash
commit
|
commitdiff
|
tree
2008-11-08
S
ven Verdool
a
ege
i
s
l_map
.
c: fix
t
ypo in
c
omment
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
Verdool
a
ege
isl_basic_map_alloc_div: clear unused
e
xt
r
a c
o
efficients
commit
|
commitdiff
|
tree
2008-10-24
Sven Verdoolaege
add
isl_basic_se
t
_re
m
ove_divs
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
use GMP flags when co
m
piling isl_
t
est
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
u
se u
i
nt_32_t from
stdint
.
h instead of u_int_32_t
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdoo
l
aege
update
p
iplib
f
o
r
license change and
r
eleas
e
isl und
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoo
l
aege
clear extra coefficients in isl_bas
i
c_map_alloc_{in
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdo
o
laege
isl_{
s
et,map}_dup:
c
opy subs
e
ts ins
t
ead of duping them
commit
|
commitdiff
|
tree
next