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 Ver
d
oolaege
isl_tab
.
c: d
o
n't detect e
q
ualit
i
es while settin
g
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
do
o
laege
add int
e
rnal represe
n
tation of LP
t
ableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
a
d
d i
s
l_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaeg
e
add
isl_
s
et
_
dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
private
l
y export isl_basic_{s
e
t,map}_
n
ormalize_c
o
nstr
a
int
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoo
l
a
e
ge
add isl_basi
c
_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ve
r
doolaege
isl_bas
i
c
_
map_eliminate_va
r
s:
clear divs
first
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
basic_map_
e
liminate_vars
:
rem
o
v
e
all
d
e
pen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d is
l
_h
a
sh_table_al
l
oc and isl_hash_
t
able
_
f
r
ee
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_hash_
t
a
b
le_init: take mi
n
i
m
al size
i
nstead
of n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
i
sl_{ba
s
ic_,}se
t
_pre
i
mage:
drop ctx argu
m
ent
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl
_
basic_map_inters
e
ct: reuse sample
v
a
l
ue
o
f either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
d
d isl_
i
nt_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
g
e
is
l
_basic_set_has
_
defi
n
ing_
i
n
e
qualiti
e
s: f
i
x
typo
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
s
l
_constraint_div: perf
o
rm required
refer
e
nce increa
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
isl_b
a
s
i
c_map: put inequalitie
s
before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolaege
add isl_seq_
n
or
m
alize
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
r
d
oolaege
i
sl_
c
tx
.
h: make FL_ISSET r
e
turn a boolean valu
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
rename
F_
a
nd F
L
_ macr
o
s to ISL_F_ and IS
L
_FL_ to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaeg
e
add isl_mat_swap
_
col
s
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
r
doolae
g
e
isl_ma
t
_du
m
p: a
l
s
o inde
n
t
NULL
ma
t
commit
|
commitdiff
|
tree
2009-03-08
S
ven Ver
d
oolaege
a
d
d
i
s
l_calloc_typ
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_map_convex_hu
l
l: norm
a
lize
map fir
s
t
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
isl_set_p
r
eimage
:
c
l
e
a
r ISL_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add
isl_bas
i
c
_
m
ap_detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
a
d
d isl_map_remov
e
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
export i
s
l_ba
s
ic_map_is_e
q
ual
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verd
o
olaege
add isl_b
a
s
i
c_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
a
dd isl
_
d
i
m
_range
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolae
g
e
add isl_map_pro
d
uct
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdo
o
lae
g
e
add i
s
l_ba
s
i
c
_map_ad
d
_
c
onstrain
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
i
sl_di
m
_add
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
isl_map_piplib
.
c
:
i
s
l
_map_fro
m
_
q
uast:
p
roperly
k
eep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
change ca
l
ling conve
n
tion of isl_basic_map_{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
o
l
aege
add
i
s
l_map_copy_basic_map and
i
s
l_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
add is
l
_map_fr
o
m_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verd
o
olaege
chang
e
calling con
v
ention of isl_map_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoolaege
isl_map_intersect_{d
o
main,range}: allow intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoolaeg
e
isl_ma
p
_interse
c
t:
allow int
e
rsection with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
is
l
_b
a
s
ic
_
m
a
p_affine_
h
ull: fix search fo
r
i
nteger
points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
isl_b
a
s
i
c_map
_
overlyi
n
g
_set:
don't
add div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
d
o
o
l
a
e
ge
isl_
d
im
.
c: update n_n
a
me (
o
nly) when
c
h
a
n
g
i
ng n
a
m
e
s
commit
|
commitdiff
|
tree
2009-02-15
Sven V
e
r
doolaeg
e
fix serious
error in
isl_mat_parameter_com
p
ress
i
on
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdo
o
laege
e
xp
o
rt isl_bas
i
c_map_int
e
rs
e
ct_range
commit
|
commitdiff
|
tree
2009-02-11
S
v
e
n Verdoolaeg
e
a
d
d is
l
_basic
_
map_floor
d
i
v
commit
|
commitdiff
|
tree
2009-02-11
Sven Ve
r
dool
a
e
g
e
ad
d
is
l
_basic_map_f
a
s
t
_is
_
fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaege
add isl
_
basic_
m
ap_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolae
g
e
add isl
_
b
a
sic_map_
s
um
commit
|
commitdiff
|
tree
2009-02-10
Sven Verd
o
olaege
add
i
sl_m
a
p_fix_si,
a
generaliza
t
ion of i
s
l_basic_m
a
p_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
i
s
l
_
map_si
m
plify
.
c: remove_duplicate_divs:
r
emove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdo
o
laeg
e
isl_basic_map_gauss: be careful not to intr
o
duc
e
c
i
rcular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
add func
t
ions for
setti
n
g isl_divs
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoo
l
aege
i
sl
_
m
a
p
_
fr
o
m_quast
:
don
'
t throw away any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
is
l
_map_simplify
.
c: normalize_divs: fix use of
v
aria
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoolae
g
e
isl
_
ma
t
_variable_compression
:
fix use af
t
er f
r
ee
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
i
sl_m
a
p_s
i
mplify
.
c
:
no
r
malize_
d
ivs: ensu
r
e enough existe
n
tia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sve
n
Verdo
o
laege
isl_hash_table_remove: update number of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoolaege
isl_m
a
p
_
simple
_
h
u
ll
:
plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sven Ve
r
doolaege
a
d
d std:
:
o
s
tream
&operat
o
r<<(std::ostream
&os, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdool
a
e
ge
n
o
rmalize divs inv
o
lved in equ
a
lities
commit
|
commitdiff
|
tree
2009-01-08
Sve
n
V
e
rdoolae
g
e
isl
_
map_underlying_set: drop names from
dimesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verd
o
o
l
aege
add isl_m
a
t_
p
ar
a
meter_compression
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdoolaege
isl_equalities
.
c: extract and export isl_mat_va
r
iable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oolaege
add i
s
l_
b
asic_s
e
t_i
s
_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven V
e
rdoolaege
add
isl_
m
at_right_k
e
rnel
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdoolaege
add isl_
m
at_col
_
sub
m
ul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_seq_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verd
o
olaege
i
s
l_map_simplify
.
c: extrac
t
out simplify and re
l
ated
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolae
g
e
isl_c
o
ns
t
r
ain
t
: add limited s
u
pport for add
i
n
g divs
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
c
han
g
e calling con
v
enti
o
ns of isl_basic_set_h
a
s_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven Ver
d
o
o
l
aege
add
i
sl_basic_{set,ma
p
}_di
m
commit
|
commitdiff
|
tree
2008-12-28
S
v
en V
e
rdoolaege
isl_
b
asic_map_gist: also explo
i
t e
q
ualities in gisted set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoo
l
aege
isl_basi
c
_map_ov
e
rlying_
s
et: si
m
plify re
s
ulting basic
m
ap
commit
|
commitdiff
|
tree
2008-12-25
Sven
Verdoolaege
isl_stre
a
m: properl
y
reference ctx
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
isl_stre
a
m
.
c: extrac
t
ed from isl_input_omega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add
i
sl_basic_set_read_from_str
commit
|
commitdiff
|
tree
2008-12-24
Sven Ve
r
dool
a
ege
export isl_s
e
t_compute_di
v
s
commit
|
commitdiff
|
tree
2008-12-24
Sven Ve
r
doolaege
isl_basic_ma
p
_a
l
ign_d
i
vs
:
check divs of src basic
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
S
v
en
V
erdool
a
ege
is
l
_map
_
gist: ensure
d
i
v
s of map are known
commit
|
commitdiff
|
tree
2008-12-24
Sven Ver
d
o
olaege
isl_basic_m
a
p_co
m
p
ute_divs
:
o
nly (re)comp
u
te divs if
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sv
e
n Verdoo
l
a
e
ge
isl_
b
asic_map_eli
m
inate_vars: better h
a
ndl
i
n
g
of divs
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
add is
l
_div abstra
c
tion, similar to isl_constrain
t
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoo
l
ae
g
e
is
l
_basic_set_compare_at: co
m
b
ine constra
i
nt
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
v
en Verdool
a
ege
is
l
_ma
p
_
u
nde
r
lying
_
s
e
t: align divs b
e
fore calling this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Ver
d
oolaege
isl_
b
asic_m
a
p
_ove
r
lying_
s
e
t: prop
e
rly handle di
v
s in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven V
e
rdoolaege
isl
_
basic_map_align_
d
ivs: don't make a
s
sump
t
ions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
er
d
oolaege
avoi
d
i
nc
r
easing "ex
t
r
a" with
o
ut also extending the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
add isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdool
a
ege
r
e
move
isl_ctx argume
n
t from func
t
i
o
ns
acc
e
p
t
i
n
g isl_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
i
s
l_convex_hull
.
c: remove dead
c
ode
commit
|
commitdiff
|
tree
2008-12-15
Sve
n
Verdoo
l
aege
add
i
sl_con
s
t
r
a
i
nt_negate
commit
|
commitdiff
|
tree
2008-12-14
Sven
Ver
d
o
ol
a
ege
add isl_basic_set_
a
dd_constrain
t
f
o
r ad
d
ing ma
n
u
all
y
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
v
en Verdoolaege
replace isl_basic_set_constraint by refc
o
unted
isl_constraint
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
V
erd
o
olaeg
e
allow
p
arameter
s
a
n
d dimensions to be na
m
ed
commit
|
commitdiff
|
tree
2008-12-14
S
v
en Verdoolae
g
e
intro
d
u
c
e is
l
_h
a
s
h
_
t
able and move hash
i
n
g
declarations
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
v
en V
e
rd
o
ola
e
ge
i
n
troduce
i
nternal isl_dim_m
a
p
for representing mappings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoo
l
aege
intro
d
uce isl
_
dim stru
c
t
ure
f
or represe
n
ting
shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Verdool
a
e
ge
isl
_
map
.
c
:
a
void potential NULL derefe
r
ence
commit
|
commitdiff
|
tree
2008-12-02
Sven Verd
o
olaege
Add bac
k
up m
p
_get_memory_funct
i
o
n
s imple
m
entation for
.
.
.
commit
|
commitdiff
|
tree
next