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_map_read_from_str
2010-01-25
Sven V
e
rdoolaege
add isl_map_read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
isl_map_rea
d
_fro
m
_file: a
l
low un
i
ons in
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verd
o
olae
g
e
isl_basic_
m
ap_read: read definit
i
ons of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaege
privately expo
r
t isl
_
basi
c
_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl_bas
i
c_
m
ap_read: read a
f
fine constrain
t
as two
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_input
.
c: o
p
tio
n
ally rea
d
pa
r
ameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
tokenizer:
a
ccept "
a
nd" key
w
ord
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oola
e
ge
e
x
port isl
_
map_read_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
export isl_bas
i
c_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
dro
p
redundant input_format ar
g
u
ment from
r
ea
d
ing fun
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
is
l
_inpu
t
.
c: merge functions for reading PolyLib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_in
p
ut_o
m
ega
.
c: a
c
cept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verd
o
olaege
isl_inp
u
t
_
omega
.
c: p
r
epare for reading param
e
tric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
a
e
g
e
isl_inp
u
t_omega
.
c
:
f
i
nalize
and simplify
re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoola
e
ge
isl_input_ome
g
a
.
c: fix che
c
k for m
e
mo
r
y alloc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_str
e
a
m_
n
ext_to
k
en: skip comment
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoola
e
ge
i
s
l
_tab_
b
asic_map_pa
r
tial_l
e
xop
t
:
properly han
d
le
e
mpt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_b
a
si
c
_map
_
set_to_empty: r
e
move sample (if a
n
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
add
i
sl_s
e
t_fast_i
s
_
e
mpty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolae
g
e
p
roperly remove
pipl
i
b
su
b
m
o
du
l
e
commit
|
commitdiff
|
tree
2010-01-08
S
v
en
Verdoolae
g
e
isl_basic_map_update_f
r
om_tab
:
re-gauss resul
t
ing bmap
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verd
o
o
l
aege
ax_submodule
.
m4: don't l
e
t
--with-module conf
l
ict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoola
e
ge
a
dd
isl_set_
f
ollows
_
at
commit
|
commitdiff
|
tree
2009-12-24
S
v
en V
e
rdoolaege
isl_bas
i
c_set_compa
r
e_at: compute resu
l
t in
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_p
i
p
.
c: add cuts for
a
ll non-intege
r
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
e
n Ver
d
oolaege
isl_bas
i
c_map
_
gist:
don't drop equalities from
context
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ve
r
doolae
g
e
isl_convex
_
hull
.
c: initial_facet_constraint
:
d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
i
s
l_convex_hu
l
l
.
c: is_in
d
epend
e
nt_bound:
n
ormalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
is
l
_convex_hu
l
l
.
c
:
extend: che
c
k
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaeg
e
isl_mat_right_
i
nverse:
be more verb
o
se
o
n e
r
ror condit
i
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
is
l
_
c
onstra
i
nt_dup: mak
e
sure
line refers to eq
u
atio
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
i
sl_
m
ap_intersect: add speci
a
l
case for
a
dding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
com
p
ute set dif
f
erence usin
g
a bac
k
trac
k
ing algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_map_s
u
btrac
t
.
c:
extra
c
t
from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verd
o
olaege
isl_ta
b
:
k
ee
p
t
rack of
i
sl_basic
_
map instead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
a
ege
private
l
y
e
x
p
o
rt isl_b
a
sic_map_con
t
a
ins
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Ver
d
ool
a
e
g
e
add i
s
l_basic_map_add_ineq and
i
sl_basic_map_a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_ta
b
_d
e
tect_redundant: return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
is
l
_
t
ab: add isl_
t
a
b_freeze_con
s
traint
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoolaeg
e
isl_
t
ab_
a
dd_ineq and isl_tab_m
a
rk_empty: re
t
ur
n
s
tat
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add
m
i
s
sing AUTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
Ver
d
oolaege
isl_basic_set_
s
w
ap_va
r
s
:
r
e-g
a
u
ss r
e
sulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
add i
s
l_basic
_
map_first_cons
t
r
a
i
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaege
e
xport
isl_b
a
sic_ma
p
_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
add isl_basic_s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Ve
r
doolae
g
e
isl_map_drop
_
basic_map: consistently
k
ee
p
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en
Verd
o
olaege
isl_
t
ab
:
r
ow is
o
nly (obviously) redunda
n
t
if it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
b
a
sic_map_sim
p
lify: make
sure to rerun
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n V
e
r
doolaege
is
l
_tab_basic_
m
a
p_pa
r
tial_le
x
opt:
u
se
con
t
e
x
t c
o
nst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ta
b
_pip
.
c: ignore dead columns wh
e
n checki
n
g
inte
g
ral
i
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
o
olaege
i
s
l_pip: optionally
perform some
check on the result
s
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
oolaeg
e
put opti
o
ns in a separate isl_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add rudiment
a
r
y
argument pa
r
sin
g
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
ola
e
ge
isl
_
tab_c
o
m
p
u
te_red
u
ced_
b
asis: h
a
ndl
e
e
mpty ta
b
les
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basi
c
_set_
s
olve
_
ilp: handle o
b
viously
e
mpty sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdoo
l
aege
isl_basic_
s
et_solve_ilp: fix
handlin
g
of
s
e
ts with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verd
o
olaege
a
d
d isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoola
e
ge
a
d
d isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
add isl_basic_s
e
t_
f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extr
a
ct
i
s
l
_basi
c
_se
t
_scan from
polytop
e
_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_ba
s
i
c_map_simplify: av
o
id remo
v
al
of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
er
d
o
o
lae
g
e
is
l
_
map
.
c: declare varia
b
le
at start
of code block
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rdoolaege
isl_basic_set_project_out
:
handle rational
s
ets
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
erdoolaege
ad
d
isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_pip: keep cac
h
e
o
f partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
i
sl_tab_
p
i
p: don't
f
ree
isl_sol on
error condi
t
io
n
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
r
do
o
laege
isl_tab
:
s
u
pport generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
e
ge
add i
s
l
_
mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
.
c: rem
o
ve some code dupl
i
cation between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_ma
p
_i
s
_subset: add
s
p
eci
a
l cas
e
for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdoolaege
isl_map_compute_divs
:
ski
p
c
o
mputa
t
ion i
f
divs
a
re
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_is_subse
t
: explo
i
t another ea
s
y special case
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
a
d
d is
l
_map_fa
s
t
_
is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaeg
e
add is
l
_set_si
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
ma
r
k so
m
e functions as requiring
u
se of return
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
isl_tab: improved erro
r
h
a
ndlin
g
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n V
e
rdoo
l
a
e
g
e
i
s
l_tab_pip
.
c:
i
n
cremen
t
ally build recession
c
o
ne of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoola
e
ge
i
sl_ta
b
_pip
.
c:
p
ropagate so
m
e equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
isl_tab_p
i
p
.
c
: d
e
t
e
ct e
q
uali
t
ies i
n
g
b
r co
n
text
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdo
o
lae
g
e
a
dd
i
sl_tab_detect_e
q
ualitie
s
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Ve
r
dool
a
ege
a
d
d
isl
_
t
a
b_set_initial
_
basi
s
_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ver
d
oolae
g
e
isl
_
t
ab_pip: use generalized basis
r
edu
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erd
o
olaege
isl_tab_pip: add generalize
d
basis
r
eduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
i
sl_tab_pip
.
c: extract
out context
handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_t
a
b_pi
p
.
c: add_div:
u
se more
reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n V
e
rdoolaeg
e
isl_t
a
b_basic_
m
ap_par
t
i
a
l
_le
x
opt: remove samp
l
es that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
laeg
e
isl_tab
.
c
:
extract out sa
m
p
les handling from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
ol
a
ege
isl_affine_hull
.
c: u
s
e
t_a
f
fin
e
_hull_bound
e
d: use t
a
bleaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
isl_basic_
m
ap_d
e
tect
_
equalities: keep
track of
s
ample
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
sl_b
a
sic_m
a
p_
d
etec
t
_equalities: o
n
ly compute rec
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdoolaege
isl_tab_s
a
mple:
h
andle
u
nbounded di
r
e
ctio
n
s in
i
nitial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaeg
e
isl_tab_comp
u
t
e
_reduced_basis: handle unbo
u
nded d
i
rection
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
o
olaeg
e
exploit
equa
l
ities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab:
keep (in)equalities of bset (i
f
any) in
s
ync
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
dool
a
ege
isl_tab_sample: be
m
ore v
e
rbose about unbou
n
ded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl
_
tab_sa
m
ple from sa
m
ple_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
sample_bo
u
nd
e
d: reimplement to work
d
irect
l
y on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
ege
is
l
_
t
ab_compute_reduced_basis: work wi
t
h affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoola
e
ge
isl_tab_com
p
ute_reduced
_
basis: allow incremental com
p
utatio
n
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
polytope_sc
a
n: use i
s
l_tab_f
r
om_basic
_
set
commit
|
commitdiff
|
tree
next