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
)
bernstein/src/TODO: remove; everything has been done
tree
ba118b179a300f5d5e5b6956c94903e200acea2c
-rw-r--r--
3709
4coins.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
5682
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
2088
DomainConstraintSimplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4494
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
654
NTL_5_3_2.patch
blob
|
blame
|
history
|
raw
-rw-r--r--
287
NTL_QQ.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3063
README
blob
|
blame
|
history
|
raw
-rwxr-xr-x
120
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
91177
barvinok.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
barvinok
tree
|
history
-rw-r--r--
1585
barvinok_count.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3509
barvinok_ehrhart.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2301
barvinok_enumerate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10268
barvinok_enumerate_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1847
barvinok_series.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2178
barvinok_union.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4870
basis_reduction.c
blob
|
blame
|
history
|
raw
-rw-r--r--
152
basis_reduction.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4180
bernstein.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
bernstein
tree
|
history
-rw-r--r--
9299
bfcounter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3534
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--
2363
combine.c
blob
|
blame
|
history
|
raw
-rw-r--r--
187
combine.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10547
configure.in
blob
|
blame
|
history
|
raw
-rw-r--r--
3064
conversion.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
478
conversion.h
blob
|
blame
|
history
|
raw
-rw-r--r--
795
count_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5550
decomposer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
818
decomposer.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
5155
dpoly.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1127
dpoly.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2865
ev_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
82673
evalue.c
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--
21539
genfun.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1811
genfun_constructor.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1822
genfun_constructor.h
blob
|
blame
|
history
|
raw
-rwxr-xr-x
582
latte2polylib.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
13618
lattice_point.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
472
lattice_point.h
blob
|
blame
|
history
|
raw
-rw-r--r--
58472
lexmin.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
553
mat_util.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
166
mat_util.h
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--
1267
piptest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7611
piputil.c
blob
|
blame
|
history
|
raw
-rw-r--r--
104
piputil.h
blob
|
blame
|
history
|
raw
-rw-r--r--
524
polyhedron_sample.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
polymake
tree
|
history
-rw-r--r--
3307
polytope_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1728
randomtest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1468
reduce_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
252
reduce_domain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6747
reducer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2985
reducer.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1182
remove_redundant_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9458
sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
174
sample.h
blob
|
blame
|
history
|
raw
-rw-r--r--
25005
scarf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
289
scarf.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4643
test.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
-rw-r--r--
37415
util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4284
verif_ehrhart.c
blob
|
blame
|
history
|
raw
-rw-r--r--
590
verif_ehrhart.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6577
verify_lexsmaller.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7660
verify_main.cc
blob
|
blame
|
history
|
raw