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_coalesce.c: fix typo in comment
2010-02-08
S
v
e
n V
e
rdoolaege
i
s
l_coa
l
esce
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_map_read: accept
l
ists
of
a
ffine expressions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
V
e
rdoolaege
add isl_
m
at_from_row_vec and isl_mat_ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolae
g
e
isl
_
map_read
:
read extende
d
polylib fo
r
mat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
g
e
add isl_stream_
n
ext_toke
n
_
o
n
_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl
_
ma
p
_rea
d
: make
sure p
o
l
y
lib con
s
traint
coeff
i
c
i
en
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
{
map,set}_dim
:
hand
l
e NULL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_map
_
read: use more uniform w
a
y of readi
n
g in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdo
o
laege
isl_tr
a
nsitive_closure
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_map_tr
a
nsiti
v
e_closure:
u
se more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolae
g
e
add isl
_
map_po
w
er a
n
d isl_map
_
tr
a
nsitive_
c
losu
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_subtract
.
c: make som
e
int
e
rnal funct
i
ons static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
a
dd generic isl_map_
p
roject_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolaeg
e
add isl_{m
a
p,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
rename isl_{m
a
p,set}_a
d
d to
isl
_
{ma
p
,set}_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_set_proje
c
t_out
:
always update
d
i
mens
i
o
n, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_
d
im_jo
i
n: don't requ
i
re names of
joi
n
ed variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoola
e
ge
add is
l
_map_
f
r
o
m_d
o
main_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
is
l
_str
e
a
m
: treat "-" as op
e
rator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
i
s
l
_
map_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
is
l
_input
.
c: fix m
e
mor
y
dea
l
loc
a
tion problem o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdool
a
ege
add depe
n
de
n
ce
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdool
a
ege
add isl_map_{partial_,}l
e
x
opt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
add private
isl_{set,map}_
m
a
ke_d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
erdoolaege
basi
s
_reduction_templ
.
c: fix
t
ypo in
c
omment
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_tab_pip
.
c:
find_s
o
lution
s
: break when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
is
l
_
d
im_equal: d
o
n't require
n
ames of
input
a
nd o
u
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_dim
_
map
:
properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oo
l
ae
g
e
isl_dim_dro
p
: properly adjus
t
length o
f
name
s
arr
a
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
o
c: a bit more o
n
integers
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolae
g
e
d
oc: describe input/output f
o
rma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
V
e
r
doola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
ad
d
isl_
c
at test applicat
i
on
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add o
m
ega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
is
l
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_test: use isl_set_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ve
r
doolaege
add is
l
_
s
et_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaeg
e
add isl_map_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verd
o
olaege
isl_map_read_from
_
f
i
le: allow unions in i
s
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_basi
c
_map_
r
ea
d
:
re
a
d
d
efinitions of
e
xist
e
nti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolae
g
e
pr
i
va
t
ely ex
p
o
rt isl_basic_map_add_div_constra
i
nts
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
is
l
_basic_ma
p
_read: rea
d
affine const
r
ain
t
a
s two
aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_input
.
c: opt
i
onally read paramete
r
s f
r
om
i
n
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
t
okenize
r
: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
olaege
exp
o
rt isl_map_read_f
r
om_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
laege
export isl_ba
s
ic_
m
ap_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
e
rdo
o
laege
drop r
e
dundant
i
nput_format
a
r
gument
f
rom
reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
eg
e
isl_input
.
c: me
r
ge functio
n
s for readi
n
g Pol
y
L
ib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_input_ome
g
a
.
c: accept PolyLib
input
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdo
o
laege
isl_input
_
o
m
ega
.
c:
p
r
e
pare for reading p
a
rametri
c
unions
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdool
a
ege
isl_input_
o
m
ega
.
c
: finalize and simpli
f
y resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c:
f
ix check for
m
emory al
l
ocat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Ve
r
doolaege
isl_stream_next_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoo
l
aeg
e
isl_tab_basic_m
a
p
_
partial_lex
o
pt
:
properl
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdo
o
lae
g
e
isl_basic_
m
ap_set_to_emp
t
y: remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolae
g
e
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoola
e
ge
p
r
operly remove piplib subm
o
dule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_b
a
sic_map_upd
a
te_from_ta
b
:
re-gauss re
s
ulting
bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verd
o
ola
e
g
e
ax
_
su
b
module
.
m4: don
'
t let --with-module co
n
flic
t
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verdoolaege
isl_basic_set
_
compare_at: compu
t
e resul
t
in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdoolaege
isl
_
t
ab_pi
p
.
c
:
add cuts for al
l
non-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
r
d
oolaege
isl_basic_
m
ap
_
gist:
d
on't dro
p
equalities from
c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_con
v
ex_hu
l
l
.
c: initial_fac
e
t_constrain
t
: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
c
o
n
ve
x
_hull
.
c: is_ind
e
pen
d
ent_
b
ound: normal
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_
c
onvex_hull
.
c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n Verdoo
l
a
e
ge
isl_m
a
t
_
right_inverse: be more ver
b
ose on
e
rror c
o
nd
i
tion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l
_constraint_dup:
m
ake
sure line r
e
fers to
equat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
o
o
laege
isl_map_int
e
rsect: add speci
a
l case for ad
d
ing a s
i
ng
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
olaege
isl_m
a
p_is
_
subset: break
o
ff as soon as d
i
fferenc
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
compute set difference using a
b
a
c
ktracking a
l
gorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
er
d
oolae
g
e
isl_map_subtract
.
c: extract from isl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Verdoolaege
i
s
l_tab: keep
t
rack
o
f i
s
l
_
basic_map ins
t
ea
d
of isl_basic_
s
et
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
privately
e
xport isl_b
a
s
i
c_map
_
conta
i
ns
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
add isl_bas
i
c_map_add_ineq
a
n
d isl_basic
_
map
_
a
dd_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Ve
r
doolaege
isl
_
tab_dete
c
t_redu
n
dant: return
s
tatus
i
n
s
tead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_ta
b
:
a
dd isl_tab_freeze_c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolaege
isl_tab_add_ine
q
and is
l
_tab_mark_empty
:
retu
r
n s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
g
e
ad
d
missing A
U
THORS fil
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
laege
isl_basic_set_swa
p
_
vars:
r
e-gauss res
u
lting
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
S
v
en
V
e
r
doolaege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_basic_set_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoola
e
ge
isl
_
map_drop_b
a
sic_map: con
s
i
sten
t
l
y
kee
p
b
a
s
i
c map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
aege
isl_t
a
b: row is o
n
ly (obviou
s
l
y
) redundant if it do
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl_basic
_
map_simplify: make
s
ure
t
o re
r
un Gauss w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
ool
a
ege
isl_t
a
b_
b
asic_map
_
pa
r
t
i
al_lexop
t
: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_tab_pip
.
c: i
g
nore
d
e
ad columns w
h
e
n
checkin
g
in
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
laege
isl_pip: opt
i
on
a
lly perform
some check
on the
results
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
Verdoolaege
put
op
t
ions in a separ
a
t
e isl_options stru
c
ture
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
o
olaege
a
d
d
rudim
e
nta
r
y argume
n
t parsin
g
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
doolaege
is
l
_tab_compu
t
e_re
d
uc
e
d
_basis: handl
e
empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
ege
isl_ba
s
ic_s
e
t_s
o
lve_ilp: handle obv
i
ously
empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oola
e
g
e
i
s
l_ba
s
ic_set_s
o
l
v
e_ilp: fix h
a
ndling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
a
d
d isl_
s
e
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolaege
a
dd
isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
ad
d
isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ver
d
ool
a
ege
extra
c
t i
s
l
_basic_set_scan
from
p
o
l
y
t
ope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl
_
b
asic_map_simplify: avoi
d
r
e
mov
a
l of
di
v
definitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
do
o
la
e
ge
i
sl_map
.
c
:
declare
v
a
r
iable at start of code bloc
k
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
i
s
l
_basic_set_project_out: handle r
a
tional sets
commit
|
commitdiff
|
tree
next