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_stream_read_obj
2010-02-03
Sven Verdoola
e
g
e
isl_se
t
_pr
o
je
c
t_out
:
always upda
t
e dimension,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdo
o
la
e
ge
is
l
_dim
_
join: d
o
n't re
q
uire
n
ames of
jo
i
ned variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
o
laege
a
dd isl_map_from
_
domai
n
_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_stream: tre
a
t "-" as opera
t
or rather t
h
an
a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_ma
p
_read:
a
ccept "strict"
i
n
equalit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl
_
input
.
c: fix memory deallocation pro
b
l
em on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
a
d
d de
p
endence analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdoolaege
add is
l
_
map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
p
rivate isl_
{
se
t
,m
a
p}_make
_
disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
basis_reduction_te
m
p
l
.
c
: fix typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
isl_tab_pip
.
c
: fin
d
_sol
u
t
ions: b
r
eak when
context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdoolaege
isl_dim_eq
u
a
l:
d
on't require name
s
of input
a
n
d
outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
o
olaege
i
s
l_dim_map: p
r
o
perly
d
uplicate
names
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
i
s
l
_dim_drop: properl
y
adjust l
e
n
g
t
h of name
s
arra
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
: a bit m
o
r
e on
i
n
tege
r
s
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n Ver
d
oolaege
d
o
c:
descr
i
be input/output form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
V
e
rdoolaege
add isl
_
cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add ome
g
a outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_test: use isl_set
_
r
e
a
d
_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laeg
e
add
isl
_
set_read
_
f
r
om
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
ool
a
eg
e
add
isl_
m
ap_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_file
:
a
l
low unions
in is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
laege
isl
_
basic_
m
ap_read: read definitions of
e
xisten
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
privately exp
o
r
t isl_basic_m
a
p_add_div_c
o
ns
t
raints
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
V
e
rdoo
l
a
ege
is
l
_
basic_map
_
rea
d
: r
e
ad affin
e
cons
t
rain
t
as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rd
o
olaege
isl_input
.
c:
o
ptionally read parameters fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
e
rdoolaeg
e
t
o
kenizer: acc
e
pt "and" ke
y
wo
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
exp
o
rt isl_map
_
read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_basic_
m
ap_
r
ead_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
dro
p
redundant input_format ar
g
ument from
reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doolaeg
e
is
l
_input
.
c: mer
g
e func
t
ions f
o
r
reading PolyLib a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
aeg
e
isl_
i
nput_o
m
ega
.
c: accept PolyLib inp
u
t
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
isl_inpu
t
_ome
g
a
.
c: prepar
e
for reading
p
a
ramet
r
ic u
n
ion
s
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_input_
o
me
g
a
.
c: f
i
nalize and
simplify res
u
l
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
input_o
m
ega
.
c: fix check for mem
o
r
y
all
o
cation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
is
l
_stre
a
m_next_
t
oken: skip comme
n
t lines
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdool
a
ege
isl
_
tab_basic_map_p
a
rtial_lexopt:
p
roperly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basi
c
_map_set_to_empty:
remov
e
sample
(
if any)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ver
d
oolaege
add i
s
l
_
set_fast_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
S
v
en Ve
r
doolae
g
e
pro
p
e
r
ly remove pip
l
ib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolae
g
e
isl
_
basic_map_up
d
ate_from_tab: re-ga
u
s
s
resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olae
g
e
ax_
s
ub
m
odule
.
m4: don't let --with-module confl
i
ct
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
e
n
Ve
r
do
o
laege
add
isl_set_
f
oll
o
w
s
_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
Verdoolaege
i
s
l_ba
s
ic
_
s
et_compare_
a
t
:
compute result in te
r
ms o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
i
s
l_tab_pip
.
c
: a
d
d
cuts for all non-integer coord
i
nat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdo
o
laege
is
l
_basic_map_g
i
st:
d
on'
t
drop equalities f
r
om context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_conve
x
_hull
.
c: initial_facet_constr
a
int: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
c
o
nvex_
h
ull
.
c: is
_
i
n
de
p
endent
_
b
ound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verd
o
olaege
isl_convex_hull
.
c: e
x
t
e
nd:
c
h
eck hull argumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
is
l
_mat_right_inverse: be
mor
e
ver
b
ose o
n
er
r
or c
o
ndition
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
e
rdoolaege
isl_constraint
_
dup: make sure line re
f
er
s
to e
q
uati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
ven
V
erdoolaege
a
dd co
p
y
r
ig
h
t statements
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdoo
l
aege
remove
func
t
io
n
s for conv
e
rt
i
ng betw
e
en isl and
P
olyLib
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolaege
isl_tab_so
l
ve_
l
p: invert
o
ptimal val
u
e back when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_
m
ap_int
e
rsect: add speci
a
l case for ad
d
ing a
s
i
n
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdo
o
lae
g
e
isl_map_is_
s
ubset: brea
k
off
a
s soon
a
s difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
com
p
ute set dif
f
ere
n
ce us
i
ng a ba
c
ktrack
i
ng algo
r
ithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olae
g
e
isl_ma
p
_subtr
a
ct
.
c: extract fr
o
m isl
_
map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdool
a
ege
i
s
l_t
a
b: keep track
o
f isl
_
basic_map instead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
privately export
isl_basic_map_cont
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdool
a
ege
add isl
_
basic
_
m
ap_add_ineq and isl_basic_map_a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab_dete
c
t_r
e
d
u
n
d
ant: ret
u
rn st
a
tus inste
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_tab: add isl_tab
_
f
r
eeze_
c
onstr
a
int
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n Verdoolaege
isl_tab_a
d
d_
i
ne
q
a
n
d isl_tab_mar
k
_empty: r
e
tur
n
s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Ver
d
oolaege
add missing AUTHORS f
i
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
Ver
d
oolaege
isl_
b
asic_set
_
swap_v
a
rs:
re-gauss resulting
bs
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
Verdoolaege
add
i
sl_b
a
sic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n
Verdoo
l
aege
export isl_basic_map_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdo
o
laege
a
d
d
i
sl_basic_set_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoola
e
ge
i
s
l_map_drop_bas
i
c_map:
c
on
s
istently k
e
ep bas
i
c
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n
Verdoolaege
isl_t
a
b
:
r
o
w is only (obvi
o
usly) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
i
s
l
_
basic_map_s
i
mpli
f
y: ma
k
e sure to rerun Gau
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rd
o
olaege
isl_tab_basic_map_p
a
rtial_
l
exopt: use context
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
V
erdoolaeg
e
isl_tab_pip
.
c:
i
gnore dead col
u
m
n
s
w
h
en checking
integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optionally p
e
r
form some
check
o
n the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
put o
p
tio
n
s in a s
e
p
arate
i
sl_
o
p
t
io
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
ool
a
ege
add rudimentary ar
g
ument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_ta
b
_compute_reduced_bas
i
s: handle empty
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
isl_basic_
s
et_
s
olve_
i
lp: handle obviously empty set
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_
b
asic_s
e
t
_solve_il
p
:
f
ix
h
a
ndling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
ege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl
_
basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
la
e
ge
extract isl_basic_se
t
_scan from p
o
lytope_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
is
l
_
basic_map_
s
implify: avoid
rem
o
val of div d
e
finition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_map
.
c: dec
l
are
v
ariable at start of
code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
isl_basi
c
_
s
et_project_out
:
handle rationa
l
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add isl
_
basic_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_tab
_
pip: kee
p
cache of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oola
e
ge
isl_tab_pip:
d
on'
t
f
r
ee isl_s
o
l
on error
condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
i
s
l_tab: support generic undo r
e
cords
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaeg
e
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
S
ve
n
Verdoolaege
isl_tab_
p
ip
.
c: remove some
c
ode du
p
lication betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_map_is_subset:
add spe
c
ial case
f
or
si
n
gl
e
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
i
sl_m
a
p_compute_
d
ivs: ski
p
computa
t
ion if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
isl_
m
a
p_is_sub
s
et:
e
x
ploit ano
t
her easy s
p
ecial c
a
se
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
a
d
d i
s
l_m
a
p_fast_is_unive
r
se
commit
|
commitdiff
|
tree
2009-10-12
S
ven
Ver
d
oola
e
ge
a
d
d
i
sl_s
e
t
_
siz
e
commit
|
commitdiff
|
tree
next