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 Verdoolaeg
e
add is
l
_map_
p
ower and isl_map
_
transitive_
c
losure
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
d
o
o
l
aege
isl_
m
ap_s
u
btract
.
c:
mak
e
some internal fun
c
t
ions static
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verd
o
o
laege
add gene
r
ic is
l
_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
rename isl_{map,set}_add
t
o isl
_
{map,set}_ad
d
_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_set_project_out: alw
a
ys upda
t
e dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
i
s
l_dim_
j
oi
n
: don't
r
equire n
a
mes of joined v
a
riab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
e
r
doolaege
ad
d
i
s
l_
m
a
p
_
fr
o
m_domain_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolae
g
e
isl_stream: treat "-" a
s
opera
t
or rather
t
ha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
i
sl_map
_
read
:
accept "
s
tri
c
t" inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
isl
_
input
.
c: fix memory
d
e
allocat
i
o
n
problem on
m
issing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en V
e
rdoolaege
add depe
n
d
ence an
a
l
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
erdoolaege
add isl_map_{pa
r
t
i
al_
,
}lex
o
p
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdo
o
laege
add priv
a
te isl_{set
,
map}_m
a
ke
_
disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ve
r
doolaege
basis_reduction_templ
.
c:
f
ix
typo in
comment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
i
s
l_tab_
p
ip
.
c: find_solutions
:
break when co
n
tex
t
bec
o
mes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdool
a
ege
isl_dim
_
e
q
ual: don't
r
e
quire names of input
a
n
d out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
isl_di
m
_
m
ap: properly duplicate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdo
o
lae
g
e
isl_dim_dr
o
p: prop
e
rly adjust length of nam
e
s a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
doc:
a bit
m
ore o
n
integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
do
c
: describe input/output form
a
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
doc: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat test applic
a
t
i
on
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
add omega o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaeg
e
isl_test: use i
s
l_se
t
_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_set_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oo
l
aege
a
dd isl_m
a
p_read
_
fr
o
m_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdo
o
l
a
e
g
e
isl_map_read_fro
m
_file: allow un
i
ons in isl f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
isl_basic_map_read: read def
i
n
i
tion
s
o
f
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
privat
e
ly expo
r
t isl_basic_
m
ap_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl
_
basic_map_read
:
read affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
is
l
_input
.
c: o
p
tionally read pa
r
am
e
ter
s
from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ola
e
ge
tokenizer: ac
c
ept "
a
nd" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
export
isl_
m
ap_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
a
ege
export
isl_basic_map_rea
d
_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaeg
e
drop re
d
undant input_format ar
g
ument f
r
om rea
d
ing fu
n
c
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
oolaege
isl_inp
u
t
.
c:
merge functio
n
s
f
or reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
is
l
_
i
n
p
ut_omega
.
c: acce
p
t
P
ol
y
Lib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
aeg
e
i
s
l
_
input_omega
.
c:
p
repare for reading parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ver
d
oola
e
ge
isl_i
n
put_
o
mega
.
c: f
i
nalize and simpli
f
y
r
e
sult
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
isl_input_omega
.
c: fix ch
e
ck
for
m
em
o
ry all
o
catio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erd
o
ola
e
ge
isl_stream_
n
ext_token: s
k
ip
c
omment line
s
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ver
d
oolaege
isl_tab_
b
asic_ma
p
_
p
art
i
al_lex
o
pt: prop
e
rly han
d
le emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoola
e
ge
isl_basic_map_set_to
_
empt
y
:
remove
s
ampl
e
(if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
S
v
en Verdool
a
ege
prop
e
r
l
y remove pipl
i
b submodul
e
commit
|
commitdiff
|
tree
2010-01-08
S
v
e
n
Verdo
o
la
e
ge
isl
_
ba
s
i
c
_
map_update
_
from_tab: re-
g
auss resulting
bma
p
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verdoolaege
a
x
_
s
ubmodule
.
m4: don't let --with-module conflict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
er
d
oola
e
g
e
a
dd isl_set_follow
s
_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
isl_basic_set_comp
a
re_a
t
: c
o
mpute r
e
su
l
t in
t
er
m
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Ver
d
oolaege
isl_tab_pip
.
c: add cuts for all non-
i
nteger coor
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoola
e
ge
isl_basic_map_gist:
don't
d
rop equalities
f
rom contex
t
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ve
r
d
oolaege
i
s
l_convex_hull
.
c:
initi
a
l_facet_constraint: d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erd
o
olaege
i
s
l_conv
e
x_hull
.
c: is_
i
nd
e
pendent_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ver
d
ool
a
ege
isl
_
co
n
vex_h
u
ll
.
c: extend: check
hull
a
r
gu
m
e
n
t
commit
|
commitdiff
|
tree
2009-12-18
S
ven
V
e
r
doolaege
isl_mat_right_inverse: be mor
e
verbose
o
n
error condition
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
erdoolae
g
e
isl_
c
onstraint_dup: make
s
ure li
n
e refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
isl_map_int
e
r
s
ect:
a
dd special
c
a
s
e for adding a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
l
aege
c
o
mput
e
set
diffe
r
ence us
i
ng a ba
c
ktra
c
king algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Verdo
o
laege
isl_
m
ap_subt
r
ac
t
.
c
: extract from is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdoolaege
isl_tab: keep track
o
f isl_basic_
m
ap i
n
s
t
e
a
d of is
l
_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoola
e
ge
privately export isl_basic_map_co
n
ta
i
ns
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
add i
s
l_basic_map_
a
dd
_
i
n
eq and is
l
_basi
c
_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n V
e
rdoola
e
ge
isl_tab_detect_
r
e
d
undan
t
:
ret
u
r
n stat
u
s instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
s
l_
t
ab: add isl_ta
b
_
freeze_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolaege
isl_
t
a
b
_add_ineq a
n
d is
l
_tab_mark_empty: return stat
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoola
e
ge
a
d
d
m
iss
i
ng AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
isl_bas
i
c_set_swap_vars
:
re-gauss resulting
b
s
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaeg
e
add i
s
l_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
S
ven V
e
rdoolaege
export i
s
l_bas
i
c_map_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olaege
add
isl
_
b
asic_set_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaeg
e
is
l
_map_drop_bas
i
c
_
map: consistently k
e
e
p ba
s
ic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoo
l
aege
isl_tab:
r
ow is
o
nly (obvious
l
y) red
u
ndan
t
i
f
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_basic
_
map
_
simplify
:
make
s
u
r
e
to rerun
G
auss w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_tab_
b
asic_ma
p
_partial_
l
exopt
:
use context cons
t
ra
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolae
g
e
isl_
t
ab_pi
p
.
c: igno
r
e dead columns
w
hen
c
hec
k
i
ng in
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_pip
:
optiona
l
ly perform
s
ome check
o
n the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put options in a separate isl_
o
ptions struc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
a
d
d
rudimen
t
ary ar
g
ument parsing
f
acility
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaeg
e
isl_tab_compute_reduced_
b
a
sis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_basic_set_solve_ilp: h
a
n
d
le obviou
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
r
d
oola
e
ge
isl_b
a
s
ic_set_solve
_
ilp: fix
h
andl
i
n
g
of sets
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
r
d
o
o
lae
g
e
a
d
d
isl_set_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
add isl_s
e
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ve
r
doolaege
add isl
_
basic_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
oolaege
extract isl_basic_s
e
t_
s
can f
r
om po
l
ytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
ic_map_s
i
mplify:
avoid removal of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
map
.
c: declare v
a
riable
at s
t
ar
t
of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
isl_ba
s
ic_set_project_out:
h
andl
e
ratio
n
al sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_bas
i
c_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoolaege
isl_tab_pip: kee
p
c
a
che of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
i
s
l_tab_pip: don't f
r
ee isl_s
o
l on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
g
e
isl_tab: suppor
t
gener
i
c undo records
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Ve
r
doolaege
add isl_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
.
c: remove some code
d
uplicati
o
n
between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
isl_map_
i
s_s
u
b
s
e
t: add s
p
ecial case for
s
i
ngleton ma
p
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olae
g
e
isl_map
_
c
ompute_divs: skip computation
i
f
di
v
s are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
isl_map_is_s
u
bset: ex
p
loit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Ver
d
oo
l
aege
add isl_map_fast
_
is_u
n
iverse
commit
|
commitdiff
|
tree
next