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_{partial_,}lexopt
2010-01-31
Sven Ver
d
ool
a
ege
add isl_map
_
{parti
a
l_,}le
x
opt
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
r
d
oo
l
aege
a
d
d private isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdo
o
laege
basi
s
_
r
eduction_t
e
mpl
.
c: fix t
y
p
o in commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_tab_
p
ip
.
c
: find
_
s
o
lu
t
i
ons: break when con
t
ext
b
e
comes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
erdoo
l
a
e
ge
isl_dim_equal: d
o
n't requ
i
re
n
ames of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
o
olaege
isl_dim_map: properly
d
uplicate names
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
i
sl_dim_drop: pr
o
perly adjust length
o
f names array
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n Verdoo
l
aege
doc: a bi
t
more
o
n in
t
egers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olaege
d
oc: de
s
cribe input/outp
u
t
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoo
l
aege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
a
d
d
isl_
c
at tes
t
ap
p
l
i
cation
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
a
ege
add omega out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoo
l
aege
a
dd i
s
l output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_test: use isl_se
t
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add isl_
s
et
_
read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
d
o
olaege
add isl_map
_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_map_r
e
ad_from_file: allow unio
n
s
in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_
b
asic_map_rea
d
: read definiti
o
ns of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately export i
s
l_b
a
sic_map_add_d
i
v
_
constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rd
o
ola
e
ge
isl_bas
i
c_map_read: read af
f
ine co
n
strai
n
t
as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_in
p
ut
.
c
:
optionally
r
e
ad p
a
rameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
e
xpo
r
t is
l
_
m
ap_read_fro
m
_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
ae
g
e
export is
l
_basic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdool
a
ege
drop redundant input_format argument from readi
n
g fu
n
c
t
i
o
ns
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
i
s
l_inpu
t
.
c:
m
erge functions for
r
eading
P
olyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolae
g
e
isl_inpu
t
_omega
.
c:
a
c
cept PolyLib
i
nput
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoo
l
a
ege
is
l
_input_o
m
ega
.
c: prepare
for reading p
a
rametri
c
un
i
on
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl_input_omega
.
c: fin
a
lize and simpli
f
y resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_inp
u
t_omega
.
c: fix c
h
eck for me
m
ory alloca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
e
ge
isl_stream_next_
t
o
k
en: s
k
ip c
o
mment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_tab_
b
asic_map_partial_lexop
t
: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
basic_map_set_to_emp
t
y: remove sample (i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
add isl_set_f
a
s
t_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n V
e
rdoolaege
p
roperly remove p
i
plib
submo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
Sven V
e
rdoolaege
is
l
_basic_map_update_from_tab: re-gauss resu
l
ting
b
map
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x_submodule
.
m4: don't
l
e
t
--with-
m
odule confli
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
e
n
Verdoolae
g
e
a
d
d
isl_se
t
_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
doolaege
i
s
l_basic_set_compare_at:
c
o
m
p
ute
r
esult
in terms o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdoo
l
aege
is
l
_tab_pip
.
c: a
d
d cuts for all
n
on-integer
c
o
ordinate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_ba
s
ic_map_gist:
d
on't drop equali
t
i
e
s from conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolae
g
e
isl
_
conve
x
_h
u
ll
.
c: init
i
al_facet_constrai
n
t
: drop a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
isl_convex_hull
.
c: is_i
n
dependent_bound: no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolae
g
e
i
s
l_con
v
ex_hu
l
l
.
c: e
x
tend: check hull ar
g
ument
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n Ver
d
oolaege
i
sl_
m
at_right_inverse:
b
e m
o
re ver
b
ose on error condi
t
ion
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
d
ool
a
ege
isl
_
co
n
str
a
i
n
t_dup: make sure
lin
e
refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
en Ver
d
o
o
l
a
ege
a
d
d copyright
statements
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoolaege
remo
v
e
functions for conver
t
ing between isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_t
a
b
_solve
_
l
p: inver
t
optimal value b
a
ck when c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
d
oolaege
isl_map_intersect: a
d
d special cas
e
f
o
r adding
a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
s
l_ma
p
_i
s
_
s
ubs
e
t
:
break off
as soo
n
as di
f
ference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
ool
a
ege
compute set
d
ifference u
s
ing a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_map_subtrac
t
.
c:
extract
f
rom isl_ma
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
erdoola
e
ge
i
sl_t
a
b
:
kee
p
t
rack
of
isl_bas
i
c_map ins
t
ead of isl_ba
s
i
c
_s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
privately ex
p
ort isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
add is
l
_
b
asic_map_add_i
n
eq and
i
sl_basic_
m
ap_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl_tab_detect_red
u
n
d
ant: ret
u
rn
status inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolae
g
e
isl_tab: add isl
_
tab_free
z
e_con
s
traint
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdo
o
laege
isl_tab_a
d
d_in
e
q
and isl_tab_m
a
r
k
_empty: return
s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en
Verdoolaege
a
dd missing
A
U
T
H
O
R
S file
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rd
o
olaege
isl_
b
a
s
ic_set_swap_vars:
r
e-gauss resulti
n
g bset
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
Verdoolae
g
e
add isl
_
basic_map
_
first_const
r
ain
t
commit
|
commitdiff
|
tree
2009-11-15
S
ven
Verdoolaege
export is
l
_ba
s
ic_map_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
ad
d
isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
isl_map_drop_ba
s
ic_
m
ap: consistently
keep bas
i
c map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdo
o
laeg
e
isl_tab
:
row
is only (obviously) redu
n
d
a
nt
if
i
t d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven
Verdoola
e
ge
isl_basic_map_simp
l
i
f
y: make
s
ure to
r
erun
Gauss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
i
sl_t
a
b
_
basi
c
_m
a
p_partial_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Ve
r
doolaege
isl_ta
b
_
p
ip
.
c
: i
g
n
o
re de
a
d
col
u
m
n
s when checking int
e
g
r
ality
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
o
laege
is
l
_pip:
optionall
y
p
erform some ch
e
ck on the r
e
sults
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
put opt
i
ons
in a se
p
a
rate is
l
_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdoolaege
add rudimenta
r
y argu
m
e
n
t p
a
rsi
n
g facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
i
s
l
_
t
ab_compute_r
e
du
c
ed_b
a
sis:
h
a
ndle e
m
pty tables
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_
b
asi
c
_
set_solve_ilp:
h
a
n
d
le obviously empty
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_basic
_
s
e
t
_
solve_ilp: fi
x
han
d
ling of sets
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolae
g
e
add isl_set_
f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolae
g
e
add isl
_
basic
_
s
et_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
e
xtra
c
t
i
sl_ba
s
ic_set_scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_map_simplify: avoid remov
a
l of div
d
efinitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
d
oolaege
i
sl_m
a
p
.
c:
d
eclare variable a
t
start of cod
e
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_basi
c
_set_proj
e
ct_out
:
handle
ra
t
ional
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add isl_basic_set_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl_tab_pip: keep cach
e
of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoola
e
ge
isl_
t
ab_pip: d
o
n't
f
r
ee isl_so
l
o
n
e
rror condi
t
ion
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: support generic un
d
o records
commit
|
commitdiff
|
tree
2009-10-16
Sven
Ve
r
d
oolaege
add isl_mat_is_e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
i
sl
_
tab_pip
.
c: remove some c
o
de d
u
pl
i
cation between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verd
o
olaege
i
sl_ma
p
_is_subset
:
add special case for sin
g
leton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
i
s
l_ma
p
_
com
p
ute_d
i
vs: skip co
m
p
u
tation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolae
g
e
i
sl_ma
p
_is_subset: exploit another easy special ca
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
a
d
d i
s
l_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
add i
s
l_s
e
t_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
mark some f
u
n
c
tion
s
as requiring
u
se of ret
u
rn value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab:
improved
error han
d
l
i
n
g
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
isl_t
a
b_pip
.
c
: i
n
crement
a
l
l
y build r
e
cession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
o
o
l
a
e
g
e
isl_tab_pip
.
c
: propaga
t
e
so
m
e equ
a
lities
from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
rdoolaege
i
sl_tab_p
i
p
.
c: dete
c
t e
q
ualities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
add isl_tab_dete
c
t
_
e
qualities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
ad
d
isl_tab
_
set_
i
nitial_basis_with_c
o
ne
commit
|
commitdiff
|
tree
next