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_map_lower_bound_si
2010-02-08
Sve
n
Verdoola
e
g
e
add isl_
m
ap_lower_bound_
s
i
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Ver
d
oola
e
ge
is
l
_map_power: coalesce domain and rang
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl_f
l
ow
.
c: ad
d
m
i
ssing i
s
l
_access_info_free
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doo
l
ae
g
e
isl_coal
e
sce
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Ver
d
o
o
laege
inclu
d
e/isl
_
int
.
h: argument o
f
mp_get_mem
o
r
y
_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
i
s
l
_ma
p
_read:
a
c
ce
p
t lists
of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
add isl_mat_from_row_
v
e
c
and
i
sl_ma
t
_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdool
a
ege
isl_map_re
a
d: read
e
xtended polylib fo
r
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
ad
d
isl_stream_next_
t
oken_on_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
ol
a
ege
isl_map
_
read: make s
u
r
e
polylib constraint coeffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
d
o
o
l
ae
g
e
i
sl_{map,set}_dim
:
hand
l
e
N
U
LL
input
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
is
l
_map
_
read: use more uniform wa
y
o
f reading in poly
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_transitive_closure
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
ol
a
e
g
e
is
l
_map_transitive
_
closur
e
: u
s
e more relaxed
e
xa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolae
g
e
add
i
sl_
m
ap_power
and isl_map_tra
n
sitive_
c
losu
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_su
b
tract
.
c: m
a
ke som
e
i
nt
e
rnal
f
unctions
s
t
atic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d generic
i
sl
_
map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
laege
a
d
d isl_{map,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
rename isl_{map,set}_
a
dd to
isl_{map,s
e
t}_add
_
basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdo
o
la
e
g
e
isl_set_project_out: always update
d
imension
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_joi
n
: don't require
nam
e
s of jo
i
ned
variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
ae
g
e
add i
s
l_map_from_doma
i
n_and_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
S
ven V
e
rdoolaege
isl
_
stream: treat "-"
as op
e
rator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoo
l
aeg
e
isl_map_re
a
d: accept
"strict"
inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_input
.
c: f
i
x memory d
e
al
l
ocat
i
on proble
m
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoola
e
ge
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolae
g
e
add isl_map_{partial_,}l
e
x
opt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
a
d
d
private isl_{set,m
a
p}_make_di
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdo
o
laege
ba
s
is_reduc
t
ion_temp
l
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_
t
ab_pi
p
.
c
: find
_
solut
i
o
ns: break
wh
e
n cont
e
xt becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_equal
:
d
o
n
'
t
r
equi
r
e names of inp
u
t and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_dim_map: pr
o
perly dup
l
ica
t
e
names
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Verdoolaege
isl_dim_drop:
p
rop
e
rly a
d
just length of
n
ame
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaege
doc: a
b
i
t more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
doc: de
s
cr
i
be input/output f
o
r
mats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
laege
add
i
sl_cat test ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaeg
e
a
dd
o
mega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_test: use isl_set_
r
ead_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
do
o
laege
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoo
l
aege
add isl_map
_
r
e
ad_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolae
g
e
isl
_
map_re
a
d_f
r
om_file: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdo
o
l
a
e
ge
isl_basic
_
ma
p
_r
e
a
d
:
read d
e
fin
i
tions of
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
privately
exp
o
rt isl_basic_map_a
d
d_div_const
r
aints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
isl_basic_map_read:
r
ead
affine constraint
a
s
two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoola
e
ge
isl_input
.
c: option
a
lly read parameters fr
o
m
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer: acce
p
t "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
expor
t
isl
_
map_read_fro
m
_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export
isl_basic_m
a
p_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
ege
d
r
o
p redundant input_format argum
e
nt from rea
d
i
n
g funct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: merge functions fo
r
reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Ver
d
oolaege
is
l
_
inp
u
t_omega
.
c
:
a
cc
e
pt PolyLib i
n
put
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
laege
isl_input_omega
.
c: prepare for rea
d
i
ng parametric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
is
l
_
i
np
u
t_omega
.
c: finalize and
s
implify res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_
i
n
put_omega
.
c
:
fix check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_st
r
eam_next_token: skip comment lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
Verdoo
l
a
e
g
e
isl_tab_bas
i
c_
m
a
p
_p
a
rt
i
al_lexopt:
p
r
operly ha
n
dle
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
dool
a
ege
isl_
b
asic_map_set_t
o
_empty:
r
emove
sampl
e
(
if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
erdoolaeg
e
add
isl_set_fa
s
t_is_
e
m
pty
commit
|
commitdiff
|
tree
2010-01-13
S
ven
V
erdoolaege
prope
r
ly remove pip
l
ib submod
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
erdoolaege
isl_
b
a
si
c
_map_update
_
from_t
a
b: re
-
gauss resulting
b
m
ap
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n
Verdoolaege
a
x
_submodule
.
m4: don't let --with-module confl
i
ct
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
erd
o
olaege
a
d
d isl_set_f
o
llows_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Ve
r
doolaege
isl_
b
as
i
c_set_compare_at: compute
r
esult in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven V
e
rd
o
ol
a
ege
isl_tab_pip
.
c
: add cuts f
o
r
al
l
non-in
t
eger
c
oordinat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basi
c
_map_gist: don't drop equ
a
liti
e
s from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
l
aege
isl_co
n
vex_hull
.
c: in
i
tial_facet_constraint: drop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven
Verd
o
o
l
aege
i
sl_convex_
h
ull
.
c: is_independ
e
nt_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolaege
i
s
l_c
o
nvex
_
hull
.
c:
e
xten
d
: chec
k
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Ve
r
doolaege
isl_m
a
t_right_in
v
erse
:
be more verbose on error cond
i
ti
o
n
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl_constraint_
d
up: make sure
lin
e
r
efers to equa
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
add copyright
stat
e
m
ents
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolae
g
e
remo
v
e functions
f
o
r converting between isl a
n
d
PolyLi
b
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl
_
tab_solve_l
p
: invert optimal value back w
h
en computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdo
o
l
a
e
g
e
is
l
_map_intersect
:
add speci
a
l ca
s
e for adding a singl
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoo
l
a
e
g
e
isl_map
_
is_sub
s
et
:
break off
a
s soon as differ
e
nce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
compute set diff
e
r
ence using
a
b
ac
k
tra
c
k
ing algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoo
l
aege
is
l
_
map_subtract
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoola
e
ge
isl_ta
b
: keep track of isl_ba
s
ic_map
instead o
f
isl_b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
p
r
ivately export isl_ba
s
ic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add is
l
_
b
asic_
m
ap_add_i
n
eq and isl_ba
s
ic_map_add_e
q
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdo
o
lae
g
e
isl_tab_d
e
tec
t
_redundant: retu
r
n status instead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_tab: add isl
_
tab_fr
e
eze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
d
o
olaege
i
s
l_tab_add_ine
q
and i
s
l_
t
ab_mark_e
m
p
ty: r
e
t
urn
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdoolaeg
e
add missing AUTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erd
o
olaege
isl_basic_set_swap_vars: re-ga
u
ss
r
esulti
n
g bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
en Verdoolaege
add isl_basic
_
map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolaege
export isl_basic_map
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
add isl_b
a
sic_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaeg
e
isl_map_drop_b
a
sic_ma
p
: consist
e
ntly keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_t
a
b:
r
ow is o
n
ly (obviously)
r
e
d
undant i
f
i
t
d
o
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
ool
a
ege
i
s
l
_
basic_map_si
m
plify: ma
k
e sure
to rerun Gauss whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
la
e
ge
isl_tab_ba
s
ic_map_partial_
l
exopt: use
c
ontext cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Ve
r
do
o
lae
g
e
isl_t
a
b
_
pip
.
c:
i
gnore dead co
l
umns when checking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
is
l
_pip: optiona
l
ly perform s
o
me check on the results
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rdool
a
ege
put options in a
s
eparate isl_options st
r
uctu
r
e
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
add
r
u
d
imentary argum
e
nt parsing facil
i
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl_t
a
b_c
o
mpute_
r
e
d
uced_basis
:
handle
e
mpty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
isl_
b
asic_se
t
_solve_ilp: han
d
le
obvious
l
y em
p
ty sets
commit
|
commitdiff
|
tree
next