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 private isl_{s
e
t,map}_mak
e
_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
ba
s
is_reduction_templ
.
c: fi
x
typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c: find_soluti
o
n
s
:
b
r
e
a
k when context b
e
comes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_equal: don't require names of
input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl_dim_map: prop
e
rly
dup
l
ic
a
te nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
i
s
l_dim_drop: prope
r
ly
a
d
j
ust length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc
:
a
bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
g
e
doc:
d
escribe i
n
p
ut/output
f
orm
a
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc:
fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat test applicat
i
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
r
d
oola
e
ge
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_test: us
e
isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
lae
g
e
add isl_map
_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdool
a
e
g
e
i
s
l
_map_
r
ead_from_file: allow
u
n
i
ons in isl for
m
at
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_read:
r
ead d
e
finitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
pr
i
vately export isl_basic_map
_
add_div
_
constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_b
a
sic_ma
p
_
read: read af
f
in
e
cons
t
raint as
two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoolaege
isl_input
.
c: optionally read p
a
rameters
from input
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaeg
e
t
o
kenizer: ac
c
ept
"and" k
e
yw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
export isl_map_r
e
ad_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
export isl_basic_map_
r
ead
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
d
r
op redundant inpu
t
_format ar
g
ument
f
rom r
e
ading f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_input
.
c:
merge f
u
nctions for
rea
d
ing PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
is
l
_inpu
t
_
o
meg
a
.
c: accep
t
P
o
ly
L
ib
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
sl_input
_
ome
g
a
.
c: prepare for
r
ead
i
ng p
a
rametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c: f
i
nalize and simplify resu
l
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_in
p
ut_omega
.
c: fix chec
k
for m
e
mo
r
y
allocatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
lae
g
e
isl_stream_ne
x
t_tok
e
n
:
s
kip comment lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl
_
tab_bas
i
c_map_par
t
ial_lexopt:
properl
y
handle e
m
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_basic_m
a
p_s
e
t_to_e
m
pty: remove s
a
m
ple (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
V
e
r
doolae
g
e
a
d
d isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoola
e
ge
prope
r
ly remove
p
ipli
b
submodul
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolae
g
e
i
sl_basic_ma
p
_
u
pdate_from_
t
ab: re-
g
auss result
i
ng bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doolaege
ax_sub
m
o
d
ule
.
m4: don't
let
--wit
h
-module
conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
Verdoolaege
a
d
d isl_set_follows
_
a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoola
e
ge
i
s
l_basic_set_
c
ompare_at:
c
o
m
pute res
u
lt in t
e
r
m
s of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolae
g
e
isl_ta
b
_pip
.
c: add
c
u
ts for all no
n
-integer
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
Verdoolaege
isl_basic_map_g
i
st:
d
on'
t
drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl_convex_h
u
ll
.
c: initial_face
t
_constra
i
n
t:
drop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
o
l
aege
is
l
_convex_h
u
ll
.
c: is_indep
e
nden
t
_bound: norma
l
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdool
a
ege
isl_c
o
nvex_hull
.
c: extend: check hull
a
rgument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
i
s
l_mat
_
ri
g
ht_inverse: be more
v
erbose
o
n error condition
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verd
o
ol
a
ege
isl_constraint_dup: make sure line
r
e
f
ers
t
o equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolae
g
e
isl_map_i
n
t
e
rs
e
c
t
: add special case for a
d
d
i
ng a s
i
ngle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n Ve
r
doolaege
comp
u
t
e set difference using a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
ve
n
Verdool
a
ege
isl_map_subtrac
t
.
c
:
e
xtract fro
m
i
s
l_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl_tab:
k
eep track of isl_basic_map instead o
f
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Verdool
a
eg
e
priv
a
tely export isl_basic_map_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
r
d
oo
l
aege
add is
l
_basic_
m
ap_add_ineq and i
s
l_basic_map
_
a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
i
s
l_tab_detect_redundant: return
sta
t
us inst
e
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl_tab: add isl_tab_freeze_constrai
n
t
commit
|
commitdiff
|
tree
2009-11-29
S
ven
V
e
r
doolae
g
e
isl_
t
a
b
_add_ineq and isl_tab_mark_emp
t
y
: return s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add missing A
U
THORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set
_
sw
a
p_
v
ars: re
-
g
a
uss re
s
u
l
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n
Verdoolaege
add isl_
b
asic_map
_
f
i
rs
t
_constrai
n
t
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verd
o
o
l
aege
export isl_basi
c
_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laeg
e
a
dd isl_basic_s
e
t
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
isl_map
_
drop_bas
i
c_map: consist
e
ntly k
e
ep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n Verdoolaege
isl_tab: row
is only (obviously) redundant if it do
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
isl_
b
a
sic_map_sim
p
l
ify: make su
r
e to r
e
run
G
auss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
i
s
l
_t
a
b_basic_map_p
a
rtial_le
x
opt: use c
o
nte
x
t constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
aege
isl_tab_pip
.
c: ignore d
e
ad columns when checki
n
g integrali
t
y
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
V
erd
o
olaege
isl_pip: optionally per
f
orm some check on the re
s
u
l
ts
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rdoolaege
p
ut
options in
a
sep
a
rat
e
isl_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
o
ola
e
ge
add rudimentary a
r
gumen
t
p
arsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl
_
tab_comput
e
_reduced_ba
s
i
s:
h
a
ndle empty tab
l
es
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
o
laege
isl_basic_set_solve_ilp: handl
e
obviously empty
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_bas
i
c_set_solve_ilp: fix handling of
s
ets
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
add isl_set_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add
isl_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laeg
e
extract is
l
_basic_set_s
c
a
n
from polytope
_
scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_map_
s
impl
i
f
y
: avoi
d
r
e
moval of div
d
efiniti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
is
l
_ma
p
.
c:
d
e
clare vari
a
ble at start of code b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_project_o
u
t: handle
r
ati
o
n
a
l
s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
add
i
sl_basic_s
e
t_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdo
o
laege
isl_
t
ab_pip: keep cache of partial s
o
l
ut
i
ons
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaege
i
s
l
_tab
_
pi
p
:
don't fr
e
e isl_so
l
on error con
d
it
i
on
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n
Verdool
a
ege
isl_tab: support gen
e
r
ic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add
i
sl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verd
o
o
l
a
ege
isl_tab
_
pip
.
c: r
e
m
ove
s
ome code
d
u
plication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
e
g
e
i
s
l_
m
ap_is_subse
t
: add
special case for
s
in
g
leton
m
aps
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
is
l
_map_compute_div
s
: sk
i
p c
o
mputation if di
v
s are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl_map_i
s
_subset: exploit a
n
oth
e
r easy
s
p
ecial case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
add isl_m
a
p_fa
s
t
_
is_univ
e
rse
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
add isl_s
e
t_size
commit
|
commitdiff
|
tree
2009-10-12
S
ven
Verdoolaege
mark some f
u
nctions as requiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl
_
tab: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
isl_tab_pip
.
c: inc
r
em
e
ntally
build recessio
n
cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_ta
b
_
p
ip
.
c: propagate some equalitie
s
from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
isl_tab_pip
.
c:
detect equalit
i
es i
n
gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
ad
d
isl_tab_detect_equalitie
s
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_ta
b
_set_in
i
tial_
b
asis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
isl_tab_
p
ip:
u
se generalized b
a
sis r
e
duction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaege
i
s
l
_tab_pip: add generali
z
ed basis red
u
c
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdoo
l
a
eg
e
isl_tab_pip
.
c: extract out co
n
text
h
andling
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolaege
isl_tab
_
pip
.
c: add_d
i
v
: use more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_basic_m
a
p_par
t
i
a
l_lexopt
:
remove samples tha
t
.
.
.
commit
|
commitdiff
|
tree
next