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: a bit more on integers
2010-01-26
Sven
Verdoo
l
aeg
e
doc: a bit
m
ore on intege
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: d
e
scribe input/o
u
t
put formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
ool
a
e
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_c
a
t t
e
st
a
pplication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
a
dd
isl
o
ut
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_test:
use isl_set_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
lae
g
e
add isl_se
t
_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolae
g
e
a
d
d isl
_
map_read
_
fro
m
_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_map_read_from_file: allow unions
i
n isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_read: read de
f
init
i
ons o
f
e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
privatel
y
export isl_bas
i
c_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
ge
isl_basic_m
a
p_read: read
affine constrain
t
as t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
s
l
_
inp
u
t
.
c
:
op
t
i
onally rea
d
parameters from input
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolae
g
e
toke
n
i
z
e
r
:
accept
"
and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
expor
t
i
sl_
m
ap_read_from_f
i
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
g
e
export isl_basic_ma
p
_
r
e
a
d
_fr
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
dr
o
p redundant i
n
p
ut_format a
r
gu
m
e
n
t
from r
e
ad
i
ng functio
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_input
.
c: merge fun
c
tions f
o
r rea
d
ing PolyL
i
b an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
i
sl_inpu
t
_omeg
a
.
c:
a
c
c
ept PolyL
i
b input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_in
p
ut_omega
.
c:
p
repare fo
r
re
a
ding parametric
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolae
g
e
isl_
i
nput_omega
.
c:
final
i
z
e and si
m
plify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
laege
isl_input_omega
.
c:
f
ix check
f
or
m
emo
r
y al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_stream_next_token:
skip co
m
ment line
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
a
ege
is
l
_tab_basic_
m
ap_par
t
ia
l
_lexo
p
t: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoolaege
isl_
b
asic
_
map_set_to
_
empty
:
rem
o
v
e sample (if a
n
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
add isl_
s
et_fast_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
pr
o
p
er
l
y
r
emove piplib
s
u
b
module
commit
|
commitdiff
|
tree
2010-01-08
S
ven
V
erd
o
olae
g
e
is
l
_ba
s
ic_map_update_from_tab:
r
e-gauss resulti
n
g bmap
commit
|
commitdiff
|
tree
2010-01-01
S
ven Ve
r
do
o
l
aege
ax_s
u
bmodule
.
m4: don't let
--with-m
o
dule conf
l
ict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
a
d
d
isl_set_f
o
llows_at
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
is
l
_b
a
sic_set_
c
ompa
r
e_at: compute res
u
lt in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oolaege
isl_tab_pip
.
c:
ad
d
cuts f
o
r al
l
non-integer coordi
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
e
n Verd
o
ol
a
e
ge
isl_ba
s
ic
_
map_g
i
st: don't drop e
q
ualities
from
c
ontext
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoo
l
aeg
e
isl_convex_hull
.
c: init
i
al_fa
c
et_cons
t
raint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
i
s
l
_
c
onvex_hull
.
c: is_indep
e
ndent
_
bound: no
r
mal
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_c
o
n
v
ex_hu
l
l
.
c: e
x
t
end
:
ch
e
ck hull
a
r
gument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Ver
d
oolaeg
e
isl_mat_r
i
ght_inver
s
e: be more
verbose on error c
o
n
ditio
n
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaeg
e
i
s
l_c
o
nstrai
n
t_d
u
p: mak
e
sure line
r
efers t
o
equ
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoo
l
a
e
ge
isl_map_inter
s
ect: add sp
e
cial case for adding a
s
ingle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
Verdoolaege
comput
e
set differen
c
e using a backtrac
k
in
g
algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Ver
d
o
o
lae
g
e
isl
_
map_s
u
btract
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
i
s
l_tab: keep tra
c
k of
i
sl
_
bas
i
c_map in
s
tead of
i
sl
_
basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
privately export isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaeg
e
add isl_basic_ma
p
_
add_in
e
q
and isl_basi
c
_map_add_
e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
s
l
_tab_dete
c
t_r
e
d
undant:
return sta
t
u
s
inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolae
g
e
isl_tab: add isl_tab_freeze_const
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
i
s
l
_
tab
_
add_ineq a
n
d isl_tab_
m
ark_empty
:
retur
n
stat
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
add missing
AUTHO
R
S
file
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdool
a
ege
isl_basic
_
set_swap_vars:
r
e-gauss resulti
n
g b
s
et
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
rdool
a
ege
a
dd isl_
b
asi
c
_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
oolaege
export isl_basic_map_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaege
add
i
sl
_
basic_set_l
e
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
V
e
rdoolaege
isl_m
a
p_drop_basic_map:
c
ons
i
sten
t
l
y
k
e
e
p b
a
sic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolae
g
e
isl_tab: r
o
w is o
n
ly (ob
v
iously) re
d
undant
if
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
r
do
o
laege
isl
_
ba
s
ic_
m
a
p
_
simpli
f
y: m
a
k
e sure
to
rerun
G
auss w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolae
g
e
isl_tab_basic_map_par
t
ial_
l
ex
o
pt: use context cons
t
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_tab_pip
.
c: ignore dead col
u
mns
w
h
e
n
c
h
ecking
i
ntegral
i
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
is
l
_p
i
p: optio
n
all
y
perform s
o
me ch
e
ck on
t
he re
s
ults
commit
|
commitdiff
|
tree
2009-10-21
S
ven V
e
rdoolaege
put option
s
in
a separate
i
s
l_opti
o
ns
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudimentary
arg
u
m
ent parsing faci
l
ity
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verdoolaege
isl_tab_compute_reduced_basis:
h
a
ndle empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
la
e
ge
isl_
b
a
sic_
s
et_solve_ilp: handle
o
bviously emp
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_bas
i
c_set_solve_il
p
: fix handling of sets w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
ege
add isl_set
_
r
emo
v
e
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
r
d
oolaege
add
isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_ba
s
ic_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
extract isl
_
basic
_
se
t
_
s
can fro
m
po
l
ytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
e
r
d
o
o
l
a
ege
isl_basi
c
_map_simplify: avoid
r
emo
v
al
o
f div defini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_map
.
c: declar
e
v
a
riable at start of co
d
e block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_basic_set
_
p
r
ojec
t
_out: hand
l
e rational
s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl_basic_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
i
sl_t
a
b_pip: keep cache of
partial
s
oluti
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
is
l
_tab_pip: don't fr
e
e isl_sol on e
r
ror
condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
do
o
l
a
e
g
e
i
sl
_
ta
b
:
support
generic undo
re
c
ords
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
a
dd i
s
l_ma
t
_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
V
e
rdoola
e
ge
isl_t
a
b
_
pip
.
c: r
e
move some c
o
de dupl
i
cation be
t
ween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdool
a
ege
isl_map_is_subset: add special ca
s
e fo
r
singl
e
ton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oola
e
ge
isl_map_comput
e
_di
v
s: ski
p
computation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
dool
a
e
ge
isl_map
_
is_
s
ubset: explo
i
t another easy special c
a
se
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
add isl_m
a
p_fast_is
_
unive
r
se
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
Verd
o
olaege
a
dd isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
o
olaege
mark some
functions as requirin
g
use of return
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
do
o
laege
isl_tab: impro
v
ed error handl
i
ng
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
Verdoolaege
isl_tab_pip
.
c:
incrementally build recessio
n
cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
t
ab_pip
.
c
:
propa
g
ate
some e
q
ualities f
r
o
m
gbr co
n
text
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n
Verdo
o
lae
g
e
isl_tab_pip
.
c: d
e
tect eq
u
al
i
ties in gbr
context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
add isl_tab_de
t
ect_equaliti
e
s
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaege
ad
d
isl_tab
_
set_initial_basis_w
i
th
_
cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
Ve
r
doolaege
isl_tab_pip: us
e
generali
z
ed basis re
d
uction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: add generalized basis redu
c
tion
b
ased
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab_p
i
p
.
c: extract o
u
t
c
o
ntext handling
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
er
d
oolaege
isl_tab_
p
ip
.
c: ad
d
_d
i
v
: use more re
l
iable
way to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ver
d
o
o
laege
i
s
l_tab_basic_m
a
p_
p
a
r
tial_l
e
xopt:
r
emove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verd
o
olaege
i
s
l_tab
.
c:
e
xtract out samples handling from isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verd
o
olaege
isl_affine_
h
ull
.
c: uset_
a
ffine_hull_bounded
:
use tabl
e
au
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
e
rdoolaege
isl_basic_m
a
p_detect_
e
q
ualities: keep
t
rack o
f
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_ba
s
ic_map_detect_equ
a
liti
e
s: o
n
l
y
co
m
pute r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
is
l
_tab
_
sam
p
le: ha
n
dle unbou
n
de
d
directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoo
l
ae
g
e
isl
_
tab_
c
omput
e
_reduced_
b
a
sis: handl
e
unbounded directions
.
.
.
commit
|
commitdiff
|
tree
next