Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Lsoracle #1

Closed
wants to merge 12 commits into from
Closed

Lsoracle #1

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
0105cdb
Updated overall framework for partitioning
maustin8 Feb 15, 2019
d4e291f
Updated the partition manager to handle optimization
maustin8 Feb 17, 2019
a0db28d
Update to optimization of partitions
maustin8 Feb 17, 2019
aeb2f3c
Updated partition optimization synchronization
maustin8 Feb 17, 2019
cb9fbf8
Merging new partition manager with in-place optimization
wlneto Feb 20, 2019
c4974c7
Updated partition manager and mockturtle library
maustin8 Feb 20, 2019
a858e87
Fixed bug with partitioning
maustin8 Feb 21, 2019
2e17b21
minor modification for sequential partitions
wlneto Feb 22, 2019
af29ab0
fixing some bugs in sequential optimization for partitions
wlneto Feb 23, 2019
8b12ddf
Added method to create cones from partitions
maustin8 Feb 25, 2019
d374f7d
Added cone generation to partition manager
maustin8 Feb 25, 2019
67a33bb
developing training set generator
tangxifan Feb 25, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
20 changes: 10 additions & 10 deletions OpenTimer/CMakeLists.txt
View file
Open in desktop
Binary file modified OpenTimer/example/optimizer/optimizer
View file
Open in desktop
Binary file not shown.
Binary file modified OpenTimer/example/simple/simple
View file
Open in desktop
Binary file not shown.
Binary file modified OpenTimer/example/sizer/sizer
View file
Open in desktop
Binary file not shown.
6 changes: 3 additions & 3 deletions OpenTimer/ot/config.hpp
View file
Open in desktop
151 changes: 151 additions & 0 deletions core/gts.cpp
View file
Open in desktop
191 changes: 191 additions & 0 deletions core/gts.hpp
View file
Open in desktop
1,923 changes: 808 additions & 1,115 deletions core/lstools.cpp
View file
Open in desktop
774 changes: 0 additions & 774 deletions lib/mockturtle/include/mockturtle/algorithms/aig_resub.hpp
View file
Open in desktop

This file was deleted.

57 changes: 13 additions & 44 deletions lib/mockturtle/include/mockturtle/algorithms/akers_synthesis.hpp
View file
Open in desktop
6 changes: 3 additions & 3 deletions lib/mockturtle/include/mockturtle/algorithms/cleanup.hpp
View file
Open in desktop
802 changes: 401 additions & 401 deletions lib/mockturtle/include/mockturtle/algorithms/cut_enumeration.hpp
View file
Open in desktop
6 changes: 3 additions & 3 deletions lib/mockturtle/include/mockturtle/algorithms/cut_rewriting.hpp
View file
Open in desktop
122 changes: 61 additions & 61 deletions lib/mockturtle/include/mockturtle/algorithms/detail/mffc_utils.hpp
View file
Open in desktop
133 changes: 133 additions & 0 deletions lib/mockturtle/include/mockturtle/algorithms/hyperg.hpp
View file
Open in desktop
30 changes: 15 additions & 15 deletions lib/mockturtle/include/mockturtle/algorithms/mig_algebraic_rewriting.hpp
View file
Open in desktop
788 changes: 0 additions & 788 deletions lib/mockturtle/include/mockturtle/algorithms/mig_resub.hpp
View file
Open in desktop

This file was deleted.

24 changes: 12 additions & 12 deletions lib/mockturtle/include/mockturtle/algorithms/node_resynthesis/akers.hpp
View file
Open in desktop
259 changes: 259 additions & 0 deletions lib/mockturtle/include/mockturtle/algorithms/node_resynthesis/direct.hpp
View file
Open in desktop
322 changes: 161 additions & 161 deletions lib/mockturtle/include/mockturtle/algorithms/node_resynthesis/mig_npn.hpp
View file
Open in desktop
730 changes: 365 additions & 365 deletions lib/mockturtle/include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp
View file
Open in desktop
208 changes: 0 additions & 208 deletions lib/mockturtle/include/mockturtle/algorithms/reconv_cut2.hpp
View file
Open in desktop

This file was deleted.

904 changes: 0 additions & 904 deletions lib/mockturtle/include/mockturtle/algorithms/resubstitution.hpp
View file
Open in desktop

This file was deleted.

