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_stream: accept string tokens
2010-04-23
Sven Verdool
a
ege
isl
_
stream: accep
t
s
t
r
i
ng tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
is
l
_ta
b
_
rollback
:
restore ro
w
s
t
hat are no l
o
nger
m
arked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: do
c
ume
n
t simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erd
o
olaege
doc
:
emphasize that we are dealing with int
e
ger
s
ets
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdoolaege
isl_tr
a
nsitive_c
l
osure
.
c
:
path_along_del
t
a: only avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
isl_map
_
transitive_clo
s
ure: compute divs of
i
nput
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
isl_map_compute
_
divs: make sure result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_pri
n
ter_print_p
w
_qpolynomial: properly print constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
g
e
isl_pip a
n
d isl_cat
:
termina
t
e
i
s
l
_ar
g
array with
ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaeg
e
doc: docu
m
ent
s
etting a
n
d getting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc:
d
ocument *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
isl_map_c
o
nv
e
x_hul
l
: han
d
le
n
on fu
l
l
-
dimensional
pai
r
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdo
o
laege
isl_convex_hull
.
c: mo
d
ul
o
_affine_hull: drop red
u
nda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoo
l
a
e
ge
isl_co
n
vex_hull
.
c
: convex_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
doo
l
a
e
ge
is
l
_
pr
i
n
t
e
r_print_basic_set: fix up printing to
s
t
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdo
o
l
a
ege
add isl
_
set
_
n
e
g
and isl_set_su
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaeg
e
is
l
_transitive_closur
e
.
c: fix docu
m
ent
a
tion of construc
t
_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
la
e
ge
isl_map_coalesce: make sure result stil
l
contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verd
o
o
l
aege
isl_map_tran
s
itive
_
clos
u
re
:
F
l
oyd-Warshall:
prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ver
d
oolaeg
e
isl_map_t
r
a
n
sitive_closure: use
F
loyd-Warsha
l
l on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_
t
r
a
n
s
itive_closure
.
c
:
ext
r
act out isl_set_ove
r
l
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_
map_t
r
ansit
i
ve_closure: p
r
o
ject out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
oola
e
ge
isl_tran
s
itive
_
closure
.
c: construct
_
com
p
onent:
d
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_map_transitive_closure: don't a
d
d length
para
m
ete
r
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
doc: fix t
y
pos
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdool
a
ege
isl_set_gist: make con
t
ext argument
a
n isl_se
t
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l_ma
p
_transitive_closu
r
e:
co
a
lesce i
n
p
ut m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l
_tra
n
sitive_closure
.
c: co
n
struct_componen
t
: a
l
ways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaege
do
c
: cite Omega librar
y
document
a
tion
o
n computa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
erdool
a
ege
add
isl
_
stre
a
m_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l_
a
rg
.
h: add missing
i
nclude
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdo
o
l
a
ege
isl_basic_ma
p
_
move_dim
s
: norma
l
i
ze equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
r
ename isl_map_move to isl_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
i
sl_opti
o
ns
_
parse:
o
n
ly pa
r
se known optio
n
s by default
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdo
o
laege
i
sl_map_c
l
o
s
ure: op
t
ionally use Om
e
ga
-
li
k
e alg
o
rithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_cl
o
sure:
take options
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Ve
r
doolaege
isl_map_affine_hull: handle n
o
n-obvio
u
sly e
m
pty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoo
l
aege
isl_map_compute_divs
:
handle non-obviously
e
mpty inpu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoola
e
ge
i
s
l_basic_set
_
preima
g
e: add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
lae
g
e
isl
_
basic
_
map_set_
t
o_
e
mpty: a
d
d
m
i
s
s
ing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaeg
e
isl_equ
a
lities
.
c: isl_mat
_
v
ariable_co
m
press
i
on: cl
a
rify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
er
d
o
o
laege
isl_sampl
e
.
c:
i
nitial_basis: set n_unbounded
a
nd
n_z
e
r
o
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_coal
e
sce: only use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
ola
e
ge
isl_m
a
p
_print: allow empty
c
o
nstraints
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verdool
a
e
ge
isl
_
options
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdoolaege
isl_arg
.
h
: a
l
low inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_map_tra
n
sitive_clo
s
ure:
h
andle
e
xistentials
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verdo
o
laege
isl_map_deltas: pr
e
serve dime
n
sion
n
ames
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_
m
ap_print:
s
up
p
ort LaTeX o
u
t
put format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_map_s
i
mplify: don't
r
em
o
v
e any di
v
d
efinition
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_map_inte
r
sect:
add special cases for empty
i
n
put
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
i
s
l_transi
t
ive_closure
.
c: p
a
th_along_del
t
a:
share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
i
s
l_tran
s
itive_clo
s
ure
.
c
: path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erdool
a
ege
export isl_qpolynomial_mov
e
_
d
ims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
la
e
ge
add is
l
_qpolyn
o
m
ial_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add
i
sl_
p
w_qpolyn
o
mia
l
_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
ege
add some qpolynomial test
fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
a
d
d isl
_
pw_qpolynomial
_
fol
d
_
{
max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Ver
d
oolaege
isl_tab_mi
n
_at_
m
ost_neg_one: res
t
o
r
e
s
ample
v
alue o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Ver
d
oolae
g
e
isl_map_coal
e
sce: avoid reconsider
i
ng
p
airs con
s
idere
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
r
doo
l
a
e
g
e
i
s
l_tab
.
c:
upda
t
e debugging aid chec
k
_table t
o
presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_ta
b
_relax:
make sur
e
n
o
n
on
-
negative rows get
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
V
e
rdo
o
laege
i
s
l_tab_pip
.
c: always set row sign of fou
n
d row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_printer_print_
b
asic
_
{
s
et,map}: ad
d
cl
o
sing
"}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdo
o
l
aege
export isl_set_
s
pl
i
t_d
i
ms
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
ege
add isl_set_rece
s
sion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doo
l
aege
add i
s
l_
s
et_d
i
m_is_bo
u
n
d
e
d
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoola
e
g
e
isl_map_
t
ransitive_clos
u
re: break ea
r
ly if input ma
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ve
r
doolaege
isl_map_transit
i
v
e
_closure: coalesce
a
fter each ste
p
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
export
isl_pw
_
qpolyno
m
ia
l
_c
o
ale
s
ce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
e
g
e
isl_tab
.
c:
u
nrela
x
:
r
est
o
re row if
v
a
riable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verd
o
olaege
isl_tab
.
c:
c
ut_to_hyperplane: add extra sanity che
c
k
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Ve
r
doolaege
add isl_pw_q
p
ol
y
nomial_fold_siz
e
commit
|
commitdiff
|
tree
2010-03-30
S
ven Ve
r
doolaege
add isl_pw_qpolyn
o
m
i
al_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdo
o
laege
isl
_
qpolyno
m
i
a
l_max: fix detec
t
ion of inact
i
ve variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
doc: fix transitive
cl
o
sure exa
m
ple
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
isl_convex_hull
.
c: valid
_
direc
t
ion: properly no
r
ma
l
i
ze
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
isl_convex_
h
ull
.
c: simpl
i
f
y
c
omputation of
initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdo
o
laege
export is
l
_pw_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
ven V
e
rdoolaege
add isl_pw_qpolynomial
_
fo
l
d_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add i
s
l
_
i
nt_
g
et_d
commit
|
commitdiff
|
tree
2010-03-23
S
ve
n
Verdoolaege
a
dd
i
sl_pw_qpoly
n
omial_min
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n Ve
r
doolaege
add isl_pw_qpolynomial
_
f
i
x
_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
a
dd i
s
l_pw_
q
po
l
ynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
ol
a
ege
export isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaeg
e
isl_pw_qpoly
n
omial_fold_add:
remove redundant qu
a
sipo
l
y
n
omia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
a
e
ge
isl_qpolynomial_alloc
:
take initial s
t
ruct isl
_
upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdool
a
ege
add isl_set_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verd
o
olaege
i
sl_p
o
lynomial
.
c: separate out fold function
a
lity to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_
p
w_
q
p
o
l
ynomial_{fol
d
_,
}
p
r
int:
s
et out
p
ut f
o
rmat
commit
|
commitdiff
|
tree
2010-03-21
Sven Ve
r
doolaege
im
p
rove isl_pw_qpo
l
ynomial_m
o
ve
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoolaege
a
d
d i
s
l_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolae
g
e
add basic isl_pw_qpolynomial
_
f
old_c
o
alesce
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
add isl_pw_qpolynomial_fold_get_
c
tx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl
_
printer_prin
t
_pw_q
p
o
ly
n
om
i
al{,_fold}: allow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoo
l
aege
a
dd isl
_
qpolyno
m
ial_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_pw_qpoly
n
om
i
al_gist a
n
d isl_pw_qpolynomial_fold_g
i
st
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
export isl_m
a
p_
g
ist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
o
laege
add
isl_map_insert
commit
|
commitdiff
|
tree
next