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_coalesce.c: fix typo in comment
2010-02-08
S
v
en Verd
o
olaeg
e
isl_
c
o
a
lesce
.
c:
f
ix typo in comm
e
n
t
commit
|
commitdiff
|
tree
2010-02-07
Sven
V
e
rdoolaege
inc
l
ude/
i
sl_int
.
h: argument of
m
p_get_memory_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoola
e
ge
isl_map_read: accept
l
i
s
ts of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
ae
g
e
add isl_mat_from_row_vec and
i
sl_ma
t
_
vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
i
s
l_map_re
a
d: read ex
t
e
n
ded pol
y
lib
f
ormat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d isl_stream_next_toke
n
_on_s
a
m
e
_line
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
is
l
_map_read: m
a
ke sure pol
y
lib constr
a
int
c
oefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
ae
g
e
isl_{map,set}_dim: hand
l
e NULL in
p
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
is
l
_m
a
p_r
e
a
d
: us
e
m
o
re uniform way of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verd
o
olaege
isl_transiti
v
e_clos
u
re
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_
m
a
p_t
r
ansi
t
ive_closure: use mo
r
e relaxed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
ad
d
isl
_
map_power
and isl_m
a
p_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoo
l
ae
g
e
isl_map_su
b
tract
.
c: ma
k
e some internal
f
u
nct
i
o
ns static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
g
eneric isl_ma
p
_pro
j
e
ct
_
o
ut
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
e
rd
o
o
l
a
e
g
e
ad
d
isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
r
e
na
m
e isl_{map,set}_add to isl_
{
map,set}_
a
dd_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_set_
p
roject_out:
always update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdoolaege
i
sl_dim_join: d
o
n't
r
equire names of joi
n
ed var
i
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
olaege
add isl_map_from_dom
a
in_and_
r
an
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
d
oolaege
is
l
_stream
:
treat "-" as
oper
a
tor rather than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_in
p
ut
.
c: fix memory deal
l
oc
a
t
ion
p
roble
m
on
m
i
ssing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
ad
d
dependen
c
e
analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaeg
e
add isl_map_{partial_,}lexop
t
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdool
a
ege
add private isl_{se
t
,map}
_
make_di
s
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
basis_r
e
duction_templ
.
c: fix typo in com
m
e
nt
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoo
l
aeg
e
isl_t
a
b_pip
.
c: find_sol
u
ti
o
ns:
b
reak when context b
e
comes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
i
s
l_dim_equal: don't
r
e
q
uire
n
ames of inpu
t
and o
u
tpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
i
s
l_d
i
m_m
a
p: properly du
p
licate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdool
a
ege
isl_dim_d
r
op: prope
r
ly
a
djust len
g
th of names array
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n
Ver
d
o
olaege
doc: a bit more on i
n
teger
s
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdo
o
laeg
e
doc: de
s
c
r
ibe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdo
o
laege
do
c
: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl_cat tes
t
application
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verd
o
olaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ver
d
oolaege
a
dd i
s
l
ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_tes
t
:
u
se isl_set_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
ge
add i
s
l_s
e
t
_
read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add
i
sl_map_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_map_read_from_file: allow union
s
in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
is
l
_bas
i
c_map_read:
read
definition
s
of existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
ae
g
e
priva
t
ely
e
xp
o
rt isl_basic_map_a
d
d_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_b
a
sic_map_r
e
ad: read a
f
fine co
n
straint as tw
o
aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
e
rdoolaege
isl_input
.
c: opt
i
o
n
al
l
y r
e
a
d
parameters from i
n
put
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdo
o
laege
tokenizer: accep
t
"an
d
"
k
eyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
ool
a
eg
e
export
i
sl_
m
ap_r
e
ad_from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaege
e
x
p
o
r
t
is
l
_basic_map_read_f
r
om
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n V
e
rdoolaege
dr
o
p redundant input_format argument
f
r
o
m
r
eading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_inpu
t
.
c
:
mer
g
e
f
unctions fo
r
r
e
ading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_input_omega
.
c: accept P
o
l
yLib input
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdool
a
ege
isl_input_omega
.
c: prepare f
o
r
reading parametric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
aege
isl_inp
u
t
_omega
.
c: finalize and simpl
i
fy resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
isl
_
input_omega
.
c: fix check for memory alloca
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
i
sl_strea
m
_
n
ext_t
o
ken: skip
comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_tab_ba
s
ic_map_partial_lex
o
pt: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaeg
e
isl_basic_
m
ap_set_to_
e
mpt
y
: remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add i
s
l_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ve
r
doo
l
aege
prope
r
l
y re
m
ov
e
piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
S
v
en V
e
rd
o
ol
a
ege
isl_ba
s
ic_map
_
update_fro
m
_tab: re-gauss
resultin
g
b
m
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x
_submodu
l
e
.
m4:
don't let --wi
t
h-mod
u
le c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
erdoolaeg
e
a
d
d
is
l
_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_set_compar
e
_
a
t: com
p
ut
e
re
s
u
l
t in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaege
is
l
_
tab_pip
.
c: add cuts for all
non-integer coordin
a
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
Verd
o
olaege
isl_ba
s
ic
_
map
_
gist: don'
t
d
rop equalities from
c
ont
e
xt
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_convex_hull
.
c: initial_f
a
ce
t
_constraint:
drop
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_convex_hull
.
c
:
is_
i
n
d
ependent_bo
u
nd: norma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven V
e
rdoo
l
a
ege
isl_conv
e
x_
h
ull
.
c: e
x
tend: check hull argume
n
t
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verd
o
olaeg
e
isl_mat_r
i
ght_
i
nverse: be mor
e
verbos
e
on
e
r
ror conditio
n
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
isl_const
r
ain
t
_dup: make sure li
n
e r
e
fers to e
q
uation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
ven V
e
rdoolaege
a
d
d
copyright
s
tatem
e
nts
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
remove functions for
c
onvert
i
ng b
e
tween
isl
a
nd P
o
ly
L
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
V
e
rdoolaege
is
l
_tab_
s
o
lve_lp: inver
t
optimal
value back
when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoolaege
isl_map_inter
s
ect: add special
case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
isl_m
a
p_is_
s
ubse
t
:
break of
f
as soon as diffe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verd
o
ol
a
ege
comp
u
te set di
f
fe
r
ence us
i
ng a bac
k
tracking a
l
gori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
is
l
_m
a
p_subt
r
act
.
c: extract f
r
o
m
isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab: kee
p
track of
i
sl
_
basic
_
map inste
a
d
of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
privately
e
xport is
l
_basic_map_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add i
s
l_basic_map_add_ineq
and
isl_bas
i
c_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
isl_tab_detect_redundan
t
: re
t
urn
s
tatus inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
i
sl
_
tab: add
i
sl_tab_fre
e
ze_constr
a
i
n
t
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolaege
is
l
_
t
ab_add_ineq an
d
isl_tab_mar
k
_
e
mpty: return
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oolaege
add mi
s
sing AUTHORS
file
commit
|
commitdiff
|
tree
2009-11-29
S
v
en
V
e
rdoolaege
isl_basic_s
e
t_swap_vars: re-gauss resulting b
s
et
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdool
a
ege
add i
s
l_bas
i
c_map_first
_
constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
exp
o
rt isl_basic_map_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
e
rd
o
o
l
aege
add
isl_basic_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en
V
erdoolaege
i
sl_map
_
drop_bas
i
c_map: con
s
iste
n
tly keep b
a
sic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
sl_tab: row is only (obviously) redundant
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl_basic_map_simpl
i
fy
:
make su
r
e to rerun Ga
u
ss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n
V
erdoola
e
ge
i
sl_tab
_
basic_map_pa
r
tial_
l
exopt: use context constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Verd
o
ola
e
ge
isl_tab_pip
.
c: ignore dea
d
columns
w
hen c
h
ecking inte
g
rality
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_pip:
o
pt
i
o
n
ally perform some
c
heck
o
n
the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
p
ut options in a sepa
r
ate
i
s
l_opti
o
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdool
a
ege
add
ru
d
imentary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaege
isl_tab_co
m
pu
t
e_reduced_
b
asis: h
a
n
d
l
e
empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verdoolaege
isl_
b
asi
c
_
s
et_solve_ilp: ha
n
d
l
e obviously
em
p
ty s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_bas
i
c_s
e
t_solv
e
_i
l
p: fi
x
handling of
s
e
t
s wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ol
a
ege
ad
d
isl_
s
e
t
_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
add isl_se
t
_f
i
x
commit
|
commitdiff
|
tree
next