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_constraint_div: make sure requested div is a known div
2010-02-09
Sven Verdoolaege
i
s
l
_
constraint_div: make s
u
re r
e
quest
e
d
d
iv is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdool
a
e
ge
d
oc:
drop
d
o
cument
a
tion
of _
d
um
p
funct
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
isl_m
a
p
_print:
impro
v
e output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_basic_map_for
e
a
c
h_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
isl_map_coalesce:
h
andle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
privatel
y
expor
t
isl_set_wrap_
f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaege
isl_conv
e
x_hull
.
c: wrap_f
a
cet: allow unbound
e
d facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
doc: improve decription of isl_map_transi
t
ive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_map_
t
r
ansitive_cl
o
sur
e
: improve test for
e
xactn
e
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
a
dd a
c
o
u
n
ter
exa
m
p
le for Theorem
1
o
f
the
C
OCOA pape
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add i
s
l_ma
p
_lower_bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_map_power: coalesce domain
and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
i
s
l_flow
.
c: add missi
n
g isl_
a
ccess_info_fre
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoola
e
ge
isl_co
a
lesce
.
c: fix
t
y
po i
n
co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ve
r
doolaege
isl_map_read: a
c
c
ep
t
lists o
f
aff
i
ne express
i
ons in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d isl_ma
t
_from_row_vec a
n
d i
s
l_mat
_
vec_con
c
at
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ver
d
o
o
laege
isl_map_read: read
e
xtended polylib format
commit
|
commitdiff
|
tree
2010-02-04
S
ven V
e
rdoo
l
aege
add isl_s
t
ream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoo
l
aege
isl_map_read
:
m
a
k
e su
r
e
polylib constr
a
i
n
t c
o
effi
c
ien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoola
e
ge
i
s
l_{map,set}_dim: h
a
n
d
le NULL inpu
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdo
o
la
e
ge
i
s
l
_ma
p
_
read: use more uniform wa
y
of
reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
la
e
ge
i
s
l_transitive_cl
o
s
u
re
.
c:
fix
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
d
o
o
laege
isl_map_
t
ra
n
sitive_closure
:
use more
r
elaxed exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
o
laege
add is
l
_map
_
power
and isl_map_tra
n
sitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
i
s
l_map_s
u
btract
.
c: make some internal functions stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
add ge
n
eric i
s
l
_
map_p
r
o
ject_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
laege
add i
s
l_{map,s
e
t}_
a
dd
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
d
oolaege
rename
i
sl_{map,set}_add to i
s
l_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_s
e
t_p
r
oject
_
o
u
t: alw
a
ys update
d
imension
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ver
d
o
olae
g
e
isl_dim_join
:
don'
t
requir
e
names of joine
d
var
i
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoo
l
aeg
e
add
i
s
l_map_from_d
o
m
a
in_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_
s
t
ream: tr
e
a
t "-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
i
sl_map_read:
a
cc
e
pt "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
i
s
l_in
p
ut
.
c: fix me
m
ory d
e
a
llocation problem o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add d
e
pende
n
ce analysis
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n V
e
rdo
o
laege
ad
d
isl_map_{parti
a
l
_
,}le
x
opt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verd
o
olaege
a
d
d private isl_{set,map}_make_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ver
d
oolaege
basis
_
reduction_t
e
m
p
l
.
c:
f
ix t
y
po in comment
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
erdoolaeg
e
i
sl_tab_p
i
p
.
c: fi
n
d_sol
u
tions: break when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
ola
e
ge
is
l
_
d
im_
e
qual:
d
on'
t
r
equire n
a
me
s
of
in
p
ut a
n
d output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map
:
p
r
operl
y
dupl
i
cat
e
names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_
dim_drop:
p
roperly adjus
t
length of
n
ames arr
a
y
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ver
d
oolaeg
e
doc: a bit more on
inte
g
er
s
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
do
c
: describe input/outp
u
t
f
ormats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
la
e
ge
add
i
sl_cat test
a
pplic
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
add om
e
ga output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add i
s
l output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdoolaege
i
sl_tes
t
: us
e
i
sl_set_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add
i
sl_set_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add isl_map_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
isl_map_read_f
r
om_file:
allow unions in i
s
l
f
or
m
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
eg
e
i
sl_basic_
m
ap_read: read definitions o
f
existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
oolaege
privately export
isl_basic_m
a
p_
a
dd_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoola
e
ge
isl_basic_map_
r
ea
d
: read affine
c
on
s
tr
a
int as
t
w
o a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doola
e
ge
is
l
_input
.
c: opt
i
onally r
e
a
d
parameters from in
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
to
k
en
i
zer: a
c
ce
p
t "and" key
w
ord
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
e
x
port
i
sl
_
map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
export isl_basic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
drop
r
e
dunda
n
t
i
nput_form
a
t
argu
m
ent from r
e
ading
f
u
nc
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verd
o
olae
g
e
isl_input
.
c
: merge f
u
nc
t
ions for re
a
ding P
o
ly
L
ib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
do
o
laege
isl_input_
o
mega
.
c:
a
ccept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_ome
g
a
.
c:
p
repare for readin
g
parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_
i
npu
t
_o
m
ega
.
c: fina
l
ize and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_i
n
put_o
m
ega
.
c: fix ch
e
ck for memor
y
allo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
i
sl_stream_next
_
token: skip comment
line
s
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdo
o
l
aege
isl_tab_basic_map_partial
_
lexopt
:
p
r
operly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
a
e
g
e
isl_ba
s
ic_map_set_to_emp
t
y: remove
sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdool
a
ege
a
dd
isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly remove pip
l
ib s
u
bmodule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
V
e
rdoo
l
aege
isl_basic_map_update_f
r
om_ta
b
: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoo
l
aege
a
x
_su
b
module
.
m4:
don't let
--with
-
mo
d
ule con
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verd
o
olaege
isl_basic_se
t
_com
p
a
re_at:
compu
t
e res
u
lt in terms o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
Ver
d
o
o
laege
isl_tab_pip
.
c:
a
dd cuts
for all non-integer
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoolaege
isl_basic_map_gist: don'
t
drop e
q
ualitie
s
from
conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
Verdoolaege
isl_convex_h
u
ll
.
c: in
i
tial_facet
_
co
n
straint:
drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoo
l
a
e
ge
isl_convex_hull
.
c: is_independ
e
nt_
b
o
u
nd: no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
e
rdool
a
e
ge
isl_convex_hull
.
c
: exten
d
:
c
heck hull argument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdo
o
la
e
ge
isl_
m
a
t
_right_inverse: be mo
r
e
v
e
rbose on error
con
d
ition
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoola
e
ge
i
s
l_c
o
n
strai
n
t_dup: make sure line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaeg
e
isl_ma
p
_in
t
ersect
:
a
dd spe
c
i
a
l case for
adding a s
i
ngl
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
isl_map
_
i
s_subset: break of
f
as soon as dif
f
erence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven
Verdoolaege
c
o
mpute set
d
ifference usin
g
a backtra
c
k
ing alg
o
rit
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdool
a
e
ge
isl_
m
ap
_
subt
r
act
.
c: e
x
t
r
a
ct fr
o
m isl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
is
l
_tab: kee
p
track of
i
sl_basic_ma
p
instead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoo
l
a
ege
privately expor
t
isl_bas
i
c_ma
p
_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
d
o
olaege
add isl_bas
i
c_map
_
add_ineq and isl_ba
s
ic
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Verdoo
l
aege
isl_tab
_
detect_
r
e
d
und
a
nt: re
t
urn status in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
t
a
b:
add isl
_
t
ab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
isl_tab_
a
d
d
_
ineq and i
s
l_tab
_
ma
r
k_empty: return s
t
a
t
us
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaeg
e
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
isl_basic_set_swap_vars: re-gauss re
s
ulti
n
g bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
e
n Ve
r
doolae
g
e
a
d
d isl
_
basic_ma
p
_first_
c
ons
t
raint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
e
x
port isl_b
a
sic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdoolaege
a
dd isl_b
a
s
ic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
o
ola
e
ge
isl
_
map_drop_basic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olaege
i
s
l_tab: r
o
w is only (obviously) redund
a
n
t
i
f
i
t d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
isl_basic_map_simplify:
m
a
ke su
r
e
to rerun Gau
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Ve
r
doolaege
isl_ta
b
_basic_m
a
p_pa
r
tia
l
_lexopt: us
e
cont
e
xt constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
isl_t
a
b_pip
.
c: ignore dead colum
n
s
w
h
en
checking integralit
y
commit
|
commitdiff
|
tree
next