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_cat test application
2010-01-25
Sv
e
n Ve
r
do
o
l
aege
a
dd isl_cat
t
est application
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaege
i
sl_test: use isl_s
e
t_
r
ea
d
_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add
i
sl_set_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
add is
l
_
map
_
read_f
r
om
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
l
a
e
ge
is
l
_
map_re
a
d_from_file: a
l
low uni
o
ns in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
o
o
laege
isl_basic_map_read: read definitions of
e
xisten
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oolaege
privately expor
t
i
sl_basic_m
a
p_add_div_constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_read: re
a
d affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl
_
i
n
put
.
c: optiona
l
ly read paramete
r
s fr
o
m inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laeg
e
tokeni
z
er: accep
t
"and
"
k
eywor
d
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oolaege
e
x
port
isl_map
_
read_fr
o
m_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
expor
t
isl_basic_map_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
drop
re
d
undant input_format
a
rgument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
erdoo
l
aege
isl_input
.
c: merg
e
f
unctions for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
ol
a
ege
isl_input_omega
.
c
:
accept Pol
y
Lib
i
np
u
t
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_o
m
ega
.
c: prepare for rea
d
ing parametric unions
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdo
o
laege
isl_
i
nput_omeg
a
.
c: final
i
ze and simp
l
ify r
e
sult
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_input_omega
.
c:
f
i
x
c
heck for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoolaege
isl_stream_
n
ext_t
o
ken: skip c
o
mm
e
nt lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_
t
ab_ba
s
ic_m
a
p_part
i
al_lexopt:
pro
p
erly handle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_b
a
sic_ma
p
_set_t
o
_empty
:
r
e
m
ove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_se
t
_
f
a
st_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
p
roperl
y
remove pipl
i
b
sub
m
odule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ver
d
oolaege
isl_basic_map_update_from_tab: re-gauss result
i
n
g
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
oolaege
ax_su
b
m
odule
.
m4: d
o
n't le
t
--with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
Verdoo
l
aege
add isl_set_fo
l
lows_
a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven V
e
r
d
o
ol
a
ege
isl_bas
i
c_set_compare_at:
compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven V
e
r
dool
a
ege
isl_
t
ab_
p
ip
.
c
:
a
dd cuts f
o
r all non
-
integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_
b
asic_map_
g
i
s
t: do
n
't drop eq
u
alities from cont
e
xt
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n Verdoola
e
ge
i
sl_convex_hull
.
c
: initial_facet_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_convex_hull
.
c
:
is_ind
e
pendent_bound:
nor
m
al
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ver
d
oolaege
isl_co
n
vex_h
u
l
l
.
c:
extend:
check hull
a
rgument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolaege
i
sl
_
mat_r
i
ght_
i
nver
s
e:
b
e m
o
r
e
verbose o
n
error c
o
nd
i
tion
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_cons
t
ra
i
nt_dup:
m
ake s
u
r
e
lin
e
r
efers to e
q
uation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolaege
add c
o
pyright statement
s
commit
|
commitdiff
|
tree
2009-12-16
S
v
en
V
erdoolaege
remove functions fo
r
conver
t
ing bet
w
een i
s
l
a
nd
P
o
l
yLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Ver
d
oolaege
isl_ta
b
_s
o
lve_lp: invert optimal value bac
k
wh
e
n
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
s
l_m
a
p_intersect: add special case for ad
d
in
g
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_is_subset: brea
k
off a
s
s
o
o
n a
s
d
i
ff
e
re
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
eg
e
compute set
difference using a backt
r
acki
n
g algo
r
ithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
i
s
l_map_subtract
.
c: extract f
r
o
m
isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab:
k
eep tra
c
k
of i
s
l_basic_map
i
n
stead of isl_basic_s
e
t
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
privately export i
s
l_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add i
s
l_basic_map_add
_
ineq
a
n
d isl_basic
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
i
s
l_tab_detect_
r
edun
d
a
nt
:
return sta
t
us instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
isl_tab: add isl_
t
ab_
f
ree
z
e_
c
o
n
str
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl
_
t
ab
_
ad
d
_ineq and is
l
_tab_mark_em
p
ty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
a
d
d
m
issing AU
T
HORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoo
l
aege
isl_
b
a
s
ic_set_swap
_
v
a
rs: re-g
a
uss resulting
b
set
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoolaege
add
isl_basic_map_first_
c
onstraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
ool
a
e
ge
exp
o
rt isl
_
basic_map
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
a
dd isl_bas
i
c
_
s
et
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
i
s
l_ma
p
_dr
o
p_basic_map: consistently keep
b
as
i
c map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Ver
d
oolaege
isl_ta
b
: row is only (obvi
o
usly)
redund
a
nt i
f
i
t does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
isl_basic_map_simplify: make sure to rerun
G
aus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
sl_tab_
b
asic
_
m
ap
_
pa
r
tial
_
lexopt:
use conte
x
t constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verd
o
o
laege
i
s
l
_t
a
b_pip
.
c: ignore d
e
ad columns
w
hen checking i
n
t
e
grality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_pip:
o
p
t
iona
l
l
y
perform some
chec
k
on
t
he resu
l
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
put options
i
n
a separate
isl_opti
o
ns
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laeg
e
add rudimentar
y
argument parsing f
a
ci
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdo
o
l
aege
isl_
t
a
b_com
p
u
te_redu
c
ed_basis: handle empty
t
ables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
isl_basic_set
_
solve_ilp: handl
e
obvio
u
s
ly empt
y
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
i
sl
_
ba
s
ic_set_solve_ilp: f
i
x handling
of sets w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
add isl_se
t
_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
o
olaege
add isl
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
extract isl_basic_set_sca
n
from polyto
p
e
_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ver
d
ool
a
ege
isl_basic_ma
p
_sim
p
lify: a
v
oid removal of div definiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_map
.
c: de
c
lare var
i
a
b
le at start of code
b
lock
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoola
e
ge
isl_bas
i
c_set_project_out: handle
r
a
t
iona
l
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl
_
basic_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ve
r
doolaege
isl_tab_pip:
k
e
ep
cache of partial solut
i
on
s
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
isl_t
a
b
_
pip: don't free isl_sol on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdo
o
laege
isl_tab:
s
upport gen
e
ric un
d
o
r
ec
o
rd
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolae
g
e
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
isl_tab_p
i
p
.
c: remove some c
o
d
e dupl
i
cation between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_subset: a
d
d special case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl_map_compute_divs: skip computation
i
f divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
isl_map_is_subset: explo
i
t another
easy sp
e
cial case
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoola
e
ge
add is
l
_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
a
d
d isl_s
e
t_size
commit
|
commitdiff
|
tree
2009-10-12
Sven
Ve
r
d
oolaege
ma
r
k some funct
i
ons a
s
r
equiring u
s
e o
f
r
eturn value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl
_
tab:
impro
v
ed
e
rror handling
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
V
erdoola
e
ge
isl_tab_pip
.
c: i
n
crementally build recession c
o
ne
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl
_
ta
b
_pip
.
c:
p
r
opa
g
ate some equali
t
ies from
g
br context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
i
s
l_tab_pip
.
c
: detect
equali
t
ies in gbr
context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verd
o
olaege
add isl_tab_d
e
tect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aege
add
i
s
l
_tab_se
t
_initi
a
l_basis_with_
c
one
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaege
i
sl_tab_pip: use gener
a
lized basis reduction
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
rd
o
olaege
isl_tab_p
i
p: add
g
eneralized basi
s
reduction ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolaege
isl_tab_pip
.
c: extra
c
t out context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
_
p
i
p
.
c
:
add_di
v
:
u
se more reli
a
ble way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
olaege
is
l
_
t
ab_basic_m
a
p_part
i
a
l
_lexopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab
.
c
:
extract out sampl
e
s handling f
r
om isl_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
sl_affin
e
_hull
.
c: uset_
a
ffine_hull_bounded: use
t
ab
l
eaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdo
o
laege
isl_
b
a
s
i
c_
m
ap_
d
etect_equalities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_b
a
sic_map_detect_equalit
i
es: only co
m
p
u
te recess
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
i
s
l_tab_samp
l
e:
h
a
ndle unbounde
d
d
i
rections in initial
.
.
.
commit
|
commitdiff
|
tree
next