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_transitive_closure.c: fix typo in comment
2010-02-04
Sven Verdoolaege
isl_transitive_
c
losure
.
c: f
i
x typo in
comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
is
l
_map_transitive
_
closu
r
e:
u
se more relaxed e
x
a
c
t
nes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
ege
add isl_map_p
o
wer and isl_map_tr
a
nsitive_
c
losur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_m
a
p
_subtract
.
c: make some internal fu
n
ctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
laege
a
dd generic isl
_
map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
laege
ad
d
isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
renam
e
isl_
{
map,set}_a
d
d
to is
l
_{map,set}_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_set_project_out: always update dimensi
o
n
, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
ege
isl_dim_joi
n
: d
o
n
't r
e
quire names
o
f joine
d
v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
laege
add isl_map_f
r
om_
d
omain_
a
nd_ra
n
ge
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
st
r
e
a
m
: treat "-" as opera
t
or rather tha
n
as
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
ae
g
e
i
s
l_
m
ap
_
r
e
ad:
accep
t
"strict" inequalitie
s
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_i
n
pu
t
.
c: f
i
x memory deallo
c
a
t
ion problem
o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoola
e
g
e
a
d
d depende
n
c
e
analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
ad
d
isl_map_{part
i
al_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
l
a
ege
add
priva
t
e isl_{set,map}_make_
d
i
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
aege
ba
s
is_reduc
t
ion_templ
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c
:
find
_
solutions: break when c
o
ntext become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim_
e
q
u
al:
d
o
n
'
t requ
i
re names of i
n
put
a
nd o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
r
doolaege
isl_dim
_
m
ap:
p
rope
r
ly d
u
plicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
r
doolaege
isl_
d
im_drop
:
pr
o
perly adju
s
t length of n
a
me
s
a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
d
o
c
: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
doc: describe input/outp
u
t formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc
:
f
i
x
t
y
po
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
add isl_
c
at test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doolaege
isl_test
:
use isl
_
s
e
t_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
ad
d
is
l
_set_r
e
ad_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
ad
d
isl_map_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_file:
a
llow u
n
ions in is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laeg
e
isl_basic_map_read: read
d
efinitions of existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdool
a
eg
e
privately e
x
port i
s
l_basic_ma
p
_
add
_
div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
is
l
_basic_map_read: r
e
ad aff
i
ne
c
onstraint as
two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
i
s
l_
i
nput
.
c: opti
o
nally re
a
d parame
t
er
s
from
i
n
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
tokenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
expor
t
isl_m
a
p_rea
d
_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
export isl_basic_map_r
e
a
d
_fro
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
drop re
d
undant input_format argument
from reading funct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
er
d
oolaege
isl_input
.
c: merge fun
c
t
i
ons
for r
e
ading
Pol
y
Lib
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdo
o
l
aege
isl_input_omega
.
c:
accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
V
erdoola
e
ge
isl_input_
o
mega
.
c: prepare
f
or
r
eading parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_inp
u
t_o
m
ega
.
c: finalize
and simplif
y
resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoo
l
a
e
ge
isl_input_o
m
ega
.
c: fix check f
o
r me
m
o
r
y all
o
cation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdo
o
l
a
eg
e
isl_st
r
eam_nex
t
_tok
e
n: skip comme
n
t lines
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaeg
e
i
sl_tab_
b
a
sic_map_par
t
ial_lexopt: p
r
operly han
d
le empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_basic_map_set
_
to_empty: remove sample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oo
l
a
ege
add is
l
_set_fast
_
is
_
empty
commit
|
commitdiff
|
tree
2010-01-13
S
ven Verdoo
l
aege
properly re
m
ove piplib subm
o
dule
commit
|
commitdiff
|
tree
2010-01-08
Sven V
e
rdoolae
g
e
isl_bas
i
c_
m
ap_u
p
dat
e
_fro
m
_tab: re-gauss res
u
l
t
i
n
g bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoolae
g
e
ax_submodule
.
m4: don't let --wi
t
h-
m
odule
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
d
o
o
l
aege
isl_ba
s
ic_set_compare_at: c
o
mp
u
te r
e
s
ult in t
e
rms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdoola
e
ge
isl_tab
_
pip
.
c: add
cuts for all non-intege
r
coordin
a
tes
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
Verdo
o
l
aege
isl_basi
c
_m
a
p
_gist
:
don'
t
drop
equal
i
ties from
con
t
ext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_convex_hull
.
c: initi
a
l_facet_constraint: d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
is
l
_convex_hul
l
.
c: is_independent_bound:
nor
m
a
l
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
i
s
l
_convex_hull
.
c
:
extend
:
check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_
m
at_
r
ight_i
n
vers
e
:
be more verbose on error c
o
ndition
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
isl_co
n
stra
i
nt
_
d
up: m
a
ke sure line refers to
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
e
rdoolaege
add cop
y
right stateme
n
ts
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdo
o
laege
rem
o
ve func
t
ion
s
for
converting between isl an
d
PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven
Ve
r
doolaege
i
s
l
_tab_solve_lp: i
n
vert op
t
imal value back w
h
en co
m
p
u
tin
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verdoo
l
a
ege
isl_map_
i
ntersect: add spe
c
ial cas
e
for adding
a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
is
l
_map_is_su
b
set:
break off as soon as d
i
fference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaeg
e
com
p
ute set di
f
fere
n
ce using a
backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdo
o
laege
isl_map_
s
ubtract
.
c: extrac
t
f
r
om isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_ta
b
: keep track o
f
isl_basic_
m
ap in
s
t
e
ad of isl_
b
asic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
privately
e
xport
isl_basic
_
map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolae
g
e
add isl_b
a
sic_
m
ap_add_ineq and is
l
_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
ven
V
erdoolaege
isl_tab_detect_redundan
t
: retur
n
sta
t
u
s
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven
V
erd
o
olaege
isl_tab: add isl_tab_fr
e
eze
_
c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoo
l
aege
i
sl_tab_ad
d
_ineq and isl_tab_mar
k
_empty: re
t
urn
st
a
tus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
a
d
d
missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
isl_basi
c
_set
_
swap_vars: re-gauss res
u
lti
n
g bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoolaege
add
i
sl_ba
s
ic_
m
ap_f
i
r
st_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
exp
o
rt
isl_basic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven V
e
rdoo
l
a
ege
isl_map
_
d
r
op_basic_map: consistently k
e
ep ba
s
ic
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
isl_tab: row is only
(obvious
l
y) redundant
i
f it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
e
g
e
isl_basic_map_simpl
i
fy: m
a
ke sure to reru
n
Gau
s
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
i
s
l_tab_basic_map_pa
r
tial_lexop
t
: use conte
x
t const
r
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pip
.
c
:
i
gnore dead columns when checking
integrality
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Ve
r
doolaege
isl_pip
:
optio
n
al
l
y
perform so
m
e check on the
r
esults
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdoolaeg
e
put opti
o
ns in a separ
a
te isl_options
s
tructure
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoo
l
aege
add rudimentary argument par
s
ing
fa
c
ility
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
i
sl_tab_compute_reduced_basi
s
: handle em
p
ty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolae
g
e
isl
_
basic_set_solve_ilp: handle obviously
empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_b
a
sic_set_solve_ilp: fi
x
han
d
ling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaeg
e
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
add is
l
_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdo
o
laege
add isl_basic_set
_
fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extr
a
ct isl_basic_set_scan
f
rom
p
olyt
o
p
e_sca
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ver
d
oolaege
isl_
b
asic_map_simplify:
avoid
removal of di
v
definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl
_
map
.
c: de
c
l
a
re
variable at start
o
f
code
block
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verd
o
olaege
isl_basic_set_p
r
oject_
o
ut: h
a
n
dle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
a
e
g
e
add i
s
l
_
b
a
si
c
_set_
r
emo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_tab_pip: keep ca
c
he of par
t
ial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl_tab_pip: don't free isl
_
sol on error c
o
ndition
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Ver
d
oolaege
isl_tab: support generic undo record
s
commit
|
commitdiff
|
tree
next