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_print: improve output
2010-02-09
Sven Verdo
o
la
e
g
e
isl
_
map
_
pri
n
t: improve outpu
t
commit
|
commitdiff
|
tree
2010-02-09
S
ve
n
Ver
d
oo
l
aege
add isl_bas
i
c_map_foreach
_
constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coale
s
ce: ha
n
dle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdool
a
e
ge
privately e
x
port isl_set_
w
rap_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaeg
e
isl_conve
x
_hull
.
c:
wrap_facet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdo
o
laege
doc: impr
o
ve
decrip
t
ion of i
s
l_map
_
transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_ma
p
_transiti
v
e_closure:
i
mpro
v
e test for
e
x
actness
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
add a counter example for Theorem 1 of the COCOA pa
p
er
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
a
d
d isl_
m
ap_low
e
r_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
er
d
ool
a
ege
i
s
l_map_power: coalesce domai
n
a
n
d ran
g
e
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoola
e
ge
is
l
_fl
o
w
.
c: add missing
isl_access_info_free
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaege
isl_coalesce
.
c: fix typo i
n
co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ver
d
oolae
g
e
isl_ma
p
_
r
ead:
accept
l
ists of af
f
ine e
x
pressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdo
o
laege
add isl_mat_from_row_vec and isl_mat
_
vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoola
e
g
e
isl_map_read
:
read exte
n
ded polylib for
m
at
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdo
o
laeg
e
add isl_
s
trea
m
_next_token_on_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
er
d
oolaege
isl_ma
p
_
read: make sure
polylib con
s
train
t
c
o
efficie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{map,set
}
_dim
:
handle N
U
LL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verd
o
olaege
isl_map_read: u
s
e
m
ore u
n
if
o
rm w
a
y o
f
reading
i
n polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_transitive_cl
o
s
u
r
e
.
c:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_
m
ap_trans
i
tive_
c
losur
e
: use more re
l
a
x
ed exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doola
e
ge
add isl_map_pow
e
r and isl_map_trans
i
tive_closu
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaeg
e
isl_m
a
p_sub
t
ract
.
c: ma
k
e some
inter
n
al
f
u
nctions stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_map_project_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add isl_{map,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
ge
r
enam
e
isl_{m
a
p
,
set}_add to
isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_se
t
_project_out: always update di
m
ension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
er
d
oolae
g
e
isl_dim_join: don't r
e
quire n
a
mes
of join
e
d varia
b
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdoolaeg
e
add
isl_map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdoolaege
isl_str
e
am: t
r
e
a
t "-"
a
s opera
t
or rat
h
er than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdoolaege
isl_m
a
p_read: ac
c
ept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_input
.
c
:
fix memory
d
e
allocat
i
on problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
o
l
aege
add
d
ependence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
add isl_map_{par
t
ial_,}l
e
xopt
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
V
erdoolaege
add p
r
i
v
at
e
i
s
l_{set,map}_make_
d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
o
o
laege
basis_reduction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoo
l
a
e
ge
i
sl
_
tab_
p
ip
.
c
: find
_
solutions: break
when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_equ
a
l
:
don't require names of input and out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
isl
_
dim
_
map: prope
r
ly duplica
t
e n
a
m
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdool
a
ege
isl_d
i
m_drop: properl
y
adjust leng
t
h of names array
commit
|
commitdiff
|
tree
2010-01-26
S
ven Ve
r
d
o
ol
a
ege
doc: a bit mor
e
on integ
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: describe inpu
t
/
ou
t
put formats
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
doolaege
add is
l
_
cat test
a
p
pl
i
cati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_test: use i
s
l
_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add isl_set_rea
d
_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_map_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_map_read_fr
o
m_file: allow unio
n
s in
i
s
l format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_basic_map_r
e
ad: read definitions of ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
privately export is
l
_basic_map_a
d
d
_div_const
r
a
i
n
ts
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl_ba
s
ic_map_rea
d
: read affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_inp
u
t
.
c: optionally
r
ead
pa
r
ameters f
r
om input
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
erdoolaege
toke
n
izer: accep
t
"and" keywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doo
l
a
e
ge
export is
l
_ma
p
_r
e
a
d
_fro
m
_file
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oolaege
e
x
port isl_basic
_
map_r
e
ad_f
r
om_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop
re
d
unda
n
t input_format argume
n
t f
r
om
r
e
ading fun
c
t
io
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
is
l
_inp
u
t
.
c: m
e
rge func
t
ions
fo
r
r
e
a
ding
P
o
lyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ve
r
doolaege
isl
_
i
n
p
u
t_om
e
ga
.
c:
a
c
cept Po
l
yLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
aege
isl_input_
o
m
e
ga
.
c: prepare
f
or reading param
e
tric unio
n
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl_input_omega
.
c: finalize and simplify re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl
_
i
nput_omeg
a
.
c:
f
i
x check
f
or me
m
ory
allocatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream_
n
ext
_
token: sk
i
p
comm
e
nt
l
ines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_tab_basic_map
_
p
a
rtial_lexo
p
t
:
p
roperly handl
e
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n V
e
r
doolaege
i
sl
_
basi
c
_map_set_to_empty: remove
s
a
m
ple (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolae
g
e
a
d
d isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
pr
o
perly remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdool
a
ege
i
sl
_
basic_map
_
upd
a
te_from_tab: re-gauss resulti
n
g bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Ve
r
doo
l
a
e
ge
ax_su
b
m
odu
l
e
.
m4: don't
l
et --with-module co
n
f
l
i
c
t with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven V
e
r
d
o
ol
a
ege
add isl_set_follow
s
_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
isl_basic_set_co
m
pare_at: compu
t
e result i
n
t
e
r
m
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoo
l
aege
isl_tab_pi
p
.
c
: add cuts for all
non-
i
n
teger
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_
b
asi
c
_map_gist: don't drop equalities fro
m
context
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolae
g
e
isl
_
convex_hul
l
.
c: initial_facet
_
cons
t
rai
n
t: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_con
v
ex_hu
l
l
.
c: i
s
_i
n
dep
e
ndent_bound: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
isl_convex_h
u
ll
.
c: ext
e
n
d: chec
k
hull argu
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_mat_r
i
gh
t
_inverse: be more ve
r
bose o
n
er
r
or
co
n
dition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_du
p
: make sure line
r
ef
e
rs to e
q
uation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
is
l
_map_intersec
t
: add spec
i
al ca
s
e for adding
a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verdoolaege
compute
s
e
t
d
ifferenc
e
using a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl_map_subtract
.
c:
extract
fr
o
m isl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_tab: keep
t
rack of
isl
_
basic_map
instead of isl
_
b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoo
l
aeg
e
priv
a
tel
y
expo
r
t isl_basic_m
a
p_cont
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
do
o
l
aege
ad
d
isl_basic_map
_
add_i
n
eq and isl_bas
i
c_
m
ap_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
t
ab_
d
etect_redundant: return status instea
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Ve
r
do
o
l
a
ege
i
s
l_t
a
b: add isl_tab_fr
e
e
z
e_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
is
l
_
tab_add_ineq and isl
_
tab_mark_empty: retu
r
n
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
ool
a
e
ge
a
d
d missing AUTHO
R
S file
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoolaege
isl_basic_se
t
_swap
_
vars: r
e
-gauss r
e
s
ult
i
ng b
s
et
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
add i
s
l_basic
_
ma
p
_
f
irst
_
constraint
commit
|
commitdiff
|
tree
2009-11-15
S
v
en
V
erdoolaege
e
xport isl_basic_map_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add
i
sl_basic_set_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolaege
isl_map_drop_basi
c
_map:
consist
e
ntly
k
eep basic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ve
n
V
e
rdoolaege
i
s
l_tab:
row is only (obvi
o
u
s
ly) redun
d
ant if it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_basic_map_
s
implify: mak
e
sure to reru
n
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ta
b
_basic
_
map_p
a
rtial_lexopt
:
u
se c
o
ntext constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdool
a
eg
e
isl_tab_pip
.
c
:
ignore dead columns when checking int
e
grality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
sl_
p
ip: optio
n
ally pe
r
for
m
some che
c
k on the re
s
ults
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
put options in a separate
i
s
l_options s
t
ructur
e
commit
|
commitdiff
|
tree
next