Edgar Solomonik
authored
Cleaned up build system, now make should work immediately on linux, etc. Deprecated some unushed tests and code.
Name | Last commit | Last update |
---|---|---|
.. | ||
bench_model.cxx | ||
bench_sym_contract.hxx | ||
bench_symmetry.cxx | ||
unit_bench.cxx | ||
unit_bench.h | ||
unit_bench.o |