repo.or.cz
/
barvinok.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
barvinok.cc: stop using Polyhedron2Param_SimplifiedDomain
tree
8b2b6bb64d73705d53bf11274f43d506b24a4105
-rw-r--r--
144
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
3756
4coins.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
461
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
6462
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
2086
DomainConstraintSimplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15008
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
6905
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
654
NTL_5_3_2.patch
blob
|
blame
|
history
|
raw
-rw-r--r--
629
NTL_QQ.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3360
README
blob
|
blame
|
history
|
raw
-rwxr-xr-x
120
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
92165
barvinok.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
barvinok
tree
|
history
-rw-r--r--
1558
barvinok_count.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2938
barvinok_ehrhart.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
13964
barvinok_enumerate.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
6468
barvinok_enumerate_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2178
barvinok_union.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
580
basis_reduction.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4146
basis_reduction_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3615
basis_reduction_glpk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3713
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19442
bernstein.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
bernstein
tree
|
history
-rw-r--r--
9607
bfcounter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3699
bfcounter.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1281
collect_nonsimple.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
collect_polytopes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1314
collect_polytopes2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2331
combine.c
blob
|
blame
|
history
|
raw
-rw-r--r--
185
combine.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11424
configure.in
blob
|
blame
|
history
|
raw
-rw-r--r--
3854
conversion.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
584
conversion.h
blob
|
blame
|
history
|
raw
-rw-r--r--
795
count_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9009
decomposer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1264
decomposer.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
5646
dpoly.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1688
dpoly.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14629
edomain.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2791
edomain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2865
ev_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
98792
evalue.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10462
evalue_convert.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
455
evalue_convert.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1620
evalue_util.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
124
evalue_util.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8943
fdstream.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3052
fdstream.h
blob
|
blame
|
history
|
raw
-rw-r--r--
24103
genfun.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2290
genfun_constructor.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2108
genfun_constructor.h
blob
|
blame
|
history
|
raw
-rw-r--r--
50
initcdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
214
initcdd.h
blob
|
blame
|
history
|
raw
-rwxr-xr-x
582
latte2polylib.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
17509
lattice_point.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
731
lattice_point.h
blob
|
blame
|
history
|
raw
-rw-r--r--
77086
lexmin.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
495
lexmin.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
lib
tree
|
history
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
871
mat_util.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
225
mat_util.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26933
maximize.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
184
mpz_divisible_p.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
omega
tree
|
history
-rw-r--r--
6901
options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1235
piptest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7579
piputil.c
blob
|
blame
|
history
|
raw
-rw-r--r--
102
piputil.h
blob
|
blame
|
history
|
raw
-rw-r--r--
586
polyhedron_sample.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
polymake
tree
|
history
-rw-r--r--
904
polysign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
772
polysign.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1311
polysign_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2585
polysign_cdd_template.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1250
polysign_cddf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1215
polysign_polylib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2780
polytope_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
817
polytope_volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1696
randomtest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3868
reduce_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1397
reduce_domain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10899
reducer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4056
reducer.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3075
remove_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
531
remove_equalities.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1150
remove_redundant_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9577
sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21199
scale.c
blob
|
blame
|
history
|
raw
-rw-r--r--
496
scale.h
blob
|
blame
|
history
|
raw
-rw-r--r--
25909
scarf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
5146
test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11146
test_approx.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
-rw-r--r--
42581
util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4169
verif_ehrhart.c
blob
|
blame
|
history
|
raw
-rw-r--r--
289
verif_ehrhart.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4896
verify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1113
verify.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6545
verify_lexsmaller.c
blob
|
blame
|
history
|
raw
-rw-r--r--
617
version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16815
volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
238
volume.h
blob
|
blame
|
history
|
raw