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
doc: drop documentation of _dump functions
2010-02-09
S
v
en
Verd
o
olaege
doc: drop doc
u
menta
t
ion of _d
u
mp functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolae
g
e
i
sl_
m
ap_p
r
int: improve o
u
t
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
add is
l
_basic_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_map_co
a
lesce:
handle
more cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdool
a
ege
privately exp
o
rt isl_set_wrap_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_convex_h
u
l
l
.
c: wrap_facet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
do
c
:
improv
e
de
c
ription of isl_m
a
p
_
tr
a
nsitive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
laege
isl_ma
p
_trans
i
tive_
c
l
osur
e
: i
m
prove te
s
t for e
x
ac
t
ness
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
ool
a
e
g
e
add a coun
t
er example for Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
a
d
d isl_m
a
p_lower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
ae
g
e
isl
_
map
_
p
o
wer: coalesce domai
n
an
d
range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_
f
low
.
c: a
d
d m
i
ssing
i
s
l
_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_coalesce
.
c: fix
typ
o
i
n
comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_
m
ap_read: accept lists
o
f affine expressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d isl_mat_from_row_
v
ec and
i
s
l_
m
at_vec_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_re
a
d: read
ext
e
nded polylib
f
ormat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
add isl_st
r
eam_next_token_
o
n_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoola
e
ge
isl_map_read: mak
e
sure polyl
i
b constraint co
e
ffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_{map,set}
_
dim: handle NULL
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
sl_map_rea
d
:
u
s
e
m
o
r
e
uniform way of
r
eading in polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n V
e
rdoolaege
isl_transitive_closure
.
c: fi
x
typo
i
n comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_
m
ap_tra
n
siti
v
e_c
l
osu
r
e: u
s
e more
r
e
laxed exa
c
tn
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add is
l
_map_power a
n
d isl_map_transitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_m
a
p_sub
t
ract
.
c: make some inte
r
nal fu
n
ctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
o
laege
add gene
r
ic
i
sl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add isl
_
{
map,
s
et
}
_
a
dd
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
r
e
n
ame isl_{map,
s
et}_add to i
s
l
_
{
map,se
t
}_add_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ver
d
oolaege
i
sl_set_pro
j
ect_
o
ut: alway
s
update dimensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_
d
im_jo
i
n:
d
o
n
't re
q
u
i
re names of
jo
i
ned
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
i
sl_map_from
_
do
m
ain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ol
a
ege
is
l
_st
r
ea
m
: treat
"
-" as o
p
erator rather
than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aeg
e
i
sl_map
_
read: accept "stric
t
" ineq
u
alities
commit
|
commitdiff
|
tree
2010-02-03
S
ven
Verdoo
l
a
eg
e
isl_input
.
c: f
i
x m
e
mory
dea
l
location problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaeg
e
add dependence a
n
aly
s
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doola
e
g
e
add i
s
l_map_{part
i
al_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
o
olaege
add private
i
sl_{set
,
map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
basis_r
e
duction_
t
empl
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c
:
f
ind_s
o
lutions: break w
h
en contex
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
er
d
ool
a
ege
isl_d
i
m_e
q
ual: don
'
t
r
equ
i
r
e
names o
f
input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim
_
ma
p
:
properly duplicate
n
ames
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop
:
pro
p
erly a
d
just le
n
g
t
h o
f
names
a
rray
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc: a bit more on integer
s
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
d
oc: describ
e
input/output
formats
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdool
a
ege
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add isl_cat
test appl
i
cation
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
a
d
d
isl outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
la
e
ge
isl_t
e
s
t: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
ad
d
isl
_
s
e
t_
r
e
ad
_
f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
add isl_map_
r
ead_fro
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_
m
ap_read_from_file:
allow
u
nions in isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
ge
isl_basic_map_read: read d
e
finitions
o
f existe
n
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doolaege
pri
v
a
t
ely export isl_basic_map_ad
d
_div
_
constrain
t
s
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
o
o
l
aege
isl_
b
asic_map_read: read affine constr
a
int a
s
t
w
o
a
f
f
i
n
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
i
s
l_input
.
c: optionall
y
r
ead para
m
eter
s
from input
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
t
oken
i
zer: accept "and" keyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
e
x
p
ort is
l
_map_read_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
export isl_bas
i
c_map_
r
ead_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
a
e
ge
drop redundant inpu
t
_form
a
t a
r
gu
m
ent fr
o
m reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
laege
isl_inp
u
t
.
c:
merge f
u
nction
s
for reading
Po
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
isl_inp
u
t
_
omega
.
c: ac
c
ept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_input_
o
meg
a
.
c:
p
repare f
o
r
r
ead
i
ng parametric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_input_omega
.
c: finalize
a
nd
s
impli
f
y result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdool
a
ege
isl_input_omega
.
c: fix
c
heck f
o
r m
e
mory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_stream_next_token:
s
kip comment
li
n
es
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erd
o
o
laege
isl_tab_basic_map_
p
ar
t
ial_lexopt: properly handle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_ba
s
ic_m
a
p_set_
t
o
_em
p
t
y
: remove sample
(i
f
a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
add i
s
l_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly
r
emove piplib submod
u
le
commit
|
commitdiff
|
tree
2010-01-08
S
ven Verdool
a
e
ge
i
sl_b
a
sic_map_up
d
a
t
e_fr
o
m_tab: re-gau
s
s resulting
b
map
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoolaeg
e
ax_submodu
l
e
.
m4: don't let --with-module conf
l
ict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
erd
o
o
l
aege
add isl_
s
et_follows_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdool
a
ege
isl_
b
as
i
c
_
set_com
p
ar
e
_
a
t
: comp
u
t
e
result
in t
e
r
m
s of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdool
a
ege
is
l
_tab_pip
.
c: add cuts for a
l
l non-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basic_
m
ap_gist:
don't
d
rop equ
a
lities from context
commit
|
commitdiff
|
tree
2009-12-18
S
ven
Ver
d
oolaege
isl_convex_hull
.
c: initial_fa
c
et_constr
a
in
t
: d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
rdoolaege
isl_conv
e
x_hull
.
c: is_i
n
depe
n
de
n
t
_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_co
n
vex_h
u
ll
.
c:
e
xtend: check
h
ul
l
argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
do
o
l
a
ege
isl_mat_ri
g
ht_inver
s
e: b
e
more verbose
o
n error condition
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Ver
d
o
o
laege
isl_co
n
straint_dup: make sure line refers to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
isl_map
_
intersect:
a
dd speci
a
l
case for adding a sin
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoo
l
aege
comput
e
se
t
differ
e
nce
using a backtra
c
k
i
ng
a
lgorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
doolaege
isl_map
_
subtract
.
c: ext
r
act from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
o
laege
i
sl
_
tab: ke
e
p t
r
ack of isl_
b
a
s
ic_map instead of is
l
_basi
c
_s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoo
l
aege
privat
e
l
y
e
x
p
ort isl_basic_map
_
contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Ver
d
oolaege
ad
d
isl_
b
a
s
ic_
m
a
p
_
a
dd_ineq and isl_basic_
m
ap
_
add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl_tab_detect_
r
e
dundant: return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
e
g
e
isl_tab: add isl
_
tab
_
fr
e
eze_c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
s
l_tab_add_ineq and isl_tab_mark_empty:
r
e
t
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add missing
AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
i
sl_basic_
s
et
_
s
w
ap_vars: re-
g
auss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
Verdoolaege
a
d
d
isl_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaege
export isl_b
a
sic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
e
rdoolaege
ad
d
isl_b
a
si
c
_s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl
_
m
ap
_
drop_basic_map: c
o
nsistent
l
y keep basic
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaege
isl
_
tab
:
row
i
s
only (obviously) re
d
undant
if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoola
e
ge
isl_basic_map_simplify: make sure
t
o
r
erun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_tab_basic_map_parti
a
l
_lexopt:
use c
o
nt
e
xt constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oo
l
aege
is
l
_
t
a
b_
p
i
p
.
c: ig
n
ore dead
c
olumns
when c
h
ecking integra
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
i
sl_
p
ip: optionally perf
o
rm
s
ome check on
t
h
e results
commit
|
commitdiff
|
tree
next