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_pw_qpolynomial_foreach_lifted_piece
2010-02-07
Sven Verdoola
e
ge
includ
e
/isl_int
.
h:
a
rg
u
ment o
f
mp_get_memory_
f
un
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_map_read: acc
e
pt
l
i
st
s
of
a
ffine expr
e
ssions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ve
r
dool
a
ege
ad
d
isl_mat_from_row_vec and isl_ma
t
_
ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_map_read: read ex
t
e
nded polylib
for
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add is
l
_stream_next_token_on_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_
m
ap_read: make sure polylib constraint coe
f
ficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
ool
a
ege
isl_{map,set}_d
i
m
: handle N
U
LL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_map_rea
d
: use m
o
re uniform way of read
i
ng in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_transitive_c
l
osu
r
e
.
c
: fix
t
ypo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdo
o
laege
isl_map_transitive_closure: use more rela
x
e
d exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
a
e
ge
add
i
sl_map_power and isl_map_t
r
ansitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl
_
m
a
p
_
subtract
.
c:
make s
o
me intern
a
l functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
laege
add generic
isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdo
o
laege
a
d
d isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdo
o
laege
rename isl_{map,set}_add to
isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
ol
a
ege
i
sl_set_
p
roj
e
c
t
_out:
al
w
a
y
s update dimension, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdoolaege
isl_dim_join: don't require names o
f
jo
i
n
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
laege
add isl_map_f
r
om_do
m
ain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream
:
treat "-"
as operator rathe
r
t
ha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_ma
p
_read:
accept "strict" in
e
qualities
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolae
g
e
isl_input
.
c
: fix memory deallocatio
n
pr
o
blem on
m
i
ssing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoola
e
g
e
add dep
e
n
d
e
nce anal
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
ol
a
ege
add isl
_
m
a
p_{p
a
rtial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
a
d
d private isl_{set,ma
p
}_make_disjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdool
a
e
ge
basis_reduction_templ
.
c:
fix typo in commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_ta
b
_pip
.
c
:
find_so
l
uti
o
n
s
: break when contex
t
b
e
comes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
erdoola
e
g
e
isl_dim_equal:
don
'
t require names of
i
nput and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_
m
ap: properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_dro
p
: pro
p
erly adjust length of name
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
do
o
laege
doc: a bit mo
r
e on inte
g
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: describe i
n
p
ut/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdool
a
ege
doc:
fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
add isl_
c
at test
a
pplicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oo
l
aege
add ome
g
a ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
e
r
d
oolaege
isl
_
te
s
t: use isl_set_re
a
d_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
add isl
_
set_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
a
dd isl_ma
p
_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
i
sl_map_read_fr
o
m_file: a
l
lo
w
unions in i
s
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
i
sl_basic_map_read: read definitions of existe
n
t
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privat
e
ly export is
l
_
basi
c
_
map_add_di
v
_cons
t
raint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_
m
ap_read: r
e
a
d a
f
fine
c
onstraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolae
g
e
isl_
i
nput
.
c
:
optionally read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
toke
n
izer: accep
t
"and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
export
isl_map_re
a
d_
f
rom_
f
i
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oola
e
g
e
export
isl
_
b
asic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
dr
o
p
r
edun
d
a
n
t input_format argument from
reading fu
n
ctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl_input
.
c: merge funct
i
ons for re
a
ding PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
o
l
aege
isl_input_om
e
ga
.
c:
a
c
cept Pol
y
Lib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
r
doo
l
aeg
e
isl
_
input_omega
.
c
:
prepare for reading
p
arametri
c
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
input_omega
.
c: final
i
ze and
s
implify
resu
l
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
omega
.
c
: fix
c
hec
k
for memory
a
lloca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolae
g
e
isl_st
r
eam_ne
x
t_token: skip com
m
ent l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
tab_basi
c
_map_partial_lexopt: pr
o
perly
handle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdool
a
ege
is
l
_basi
c
_
m
a
p_set_to_
e
mpty: remove sample
(if
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
a
dd isl
_
set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n
Verdoola
e
ge
properly remove piplib submodul
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdo
o
laege
isl_b
a
sic
_
map_update_from
_
tab: re
-
gauss
r
esulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdool
a
ege
ax_s
u
bmodule
.
m4: don't let --with-mo
d
ule confli
c
t wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en
Verdoolaege
add isl
_
set_
f
ollows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdo
o
laege
isl_ba
s
ic_set_co
m
pare_at: comp
u
te
result in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
e
n Verdoo
l
ae
g
e
i
s
l_tab
_
pip
.
c:
a
dd cuts for all
non-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoola
e
g
e
i
s
l_basic_map_gist:
d
on't d
r
op eq
u
alities from co
n
text
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c: initial_
f
acet_constraint: drop
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
V
e
rdoolaege
i
s
l
_
c
on
v
ex_hull
.
c: is_independent_bound: norma
l
iz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ve
n
Verdoolaege
isl_convex_hull
.
c:
exten
d
: check hull
a
r
gumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
is
l
_mat_right_inverse: be more
v
erbose on error condit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
isl_constraint_dup: make sure
line re
f
ers
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
erd
o
olaeg
e
add copyright statements
commit
|
commitdiff
|
tree
2009-12-16
S
v
en
V
erdoolaege
remo
v
e func
t
ions for converting bet
w
een isl and
PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_tab_solv
e
_lp: invert optimal value
back when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
e
rdoolaege
isl_map_inters
e
c
t:
add
s
p
ecial case for adding a
s
ingle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
is
l
_map
_
is
_
subse
t
: bre
a
k off as soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven V
e
rdoolaeg
e
c
o
mput
e
set d
i
fference using a
b
ack
t
racking alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laeg
e
isl_map_subtra
c
t
.
c
: e
x
trac
t
fro
m
isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdo
o
la
e
ge
isl_tab:
keep track
o
f
i
s
l_
b
as
i
c_map in
s
t
e
ad of
i
sl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
p
r
ivat
e
ly export
isl_
b
a
s
ic_map
_
contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
ad
d
i
s
l_b
a
sic
_
map_add_ineq and isl_
b
asic_map_add
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ver
d
oolaege
isl_tab_detect
_
r
e
d
undant: return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_tab:
a
dd isl_tab_
f
re
e
ze_cons
t
ra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
isl_tab_add_
i
neq and isl_ta
b
_mark_empty: retu
r
n status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add missing
A
UT
H
ORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_
s
wap_vars: re-gaus
s
res
u
lting
b
set
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
Verdool
a
ege
ad
d
isl_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olae
g
e
ex
p
ort isl_basic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
add i
s
l_ba
s
ic_set
_
l
e
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
isl_map_drop_bas
i
c
_
map:
consiste
n
tly ke
e
p basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_tab:
r
o
w
is
o
nly (obvio
u
sly) redu
n
dant if
it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_m
a
p_simplify:
m
a
ke
s
ure to rerun
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
isl_tab_basic_map_partial_lexopt: use contex
t
constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_p
i
p
.
c:
igno
r
e dead colu
m
ns
when checking integ
r
a
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdoolaege
isl
_
pip: opt
i
onally per
f
orm s
o
me
c
hec
k
o
n
the results
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rdoolaege
put options in a separ
a
te isl_opt
i
ons structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add rud
i
mentar
y
argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
i
sl_tab
_
compute_
r
educed_basis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
doolaege
isl_
b
asic_set_
s
olve_ilp: handle obviously emp
t
y
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
is
l
_ba
s
ic
_
set_solve_
i
l
p
: fix ha
n
dling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_set
_
fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aeg
e
add i
s
l_basic_set_fix
commit
|
commitdiff
|
tree
next