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_basic_map_detect_equalities: explicitly keep track of any equalities found
2009-02-22
Sven
V
e
r
d
oolae
g
e
isl_map_
i
ntersect:
a
llow inte
r
section with pure pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_basic_map_affi
n
e
_hull: fix search for integer points
commit
|
commitdiff
|
tree
2009-02-22
S
v
en
V
erdoolaege
isl_
b
asic_map_overlying
_
set: don't
add div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
isl_dim
.
c: update n
_
name (only) when ch
a
ngi
n
g names
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdoolaege
fix
serious
e
rro
r
i
n i
s
l_
m
at_parameter_
c
o
mpression
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdo
o
laege
e
x
po
r
t isl_basic_m
a
p_inte
r
s
ect_r
a
n
g
e
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
a
dd isl_basic_map_flo
o
rdiv
commit
|
commitdiff
|
tree
2009-02-11
S
v
en
V
erdoolaege
a
d
d
isl_ba
s
ic_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
aege
add isl_basic_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
a
d
d isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sve
n
Verdoo
l
aege
a
dd is
l
_ma
p
_fix_si, a
gen
e
ral
i
zation o
f
isl_basic_map_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ve
n
V
e
rdoolae
g
e
i
s
l_map_sim
p
lify
.
c: remove_duplicate_
d
iv
s
:
r
emove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
isl_basic_
m
ap_gaus
s
: be
care
f
ul no
t
to int
r
oduce circ
u
lar
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolae
g
e
add functions f
o
r s
e
tti
n
g isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaeg
e
isl_map_from_q
u
ast: don't thr
o
w
a
w
a
y any bo
t
t
o
m leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
e
r
d
o
o
laege
i
sl_map_simplify
.
c: norm
a
lize_di
v
s: fix use of
v
ariabl
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
oolaege
isl
_
mat_variable_co
m
pres
s
ion:
f
ix use after fr
e
e
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoola
e
ge
isl_ma
p
_simplify
.
c: normalize_divs: ens
u
re enou
g
h ex
i
sten
t
ia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
v
en
V
erdoolae
g
e
isl_hash_table_remo
v
e
:
upda
t
e number of
e
ntries
commit
|
commitdiff
|
tree
2009-01-22
Sven Ver
d
oo
l
aege
isl_
m
ap_
s
i
mple_hull: plug
memory
l
eak
commit
|
commitdiff
|
tree
2009-01-09
Sv
e
n Verdoolaege
add st
d
:
:ostream &operator<<(
s
td::ostream &o
s
, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven
Verdoola
e
g
e
normal
i
z
e
di
v
s
involve
d
in equalities
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
isl_map_unde
r
lying_set
:
dro
p
n
a
mes from dimesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdo
o
la
e
ge
add isl_ma
t
_par
a
meter_compr
e
ssion
commit
|
commitdiff
|
tree
2009-01-06
Sven Ve
r
doolaege
isl_eq
u
a
l
iti
e
s
.
c: extract and
e
x
port isl_mat_varia
b
le_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
g
e
add
i
sl_basic_se
t
_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_m
a
t_right_
k
ernel
commit
|
commitdiff
|
tree
2009-01-06
S
ven Ver
d
oolaege
add isl_ma
t
_col
_
s
ubmul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoo
l
aege
isl_map_simplify
.
c
: extract out simplif
y
and
r
ela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdoolae
g
e
isl_constraint: add limi
t
ed suppo
r
t for adding
divs
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdoolaege
change calli
n
g conventions of isl_b
a
si
c
_se
t
_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
add isl
_
ba
s
i
c
_{set,map}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven
Verdo
o
laege
isl_basic_map_gi
s
t
: also
e
x
p
l
oit e
q
ualit
i
es in gisted set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaeg
e
isl
_
basic_map_overlyi
n
g_set: simplif
y
resulting basic map
commit
|
commitdiff
|
tree
2008-12-23
Sven Ve
r
do
o
laege
add isl_div abstraction
,
similar
t
o isl_c
o
nstraint
commit
|
commitdiff
|
tree
2008-12-22
Sven
Ver
d
o
o
laege
isl_basic
_
se
t
_compare_at: combi
n
e co
n
stra
i
nts
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Verdoo
l
aege
isl_
m
ap_und
e
rl
y
i
n
g_
s
et: align divs before callin
g
th
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ven Verdoolaege
isl_ba
s
i
c_
m
ap_overlying_set:
p
rop
e
r
l
y handl
e
divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_basic_map_align_
d
i
v
s: don't make as
s
u
mptions o
n
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ve
r
doolae
g
e
avoid increasing "extra" w
i
thout
also e
x
ten
d
ing
t
he
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
add
i
s
l_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sven
V
e
rdoolaege
remove
isl_ctx
argument f
r
om
f
unctions acce
p
ting i
s
l_
d
i
m
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
S
v
en Verdo
o
laege
isl_convex_h
u
ll
.
c: remov
e
dead code
commit
|
commitdiff
|
tree
2008-12-15
S
ven Verdoolaege
add isl_cons
t
raint_negate
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Verdool
a
e
g
e
a
d
d
isl_basic_
s
et_add
_
constr
a
int f
o
r adding manually
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
ven Verdo
o
laege
replace
i
sl
_
basic_set_cons
t
raint by refcounted isl_constraint
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoo
l
a
ege
allow parameters an
d
dimen
s
ions to be named
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
introduce
i
sl_
h
ash_table
a
n
d
m
ove h
a
sh
i
ng decla
r
atio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolae
g
e
introduc
e
in
t
ernal
isl_dim
_
m
ap for represent
i
ng mappings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sv
e
n Ver
d
oolae
g
e
introduc
e
isl_dim structure for representing
shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdool
a
ege
isl_ma
p
.
c
:
av
o
id po
t
ential
NULL dere
f
erence
commit
|
commitdiff
|
tree
2008-12-02
Sven
Verdoolaege
A
d
d back
u
p mp_get_me
m
or
y
_
f
unctions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doolaege
i
sl_map
.
c: fix
t
y
po i
n
comment
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaeg
e
a
d
d gist test
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdool
a
ege
u
pdate piplib for i
m
p
roved efficiency
commit
|
commitdiff
|
tree
2008-11-08
S
ve
n
V
e
rdoolaege
add isl_set_dim_is_unique
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoo
l
aege
add isl_set_get_h
a
s
h
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
isl_map
.
c:
fix typ
o
in comment
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
isl_
b
asic_map_alloc_div: cl
e
ar unused extr
a
c
o
efficien
t
s
commit
|
commitdiff
|
tree
2008-10-24
Sven
V
erdoola
e
ge
ad
d
isl_
b
asic_set_remov
e
_divs
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoolaege
use GMP fla
g
s when compili
n
g isl_
t
est
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaege
use
u
int_32_
t
from stdint
.
h instead of u_int_32_t
commit
|
commitdiff
|
tree
2008-10-14
S
v
en
Verdoolae
g
e
u
pd
a
t
e
pipl
i
b for license cha
n
ge and r
e
le
a
s
e isl
u
nder
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdo
o
laeg
e
c
l
ear e
x
t
r
a coeff
i
cients in isl_basic_map
_
alloc_{in
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_{set,
m
ap}
_
d
up: copy s
u
bs
e
ts inst
e
ad of dupin
g
them
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_
b
as
i
c_m
a
p
_
e
lim
i
nate
_
vars: update number
o
f
extra
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
isl
_
basic_map_
g
ist: uni
q
u
e
lower or upper b
o
unds are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoolaege
is
l
_
b
asic_map_convex_
h
ull
:
uni
q
ue
l
o
wer
o
r upper bounds
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
is
l
_
basic_set_gist: re
m
o
ve redund
a
nt
c
onstraint
s
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
a
dd s
o
me
f
u
nct
i
on
s
f
o
r
manipulating constraints
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdoolaege
export isl_
b
asic_s
e
t_dup
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
aege
isl_set
_
gis
t
: reduce resu
l
t
u
s
i
ng
equalitie
s
of c
o
ntex
t
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
add isl_ba
s
ic_set_interval an
d
isl_basic_set_product
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdoolaege
add isl_s
e
t
_
si
m
ple_hull
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
a
dd isl_set_fa
s
t_is_disjoint
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
export isl_s
e
t_
e
liminate_dims
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoo
l
aege
add isl
_
basic_s
e
t_print and isl_set
_
print for printing
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven Verd
o
o
l
aege
add isl_{set,map}
_
fast_is_equal
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
isl_basic_map_eliminate_
v
ars: ens
u
r
e
variable is e
l
iminated
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdoolaege
a
dd isl_map_remove_inp
u
ts
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n V
e
rd
o
o
l
aege
add isl_set_lower_bound_dim
commit
|
commitdiff
|
tree
2008-10-13
Sve
n
Verdool
a
ege
a
d
d isl_
s
e
t
_fast_
d
im_has_fixed_lower_bound
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
a
dd isl_basic_set
_
dim
_
residue_clas
s
commit
|
commitdiff
|
tree
2008-10-13
Sven Ve
r
do
o
laege
add isl_set_g
i
st
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoola
e
ge
add isl
_
set_f
a
st_dim_is_f
i
xed an
d
isl_
m
ap_fas
t
_inpu
t
_i
s
_fixe
d
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdoolaege
add isl
_
map_deltas
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n Verdoolaege
a
d
d isl_basi
c
_set_compare
_
at
commit
|
commitdiff
|
tree
2008-10-13
Sven Verd
o
olaeg
e
clear r
a
tiona
l
f
lag
s
from result
i
ng convex hull
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdool
a
ege
isl_basic_map_is_empty: don't comput
e
sample
f
or rational
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdoolaege
convex_hull: use elimination based c
o
nvex
hull f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sv
e
n
V
e
r
d
oo
l
aege
wr
a
p_facet: missing error path
commit
|
commitdiff
|
tree
2008-10-12
Sven Verdoolaeg
e
isl_co
n
vex_hull: f
i
x
construct
i
on of initial face
t
commit
|
commitdiff
|
tree
2008-10-12
Sven Ve
r
doolaege
isl
_
b
a
si
c
_map_e
l
iminate
_
va
r
s:
r
e
move al
l
redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
S
ven Verdool
a
eg
e
ad
d
isl_basic_set_remov
e
_di
m
s
commit
|
commitdiff
|
tree
2008-10-12
S
v
e
n
Ve
r
doolaege
add isl_
s
et_copy_
b
as
i
c_s
e
t and isl_set
_
d
rop
_
b
a
sic_set
commit
|
commitdiff
|
tree
2008-10-12
Sv
e
n
V
e
r
doolaege
isl_convex_hu
l
l
.
c:
make sure we don't o
v
erallo
c
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
S
v
en Verdool
a
ege
isl_basic_
m
ap_affine_hul
l
: al
l
ow
c
om
p
u
tation of affine
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven Verdoolaege
isl_convex
_
hull: fix memory leak in error path
commit
|
commitdiff
|
tree
2008-10-11
S
v
en Verdoolaege
add isl
_
se
t
_remove_di
m
s
commit
|
commitdiff
|
tree
2008-10-11
S
ven Verdoolaege
add isl_set_{from
,
t
o
}_und
e
rlying_set
commit
|
commitdiff
|
tree
next