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 private isl_{set,map}_make_disjoint
2010-01-31
Sven Verdoolaege
add priva
t
e
i
sl_{set,map
}
_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_re
d
u
ction_templ
.
c: fix t
y
po in comme
n
t
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdo
o
l
aege
is
l
_tab_pip
.
c: find_solutions
:
break when co
n
text bec
o
me
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ver
d
oola
e
ge
isl_dim_equal: don't require
names
o
f
input a
n
d output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
rdoolaege
isl_dim_map: properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_dim_drop: p
r
operly adjust length
of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
doc:
a
bit
mor
e
on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olaege
doc: descr
i
be input/o
u
tput format
s
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoola
e
ge
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add isl_cat test app
l
i
catio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add
o
mega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add
is
l
output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoolaege
i
s
l
_
t
e
s
t: use isl_set_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verd
o
olaege
add isl_
s
et_
r
e
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add isl_map_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_map_read_fro
m
_file: allow unions in i
s
l format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
s
l_basic_map_r
e
ad: read definitio
n
s of existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
privately expor
t
is
l
_basic_map_ad
d
_div_co
n
s
t
raints
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
isl_bas
i
c_m
a
p_read:
r
ea
d
a
f
fine co
n
straint as tw
o
a
f
f
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdool
a
ege
i
s
l
_
inp
u
t
.
c: optiona
l
ly
r
e
a
d par
a
meters from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ver
d
oolaege
t
okenizer: accept "and" ke
y
w
o
rd
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
V
erd
o
o
l
a
e
ge
expo
r
t i
s
l_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_basic_
m
ap_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
d
o
o
l
aege
drop re
d
undant input_format argument from reading fun
c
t
i
ons
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdool
a
ege
i
s
l_input
.
c: me
r
ge funct
i
ons for
reading Po
l
yLib a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_inp
u
t_omega
.
c
:
accept PolyLib in
p
u
t
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
i
sl_input_omega
.
c: prepare for reading
p
arametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_input_o
m
ega
.
c: fina
l
ize an
d
simp
l
ify res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Ver
d
o
olaege
isl_input_omega
.
c:
fix chec
k
for memor
y
allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
do
o
laege
isl
_
stream_next_toke
n
:
s
kip commen
t
line
s
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verd
o
o
laeg
e
isl_tab_bas
i
c_map_part
i
al_lexopt
:
p
roperly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
Verdoolaege
isl_ba
s
ic_map_
s
et_to_empty:
remove sampl
e
(if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
add isl_set_fast_is
_
em
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
p
r
oper
l
y
remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verd
o
olaege
isl_ba
s
ic_map_update_f
r
o
m
_tab:
r
e-ga
u
s
s resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdool
a
e
g
e
ax_sub
m
odule
.
m
4
: don't let --with-module
c
onflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
Verdoola
e
ge
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_
s
et_co
m
par
e
_at: comp
u
te res
u
lt in term
s
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab
_
p
i
p
.
c: add cuts for all no
n
-
integer co
o
rdinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
Ve
r
dool
a
ege
is
l
_
b
a
sic_map_gist:
d
o
n't dr
o
p equalitie
s
f
rom context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_convex_hull
.
c: initial_facet_
c
onstraint
:
drop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l_convex_hull
.
c: is_independ
e
nt_bound: norm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoo
l
aege
isl_convex_hull
.
c: extend: check hull a
r
g
u
ment
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
i
s
l_mat_right_inve
r
se: b
e
m
o
re verbos
e
on error
cond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_dup: make s
u
re line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
add copyright st
a
t
e
ments
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
remove function
s
for
converting b
e
t
ween
i
sl and
P
olyLib
commit
|
commitdiff
|
tree
2009-12-16
S
ven V
e
rdool
a
ege
isl_tab_solv
e
_lp: invert optimal v
a
lue back when co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
sl_map_i
n
tersect: add s
p
ecial case
f
or addi
n
g a s
i
ng
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
isl_map_is_subset: bre
a
k off as soon as d
i
fferen
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
c
o
m
pute
s
et di
f
ference using a
b
acktr
a
cking algo
r
ithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtra
c
t
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaeg
e
i
sl
_
tab: ke
e
p trac
k
of isl_
b
asic_map instead of isl_basi
c
_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
la
e
ge
privat
e
ly e
x
p
ort isl
_
basic_
m
ap_co
n
t
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaeg
e
add isl_basic_ma
p
_ad
d
_ineq and isl_bas
i
c_
m
ap_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoo
l
aege
i
s
l
_
t
a
b_detec
t
_
r
e
d
un
d
an
t
: return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
e
rdool
a
ege
isl_tab:
a
dd isl_
t
ab_freeze_constr
a
i
n
t
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
isl_t
a
b_add_ineq an
d
isl_tab_mark_emp
t
y:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add
missing A
U
THO
R
S file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
isl_basic_set_swap_var
s
: re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
V
e
rdoolae
g
e
add isl_basic
_
map_fi
r
st
_
cons
t
raint
commit
|
commitdiff
|
tree
2009-11-15
S
v
en V
e
rdoolae
g
e
export isl_ba
s
i
c
_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaeg
e
add i
s
l_basi
c
_s
e
t_le
x
m
ax
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdo
o
lae
g
e
isl_ma
p
_dro
p
_bas
i
c_map:
c
o
n
sistent
l
y
k
eep ba
s
ic
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_ta
b
: row is only (obviousl
y
)
redundant if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Verdoola
e
ge
isl_b
a
sic_map_simp
l
i
fy: ma
k
e sure to re
r
un Gauss
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
isl_tab_basic_map_partia
l
_lexopt: use
c
ontext
const
r
ain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en V
e
rdoolaege
isl_
t
a
b_pip
.
c:
ignore de
a
d
columns when c
h
eckin
g
int
e
gra
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_pip: optionally per
f
o
rm some ch
e
ck on t
h
e re
s
ults
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put options in a separat
e
isl_op
t
ion
s
st
r
ucture
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
add r
u
dime
n
tar
y
ar
g
ument pa
r
sing f
a
cility
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdo
o
l
a
eg
e
i
s
l_tab_comput
e
_reduced_basi
s
: h
a
ndle
empt
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
dool
a
ege
isl_basi
c
_set_s
o
lve_ilp:
h
andl
e
obvious
l
y e
m
pty sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ver
d
oolaege
isl_basic_set_solve_
i
l
p
: f
i
x han
d
ling of se
t
s w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
ge
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_
b
asic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
e
r
doola
e
ge
extr
a
c
t isl
_
basi
c
_
set_
s
can
f
r
om polyt
o
pe_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_ba
s
ic_map_simplify: avoid removal of div
d
e
finit
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
o
olaege
i
sl_map
.
c: decl
a
re vari
a
ble at st
a
rt
o
f co
d
e block
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_basic_set_project_out: handle rational s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdo
o
laege
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdool
a
eg
e
isl_tab_pip: keep ca
c
he
o
f partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_
p
ip
:
don't free isl_sol on error
c
ondition
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
isl_tab:
s
upport generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoo
l
aege
isl_ta
b
_pip
.
c: remov
e
some code duplica
t
ion betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
is
l
_ma
p
_
is_subset:
ad
d
s
peci
a
l case
f
or singleton
maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
i
sl_ma
p
_
compute_di
v
s:
sk
i
p computatio
n
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolae
g
e
isl_map_is_subset:
e
xploit another eas
y
s
pecia
l
case
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
ad
d
isl_map_fast_is_univers
e
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
mark so
m
e
fu
n
ctions as requ
i
ring use of return val
u
e
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
r
d
oolaege
isl_tab: improved error hand
l
ing
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Verdoolaege
isl_ta
b
_pip
.
c
:
incrementa
l
ly b
u
ild re
c
essi
o
n cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl_tab_pi
p
.
c: p
r
opagate some
equ
a
l
iti
e
s
from gbr conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdo
o
laege
isl_tab
_
pip
.
c: detect equalities
i
n
gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoo
l
aege
add
i
sl_tab_det
e
ct_equ
a
lities
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
add isl_ta
b
_s
e
t_in
i
tial_basis_wit
h
_
c
one
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
d
oolaege
isl_tab
_
pip: use gene
r
alized basis reduction
b
ased
.
.
.
commit
|
commitdiff
|
tree
next