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 Ve
r
doolaege
add pri
v
ate isl
_
{set,map}
_
make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
b
asis
_
reduct
i
o
n
_templ
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_tab_pi
p
.
c
: f
i
nd_solutions:
break when
c
ontext becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ve
r
do
o
la
e
ge
isl_dim
_
equal: don't r
e
quire
n
ame
s
of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdo
o
laege
isl_dim_
m
ap: properly
d
uplica
t
e names
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim_drop: properly adj
u
st length of names
a
rra
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaege
doc: a bit more on in
t
egers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
d
o
o
laege
do
c
: des
c
r
i
be input/output fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
r
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
l
aege
add isl_cat test
application
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add omega
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ola
e
ge
add isl
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
t
est: use isl_set
_
read_f
r
om_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdo
o
laege
a
d
d is
l
_
set_re
a
d_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add i
s
l_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doo
l
aege
isl_
m
a
p
_read_from_f
i
le: allow
unions in isl f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ola
e
ge
isl_b
a
sic_map_read: read def
i
nitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
V
erdoolaege
privat
e
l
y
export isl_
b
asic
_
map_a
d
d_div_cons
t
rai
n
ts
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
d
oolaege
i
s
l_basic
_
ma
p
_read: read affine
c
o
nstraint as tw
o
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c:
opti
o
n
a
lly read paramete
r
s fr
o
m input
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
tokeni
z
er: accept "an
d
" key
w
ord
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export
isl_map_read
_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaeg
e
export isl_basic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
dro
p
redundant input_forma
t
a
r
gument from reading fun
c
t
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdo
o
laege
isl_
i
np
u
t
.
c: merge funct
i
ons for re
a
ding PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl
_
input_omega
.
c:
accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
V
erdoo
l
aege
isl_i
n
put_omega
.
c: prepare for r
e
ad
i
ng parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
is
l
_input_ome
g
a
.
c: f
i
naliz
e
and
simpl
i
fy resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven V
e
rd
o
olaege
isl
_
in
p
ut_
o
mega
.
c:
f
ix
check for
memory alloca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_s
t
ream_next
_
token: skip
comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ve
r
d
oolaeg
e
isl_tab_basic_map_
p
artia
l
_lexopt: pro
p
erly handle
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
erdool
a
e
g
e
isl_basic_map_set_to_e
m
pty: remove s
a
mpl
e
(if any)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
d
ool
a
ege
add isl_s
e
t_fas
t
_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n Ver
d
oolaeg
e
prope
r
ly remove piplib su
b
mod
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
e
rdoolaege
isl_basi
c
_map_update_from_tab
:
re
-
g
auss resulting
b
map
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
oola
e
ge
ax_submodule
.
m4: don't let --w
i
th-module con
f
l
ict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
lae
g
e
isl
_
basic_set_compare_at: c
o
mpute resul
t
in terms o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verdoolaege
isl_ta
b
_pip
.
c
:
add cuts for all
n
on-int
e
ger coor
d
i
n
a
t
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_ba
s
i
c
_map_gist: don't dr
o
p equali
t
ies from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_convex_hull
.
c: initia
l
_fa
c
et_const
r
a
int: drop al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
isl_convex_hull
.
c:
i
s_indepe
n
dent_
b
ound:
norma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doo
l
aege
isl_convex_hull
.
c
: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oola
e
ge
isl_mat_r
i
ght_inverse: be more verbose on err
o
r condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_c
o
n
s
traint_dup:
m
a
k
e su
r
e
l
ine
r
efers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_in
t
ersect
:
add special
c
ase for adding a sin
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ve
n
Verdoolaege
isl_m
a
p_is
_
subset: br
e
ak off as so
o
n as differenc
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
olaeg
e
co
m
put
e
set difference us
i
n
g a backt
r
acking algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaeg
e
isl
_
map_subtract
.
c: extract f
r
om isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
o
o
laege
i
sl_tab: k
e
ep track
of i
s
l_basic_map ins
t
ead of isl
_
basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdo
o
laege
privately
e
xport isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_basi
c
_ma
p
_a
d
d_ineq and isl_basic_
m
ap
_
add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_
t
ab_detect_redunda
n
t
: return status i
n
s
t
ead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_tab: add isl_tab_fr
e
eze
_
constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
e
rdoolaege
isl_tab
_
add_ineq
and
isl_tab_mark_empty: r
e
turn s
t
a
tus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolaege
add
m
issing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_
b
asic_set_swap_vars: re
-
gauss
r
e
s
u
lting bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdo
o
laege
add is
l
_basic_map
_
first_const
r
aint
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
e
xport
isl_basic_
m
a
p
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Ve
r
d
o
olaege
a
dd
i
sl_basic_set_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoola
e
ge
isl_ma
p
_
d
rop_basic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab: row is only
(
obviously) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_basic_map_simplify: ma
k
e sure to rerun
G
au
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven
V
er
d
o
o
laege
i
s
l_ta
b
_basic_map_partial_lexopt:
u
se context constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en V
e
rdoolaege
isl_tab_pip
.
c: ignore dead col
u
mns when che
c
king in
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_pip: opt
i
onally
p
erform some ch
e
ck on the result
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdo
o
laege
put options in
a
separate isl_options st
r
uctur
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudimentary argument par
s
ing facility
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl
_
tab_com
p
ute_reduced_basis
:
handl
e
e
m
p
t
y tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
b
asic_set_solve
_
ilp: h
a
nd
l
e o
b
vio
u
s
l
y empty sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven V
e
rdoolaege
i
sl_basic_set_solve_ilp: fix han
d
lin
g
of sets
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
ege
add
i
sl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verd
o
o
lae
g
e
add
i
s
l_s
e
t
_
f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
eg
e
add isl_bas
i
c
_
set
_
f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
extract isl_basic_set_scan from polytope
_
scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoo
l
aege
i
s
l_basic_map
_
simplify: avoid
remova
l
o
f
div de
f
initions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ver
d
oolae
g
e
i
s
l_ma
p
.
c:
d
eclare variable at start of code
b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_basi
c
_set
_
p
roject_ou
t
: handle
r
ational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aeg
e
add isl_
b
asic_se
t
_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_pip: keep
c
ache of parti
a
l s
o
lu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
tab_p
i
p: don't free i
s
l_sol on
erro
r
conditio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: supp
o
rt ge
n
er
i
c
undo records
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
add isl_mat_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
isl_tab_pip
.
c: remove some code
d
uplic
a
tion between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Ve
r
doola
e
ge
isl_map_i
s
_subset: add spec
i
al case for
single
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
i
sl_map_compute_divs:
skip computation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
isl_map_
i
s_subset: exp
l
oit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oo
l
aege
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
add is
l
_set
_
si
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdool
a
ege
ma
r
k
s
o
me
f
un
c
t
i
ons
as r
e
qu
i
ring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoola
e
g
e
i
sl_tab: improved error handlin
g
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab
_
pip
.
c: inc
r
e
mentally build rec
e
ssion cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl
_
t
ab_pip
.
c: prop
a
ga
t
e s
o
me equalit
i
es from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
i
s
l_ta
b
_pip
.
c: detect
e
qualit
i
es in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Ve
r
doolae
g
e
add i
s
l_tab_detect_e
q
u
alities
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
a
d
d isl_t
a
b_set_in
i
tial_basis_
w
ith_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip:
use
g
eneralized basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aege
isl_
t
ab_pip: add ge
n
eralized
b
asis reducti
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erd
o
olae
g
e
is
l
_tab_pip
.
c: extra
c
t out context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_t
a
b
_
p
ip
.
c: add_div: use more rel
i
able way t
o
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
is
l
_tab_basic_map_p
a
rtial_lex
o
pt
:
remove s
a
mples that
.
.
.
commit
|
commitdiff
|
tree
next