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 omega output
2010-01-25
Sven
V
erdool
a
ege
add omega
ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
ad
d
i
sl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
t
es
t
: use isl_set_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
a
e
g
e
add isl
_
set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add isl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_map
_
read_f
r
o
m
_fi
l
e
: allo
w
unions
i
n isl
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic
_
map_rea
d
: read definitions of existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately export isl_basic_m
a
p_add_div_co
n
st
r
ain
t
s
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoolaege
isl
_
basic_map_read:
re
a
d
a
ffin
e
cons
t
r
a
int as t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
isl_input
.
c: opti
o
nally read paramet
e
rs from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
tokeniz
e
r: accept "and" k
e
yword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
olae
g
e
exp
o
rt isl_ma
p
_read_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ex
p
ort isl
_
basic_map_read_fr
o
m
_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
d
rop redundant
input_fo
r
mat
argument from
r
eading funct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_input
.
c:
merge
f
u
nctions for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
is
l
_input_omeg
a
.
c: acc
e
pt PolyLi
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omeg
a
.
c: prepare f
o
r reading parametr
i
c unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omeg
a
.
c: fina
l
ize and simp
l
ify result
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_
i
nput_omega
.
c
: fix
check
f
o
r
m
emory a
l
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_str
e
a
m_next_toke
n
:
s
k
ip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_tab_b
a
sic_map
_
part
i
al_lexopt: properly handle
e
mp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
is
l
_basic_map
_
se
t
_to_
e
mpty:
r
emove sample (
i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
add isl_set_fas
t
_is_
e
mpty
commit
|
commitdiff
|
tree
2010-01-13
Sven
V
e
rdoolaege
properly remove pi
p
lib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_ma
p
_update_from_tab: re-gauss res
u
l
ti
n
g bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdool
a
ege
ax_submodu
l
e
.
m
4: don't let --wi
t
h
-
mod
u
le
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sv
e
n Verdoolaege
a
dd isl_
s
et_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
o
o
laege
isl_basic_s
e
t_compare_at: comp
u
te result i
n
terms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
isl_tab
_
pip
.
c
:
add cuts for a
l
l
n
on
-
i
n
teger coor
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n
Verdoo
l
aege
isl_basic_
m
ap_gist: don'
t
d
r
op equali
t
ies f
r
om contex
t
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n V
e
rdoolaege
isl_convex_hull
.
c: ini
t
i
al_facet_co
n
straint: dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_convex_hull
.
c
:
is_indepe
n
dent_bo
u
nd: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
Verdoolaege
isl_conv
e
x_h
u
ll
.
c: extend:
check hull ar
g
u
m
en
t
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rd
o
olaege
i
sl_mat_right_inve
r
se: be more verbose on er
r
or condition
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
Verdoolae
g
e
i
sl_const
r
a
int_dup: make sure line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Ver
d
oola
e
ge
add co
p
yright
stateme
n
ts
commit
|
commitdiff
|
tree
2009-12-16
Sven Ver
d
oolaege
remov
e
functi
o
ns for converting b
e
twee
n
is
l
a
n
d
PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_tab_solve_lp
:
inve
r
t optimal valu
e
b
a
ck w
h
en c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoo
l
aege
isl
_
map_intersect: add sp
e
cial case for ad
d
in
g
a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
isl_map_is_subset: break
off as s
o
on
as
diffe
r
e
nce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
V
e
rdoolaeg
e
comput
e
s
e
t differe
n
ce using a backtracking a
l
gorit
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
V
erd
o
ola
e
ge
i
s
l
_map_subtract
.
c: extra
c
t
fr
o
m isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
is
l
_
tab:
k
e
ep track o
f
isl_basic_map instead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolae
g
e
privately
e
xport
i
sl_basic_ma
p
_cont
a
in
s
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
a
d
d
isl
_
ba
s
i
c_map_add_ineq and isl_b
a
sic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_tab_d
e
te
c
t
_
red
u
ndant: ret
u
rn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verd
o
ola
e
g
e
is
l
_tab: add
isl_tab_freez
e
_co
n
s
t
raint
commit
|
commitdiff
|
tree
2009-11-29
Sven
Ve
r
doolaege
is
l
_tab
_
a
dd_ineq and i
s
l_tab_mark_
e
mpty: return s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
a
dd mi
s
sing
AU
T
H
ORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
is
l
_b
a
sic_set_swap_va
r
s: re-gauss result
i
n
g
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoola
e
ge
add isl_basic_ma
p
_first_constr
a
i
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaeg
e
ex
p
ort isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
ae
g
e
add isl_b
a
sic_
s
et_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoo
l
a
e
g
e
isl_ma
p
_dro
p
_
basic_map: consistently keep
b
a
sic
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
is
l
_tab: row is only (obviously) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
o
o
laege
isl_basic_map_simpli
f
y: make s
u
re to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olaege
i
s
l_tab
_
basic_map_partia
l
_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pip
.
c
:
ignore dea
d
columns when checking integral
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_pip: optionally perfor
m
some check on
the r
e
sults
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
p
u
t options in
a separate is
l
_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rud
i
m
e
ntary argument parsi
n
g facility
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaeg
e
isl_tab_
c
omp
u
te_reduced_basis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdoo
l
aege
isl_basic_set_sol
v
e
_
i
lp: ha
n
d
le obvious
l
y empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
isl_b
a
s
ic_set_solve_il
p
:
f
ix ha
n
dl
i
ng of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
erdoola
e
ge
add
i
sl_set_remov
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaeg
e
add isl_ba
s
ic_
s
et_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract isl_bas
i
c_set_scan fro
m
po
l
y
tope_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaeg
e
isl_basic_map
_
s
i
mplify: avoid remov
a
l of div def
i
nitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_map
.
c:
declare variable at start of co
d
e b
l
o
c
k
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
isl_basic_set_project_out
:
handle rational set
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
oola
e
ge
ad
d
isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaeg
e
is
l
_tab_pip
:
keep cache o
f
parti
a
l solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
r
doolaege
isl_t
a
b_pip: don't free isl_sol on
e
r
r
o
r con
d
ition
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdo
o
laege
i
s
l_tab: sup
p
ort generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
e
rdool
a
e
ge
add isl_mat_is_e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
erdool
a
ege
isl_tab_pip
.
c: remove some
c
ode
duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_m
a
p_is_s
u
bset
:
add spe
c
ial c
a
s
e for
si
n
g
l
e
ton maps
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
erdoolaege
isl_map_comp
u
te_d
i
vs: ski
p
compu
t
ation if divs
a
re
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_is_subset: exploit another easy
spe
c
ial case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add
isl_map_fa
s
t_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoola
e
ge
ad
d
is
l
_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
m
ark some functio
n
s a
s
requ
i
rin
g
use of retur
n
v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab: imp
r
o
v
e
d
err
o
r handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaeg
e
isl_tab_pip
.
c: incre
m
entally b
u
ild
r
e
ces
s
ion cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoo
l
aege
isl_tab_pip
.
c: propagate so
m
e equalities
from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab
_
pip
.
c: detect equa
l
ities in gbr contex
t
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_detec
t
_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdo
o
la
e
ge
add i
s
l
_
tab_set_in
i
tial_basis_w
i
th_c
o
n
e
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
V
erdoolaege
i
s
l_tab_pip:
u
se gener
a
lized
b
asis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoola
e
ge
i
sl_tab
_
pip: add gen
e
r
a
l
i
z
e
d basis
reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erd
o
ol
a
eg
e
isl_tab
_
pip
.
c:
ext
r
act out
c
ontext
h
a
ndling
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdo
o
la
e
ge
isl_tab_pip
.
c: add_div: use more reliab
l
e
way to
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab_b
a
sic_map_parti
a
l
_l
e
xo
p
t
: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
laege
isl_tab
.
c: extract ou
t
samples handling from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoola
e
ge
is
l
_affine_
h
ull
.
c
:
uset_affi
n
e_h
u
ll_bo
u
nd
e
d
: use tab
l
e
a
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_b
a
s
i
c_ma
p
_d
e
t
ec
t
_equ
a
lit
i
es: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
i
sl_
b
asic_map_detect_equali
t
ies: only comput
e
recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: h
a
nd
l
e unboun
d
e
d directions
i
n ini
t
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verd
o
olaeg
e
isl_tab_compute_reduce
d
_basis: handle unbounde
d
directions
.
.
.
commit
|
commitdiff
|
tree
next