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_pw_qpolynomial_foreach_piece
2010-02-03
Sven V
e
rdoolae
g
e
a
dd g
e
neric is
l
_map_pro
j
e
ct
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaeg
e
a
d
d isl_{
m
ap,set}_ad
d
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolae
g
e
r
e
name isl_
{
map
,
set}_add to isl
_
{ma
p
,set}_add
_
bas
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdoolae
g
e
isl_s
e
t_project_o
u
t: always update dimension
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
i
sl_dim_
j
oin:
don't r
e
quir
e
n
a
mes of j
o
ined var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
a
dd isl_map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_stream: trea
t
"-
"
as operator
r
at
h
er
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_
m
ap_
r
e
ad:
acce
p
t "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
i
s
l_inp
u
t
.
c: fix memory dea
l
location problem on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
add
d
ependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
rdoolaege
add isl_ma
p
_{par
t
ial_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
d
d
priva
t
e isl_{set,map}_make_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
ba
s
is_r
e
d
uction_templ
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab
_
p
ip
.
c: fi
n
d_sol
u
tions:
break when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
isl
_
dim_eq
u
al: d
o
n'
t
r
equire names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Verdoolaege
isl_
d
i
m
_map: pro
p
erly d
u
plicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop
:
prope
r
ly adj
u
st l
e
n
gth of name
s
a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolae
g
e
doc: a
bit m
o
re on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc
:
describe
i
n
put/output for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolae
g
e
ad
d
isl_
c
at test applicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add o
m
e
ga ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaeg
e
a
d
d isl
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl
_
test: use
is
l
_set_rea
d
_
f
rom
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
isl_
s
et_r
e
ad_f
r
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_
m
a
p
_
read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_map_read_from_file: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_b
a
sic_map_read: read defi
n
itions of ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
p
rivately export isl_bas
i
c_map
_
ad
d
_
d
iv_co
n
straints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_ba
s
ic_map_read: read affine
co
n
straint as t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: optiona
l
ly read
p
arameters fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
to
k
enizer: accep
t
"and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_map_rea
d
_from_fil
e
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
export
isl_bas
i
c_ma
p
_
rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verd
o
olaege
drop redund
a
nt
in
p
ut_format a
r
gumen
t
from reading
f
unctio
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl
_
input
.
c:
m
erge functi
o
ns f
o
r readi
n
g PolyLib
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
input_omega
.
c
: accept Po
l
y
Lib
i
nput
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoola
e
ge
i
s
l_input_omega
.
c: prepare fo
r
readi
n
g parametr
i
c
unions
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdool
a
ege
isl_
i
n
put_omega
.
c: finalize and simpl
i
fy resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Verdoolaege
isl_in
p
ut_omega
.
c
:
f
ix
check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oo
l
aege
i
s
l
_stream_next_t
o
ken: sk
i
p comm
e
nt l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoo
l
aege
isl_tab_b
a
sic_map_partial_lexopt: properly handle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
Verd
o
ola
e
ge
i
sl_basic_map_set_
t
o_em
p
t
y: rem
o
ve sampl
e
(if
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_fast_is_
e
m
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
pr
o
perly remove p
i
plib
s
ubmodul
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
is
l
_basic_map_upd
a
te
_
from_tab: re-g
a
uss resulting bma
p
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdoolaege
ax_submodule
.
m4: do
n
't
l
et --with-module conflict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdool
a
ege
isl_
b
asic_set
_
compare_at: compute res
u
lt in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdoolaege
is
l
_tab_p
i
p
.
c
:
ad
d
cuts f
o
r all non-integer co
o
rdina
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdo
o
laege
isl_basic_map_gi
s
t: don't dro
p
e
qualities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
i
s
l_
c
o
n
vex_
h
ull
.
c:
init
i
al_fac
e
t_
c
onstrain
t
: drop al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
isl_
c
onv
e
x_hull
.
c: is_independent_bound:
normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
isl_co
n
ve
x
_hu
l
l
.
c: extend: check hull a
r
g
ument
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolae
g
e
i
s
l
_m
a
t_right_i
n
verse
:
b
e more
verb
o
se on er
r
or conditio
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_dup: make
s
ure li
n
e refers
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoo
l
aege
isl_map_intersect: add
speci
a
l case for addin
g
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoola
e
ge
isl_
m
ap
_
is_subset: bre
a
k off
as soon a
s
dif
f
eren
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoola
e
ge
compute set diff
e
rence using
a backtracking algor
i
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl
_
map_subt
r
a
c
t
.
c
: ext
r
a
ct fr
o
m
isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
ven
Verdoolaege
isl_
t
ab: keep trac
k
of isl_basic_map instead
o
f
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aeg
e
privatel
y
exp
o
rt isl_basic_m
a
p_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
add
isl_basic_map
_
add_ineq and isl_b
a
sic_map_add
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdool
a
ege
i
sl_tab_detect
_
redu
n
dant: return status instead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_tab: a
d
d isl
_
tab_fre
e
ze_constrain
t
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
i
sl_ta
b
_add_ineq and isl_tab_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdool
a
ege
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n Verdoolaege
isl_basic_set_swap_v
a
rs: re-gauss resul
t
i
ng bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Ve
r
doolaege
add isl
_
basic_
m
ap_first_constrain
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export
i
sl_basic_map_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
add is
l
_basi
c
_se
t
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdool
a
ege
isl_map_drop_basi
c
_map:
c
o
nsistent
l
y kee
p
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_tab: ro
w
is
only (obvious
l
y) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_m
a
p_simplify: make sure to re
r
un Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
a
e
ge
is
l
_ta
b
_basic_map_partial_le
x
o
pt:
use context con
s
traint
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
is
l
_tab_pip
.
c
: ignore
dead
c
o
lu
m
ns
w
hen
che
c
king
i
ntegrality
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_pip: optional
l
y
p
e
r
form some c
h
eck
o
n the
r
esults
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoolaeg
e
put opt
i
ons in a separate isl_options struct
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdool
a
ege
add
rudimentary ar
g
ument parsing facilit
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_compute_reduc
e
d_basis: handl
e
e
mpt
y
tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_bas
i
c
_
s
et_solve_ilp: h
a
ndle obviously empty se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
dool
a
ege
is
l
_b
a
sic_set_
s
olve_
i
lp: fix handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add i
s
l_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdoo
l
a
e
ge
add
i
sl_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
add isl_ba
s
i
c
_set_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
e
x
t
r
act isl_basic_s
e
t_sca
n
from polytope
_
scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_
b
a
s
ic_
m
ap_simpli
f
y: a
v
oid removal of div defini
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
olaege
isl_map
.
c
: declar
e
v
ariable at start of co
d
e block
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoo
l
aege
isl_
b
asi
c
_
s
e
t_p
r
oject_out: handle rational set
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add isl_basic_
s
et
_
remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
erdoolaege
isl_ta
b
_
p
ip: keep c
a
ch
e
of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolaege
i
sl_ta
b
_
pip: don't fre
e
isl
_
sol on error
condi
t
ion
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoo
l
aege
isl_tab: sup
p
o
r
t
gene
r
ic un
d
o records
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaege
a
dd isl_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
ola
e
ge
i
s
l
_tab_pip
.
c: remo
v
e some
code duplication betwee
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
o
l
aege
isl_ma
p
_is_subset: add special case for sing
l
e
ton
map
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolae
g
e
isl_ma
p
_co
m
p
u
te_d
i
vs:
skip com
p
utation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl
_
map
_
is_subset
:
ex
p
loit ano
t
her ea
s
y s
p
ecial case
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdoolaeg
e
add isl_map_fast_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
er
d
oolaeg
e
add isl_
s
et_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
mark some functions as requir
i
ng use of retu
r
n value
commit
|
commitdiff
|
tree
next