627 changes: 627 additions & 0 deletions lib/mockturtle/include/mockturtle/algorithms/reubstitution.hpp
View file
Open in desktop
2 changes: 1 addition & 1 deletion lib/mockturtle/include/mockturtle/interface.hpp
View file
Open in desktop
5 changes: 3 additions & 2 deletions lib/mockturtle/include/mockturtle/mockturtle.hpp
View file
Open in desktop
4 changes: 0 additions & 4 deletions lib/mockturtle/include/mockturtle/networks/aig.hpp
View file
Open in desktop
406 changes: 205 additions & 201 deletions lib/mockturtle/include/mockturtle/networks/mig.hpp
View file
Open in desktop
20 changes: 10 additions & 10 deletions lib/mockturtle/include/mockturtle/networks/xag.hpp
View file
Open in desktop
20 changes: 10 additions & 10 deletions lib/mockturtle/include/mockturtle/traits.hpp
View file
Open in desktop
79 changes: 79 additions & 0 deletions lib/mockturtle/include/mockturtle/utils/aig_script.hpp
View file
Open in desktop
112 changes: 56 additions & 56 deletions lib/mockturtle/include/mockturtle/utils/mig_script.hpp
View file
Open in desktop
206 changes: 100 additions & 106 deletions lib/mockturtle/include/mockturtle/views/fanout_view.hpp
View file
Open in desktop
3 changes: 2 additions & 1 deletion lib/mockturtle/include/mockturtle/views/immutable_view.hpp
View file
Open in desktop
59 changes: 31 additions & 28 deletions lib/mockturtle/include/mockturtle/views/mapping_view.hpp
View file
Open in desktop
157 changes: 46 additions & 111 deletions lib/mockturtle/include/mockturtle/views/mffc_view.hpp
View file
Open in desktop
121 changes: 121 additions & 0 deletions lib/mockturtle/include/mockturtle/views/parents_view.hpp
View file
Open in desktop
8 changes: 6 additions & 2 deletions lib/mockturtle/include/mockturtle/views/topo_view.hpp
View file
Open in desktop
21 changes: 0 additions & 21 deletions lib/mockturtle/lib/CMakeLists.txt
View file
Open in desktop
22 changes: 21 additions & 1 deletion lib/mockturtle/lib/kitty/kitty/algorithm.hpp
View file
Open in desktop
266 changes: 60 additions & 206 deletions lib/mockturtle/lib/kitty/kitty/constructors.hpp
View file
Open in desktop
10 changes: 5 additions & 5 deletions lib/mockturtle/lib/kitty/kitty/detail/utils.hpp
View file
Open in desktop
37 changes: 9 additions & 28 deletions lib/mockturtle/lib/kitty/kitty/dynamic_truth_table.hpp
View file
Open in desktop
18 changes: 17 additions & 1 deletion lib/mockturtle/lib/kitty/kitty/npn.hpp
View file
Open in desktop
62 changes: 57 additions & 5 deletions lib/mockturtle/lib/kitty/kitty/operations.hpp
View file
Open in desktop
46 changes: 6 additions & 40 deletions lib/mockturtle/lib/kitty/kitty/static_truth_table.hpp
View file
Open in desktop
12 changes: 11 additions & 1 deletion lib/mockturtle/lib/kitty/kitty/traits.hpp
View file
Open in desktop
2 changes: 1 addition & 1 deletion lib/oracle/include/oracle/oracle.hpp
View file
Open in desktop
18 changes: 17 additions & 1 deletion lib/oracle/include/oracle/partitioning/hyperg.hpp
View file
Open in desktop
994 changes: 832 additions & 162 deletions lib/oracle/include/oracle/partitioning/partition_manager.hpp
View file
Open in desktop
545 changes: 340 additions & 205 deletions lib/oracle/include/oracle/partitioning/partition_view.hpp
View file
Open in desktop
11 changes: 11 additions & 0 deletions lib/percy/.gitignore
View file
Open in desktop
12 changes: 12 additions & 0 deletions lib/percy/.gitmodules
View file
Open in desktop
26 changes: 26 additions & 0 deletions lib/percy/.travis.yml
View file
Open in desktop
81 changes: 81 additions & 0 deletions lib/percy/CMakeLists.txt
View file
Open in desktop
21 changes: 21 additions & 0 deletions lib/percy/LICENSE
View file
Open in desktop
16 changes: 16 additions & 0 deletions lib/percy/README.md
View file
Open in desktop
596 changes: 596 additions & 0 deletions lib/percy/abc/AbcGlucose.cpp
View file
Open in desktop
16 changes: 16 additions & 0 deletions lib/percy/abc/CMakeLists.txt
View file
Open in desktop
1,499 changes: 1,499 additions & 0 deletions lib/percy/abc/Glucose.cpp
View file
Open in desktop
761 changes: 761 additions & 0 deletions lib/percy/abc/SimpSolver.cpp
View file
Open in desktop
107 changes: 107 additions & 0 deletions lib/percy/abc/abc/AbcGlucose.h
View file
Open in desktop
88 changes: 88 additions & 0 deletions lib/percy/abc/abc/Alg.h
View file
Open in desktop
136 changes: 136 additions & 0 deletions lib/percy/abc/abc/Alloc.h
View file
Open in desktop
114 changes: 114 additions & 0 deletions lib/percy/abc/abc/BoundedQueue.h
View file
Open in desktop
33 changes: 33 additions & 0 deletions lib/percy/abc/abc/Constants.h
View file
Open in desktop
85 changes: 85 additions & 0 deletions lib/percy/abc/abc/Dimacs.h
View file
Open in desktop
154 changes: 154 additions & 0 deletions lib/percy/abc/abc/Heap.h
View file
Open in desktop
49 changes: 49 additions & 0 deletions lib/percy/abc/abc/IntTypes.h
View file
Open in desktop
197 changes: 197 additions & 0 deletions lib/percy/abc/abc/Map.h
View file
Open in desktop
73 changes: 73 additions & 0 deletions lib/percy/abc/abc/Queue.h
View file
Open in desktop
208 changes: 208 additions & 0 deletions lib/percy/abc/abc/SimpSolver.h
View file
Open in desktop
493 changes: 493 additions & 0 deletions lib/percy/abc/abc/Solver.h
View file
Open in desktop
437 changes: 437 additions & 0 deletions lib/percy/abc/abc/SolverTypes.h
View file
Open in desktop
101 changes: 101 additions & 0 deletions lib/percy/abc/abc/Sort.h
View file
Open in desktop
135 changes: 135 additions & 0 deletions lib/percy/abc/abc/Vec.h
View file
Open in desktop
53 changes: 53 additions & 0 deletions lib/percy/abc/abc/XAlloc.h
View file
Open in desktop
416 changes: 416 additions & 0 deletions lib/percy/abc/abc/abc_global.h
View file
Open in desktop
64 changes: 64 additions & 0 deletions lib/percy/abc/abc/abc_namespaces.h
View file
Open in desktop
919 changes: 919 additions & 0 deletions lib/percy/abc/abc/pstdint.h
View file
Open in desktop
476 changes: 476 additions & 0 deletions lib/percy/abc/abc/satClause.h
View file
Open in desktop
644 changes: 644 additions & 0 deletions lib/percy/abc/abc/satSolver.h
View file
Open in desktop
158 changes: 158 additions & 0 deletions lib/percy/abc/abc/satStore.h
View file
Open in desktop
167 changes: 167 additions & 0 deletions lib/percy/abc/abc/satVec.h
View file
Open in desktop
71 changes: 71 additions & 0 deletions lib/percy/abc/abc/system.h
View file
Open in desktop
222 changes: 222 additions & 0 deletions lib/percy/abc/abc/utilDouble.h
View file
Open in desktop
2,078 changes: 2,078 additions & 0 deletions lib/percy/abc/abc/vecInt.h
View file
Open in desktop
716 changes: 716 additions & 0 deletions lib/percy/abc/abc/vecWec.h
View file
Open in desktop
2,528 changes: 2,528 additions & 0 deletions lib/percy/abc/satSolver.cpp
View file
Open in desktop
469 changes: 469 additions & 0 deletions lib/percy/abc/satStore.cpp
View file
Open in desktop
19 changes: 19 additions & 0 deletions lib/percy/bench/CMakeLists.txt
View file
Open in desktop
5 changes: 5 additions & 0 deletions lib/percy/bench/benchmark/.clang-format
View file
Open in desktop
56 changes: 56 additions & 0 deletions lib/percy/bench/benchmark/.gitignore
View file
Open in desktop
28 changes: 28 additions & 0 deletions lib/percy/bench/benchmark/.travis-libcxx-setup.sh
View file
Open in desktop
182 changes: 182 additions & 0 deletions lib/percy/bench/benchmark/.travis.yml
View file
Open in desktop
115 changes: 115 additions & 0 deletions lib/percy/bench/benchmark/.ycm_extra_conf.py
View file
Open in desktop
45 changes: 45 additions & 0 deletions lib/percy/bench/benchmark/AUTHORS
View file
Open in desktop
21 changes: 21 additions & 0 deletions lib/percy/bench/benchmark/BUILD.bazel
View file
Open in desktop
220 changes: 220 additions & 0 deletions lib/percy/bench/benchmark/CMakeLists.txt
View file
Open in desktop
58 changes: 58 additions & 0 deletions lib/percy/bench/benchmark/CONTRIBUTING.md
View file
Open in desktop
64 changes: 64 additions & 0 deletions lib/percy/bench/benchmark/CONTRIBUTORS
View file
Open in desktop
202 changes: 202 additions & 0 deletions lib/percy/bench/benchmark/LICENSE
View file
Open in desktop
941 changes: 941 additions & 0 deletions lib/percy/bench/benchmark/README.md
View file
Open in desktop
9 changes: 9 additions & 0 deletions lib/percy/bench/benchmark/WORKSPACE
View file
Open in desktop
56 changes: 56 additions & 0 deletions lib/percy/bench/benchmark/appveyor.yml
View file
Open in desktop
16 changes: 16 additions & 0 deletions lib/percy/bench/benchmark/bazel/BUILD
View file
Open in desktop
7 changes: 7 additions & 0 deletions lib/percy/bench/benchmark/bazel/have_regex.bzl
View file
Open in desktop
74 changes: 74 additions & 0 deletions lib/percy/bench/benchmark/cmake/AddCXXCompilerFlag.cmake
View file
Open in desktop
62 changes: 62 additions & 0 deletions lib/percy/bench/benchmark/cmake/CXXFeatureCheck.cmake
View file
Open in desktop
1 change: 1 addition & 0 deletions lib/percy/bench/benchmark/cmake/Config.cmake.in
View file
Open in desktop
51 changes: 51 additions & 0 deletions lib/percy/bench/benchmark/cmake/GetGitVersion.cmake
View file
Open in desktop
86 changes: 86 additions & 0 deletions lib/percy/bench/benchmark/cmake/HandleGTest.cmake
View file
Open in desktop
11 changes: 11 additions & 0 deletions lib/percy/bench/benchmark/cmake/benchmark.pc.in
View file
Open in desktop
12 changes: 12 additions & 0 deletions lib/percy/bench/benchmark/cmake/gnu_posix_regex.cpp
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/bench/benchmark/cmake/llvm-toolchain.cmake
View file
Open in desktop
14 changes: 14 additions & 0 deletions lib/percy/bench/benchmark/cmake/posix_regex.cpp
View file
Open in desktop
10 changes: 10 additions & 0 deletions lib/percy/bench/benchmark/cmake/std_regex.cpp
View file
Open in desktop
7 changes: 7 additions & 0 deletions lib/percy/bench/benchmark/cmake/steady_clock.cpp
View file
Open in desktop
4 changes: 4 additions & 0 deletions lib/percy/bench/benchmark/cmake/thread_safety_attributes.cpp
View file
Open in desktop
242 changes: 242 additions & 0 deletions lib/percy/bench/benchmark/docs/tools.md
View file
Open in desktop
1,450 changes: 1,450 additions & 0 deletions lib/percy/bench/benchmark/include/benchmark/benchmark.h
View file
Open in desktop
320 changes: 320 additions & 0 deletions lib/percy/bench/benchmark/mingw.py
View file
Open in desktop
16 changes: 16 additions & 0 deletions lib/percy/bench/benchmark/releasing.md
View file
Open in desktop
92 changes: 92 additions & 0 deletions lib/percy/bench/benchmark/src/CMakeLists.txt
View file
Open in desktop
33 changes: 33 additions & 0 deletions lib/percy/bench/benchmark/src/arraysize.h
View file
Open in desktop
723 changes: 723 additions & 0 deletions lib/percy/bench/benchmark/src/benchmark.cc
View file
Open in desktop
47 changes: 47 additions & 0 deletions lib/percy/bench/benchmark/src/benchmark_api_internal.h
View file
Open in desktop
478 changes: 478 additions & 0 deletions lib/percy/bench/benchmark/src/benchmark_register.cc
View file
Open in desktop
79 changes: 79 additions & 0 deletions lib/percy/bench/benchmark/src/check.h
View file
Open in desktop
188 changes: 188 additions & 0 deletions lib/percy/bench/benchmark/src/colorprint.cc
View file
Open in desktop
33 changes: 33 additions & 0 deletions lib/percy/bench/benchmark/src/colorprint.h
View file
Open in desktop
218 changes: 218 additions & 0 deletions lib/percy/bench/benchmark/src/commandlineflags.cc
View file
Open in desktop
79 changes: 79 additions & 0 deletions lib/percy/bench/benchmark/src/commandlineflags.h
View file
Open in desktop
220 changes: 220 additions & 0 deletions lib/percy/bench/benchmark/src/complexity.cc
View file
Open in desktop
55 changes: 55 additions & 0 deletions lib/percy/bench/benchmark/src/complexity.h
View file
Open in desktop
182 changes: 182 additions & 0 deletions lib/percy/bench/benchmark/src/console_reporter.cc
View file
Open in desktop
68 changes: 68 additions & 0 deletions lib/percy/bench/benchmark/src/counter.cc
View file
Open in desktop
26 changes: 26 additions & 0 deletions lib/percy/bench/benchmark/src/counter.h
View file
Open in desktop
149 changes: 149 additions & 0 deletions lib/percy/bench/benchmark/src/csv_reporter.cc
View file
Open in desktop
177 changes: 177 additions & 0 deletions lib/percy/bench/benchmark/src/cycleclock.h
View file
Open in desktop
86 changes: 86 additions & 0 deletions lib/percy/bench/benchmark/src/internal_macros.h
View file
Open in desktop
205 changes: 205 additions & 0 deletions lib/percy/bench/benchmark/src/json_reporter.cc
View file
Open in desktop
73 changes: 73 additions & 0 deletions lib/percy/bench/benchmark/src/log.h
View file
Open in desktop
155 changes: 155 additions & 0 deletions lib/percy/bench/benchmark/src/mutex.h
View file
Open in desktop
140 changes: 140 additions & 0 deletions lib/percy/bench/benchmark/src/re.h
View file
Open in desktop
87 changes: 87 additions & 0 deletions lib/percy/bench/benchmark/src/reporter.cc
View file
Open in desktop
51 changes: 51 additions & 0 deletions lib/percy/bench/benchmark/src/sleep.cc
View file
Open in desktop
15 changes: 15 additions & 0 deletions lib/percy/bench/benchmark/src/sleep.h
View file
Open in desktop
175 changes: 175 additions & 0 deletions lib/percy/bench/benchmark/src/statistics.cc
View file
Open in desktop
37 changes: 37 additions & 0 deletions lib/percy/bench/benchmark/src/statistics.h
View file
Open in desktop
172 changes: 172 additions & 0 deletions lib/percy/bench/benchmark/src/string_util.cc
View file
Open in desktop
40 changes: 40 additions & 0 deletions lib/percy/bench/benchmark/src/string_util.h
View file
Open in desktop
561 changes: 561 additions & 0 deletions lib/percy/bench/benchmark/src/sysinfo.cc
View file
Open in desktop
219 changes: 219 additions & 0 deletions lib/percy/bench/benchmark/src/timers.cc
View file
Open in desktop
48 changes: 48 additions & 0 deletions lib/percy/bench/benchmark/src/timers.h
View file
Open in desktop
47 changes: 47 additions & 0 deletions lib/percy/bench/benchmark/test/BUILD
View file
Open in desktop
202 changes: 202 additions & 0 deletions lib/percy/bench/benchmark/test/CMakeLists.txt
View file
Open in desktop
135 changes: 135 additions & 0 deletions lib/percy/bench/benchmark/test/basic_test.cc
View file
Open in desktop
244 changes: 244 additions & 0 deletions lib/percy/bench/benchmark/test/benchmark_test.cc
View file
Open in desktop
167 changes: 167 additions & 0 deletions lib/percy/bench/benchmark/test/complexity_test.cc
View file
Open in desktop
63 changes: 63 additions & 0 deletions lib/percy/bench/benchmark/test/cxx03_test.cc
View file
Open in desktop
80 changes: 80 additions & 0 deletions lib/percy/bench/benchmark/test/diagnostics_test.cc
View file
Open in desktop
52 changes: 52 additions & 0 deletions lib/percy/bench/benchmark/test/donotoptimize_test.cc
View file
Open in desktop
104 changes: 104 additions & 0 deletions lib/percy/bench/benchmark/test/filter_test.cc
View file
Open in desktop
49 changes: 49 additions & 0 deletions lib/percy/bench/benchmark/test/fixture_test.cc
View file
Open in desktop
57 changes: 57 additions & 0 deletions lib/percy/bench/benchmark/test/map_test.cc
View file
Open in desktop
74 changes: 74 additions & 0 deletions lib/percy/bench/benchmark/test/multiple_ranges_test.cc
View file
Open in desktop
65 changes: 65 additions & 0 deletions lib/percy/bench/benchmark/test/options_test.cc
View file
Open in desktop
201 changes: 201 additions & 0 deletions lib/percy/bench/benchmark/test/output_test.h
View file
Open in desktop
423 changes: 423 additions & 0 deletions lib/percy/bench/benchmark/test/output_test_helper.cc
View file
Open in desktop
182 changes: 182 additions & 0 deletions lib/percy/bench/benchmark/test/register_benchmark_test.cc
View file
Open in desktop
382 changes: 382 additions & 0 deletions lib/percy/bench/benchmark/test/reporter_output_test.cc
View file
Open in desktop
192 changes: 192 additions & 0 deletions lib/percy/bench/benchmark/test/skip_with_error_test.cc
View file
Open in desktop
61 changes: 61 additions & 0 deletions lib/percy/bench/benchmark/test/statistics_test.cc
View file
Open in desktop
28 changes: 28 additions & 0 deletions lib/percy/bench/benchmark/test/templated_fixture_test.cc
View file
Open in desktop
250 changes: 250 additions & 0 deletions lib/percy/bench/benchmark/test/user_counters_tabular_test.cc
View file
Open in desktop
217 changes: 217 additions & 0 deletions lib/percy/bench/benchmark/test/user_counters_test.cc
View file
Open in desktop
312 changes: 312 additions & 0 deletions lib/percy/bench/benchmark/tools/compare.py
View file
Open in desktop
67 changes: 67 additions & 0 deletions lib/percy/bench/benchmark/tools/compare_bench.py
View file
Open in desktop
102 changes: 102 additions & 0 deletions lib/percy/bench/benchmark/tools/gbench/Inputs/test1_run1.json
View file
Open in desktop
102 changes: 102 additions & 0 deletions lib/percy/bench/benchmark/tools/gbench/Inputs/test1_run2.json
View file
Open in desktop
81 changes: 81 additions & 0 deletions lib/percy/bench/benchmark/tools/gbench/Inputs/test2_run.json
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/bench/benchmark/tools/gbench/__init__.py
View file
Open in desktop
208 changes: 208 additions & 0 deletions lib/percy/bench/benchmark/tools/gbench/report.py
View file
Open in desktop
159 changes: 159 additions & 0 deletions lib/percy/bench/benchmark/tools/gbench/util.py
View file
Open in desktop
144 changes: 144 additions & 0 deletions lib/percy/bench/synth_bench.cpp
View file
Open in desktop
30 changes: 30 additions & 0 deletions lib/percy/cryptominisat/.dockerignore
View file
Open in desktop
21 changes: 21 additions & 0 deletions lib/percy/cryptominisat/.gitignore
View file
Open in desktop
36 changes: 36 additions & 0 deletions lib/percy/cryptominisat/.gitmodules
View file
Open in desktop
146 changes: 146 additions & 0 deletions lib/percy/cryptominisat/.travis.yml
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/cryptominisat/AUTHORS
View file
Open in desktop
685 changes: 685 additions & 0 deletions lib/percy/cryptominisat/CMakeLists.txt
View file
Open in desktop
57 changes: 57 additions & 0 deletions lib/percy/cryptominisat/Dockerfile
View file
Open in desktop
54 changes: 54 additions & 0 deletions lib/percy/cryptominisat/Dockerfile.web
View file
Open in desktop
55 changes: 55 additions & 0 deletions lib/percy/cryptominisat/LICENSE.txt
View file
Open in desktop
510 changes: 510 additions & 0 deletions lib/percy/cryptominisat/README.markdown
View file
Open in desktop
135 changes: 135 additions & 0 deletions lib/percy/cryptominisat/appveyor.yml
View file
Open in desktop
26 changes: 26 additions & 0 deletions lib/percy/cryptominisat/cmake/AddGTestSuite.cmake
View file
Open in desktop
33 changes: 33 additions & 0 deletions lib/percy/cryptominisat/cmake/AddSTPGTest.cmake
View file
Open in desktop
67 changes: 67 additions & 0 deletions lib/percy/cryptominisat/cmake/FindM4RI.cmake
View file
Open in desktop
144 changes: 144 additions & 0 deletions lib/percy/cryptominisat/cmake/FindMpiCompilers.cmake
View file
Open in desktop
139 changes: 139 additions & 0 deletions lib/percy/cryptominisat/cmake/FindPerftools.cmake
View file
Open in desktop
163 changes: 163 additions & 0 deletions lib/percy/cryptominisat/cmake/FindPkgMacros.cmake
View file
Open in desktop
56 changes: 56 additions & 0 deletions lib/percy/cryptominisat/cmake/FindSqlite3.cmake
View file
Open in desktop
111 changes: 111 additions & 0 deletions lib/percy/cryptominisat/cmake/FindTBB.cmake
View file
Open in desktop
22 changes: 22 additions & 0 deletions lib/percy/cryptominisat/cmake/FindValgrind.cmake
View file
Open in desktop
116 changes: 116 additions & 0 deletions lib/percy/cryptominisat/cmake/GetGitRevisionDescription.cmake
View file
Open in desktop
38 changes: 38 additions & 0 deletions lib/percy/cryptominisat/cmake/GetGitRevisionDescription.cmake.in
View file
Open in desktop
24 changes: 24 additions & 0 deletions lib/percy/cryptominisat/cmake/cmake_uninstall.cmake.in
View file
Open in desktop
303 changes: 303 additions & 0 deletions lib/percy/cryptominisat/cmsat_tablestructure.sql
View file
Open in desktop
22 changes: 22 additions & 0 deletions lib/percy/cryptominisat/cryptominisat5Config.cmake.in
View file
Open in desktop
5 changes: 5 additions & 0 deletions lib/percy/cryptominisat/debian/changelog
View file
Open in desktop
1 change: 1 addition & 0 deletions lib/percy/cryptominisat/debian/compat
View file
Open in desktop
16 changes: 16 additions & 0 deletions lib/percy/cryptominisat/debian/control
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/cryptominisat/debian/cryptominisat5.copyright
View file
Open in desktop
1 change: 1 addition & 0 deletions lib/percy/cryptominisat/debian/cryptominisat5.docs
View file
Open in desktop
2 changes: 2 additions & 0 deletions lib/percy/cryptominisat/debian/menu
View file
Open in desktop
66 changes: 66 additions & 0 deletions lib/percy/cryptominisat/debian/rules
View file
Open in desktop
1 change: 1 addition & 0 deletions lib/percy/cryptominisat/debian/source/format
View file
Open in desktop
7 changes: 7 additions & 0 deletions lib/percy/cryptominisat/docs/HOWTO-ANALYSIS
View file
Open in desktop
52 changes: 52 additions & 0 deletions lib/percy/cryptominisat/docs/HOWTO_WEB
View file
Open in desktop
10 changes: 10 additions & 0 deletions lib/percy/cryptominisat/docs/HOWTO_opcontrol
View file
Open in desktop
11 changes: 11 additions & 0 deletions lib/percy/cryptominisat/docs/HOWTO_perf
View file
Open in desktop
23 changes: 23 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp14-pdf/Makefile
View file
Open in desktop
73 changes: 73 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp14-pdf/cmsv4.tex
View file
Open in desktop
1,497 changes: 1,497 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp14-pdf/ieee.cls
View file
Open in desktop
2,549 changes: 2,549 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp14-pdf/sigproc.bib
View file
Open in desktop
1,519 changes: 1,519 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp14-pdf/splncs03.bst
View file
Open in desktop
25 changes: 25 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp15-pdf/Makefile
View file
Open in desktop
53 changes: 53 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp15-pdf/cmsv4.kilepr
View file
Open in desktop
66 changes: 66 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp15-pdf/cmsv4.tex
View file
Open in desktop
1,497 changes: 1,497 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp15-pdf/ieee.cls
View file
Open in desktop
2,589 changes: 2,589 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp15-pdf/sigproc.bib
View file
Open in desktop
1,519 changes: 1,519 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp15-pdf/splncs03.bst
View file
Open in desktop
25 changes: 25 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp16-pdf/Makefile
View file
Open in desktop
53 changes: 53 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp16-pdf/cmsv5.kilepr
View file
Open in desktop
64 changes: 64 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp16-pdf/cmsv5.tex
View file
Open in desktop
1,497 changes: 1,497 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp16-pdf/ieee.cls
View file
Open in desktop
2,589 changes: 2,589 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp16-pdf/sigproc.bib
View file
Open in desktop
1,519 changes: 1,519 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp16-pdf/splncs03.bst
View file
Open in desktop
24 changes: 24 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp18-pdf/Makefile
View file
Open in desktop
53 changes: 53 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp18-pdf/cmsv5.kilepr
View file
Open in desktop
76 changes: 76 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp18-pdf/cmsv55.tex
View file
Open in desktop
1,497 changes: 1,497 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp18-pdf/ieee.cls
View file
Open in desktop
2,681 changes: 2,681 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp18-pdf/sigproc.bib
View file
Open in desktop
1,519 changes: 1,519 additions & 0 deletions lib/percy/cryptominisat/docs/satcomp18-pdf/splncs03.bst
View file
Open in desktop
85 changes: 85 additions & 0 deletions lib/percy/cryptominisat/python/CMakeLists.txt
View file
Open in desktop
26 changes: 26 additions & 0 deletions lib/percy/cryptominisat/python/LICENSE
View file
Open in desktop
5 changes: 5 additions & 0 deletions lib/percy/cryptominisat/python/MANIFEST.in
View file
Open in desktop
35 changes: 35 additions & 0 deletions lib/percy/cryptominisat/python/Makefile
View file
Open in desktop
116 changes: 116 additions & 0 deletions lib/percy/cryptominisat/python/README.rst
View file
Open in desktop
158 changes: 158 additions & 0 deletions lib/percy/cryptominisat/python/setup.py.in
View file
Open in desktop
912 changes: 912 additions & 0 deletions lib/percy/cryptominisat/python/src/pycryptosat.cpp
View file
Open in desktop
1 change: 1 addition & 0 deletions lib/percy/cryptominisat/python/tests/__init__.py
View file
Open in desktop
928 changes: 928 additions & 0 deletions lib/percy/cryptominisat/python/tests/test.cnf
View file
Open in desktop
231 changes: 231 additions & 0 deletions lib/percy/cryptominisat/python/tests/test_pycryptosat.py
View file
Open in desktop
13 changes: 13 additions & 0 deletions lib/percy/cryptominisat/scripts/appveyor.ps1
View file
Open in desktop
14 changes: 14 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/README.markdown
View file
Open in desktop
172 changes: 172 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/RequestSpotClient.py
View file
Open in desktop
29 changes: 29 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_Maple_LCM_Dist.sh
View file
Open in desktop
30 changes: 30 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_cmsat_satcomp16.sh
View file
Open in desktop
42 changes: 42 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_cryptominisat.sh
View file
Open in desktop
30 changes: 30 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_drat-trim2.sh
View file
Open in desktop
31 changes: 31 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_glucose2016.sh
View file
Open in desktop
32 changes: 32 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_lingeling_ayv.sh
View file
Open in desktop
32 changes: 32 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_lingeling_bbc.sh
View file
Open in desktop
33 changes: 33 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_maplecomsps_drup.sh
View file
Open in desktop
31 changes: 31 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_swdia5by.sh
View file
Open in desktop
32 changes: 32 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/build_swdia5by_old.sh
View file
Open in desktop
821 changes: 821 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/client.py
View file
Open in desktop
86 changes: 86 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/common_aws.py
View file
Open in desktop
300 changes: 300 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/satcomp11_updated
View file
Open in desktop
300 changes: 300 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/satcomp13_updated
View file
Open in desktop
300 changes: 300 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/satcomp14_updated
View file
Open in desktop
300 changes: 300 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/satcomp16_updated
View file
Open in desktop
350 changes: 350 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/satcomp17_updated
View file
Open in desktop
300 changes: 300 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/satrace15_updated
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/test_updated
View file
Open in desktop
425 changes: 425 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/config/unsat_small_candidates_fullpath
View file
Open in desktop
47 changes: 47 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/ec2-spot-instance-test.cfg
View file
Open in desktop
51 changes: 51 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/ec2-spot-instance.cfg
View file
Open in desktop
153 changes: 153 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/launch_server.py
View file
Open in desktop
39 changes: 39 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/pack_cnf_lists.py
View file
Open in desktop
36 changes: 36 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/pre-server.py
View file
Open in desktop
751 changes: 751 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/satcomp091113_updated
View file
Open in desktop
432 changes: 432 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/server.py
View file
Open in desktop
194 changes: 194 additions & 0 deletions lib/percy/cryptominisat/scripts/aws/server_option_parser.py
View file
Open in desktop
2 changes: 2 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/.gitignore
View file
Open in desktop
Binary file added lib/percy/cryptominisat/scripts/build_scripts/6s17-opt.cnf.gz
View file
Open in desktop
Binary file not shown.
Binary file added lib/percy/cryptominisat/scripts/build_scripts/UTI-20-10p0.cnf.gz
View file
Open in desktop
Binary file not shown.
5 changes: 5 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/afl/testcase_dir/a.cnf
View file
Open in desktop
3 changes: 3 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/afl/testcase_dir/b.cnf
View file
Open in desktop
4 changes: 4 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/afl/testcase_dir/c.cnf
View file
Open in desktop
2 changes: 2 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/afl/testcase_dir/d.cnf
View file
Open in desktop
1 change: 1 addition & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/afl/testcase_dir/e.cnf
View file
Open in desktop
15 changes: 15 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/afl/testcase_dir/f.cnf
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/build_afl.sh
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/build_afl_cont.sh
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/build_clang.sh
View file
Open in desktop
8 changes: 8 additions & 0 deletions lib/percy/cryptominisat/scripts/build_scripts/build_clang_coverage.sh
View file
Open in desktop
Loading