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
isl_map_transitive_closure: use more relaxed exactness check on acyclic graphs
2010-02-04
Sv
e
n V
e
r
d
oo
l
aege
i
s
l
_
ma
p
_
t
ran
s
itive_closure: use mo
r
e relax
e
d exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven V
e
rdoo
l
ae
g
e
add isl_ma
p
_
p
owe
r
and
i
sl_map_transiti
v
e_closu
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_
m
ap
_
subtract
.
c: make some
internal function
s
static
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdo
o
l
ae
g
e
a
d
d generic is
l
_map_proj
e
c
t
_out
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolae
g
e
add
i
sl_{m
a
p
,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ver
d
o
olaege
rename isl_{
m
ap,se
t
}_add to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_proj
e
ct_out: alway
s
update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_j
o
in:
d
on't require names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
add isl_map
_
fr
o
m
_
domai
n
_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoo
l
a
ege
is
l
_stream
:
treat "-" as op
e
rator
r
athe
r
than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_map_read: accept "strict
"
ineq
u
a
l
ities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c: f
i
x me
m
ory dea
l
locat
i
on problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n V
e
rdool
a
ege
a
d
d dependence analy
s
is
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdo
o
laege
add isl_map_{partia
l
_,}lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdo
o
laege
a
d
d private i
s
l_{set,map}_make_di
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
basis_reduction_tem
p
l
.
c:
fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl
_
t
ab_
p
ip
.
c: find_
s
o
lutions
:
b
r
e
ak
when con
t
e
xt becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoola
e
ge
is
l
_dim_equal:
don't require n
a
mes
of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoola
e
ge
i
sl_dim_map: properly dupli
c
ate names
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl_dim
_
d
r
o
p
: pro
p
erly adjus
t
length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
doc:
a
bit mo
r
e on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: describe inp
u
t/output forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n Verdool
a
ege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_cat tes
t
a
ppli
c
atio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
add o
m
eg
a
o
utput
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdool
a
ege
add isl ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_
t
e
st: use isl_se
t
_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
add isl
_
set_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl_m
a
p_read_f
r
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verd
o
o
laege
isl_map_re
a
d_fr
o
m_file
:
allow
u
n
ions in isl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolae
g
e
i
sl_b
a
s
i
c
_
map_read:
rea
d
definitions of exist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verd
o
o
lae
g
e
privat
e
l
y
export
i
sl_basi
c
_
map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic
_
ma
p
_read: read
affine co
n
s
traint as
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_input
.
c: op
t
ion
a
lly read parameters from
i
np
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
t
o
k
enizer:
a
c
cept "and
"
keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolae
g
e
expo
r
t
i
s
l_map_read_fr
o
m_
f
ile
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
export isl_basi
c
_map_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
d
rop redu
n
dant inp
u
t
_
format argument from r
e
ad
i
ng f
u
nct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
isl_input
.
c: merge functions
f
or
read
i
ng Po
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_input_o
m
ega
.
c
: accept Poly
L
ib input
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
laege
isl_
i
nput
_
omega
.
c: prepar
e
for re
a
d
i
ng par
a
metric unions
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdool
a
ege
isl_input_omega
.
c: finalize and s
i
mpl
i
fy resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
inp
u
t_omega
.
c: fix check fo
r
m
e
mory
a
llo
c
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verd
o
olaege
i
s
l_stream
_
n
ext_token: sk
i
p c
o
mme
n
t li
n
es
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ve
r
doolaege
isl_tab
_
basic_ma
p
_partial_lexopt: properly
handle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
i
sl_basic_map_set_to_empty: re
m
ove samp
l
e (
i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
a
dd i
s
l_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
p
roperly rem
o
ve piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Verdoolaege
isl_bas
i
c_map_
u
p
da
t
e_from_tab:
re-gauss resulti
n
g bma
p
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verd
o
o
laege
ax_submodule
.
m4:
d
o
n
'
t
le
t
-
-
with
-
module co
n
flict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdo
o
la
e
ge
add isl_set_
f
ollows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
laeg
e
isl_
b
asic_se
t
_c
o
mpar
e
_
at: compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verd
o
olaege
is
l
_tab_pip
.
c: add cuts for all non-integer coor
d
i
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
V
erdoola
e
g
e
isl_basic_map_
g
is
t
: don
'
t drop equali
t
ies
f
rom
c
ontext
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdo
o
lae
g
e
isl_convex_hull
.
c: in
i
tial_facet_constraint: dro
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Ve
r
doolaeg
e
isl_convex_
h
u
l
l
.
c: is_indepe
n
d
e
nt
_
b
o
und: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
isl_convex_hull
.
c:
exte
n
d: ch
e
ck
hull argument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoo
l
a
eg
e
isl_
m
at_righ
t
_inve
r
s
e: be
more ver
b
ose on
e
rror condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
ola
e
ge
isl_co
n
straint_dup: make s
u
re line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
o
laege
isl_
m
ap_intersect: add spe
c
ial c
a
s
e fo
r
a
d
d
ing a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdo
o
laege
compute set
difference
u
sing
a
ba
c
ktracking a
l
go
r
ith
m
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl_map_subt
r
act
.
c: extrac
t
f
r
o
m isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_t
a
b: keep track of i
s
l_b
a
sic_map instead of is
l
_
basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
pri
v
ately expo
r
t isl_ba
s
ic_map_c
o
ntai
n
s
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaeg
e
add
i
sl_basic
_
map_add_ineq and
i
sl_basic_map_add_e
q
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n V
e
r
d
o
o
laege
isl_
t
ab_detect_
r
edundant: return status inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_t
a
b:
add isl_t
a
b
_fre
e
z
e
_
c
onst
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
isl
_
tab
_
add_ineq
a
nd i
s
l_tab_mark_em
p
ty: return
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoo
l
a
e
ge
add
missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoolaege
isl
_
b
asic_set_swap_vars
:
r
e
-g
a
uss
result
i
ng bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
aege
ad
d
i
sl_basi
c
_map
_
first_
c
onstrain
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
do
o
laege
ex
p
ort is
l
_
basic_map_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
oolaege
add isl_basic_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaeg
e
isl_ma
p
_drop
_
basic_map: consisten
t
ly keep ba
s
ic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdo
o
laege
isl_tab: row is only (obviou
s
ly) r
e
du
n
dant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdo
o
l
a
e
g
e
isl_basic
_
map_simplify:
make su
r
e to rerun
Ga
u
ss
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Ver
d
o
ol
a
eg
e
isl_tab
_
basic_map
_
partial_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Ve
r
doolaege
i
sl_tab_pip
.
c:
ignore dead c
o
l
u
m
ns when checki
n
g integ
r
a
l
ity
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoo
l
aege
isl_pip: optionally perform some chec
k
on
the results
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ver
d
o
o
l
a
ege
put options in a separate isl
_
opt
i
ons stru
c
ture
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudimenta
r
y argument
parsi
n
g fac
i
lity
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
i
s
l_
t
ab_compute_reduced_b
a
sis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
sl_basic_set_sol
v
e_ilp: handle obviously empty
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_b
a
sic_
s
et_s
o
lve_ilp:
fix handling
o
f sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ola
e
ge
add isl_s
e
t
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
a
d
d isl_b
a
sic_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extr
a
ct is
l
_bas
i
c_s
e
t_scan from poly
t
o
p
e_
s
c
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
isl_b
a
sic
_
map_simplify:
avoid removal o
f
div de
f
i
n
itions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ver
d
oo
l
aege
is
l
_map
.
c: declare variable at
s
t
art of code
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_b
a
sic
_
set_project_
o
ut: handle rati
o
nal s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aeg
e
a
d
d
isl_
b
asic_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_tab
_
pip
:
keep cache
o
f par
t
ial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n V
e
rdoolaege
isl_tab_pi
p
: don't fre
e
i
s
l
_sol on
e
rror condition
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdool
a
ege
i
s
l_tab: s
u
pport
generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
isl_tab_pip
.
c: re
m
ove some code duplicatio
n
between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laeg
e
isl_map_is_s
u
bset: add special case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
ola
e
ge
i
sl
_
map_compute_divs: skip c
o
mputation
i
f divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n V
e
rdoolaege
isl
_
map_is_su
b
set:
e
xploit another e
a
sy
special c
a
se
commit
|
commitdiff
|
tree
next