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
add isl_set_lower_bound_dim
2008-10-13
S
v
en Verdoola
e
ge
add i
s
l_set_lower_bound_dim
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoo
l
aege
add isl_set_fast_
d
im_has_f
i
xed_lower_bound
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
add isl_basic
_
set_dim_residue_class
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdool
a
ege
add isl_set_gist
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdo
o
laege
add isl_set_
f
as
t
_dim_is_fixed a
n
d isl_map_fast_in
p
ut_is
_
fixed
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
add
i
sl
_
map_deltas
commit
|
commitdiff
|
tree
2008-10-13
Sven
Verdoolaege
ad
d
isl_bas
i
c_set_compa
r
e_at
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
cle
a
r
r
a
tiona
l
flags f
r
om resultin
g
convex hull
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n
Ve
r
d
oola
e
ge
isl_ba
s
i
c_map_i
s
_empt
y
:
don't
c
ompute sample fo
r
rat
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven Verd
o
o
l
aege
convex_hul
l
: use
e
limination based convex hull for
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven
V
erdoolaege
w
r
ap_f
a
cet: mi
s
si
n
g
e
rror
p
ath
commit
|
commitdiff
|
tree
2008-10-12
Sven Verdoolaege
i
s
l_c
o
nv
e
x_hu
l
l
:
f
ix cons
t
ruction of
i
nitial
facet
commit
|
commitdiff
|
tree
2008-10-12
Sve
n
Verdoolaege
isl_basic_map_e
l
iminate_vars
:
re
m
ove al
l
redundant
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven
Verdoolaege
a
dd isl_
b
asic_set_remove_dims
commit
|
commitdiff
|
tree
2008-10-12
Sven V
e
rdoolaege
a
d
d i
s
l_set_copy
_
basic_set and isl_set_drop_b
a
s
i
c
_s
e
t
commit
|
commitdiff
|
tree
2008-10-12
Sven
V
e
r
d
ool
a
ege
isl
_
con
v
ex_hull
.
c: make sure we don'
t
over
a
llocat
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
S
ven Verdoola
e
ge
isl_basic_map_af
f
ine_hull: al
l
ow comput
a
tion of af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven Verdoolaege
isl_convex_h
u
ll
:
fix memory l
e
a
k in
e
rror
p
a
t
h
commit
|
commitdiff
|
tree
2008-10-11
S
ven Verdoo
l
aege
a
d
d isl_set_
r
e
move_dims
commit
|
commitdiff
|
tree
2008-10-11
Sven Ver
d
oolaege
add isl_set_{from,to}_
u
nderlyin
g
_
s
et
commit
|
commitdiff
|
tree
2008-10-11
Sven
V
erdoolaege
add isl_
b
a
s
ic_set_fro
m
_underlyin
g
_se
t
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl_bas
i
c_map_
o
v
e
rlying_set: fix possible NUL
L
access
commit
|
commitdiff
|
tree
2008-10-11
S
ven Verdoo
l
aege
isl_set_dump: dump
m
ore inf
o
rmation
commit
|
commitdiff
|
tree
2008-10-11
Sven
V
erdoolaege
add
isl_set_extend
commit
|
commitdiff
|
tree
2008-10-11
Sven V
e
rdoolaege
add isl_set
_
intersect
commit
|
commitdiff
|
tree
2008-10-11
Sven V
e
rd
o
o
laege
a
d
d i
s
l_set_fr
o
m_map
commit
|
commitdiff
|
tree
2008-10-11
Sven Ve
r
do
o
laege
isl_map_to_polylib:
r
e
t
urn em
p
t
y
p
olyhed
r
o
n
inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2008-10-11
Sve
n
Verdool
a
ege
isl_ma
p
_poly
l
i
b
.
c: s
i
m
p
lify sets after conversion fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-10-11
Sven Ver
d
oolaeg
e
isl_set_alloc: add
c
h
eck on n
u
mber of bas
i
c sets
commit
|
commitdiff
|
tree
2008-10-11
Sven
Verdoolaege
isl_equalities
.
c
:
add missin
g
inc
l
ud
e
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolae
g
e
declare
isl
_
basic_map_drop_inequality
commit
|
commitdiff
|
tree
2008-10-11
S
ven Ve
r
doolaege
i
sl
_
map_polylib
.
c
:
a
dd missing
i
nclude
commit
|
commitdiff
|
tree
2008-10-11
S
ven
V
erd
o
olaege
isl_sampl
e
_piplib
.
c: add m
i
s
s
ing incl
u
de
commit
|
commitdiff
|
tree
2008-10-11
Sven
Verdoolaege
i
s
l_ma
p
_piplib
.
c: fi
x
some warnings
commit
|
commitdiff
|
tree
2008-10-11
Sven Ve
r
doolaege
isl_map_piplib
.
c:
a
dd missing i
n
c
l
ude
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolae
g
e
d
e
clare
i
sl_
b
asic_map_drop_equality
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl_input_omega
.
c: add
mis
s
ing in
c
lud
e
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl_mat
.
c: fix
s
ome
w
a
rnings
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoo
l
ae
g
e
declare isl_
s
eq_combine
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoo
l
aege
declare isl_gmp_
h
ash
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolae
g
e
isl
_
sample
.
c:
add m
i
ss
i
n
g
include
commit
|
commitdiff
|
tree
2008-10-11
Sve
n
Verdoola
e
ge
add
s
truc
t
_
c
tx field t
o
isl_s
e
t
and isl_map
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
isl_{basic_,}set_read_from_fil
e
:
allow
user to specify
.
.
.
commit
|
commitdiff
|
tree
2008-09-08
Sven Verdoo
l
aege
add isl
_
set_read_from_file for re
a
di
n
g uni
o
ns
o
f
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2008-09-04
Sv
e
n Ve
r
d
oolaege
i
s
l
_basic_set_
r
ead_from_
f
i
l
e: partia
l
supp
o
rt for Omega
.
.
.
commit
|
commitdiff
|
tree
2008-09-03
Sven
Verdoolaege
add test_in
p
uts to the distribution
commit
|
commitdiff
|
tree
2008-09-03
Sven Verdool
a
ege
a
dd
i
s
l_sam
p
le_piplib
.
h to
t
he distribu
t
ion
commit
|
commitdiff
|
tree
2008-09-03
Sven
Ver
d
oo
l
ae
g
e
Makefile
.
am: only includ
e
piplib in
distribution if
.
.
.
commit
|
commitdiff
|
tree
2008-09-03
Sven
Verdoolaege
Ma
k
ef
i
le
.
am:
rem
o
ve reference
t
o (re)moved hea
d
er f
i
les
commit
|
commitdiff
|
tree
2008-08-26
Sven Verdo
o
laege
add isl_set_
c
o
m
p
ute
_
d
i
vs
commit
|
commitdiff
|
tree
2008-08-25
Sve
n
V
e
rdoolaege
add isl_set_fix
_
dim_si
commit
|
commitdiff
|
tree
2008-08-25
Sven Ve
r
d
oolae
g
e
isl_map_apply_rang
e
: ma
r
k r
e
sult of 1 basic set a
s
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
S
v
en
Verdoolaege
isl_m
a
p_dump: p
r
i
n
t
flags
commit
|
commitdiff
|
tree
2008-08-25
Sven
V
e
rdo
o
laege
isl
_
basic_
m
ap_affine_hull: compute integer affi
n
e hul
l
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
sample: remov
e
lineality and
s
kew into
p
ositive
o
rthant
commit
|
commitdiff
|
tree
2008-08-25
Sven V
e
rd
o
o
l
aege
add trivial affin
e
h
ull test
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolae
g
e
add convex
h
ull computation
commit
|
commitdiff
|
tree
2008-08-25
Sve
n
Verdo
o
l
aege
r
e
move obviou
s
ly r
e
du
n
dant divs
ba
s
ed
o
n inequalities
commit
|
commitdiff
|
tree
2008-08-25
Sven Ve
r
doola
e
g
e
isl_map_affine
_
hull
:
perform affi
n
e hul
l
on
underlyin
g
set
commit
|
commitdiff
|
tree
2008-08-25
Sven
Verdo
o
l
a
e
ge
a
ffhull: simplify before fin
a
l
ize
commit
|
commitdiff
|
tree
2008-08-25
Sven
V
erdoolaege
extract
isl_map_al
i
gn
_
divs
f
rom
isl_affine_
h
ul
l
.
c
commit
|
commitdiff
|
tree
2008-08-25
Sve
n
Ver
d
oolaege
add i
s
l
_map_re
m
ove_empty_parts
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdo
o
laege
extract o
u
t isl_
b
asic_map_implicit_equalities
from
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
S
ven V
e
rdoolaeg
e
isl_map_affin
e
_hull: add
m
issin
g
cow
commit
|
commitdiff
|
tree
2008-08-25
Sv
e
n Verdoolae
g
e
ren
a
me isl_map_af
f
ine_hull
.
c to isl_affine_hull
.
c
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
add isl_basic_set_read_from
_
file
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
l
ink in po
l
yl
i
b
l
i
brar
y
i
n
b
u
ilddir
commit
|
commitdiff
|
tree
2008-08-25
Sven Ve
r
doolaege
keep cache of blo
c
ks o
f
isl
_
ints
commit
|
commitdiff
|
tree
2008-08-25
Sve
n
Verdo
o
laege
add some missing
t
e
sts
for invalid input
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
Ens
u
r
e
a
l
l
elements in a constraints are z
e
roed ou
t
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaeg
e
i
sl
_
basi
c
_
map_
i
s
_
empty: keep sample found
f
or p
o
ssible
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sv
e
n Verdoolaeg
e
r
emove_duplicate
_
constraints:
also dete
c
t
i
mpl
i
c
i
t
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verd
o
olaege
isl_basic_set_s
a
mple: spe
c
ial case
0
D and
1
D sets
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolae
g
e
i
sl_basic_set_sample: remove equalities first
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolae
g
e
simplif
y
constrain
t
s after combini
n
g constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
S
v
en Verdo
o
laege
remove s
p
u
r
i
o
us ; from isl_assert definitio
n
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoo
l
aege
reimple
m
ent isl_basic_map_is_emp
t
y in t
e
rms o
f
i
s
l
_
basic_set
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdool
a
e
ge
isl_basic_m
a
p_set_t
o
_empty: remove superflu
o
us check
commit
|
commitdiff
|
tree
2008-08-25
Sv
e
n
V
erdoolaege
i
sl_ba
s
i
c
_{map,set}: exp
l
icitly sto
r
e constraints defin
i
ng di
v
commit
|
commitdiff
|
tree
2008-08-25
S
ven
V
er
d
oolaege
avoid
p
r
e
p
r
ocessor conditional
s
commit
|
commitdiff
|
tree
2008-08-25
S
ven Verdo
o
lae
g
e
isl_basic_map_is_
e
mpty: s
p
ecial case known empty basic
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sv
e
n Verdoolaege
remove remnants of old "primiti
v
e
"
naming
commit
|
commitdiff
|
tree
2008-08-25
S
ven Verdoolaege
is
l
_
m
ap_subt
r
act: simplify and finalize parts before
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sv
e
n Verdoolaege
isl_b
a
sic_m
a
p_gauss: h
a
ndle redundant or conflicting
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
Fix
typ
o
in isl
_
map_aff
i
ne_hull
commit
|
commitdiff
|
tree
2008-08-24
Sven
V
e
r
doolaege
Fix
serious bug in normaliz
e
_cons
t
raints
commit
|
commitdiff
|
tree
2008-08-07
Sven Verdoolaeg
e
In
i
t
i
al
v
ersion of t
h
e intege
r
se
t
library
commit
|
commitdiff
|
tree