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_stream_read_obj
2010-01-31
Sv
e
n Ver
d
oolaege
add
isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set,map}
_
make_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdo
o
l
aege
b
asis_reduction_templ
.
c
:
f
i
x typo i
n
co
m
ment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
i
s
l_ta
b
_pip
.
c:
f
ind_solutions
:
b
re
a
k when
context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
i
sl_dim_equal: don
'
t
requir
e
names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verd
o
o
laege
isl_di
m
_map: p
r
operl
y
d
uplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl_di
m
_
drop: pr
o
perly adjust length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaege
d
o
c
:
a bit mor
e
o
n
inte
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
V
e
rdo
o
l
a
ege
doc
:
describ
e
i
n
put/
o
utput formats
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoo
l
aege
add is
l
_cat t
e
st application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
aege
add
isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_tes
t
: use
i
sl_set_rea
d
_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
isl_map_read
_
fro
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_map_read_fr
o
m_file
:
allo
w
unions in isl
f
ormat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
is
l
_b
a
sic_map_
r
ead: read de
f
initions of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoolae
g
e
privat
e
ly exp
o
rt i
s
l_ba
s
ic_map_add_div_c
o
nst
r
ai
n
ts
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
basic_
m
a
p
_
read: read aff
i
ne constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_i
n
p
u
t
.
c
:
optional
l
y rea
d
pa
r
ame
t
ers
f
r
om input
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
erdo
o
laege
tokeni
z
e
r
:
a
c
cept
"
and" k
e
yword
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
oola
e
ge
exp
o
rt isl_map_read_from_fil
e
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
exp
o
rt isl_basic_ma
p
_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop
r
e
dundant input_for
m
at argument from reading fu
n
ctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl_in
p
ut
.
c:
m
erge functions for read
i
ng PolyLib
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdool
a
ege
isl_input_omeg
a
.
c: acc
e
pt PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
isl_input
_
omega
.
c: pre
p
are
f
or
r
eading parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl_
i
nput_om
e
ga
.
c:
finalize and
s
implify
r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
i
s
l_input_o
m
e
ga
.
c: fix check for me
m
or
y
al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
V
e
rdoolaege
isl
_
stream_next_token: skip
c
omment l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoo
l
aege
i
s
l
_
t
a
b
_
basic_ma
p
_par
t
ial_lex
o
pt: proper
l
y hand
l
e
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laeg
e
isl_basic_m
a
p_
s
et_
t
o_empty: remove
s
ample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
add isl_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ver
d
oolae
g
e
p
r
operly remove
p
ip
l
i
b submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ver
d
o
o
l
a
ege
isl_basic_map_u
p
date_
f
r
om_tab
:
re-
g
auss re
s
ulting bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
S
ven Ver
d
oolaege
ax_su
b
modul
e
.
m4:
don't let -
-
with-module conflict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Verdool
a
ege
add
i
sl_set
_
follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdool
a
ege
isl_basic_se
t
_com
p
are_at
:
c
o
mpu
t
e r
e
sul
t
in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oo
l
aege
isl_tab_pip
.
c:
a
d
d cuts
f
o
r
a
ll no
n
-integ
e
r coordina
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n V
e
r
doolaege
is
l
_basi
c
_map_gist
:
d
on't drop equa
l
it
i
es from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
isl_convex
_
h
ull
.
c: initial_facet_const
r
aint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
V
e
rdoolaege
is
l
_conv
e
x
_hull
.
c
:
is_independ
e
nt_bound: norma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
ola
e
ge
isl_conv
e
x
_hull
.
c
:
ex
t
end: che
c
k hull
a
rgum
e
nt
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
i
s
l_m
a
t_
r
igh
t
_i
n
verse:
b
e more verbose on
e
rror condition
commit
|
commitdiff
|
tree
2009-12-18
S
ve
n
V
erdoolaege
is
l
_constraint_dup: make s
u
r
e l
i
ne r
e
fers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
V
erdoo
l
ae
g
e
i
s
l_m
a
p_intersect: add spe
c
i
a
l case for adding a si
n
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
c
om
p
ute set di
f
fer
e
nce using a
b
a
c
ktracking algorith
m
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
i
sl_map_subt
r
act
.
c: ext
r
act fro
m
i
sl_
m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
ol
a
ege
isl_tab: keep track of isl_basi
c
_map
instea
d
of isl_basic_s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
p
rivately expo
r
t is
l
_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verd
o
ol
a
ege
add isl_basic_map_add_ineq
and
isl_basi
c
_map_
a
dd_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
o
o
l
a
ege
isl_tab_detect_redun
d
an
t
: ret
u
rn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
a
ege
isl_t
a
b: add
i
sl_tab_f
r
e
eze_co
n
straint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
i
s
l_ta
b
_add_ineq and isl_tab_m
a
rk_empty:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdoolaege
add missing
A
U
T
HORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
isl_basic_set_swap_
v
ars:
re-gauss resu
l
ting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdo
o
laege
a
dd
i
s
l_basic_ma
p
_first_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
S
ven
V
erdoola
e
g
e
export isl_
b
asic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
e
rdoolaege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verd
o
olaeg
e
isl_ma
p
_drop
_
basic_
m
ap: consis
t
ently keep b
a
si
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
l
aeg
e
is
l
_tab: r
o
w
is only (obviously) redun
d
ant if i
t
d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_m
a
p_
s
implify: mak
e
sure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_tab_basic_map_partia
l
_lex
o
pt:
use
c
ont
e
xt constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven
V
erdoolaeg
e
isl_
t
ab_pip
.
c: ignore dead columns when
checking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optionally perform s
o
me check on the r
e
sults
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put
o
ptions
in a separate
i
sl_option
s
struct
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd ru
d
imentary argument
parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
t
ab_c
o
m
p
ute_reduced_bas
i
s: handl
e
em
p
ty table
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
ic_set_sol
v
e_i
l
p: han
d
l
e
o
bviou
s
l
y empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic
_
se
t
_
solve_ilp: f
i
x handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolae
g
e
a
dd isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basi
c
_
s
et_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract isl_basic
_
se
t
_sca
n
from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdo
o
laege
i
s
l_basic_m
a
p_si
m
p
l
ify: avo
i
d rem
o
val of div d
e
finitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_map
.
c: de
c
lare
v
ariabl
e
at
s
t
art of code bloc
k
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
a
ege
isl_basic_s
e
t_
p
roject_out: ha
n
dle ratio
n
al sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verd
o
olaeg
e
add
i
s
l
_basic
_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
is
l
_tab_p
i
p
:
ke
e
p c
a
che o
f
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n Verdoolaege
isl_tab_p
i
p: don'
t
free isl_sol on e
r
ror condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_tab: support
g
eneric und
o
re
c
ords
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
add isl_mat_is
_
eq
u
al
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
isl_tab_pip
.
c: re
m
ove som
e
co
d
e
d
uplicat
i
on
b
etween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
isl
_
map_is
_
subset: add
s
p
e
cial case for sing
l
eton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
a
e
ge
isl_map_co
m
p
u
te_divs: skip computatio
n
i
f
divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdo
o
la
e
ge
isl_map_
i
s_subset: e
x
ploit
a
n
othe
r
e
a
sy specia
l
case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
add isl_map_fast_is_univer
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoola
e
ge
mark some function
s
as req
u
iring
use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven
Ver
d
o
o
laege
isl_tab: improved err
o
r handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_ta
b
_
p
i
p
.
c: incr
e
menta
l
ly build
r
e
cession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
isl_tab_pip
.
c: pr
o
paga
t
e some equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
V
erdoolae
g
e
i
s
l_tab_p
i
p
.
c: det
e
ct equalities in gbr
c
o
n
text o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aege
add
i
sl_ta
b
_de
t
e
c
t_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdo
o
l
aege
add isl_tab_set
_
initial
_
basis_
w
it
h
_c
o
ne
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Ve
r
doolaege
isl_tab_pip
:
use gen
e
r
alized b
a
sis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
isl_tab_pip: add generalized basis
r
eduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oola
e
ge
isl_tab_pip
.
c: extr
a
ct out
c
o
n
t
ex
t
handling
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
i
sl
_
tab_pi
p
.
c: add_div: use m
o
re
r
eliable way
t
o
test
.
.
.
commit
|
commitdiff
|
tree
next