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_map_power and isl_map_transitive_closure
2010-02-03
Sven V
e
rdoolaege
add is
l
_map_power and isl_map_
t
ra
n
s
iti
v
e_c
l
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_map_subt
r
act
.
c
: make some int
e
r
n
a
l fu
n
ctions
s
ta
t
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
a
dd generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add isl_{m
a
p,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verd
o
olaege
rename isl_{map,set
}
_add to isl
_
{
m
ap,set}_
a
dd_ba
s
ic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
isl_set_projec
t
_ou
t
:
always update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verd
o
olaege
isl_dim_join: don
'
t
r
equire names of
j
o
in
e
d variab
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add isl_ma
p
_f
r
o
m
_d
o
main_a
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
i
sl_strea
m
: treat
"
-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
g
e
isl_
m
ap
_
read:
accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
isl_input
.
c
:
fix memory deallo
c
ation problem on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ve
r
doolaege
add depend
e
n
c
e analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
l
a
e
ge
add
i
s
l
_
ma
p
_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set,ma
p
}
_
mak
e
_
d
isjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Ve
r
doolaege
basis_reduction_templ
.
c
:
fix ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
s
l_tab_
p
i
p
.
c: find_solutio
n
s: break
w
hen
c
ontext becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_dim
_
equal: don't r
e
quire names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erd
o
ol
a
ege
i
s
l_
d
im_ma
p
: properl
y
d
uplicate na
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdo
o
l
aege
isl_dim_drop:
p
r
o
perly adjust length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
d
oc: a bi
t
m
o
re on integ
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdo
o
l
aege
doc: de
s
cribe input/ou
t
put formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaege
doc: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
dool
a
e
g
e
add
isl
_
ca
t
test applica
t
ion
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega o
u
t
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
d
o
o
laeg
e
a
d
d isl
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_tes
t
: us
e
i
s
l_
s
et
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add isl_set_
r
e
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
a
dd isl_map_read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_
f
ile: allow uni
o
ns in
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
is
l
_b
a
s
ic_map_read: read definiti
o
ns of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
pr
i
vately
export isl_basic_map
_
a
dd_div_constraint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl
_
bas
i
c_map_read: read affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_input
.
c
: optionally read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokeni
z
e
r
: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoola
e
ge
e
xpo
r
t isl_
m
ap_
r
ea
d
_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export
i
sl_basic_map_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redun
d
ant input_
f
ormat argum
e
nt
from reading f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
i
s
l_inpu
t
.
c: merge fun
c
tions for rea
d
i
n
g
Poly
L
ib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
isl_inp
u
t
_omega
.
c:
accept Pol
y
L
i
b input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
i
s
l_
i
nput_ome
g
a
.
c: prepare for reading parametric un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ver
d
oolaege
isl_i
n
put_omega
.
c: finalize and sim
p
lify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolae
g
e
isl_i
n
pu
t
_omega
.
c: f
i
x check for m
e
mory a
l
location
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_stream_ne
x
t_to
k
en:
s
kip comment line
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_t
a
b_basic_map_partial_lexopt: properly handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_basi
c
_map_set_to_empty: r
e
m
ove s
a
mple (if any)
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
Verdo
o
lae
g
e
add
i
sl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoola
e
ge
properly re
m
ove p
i
pl
i
b submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basi
c
_map_update_f
r
om_ta
b
: re-gauss res
u
lting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven
Ver
d
oolaege
a
x_submodule
.
m4: don't l
e
t --w
i
th-
m
odule conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Ver
d
oolaege
add
i
sl_set_follows_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oolaege
isl_
b
asic_set_com
p
are_at:
c
omput
e
resul
t
in te
r
m
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven
V
e
rdoolaeg
e
isl_tab_pip
.
c: add cuts f
o
r all non-integer c
o
ordin
a
tes
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Verdool
a
ege
isl_basi
c
_ma
p
_
gist: don't drop equaliti
e
s from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
convex_hull
.
c:
initial_
f
acet_constrai
n
t: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolae
g
e
i
s
l_convex_hull
.
c: is_independent_bound: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
r
doolaeg
e
i
s
l
_convex_hull
.
c
: e
x
t
e
n
d: check hu
l
l ar
g
u
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_mat_r
i
g
ht_inverse:
b
e
m
o
re ve
r
bos
e
on error con
d
i
t
i
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdo
o
l
a
e
g
e
isl_const
r
aint_du
p
: mak
e
su
r
e line re
f
ers
t
o equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verd
o
olaege
add copyright statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdo
o
lae
g
e
remove func
t
io
n
s
for conve
r
ting betw
e
e
n
isl and Po
l
yLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_tab_solve_
l
p
: invert opt
i
mal value bac
k
when co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verd
o
olae
g
e
isl_map_intersect: add special case
for addin
g
a
singl
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
is
l
_map_i
s
_
s
ubset:
b
r
ea
k
off as soon as d
i
fference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
olaege
compute set difference using a backtracking algo
r
i
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_map_subt
r
act
.
c:
e
xtract
f
rom i
s
l_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_
t
ab
:
keep track of isl
_
basi
c
_map
instead
o
f
i
s
l
_basic_
s
et
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Ver
d
o
o
laege
privately export isl_
b
asic
_
map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ve
r
doolaeg
e
add isl
_
basic_map_add_ineq and isl_basic_map_add
_
e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdo
o
laege
i
s
l_tab_detect_redundant: return statu
s
inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
isl_ta
b
:
add
isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_
a
d
d
_ineq
and isl_tab_mark
_
e
m
pty: ret
u
r
n status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolae
g
e
add
m
issing
AUTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
is
l
_b
a
s
i
c_set_swap_vars: re-gauss res
u
lting bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdoolaege
add isl_
b
asic_ma
p
_
f
irst_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
eg
e
export i
s
l_b
a
s
ic_
m
ap_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoo
l
a
e
ge
add isl_bas
i
c_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl_map_dr
o
p_basic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolaege
isl_ta
b
:
r
ow
i
s
o
n
l
y (obv
i
o
u
sly) redunda
n
t if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n Verdool
a
ege
isl_
b
as
i
c_
m
ap_simp
l
ify: make sure to rerun
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_tab_basic_map_partial_le
x
o
p
t: use c
o
n
text constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab
_
pip
.
c: ignore dead colum
n
s when checking integr
a
li
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_pip: opti
o
na
l
ly
p
erform some
check on the re
s
ult
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oo
l
aege
put options in a separ
a
te isl_optio
n
s str
u
cture
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
add rudimentary argumen
t
parsing facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_tab_compute_reduced_basis: handle empty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_basic_set_solve_ilp:
handle obv
i
o
u
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_
s
et_solve_ilp: fi
x
handling o
f
sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
oola
e
ge
ad
d
i
s
l
_
s
et_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
ad
d
isl_ba
s
ic_
s
et_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
extr
a
ct isl
_
basic_set_scan from
p
olytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
i
c
_map
_
simplify: avoid
r
em
o
val of div
definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_map
.
c: declare vari
a
ble
a
t
start of code bloc
k
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdool
a
ege
isl_ba
s
ic_se
t
_project
_
o
ut: handle ra
t
ional s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verd
o
olaege
add isl_basic_set
_
r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
is
l
_tab_pi
p
: k
e
ep
cache o
f
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
e
rdoolaege
isl_t
a
b
_
pip: don't free isl_so
l
on
e
rror condi
t
ion
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
isl_tab: support
g
eneric
u
n
do records
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n Ve
r
doolae
g
e
add isl_mat
_
i
s
_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
isl_tab_pip
.
c: remove some code duplication betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
next