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
doc: describe input/output formats
2010-01-26
Sven Ve
r
doolaege
doc:
d
es
c
ri
b
e inp
u
t/outpu
t
f
ormats
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add isl_
c
a
t
test
applicatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
a
dd omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
aege
a
dd isl o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_test:
use
i
sl_
s
et_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add i
s
l_
s
et_read_
f
rom_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d isl_
m
ap_read_from
_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
isl_m
a
p_r
e
a
d_from_file: allow unio
n
s in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_basic_
m
ap
_
read: re
a
d de
f
inition
s
of
exist
e
nti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
private
l
y e
x
port isl_basic_m
a
p_add_div_
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
ge
isl_basic_map_read: read aff
i
ne co
n
str
a
in
t
as
t
wo
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoo
l
aege
i
s
l
_input
.
c
: optionally read p
a
rame
t
ers from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
r
d
o
o
laege
t
o
ken
i
zer
:
accep
t
"an
d
"
k
ey
w
o
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
e
x
p
ort i
s
l_map
_
read_f
r
om_file
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdo
o
laege
exp
o
rt
i
sl_basic_map
_
read_fro
m
_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
drop
r
edund
a
nt in
p
ut_form
a
t
a
r
gument from read
i
ng fun
c
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl
_
input
.
c: merge
f
unction
s
f
o
r readi
n
g PolyLib a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaeg
e
isl
_
input_ome
g
a
.
c
:
accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaeg
e
i
s
l_input_o
m
ega
.
c: prepar
e
for reading para
m
e
t
ri
c
unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_input_omega
.
c: fi
n
a
l
ize and simpl
i
f
y
result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoolae
g
e
isl_i
n
put_omega
.
c
: fix check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_st
r
eam_next_t
o
ken: skip
comment li
n
es
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
tab_ba
s
ic_m
a
p_partial_
l
e
xopt: properly h
a
ndle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olae
g
e
isl
_
b
a
sic_map_set_to_empty:
remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
add isl_set_fast_i
s
_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
pro
p
erly
r
e
move piplib submodul
e
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
e
r
d
o
o
lae
g
e
isl_basic_map_update_
f
rom_
t
ab: re-gauss resulti
n
g bma
p
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
ax_submodule
.
m4: don
'
t
l
et -
-
w
i
th-mo
d
u
le conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Ver
d
oolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
laege
isl_basic_set_comp
a
re_at:
compute re
s
ult in terms o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
l
a
ege
is
l
_
t
a
b_
p
i
p
.
c: add cuts fo
r
al
l
n
o
n-integer
c
oordi
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
Ve
r
doolaege
isl_b
a
sic
_
map_g
i
st
:
don't
d
rop equa
l
it
i
es
from context
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
V
erdoolaege
isl_conv
e
x_hu
l
l
.
c:
init
i
al_
f
acet_cons
t
ra
i
nt:
drop al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolaege
isl_convex_hull
.
c: is
_
indep
e
ndent_bound
:
n
o
rmal
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
Verdool
a
ege
i
s
l
_conv
e
x
_
hull
.
c:
e
xtend: ch
e
ck hull
argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_mat_rig
h
t_inverse: be
more
v
e
r
b
o
se on error condition
commit
|
commitdiff
|
tree
2009-12-18
S
ven
V
e
r
dool
a
ege
isl_constraint_d
u
p:
make
sure line re
f
ers
t
o equa
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Ve
r
doolaege
add copyrigh
t
statements
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdoolaege
remove
functions
f
or convert
i
ng between
isl
a
nd PolyLib
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n Verdoolaege
isl_tab_solve
_
lp: invert optimal value back wh
e
n comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaeg
e
is
l
_map_intersec
t
: add
special
c
ase for adding a s
i
ngle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Ver
d
oo
l
aege
isl_map_is
_
subset: break off as soon as differ
e
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
compute set dif
f
erence using a
b
acktracki
n
g algor
i
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtract
.
c: extract from isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
i
s
l_tab: keep tr
a
ck
o
f isl_basic_m
a
p instead of isl_basi
c
_set
commit
|
commitdiff
|
tree
2009-12-07
S
ven Ve
r
doolae
g
e
p
r
i
vately ex
p
ort
isl_bas
i
c_map_contain
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add
i
sl
_
basic_map_
a
dd_i
n
e
q and is
l
_basic_map_add_
e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
ol
a
ege
isl_tab_detect_redunda
n
t
:
return status i
n
stead
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab
:
add isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
s
l_t
a
b_
a
dd_ineq and isl_ta
b
_mark_empty: r
e
t
u
rn statu
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
Ve
r
d
o
ola
e
ge
add missing AUTHO
R
S file
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erd
o
o
l
a
ege
isl_b
a
sic_set_swap_vars: re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl_
b
asic_map_first
_
c
o
nstrai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n
Ve
r
doolaege
ex
p
ort isl
_
basic
_
map
_
lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
add i
s
l_ba
s
ic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
isl_map_drop_bas
i
c_map:
consistently keep basic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_
tab: ro
w
is on
l
y (obviousl
y
) red
u
n
dant i
f
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
g
e
is
l
_ba
s
ic
_
map_si
m
plif
y
:
make sure to rerun Gauss
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
r
d
oolae
g
e
i
sl_tab_bas
i
c_map_p
a
rtial_lexopt: use con
t
ext constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaeg
e
isl_tab_pip
.
c: ignore dead
columns when checking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_pip: optionally perform so
m
e
check
o
n th
e
r
e
sults
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
put options
in
a separa
t
e isl_op
t
io
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudimentary argu
m
ent p
a
rsing
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_compute_
r
educed_ba
s
is: ha
n
dle em
p
ty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
i
s
l
_basic_s
e
t_s
o
lve_ilp: h
a
ndl
e
obviously
e
mpty set
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl
_
basic_s
e
t
_
s
o
lve_il
p
: fix hand
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdoolaege
a
d
d isl
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdool
a
ege
a
d
d isl_
b
asic_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
e
x
tract isl_b
a
s
i
c
_set_s
c
an f
r
om polytope_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolae
g
e
isl_basic_map_simpl
i
f
y: avoid rem
o
val
of
d
iv de
f
initio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verd
o
olaege
isl_map
.
c
: declare variable a
t
start of code bloc
k
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
olaege
is
l
_basic
_
se
t
_project_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Ve
r
doolaege
add
isl_basic_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaege
isl_tab_pip: keep cache
o
f pa
r
tial solutions
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdo
o
lae
g
e
isl_tab_
p
ip: don'
t
free is
l
_sol
on err
o
r condition
commit
|
commitdiff
|
tree
2009-10-16
S
v
en V
e
r
doo
l
aege
is
l
_
tab: supp
o
rt
g
eneric undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
ola
e
ge
add isl_ma
t
_is_
e
qual
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verd
o
ol
a
ege
isl_tab_pip
.
c: remove
s
ome c
o
de duplicat
i
o
n between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
m
ap_is_subset: add spec
i
al case for singleton
m
aps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
sl_map_
c
o
mput
e
_
divs: s
k
ip com
p
utatio
n
if di
v
s are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
is
l
_map
_
is_subset:
e
xp
l
o
it another easy
s
pe
c
i
a
l case
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdoo
l
aege
add
i
sl_map_f
a
st_i
s
_un
i
verse
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
add isl_set_si
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some f
u
nctions as requir
i
n
g
use
o
f
retur
n
value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
isl_ta
b
: imp
r
o
ve
d
e
r
ror
h
andl
i
ng
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_p
i
p
.
c
:
incremen
t
ally buil
d
recession
cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
is
l
_tab_pip
.
c
:
propagate so
m
e equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoola
e
ge
isl
_
t
ab_pip
.
c:
de
t
ect equalities in gbr
co
n
tex
t
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_ta
b
_detect_equalitie
s
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
V
e
rdoolaege
add isl_tab_set_in
i
tia
l
_
bas
i
s_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: use
g
enerali
z
ed basis reduc
t
ion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
isl_tab_pi
p
: add g
e
ner
a
lized basis reduction base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdool
a
ege
isl_tab_pip
.
c:
e
xtract o
u
t contex
t
hand
l
ing
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
isl_tab_pip
.
c: add_div: use more r
e
liable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdoolae
g
e
isl_ta
b
_ba
s
ic_ma
p
_pa
r
tial_lexopt: remove samp
l
es that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_tab
.
c: extr
a
ct out samples
handli
n
g
f
rom
isl_
t
a
b
_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_affine_hull
.
c: uset_affi
n
e_hull_bounded: us
e
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
isl_basic_ma
p
_detec
t
_equalities: keep
track of s
a
mple
commit
|
commitdiff
|
tree
next