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_transitive_closure.c: fix typo in comment
2010-02-04
Sv
e
n Ve
r
doo
l
a
ege
isl_transitive_closu
r
e
.
c:
f
i
x
typo
in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erd
o
olaege
isl_map_transitiv
e
_closure: use more relaxed exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
olaege
add
i
sl_map_power a
n
d
isl_ma
p
_transitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Ve
r
doolaege
isl_map_subt
r
act
.
c:
m
ake some internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add
g
eneric isl_
m
ap
_
pr
o
ject_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
rename i
s
l
_
{map,set}_a
d
d to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_proj
e
ct_
o
ut:
a
lways update dimensi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
olaege
isl_dim_joi
n
: don't
requi
r
e
n
a
mes o
f
jo
i
ned va
r
iable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolae
g
e
add isl_
m
ap_from_d
o
ma
i
n_an
d
_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat "-" as operator rather than as
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_map_rea
d
: a
c
c
e
pt "str
i
ct" inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_inp
u
t
.
c
:
fix memory deallo
c
ation
problem on missi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
e
g
e
add depe
n
den
c
e analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
la
e
ge
add isl_m
a
p_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
add private isl_{se
t
,ma
p
}
_
mak
e
_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verd
o
olaege
basi
s
_red
u
c
ti
o
n_templ
.
c: fix typ
o
in
comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
isl_t
a
b_pip
.
c:
f
ind_solution
s
: break w
h
e
n
contex
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdoolaege
isl_dim_eq
u
al: d
o
n't re
q
uire n
a
mes
o
f input a
n
d out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
isl_dim_map: pro
p
erly
d
u
p
licate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_
d
im_drop: p
r
operly adjust length
o
f
n
ames array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc: a
b
i
t mor
e
on integers
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
d
oc
:
desc
r
ibe
inpu
t
/outp
u
t fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
do
c
: fix typ
o
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
add isl_cat test applica
t
i
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add omega
o
u
tp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
lae
g
e
isl_te
s
t:
use isl_se
t
_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolae
g
e
add isl_set
_
read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
laege
add
i
sl_
m
ap_rea
d
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoola
e
ge
isl_m
a
p_rea
d
_from_file: allow
u
n
i
ons
in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
b
a
sic_ma
p
_read: read definitio
n
s
o
f existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
priva
t
e
ly
e
xp
o
rt isl_basic_m
a
p_add_div_c
o
nstraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_basic_map_read: read affine const
r
aint as
two affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
i
s
l_input
.
c: optionally rea
d
p
arameters fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer:
acc
e
p
t "an
d
"
ke
y
wor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
export isl
_
map_read_fro
m
_
file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
export isl_basic_
m
ap_r
e
ad_f
r
om_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oolaege
drop r
e
dundant input_
f
o
rmat argumen
t
fr
o
m r
e
ading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c
:
merge functions for reading PolyLib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
isl_input_omega
.
c: acce
p
t Pol
y
Lib
i
n
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_input_o
m
ega
.
c:
pr
e
pare for reading
para
m
e
tric
u
ni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
ol
a
ege
i
sl_input_om
e
ga
.
c: finalize and simplify re
s
ulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
i
s
l
_i
n
put
_
omega
.
c
:
fix c
h
eck for
m
e
m
o
r
y
allocatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
aege
isl_s
t
r
eam_
n
ext_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoola
e
ge
isl_tab_bas
i
c
_map_pa
r
tial_l
e
xopt: properly handle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_ma
p
_set_t
o
_empty: remove sa
m
ple (i
f
an
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
g
e
add isl_
s
et_fa
s
t_is_
e
mpty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ve
r
d
oolaege
properly
rem
o
ve piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Verdoolaege
isl_basic_map_up
d
ate_from_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_
s
ubmodule
.
m4: don't
l
et
--wi
t
h-mod
u
le conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdo
o
l
aege
add
i
s
l_set_f
o
llow
s
_at
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Ver
d
oola
e
ge
i
s
l_basic_set_comp
a
re_at
:
c
ompu
t
e result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolae
g
e
isl
_
tab_
p
ip
.
c: add cuts for all
n
on-integer coordinat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rd
o
olaege
i
s
l
_basic_map_
g
ist: don't
d
rop equa
l
i
t
ies
f
r
om
c
ontext
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
Verdoolaege
i
s
l
_
c
onvex
_
hu
l
l
.
c
: initia
l
_facet_constraint: d
r
o
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
i
s
l_convex_hull
.
c: is_independen
t
_bound:
norma
l
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
convex_hu
l
l
.
c: extend: check
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verd
o
o
l
aege
isl_mat_ri
g
ht_inverse: be
more ve
r
b
o
se on error condi
t
i
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verd
o
ola
e
ge
i
s
l
_constrain
t
_
d
up: make sure
l
i
ne r
e
fers
to eq
u
ation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_ma
p
_intersect: add special case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Ver
d
oola
e
ge
compute set di
f
feren
c
e us
i
ng
a b
a
cktracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_map_subtra
c
t
.
c: extra
c
t f
r
o
m isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
e
rdoolaege
isl_tab: keep track o
f
isl_basic_map inste
a
d of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
Ve
r
doolaeg
e
private
l
y exp
o
rt isl
_
basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
add isl_basic_map_a
d
d_ineq and
isl_bas
i
c_map
_
add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
ool
a
e
g
e
isl_tab_detect_redundant:
r
e
t
urn status ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
o
olaege
isl_t
a
b
:
a
d
d
i
s
l
_
tab_fr
e
eze_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
e
r
doolaege
i
sl_tab_a
d
d_ineq and isl_tab_mark_empty: r
e
tur
n
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Ve
r
d
o
o
laege
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoolaege
isl_ba
s
ic_set_swa
p
_vars:
r
e-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
rdoola
e
ge
add isl_basic_map_fir
s
t
_co
n
straint
commit
|
commitdiff
|
tree
2009-11-15
S
ven
V
erdoolae
g
e
export isl_basi
c
_map_
l
e
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
add isl_basic_set
_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Ve
r
doolaege
i
sl_map_drop_basic_map: cons
i
s
tently keep bas
i
c
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
o
lae
g
e
isl_tab: row is
only (obviousl
y
)
r
edun
d
ant i
f
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_map_
s
im
p
lif
y
:
make sure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl_tab_basic_m
a
p_pa
r
tial_lex
o
pt: use context constra
i
nt
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
aege
isl_tab_pip
.
c
:
ignore dead columns when checking in
t
e
g
ralit
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
pip: optionally perfor
m
some che
c
k
on
t
h
e
resu
l
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
er
d
oolaege
p
u
t
o
p
t
i
ons in
a
s
epa
r
ate isl
_
opt
i
ons structure
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
add
r
udimentary argument parsing
f
a
c
il
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
doo
l
a
ege
isl_tab_compute_
r
e
duce
d
_
b
asi
s
: handle e
m
pty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_basic_se
t
_solve_i
l
p: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
Verdoolaege
isl_basic_set_solve_il
p
: fix handling of set
s
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
e
rdool
a
ege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
d
oolaege
extract isl_ba
s
ic_
s
et_scan fro
m
polytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_basic_map_sim
p
lify
:
avoid remo
v
al of div de
f
initi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
ege
isl_ma
p
.
c: declare variable at
start of c
o
de b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdo
o
la
e
ge
i
sl_ba
s
i
c_set_proj
e
ct_out: h
a
n
d
le rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdoolaege
add isl_b
a
sic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
ge
isl_tab_pip
:
keep cache
o
f partial s
o
lut
i
ons
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
isl_t
a
b_pip
:
d
o
n't free isl_sol on e
r
ror condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
tab: suppo
r
t generic u
n
do reco
r
ds
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
add i
s
l_m
a
t_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
d
o
ol
a
ege
isl_tab_pip
.
c:
remove some c
o
de du
p
lication betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
o
l
ae
g
e
isl_map_is_subset: add special ca
s
e for s
i
ngleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
isl_map_compute_divs: skip computation if divs are
.
.
.
commit
|
commitdiff
|
tree
next