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_map_subtract.c: make some internal functions static
2010-02-03
Sven
V
erdoo
l
aege
isl_
m
ap_subtract
.
c: mak
e
some intern
a
l f
u
nctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
ege
add
ge
n
eric isl_map_project_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
add
i
s
l_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
aege
r
e
name isl_{map,set}_ad
d
to isl_{map
,
set}_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_
p
roject_out:
alwa
y
s
update dime
n
s
i
on
,
ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl
_
dim
_
join
:
don't require names of joi
n
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
isl_map_from_domain_and_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
doolae
g
e
i
sl_stream
:
treat "-" as
o
perator rather t
h
an
a
s -1
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
V
e
r
doolaege
isl_map
_
read: accept "strict" in
e
qual
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_input
.
c: fix memory dealloc
a
tion problem on mis
s
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
add dependenc
e
a
nalysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdoolaege
a
d
d
i
s
l_map_{par
t
ial_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
erdoola
e
ge
add private isl_{set,map
}
_make
_
d
isjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
basis_reduction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
i
s
l_tab_p
i
p
.
c:
find_soluti
o
n
s: br
e
ak wh
e
n context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
isl_d
i
m_equal:
d
on't require
names of input and ou
t
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_dim_m
a
p:
p
r
operl
y
du
p
lica
t
e names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
s
l
_dim_drop: properl
y
adjust length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
er
d
oolaege
doc: a
bit
more o
n
integers
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verdoolaege
doc: de
s
cribe in
p
ut/output fo
r
m
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ve
r
doolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
add i
s
l
outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
sl_t
e
st: use isl_set_read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d isl
_
se
t
_
r
ead
_
fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoola
e
ge
add isl_map_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
m
a
p_read_fr
o
m_fil
e
: allow
u
nions
i
n isl f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_basic
_
map_rea
d
: r
e
a
d defin
i
tions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
pri
v
a
t
ely e
x
port isl_
b
asic_map_
a
dd_div_constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_basic_
m
a
p
_
r
e
a
d: read affine con
s
tr
a
i
nt as two affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
isl_input
.
c: optionally read
p
arameters from
i
n
put
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdoolaege
tokeni
z
er: accept "
a
nd" keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
doolaeg
e
export is
l
_
m
ap_r
e
ad_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_basic_
m
ap_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
drop redundant input_fo
r
mat
a
rg
u
m
ent from reading fun
c
t
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoola
e
ge
isl_input
.
c: merge
f
unctions for reading PolyLib a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_input_omega
.
c:
a
ccep
t
P
oly
L
i
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl
_
input_omega
.
c: prepare fo
r
r
e
ading
p
arametric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_i
n
p
ut_omega
.
c
:
fin
a
lize a
n
d simplify
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
laege
isl_in
p
ut_omega
.
c
:
f
i
x
check for mem
o
ry allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
d
o
o
laege
isl_stream_ne
x
t_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
is
l
_tab_basic_map_p
a
rtial_lexopt: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven
Verdoolaege
isl_basic_
m
ap_set_to_empty: remove sam
p
l
e
(if any)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
Verdoolae
g
e
add isl_set_fa
s
t_i
s
_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven V
e
rdoolaege
p
r
op
e
rly remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Ver
d
oolae
g
e
isl_basic_
m
ap_update_fr
o
m_tab:
re-gaus
s
resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdool
a
e
g
e
ax_submodule
.
m4
:
don'
t
l
e
t --wit
h
-module conflict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
isl_
b
asic_set_compare_at: compute
r
esu
l
t in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
i
s
l_tab_pip
.
c: add cuts for al
l
n
o
n-inte
g
er
c
oor
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Ve
r
doolaege
isl_basic_map_gist: d
o
n'
t
dro
p
eq
u
alities f
r
om co
n
text
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdool
a
ege
isl_convex_h
u
ll
.
c
:
i
nitial_facet_constr
a
int: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
isl_convex
_
hull
.
c
:
is_independen
t
_boun
d
: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
erdoolaege
isl_co
n
vex_hull
.
c: exte
n
d: check
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
erdoolaege
isl_ma
t
_right_in
v
erse: b
e
more verbose on error c
o
nditi
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verd
o
ol
a
e
g
e
i
sl_constra
i
nt_dup: ma
k
e su
r
e line
r
efers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
isl_map_intersec
t
: add spe
c
ial case for add
i
ng a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
s
l_
m
ap
_
is
_
subs
e
t: b
r
eak off a
s
soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
compute set difference using a backtracking alg
o
r
i
th
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtra
c
t
.
c
:
e
xtract
from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolae
g
e
isl_t
a
b: keep
t
rack
of i
s
l_b
a
sic_map instead
of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
e
rdoolaege
priv
a
tel
y
e
x
por
t
i
sl_basic
_
map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
Ve
r
d
o
olaege
add isl_bas
i
c_map
_
a
dd_ineq
and isl_
b
a
s
ic
_
map_ad
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_ta
b
_de
t
ec
t
_red
u
ndant: return
sta
t
u
s instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
is
l
_tab: add
i
s
l_tab_
f
r
eeze_constr
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oolaege
isl_tab_add
_
in
e
q
a
n
d isl_tab_mark_
e
mpty: retu
r
n s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
add missi
n
g AUTHORS
file
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
is
l
_
b
asic_set_swap
_
va
r
s: re-gauss resulting
b
set
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
rdoolaege
add
i
sl
_
basic_map
_
first_constr
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
e
x
port i
s
l_basic_map_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdo
o
la
e
ge
add isl_bas
i
c_s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdo
o
l
a
e
ge
isl_map_dro
p
_
b
asic_map:
c
onsi
s
tently keep ba
s
i
c
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erd
o
ola
e
ge
isl_tab: row is
o
n
l
y
(
obviously) redundant if it doe
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olaege
isl_basi
c
_
m
a
p_simplify: m
a
ke s
u
re to
rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
V
e
rdoolaege
isl_tab_basic_map
_
partial_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdool
a
e
g
e
is
l
_tab_p
i
p
.
c: ignore dead columns when checkin
g
in
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdo
o
l
a
e
ge
is
l
_pi
p
: op
t
ionally perf
o
rm some check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolae
g
e
put
options in a separate i
s
l
_opti
o
n
s
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d rudimen
t
a
r
y argument parsin
g
f
acil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_ta
b
_compute_re
d
uced_
b
a
s
is: ha
n
dle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
ege
isl_b
a
sic_
s
et
_
solve
_
ilp
:
h
a
n
dle ob
v
iously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
ola
e
ge
isl
_
ba
s
i
c
_
set_solve
_
ilp: fix handl
i
ng of sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolae
g
e
add isl_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
ege
a
d
d isl_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add i
s
l_basi
c
_
se
t
_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
e
rdo
o
laege
e
x
tract
i
sl_basic
_
set_scan f
r
om polytope
_
scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ve
r
d
o
o
laege
isl_basic
_
map_simplify: avoid
r
emo
v
al of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
i
s
l_m
a
p
.
c: decl
a
re variable at start
o
f
code block
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoola
e
ge
i
sl_basic_set_project_out: han
d
le rationa
l
s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
ad
d
is
l
_basic
_
set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab
_
pip
:
ke
e
p cache of partial
solut
i
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
is
l
_tab_p
i
p: don't fre
e
isl_so
l
on error c
o
ndit
i
on
commit
|
commitdiff
|
tree
2009-10-16
Sven
Ve
r
dool
a
ege
isl_tab: suppo
r
t gener
i
c
undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoola
e
ge
ad
d
isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_tab_pip
.
c: remove some code duplication bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
er
d
oola
e
ge
isl_ma
p
_i
s
_su
b
set: add
s
p
e
cial
case for
singleton maps
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoo
l
aege
is
l
_
map_co
m
pute_d
i
vs: skip comp
u
ta
t
ion if divs ar
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
lae
g
e
isl_map_is_subset: exploit ano
t
her e
a
sy specia
l
case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
a
d
d
i
s
l_ma
p
_fas
t
_i
s
_u
n
ive
r
se
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
a
d
d
i
sl_set_size
commit
|
commitdiff
|
tree
next