masc-ucsc · Won-Ko · Dec 15, 2020
diff --git a/scripts/yosys+LSOracle/LSOracle/.clang-format b/scripts/yosys+LSOracle/LSOracle/.clang-format
@@ -0,0 +1,100 @@
+---
+Language:        Cpp
+AccessModifierOffset: -2
+AlignAfterOpenBracket: Align
+AlignConsecutiveAssignments: false
+AlignConsecutiveDeclarations: false
+AlignEscapedNewlines: Right
+AlignOperands:   true
+AlignTrailingComments: true
+AllowAllParametersOfDeclarationOnNextLine: true
+AllowShortBlocksOnASingleLine: false
+AllowShortCaseLabelsOnASingleLine: false
+AllowShortFunctionsOnASingleLine: All
+AllowShortIfStatementsOnASingleLine: false
+AllowShortLoopsOnASingleLine: false
+AlwaysBreakAfterDefinitionReturnType: None
+AlwaysBreakAfterReturnType: None
+AlwaysBreakBeforeMultilineStrings: false
+AlwaysBreakTemplateDeclarations: false
+BinPackArguments: true
+BinPackParameters: true
+BraceWrapping:   
+  AfterClass:      true
+  AfterControlStatement: true
+  AfterEnum:       true
+  AfterFunction:   true
+  AfterNamespace:  true
+  AfterObjCDeclaration: true
+  AfterStruct:     true
+  AfterUnion:      false
+  BeforeCatch:     true
+  BeforeElse:      true
+  IndentBraces:    false
+BreakBeforeBinaryOperators: None
+BreakBeforeBraces: Allman
+BreakBeforeInheritanceComma: false
+BreakBeforeTernaryOperators: true
+BreakConstructorInitializersBeforeComma: false
+BreakConstructorInitializers: BeforeColon
+BreakAfterJavaFieldAnnotations: false
+BreakStringLiterals: true
+ColumnLimit:     0
+CommentPragmas:  '^ IWYU pragma:'
+CompactNamespaces: false
+ConstructorInitializerAllOnOneLineOrOnePerLine: false
+ConstructorInitializerIndentWidth: 4
+ContinuationIndentWidth: 4
+Cpp11BracedListStyle: true
+DerivePointerAlignment: false
+DisableFormat:   false
+ExperimentalAutoDetectBinPacking: false
+FixNamespaceComments: true
+ForEachMacros:   [ foreach, Q_FOREACH, BOOST_FOREACH ]
+IncludeCategories: 
+  - Regex:           '^"(llvm|llvm-c|clang|clang-c)/'
+    Priority:        2
+  - Regex:           '^(<|"(gtest|isl|json)/)'
+    Priority:        3
+  - Regex:           '.*'
+    Priority:        1
+IncludeIsMainRegex: '$'
+IndentCaseLabels: false
+IndentWidth:     2
+IndentWrappedFunctionNames: false
+JavaScriptQuotes: Leave
+JavaScriptWrapImports: true
+KeepEmptyLinesAtTheStartOfBlocks: true
+MacroBlockBegin: ''
+MacroBlockEnd:   ''
+MaxEmptyLinesToKeep: 1
+NamespaceIndentation: None
+ObjCBlockIndentWidth: 2
+ObjCSpaceAfterProperty: false
+ObjCSpaceBeforeProtocolList: true
+PenaltyBreakAssignment: 2
+PenaltyBreakBeforeFirstCallParameter: 19
+PenaltyBreakComment: 300
+PenaltyBreakFirstLessLess: 120
+PenaltyBreakString: 1000
+PenaltyExcessCharacter: 1000000
+PenaltyReturnTypeOnItsOwnLine: 0
+PointerAlignment: Left
+ReflowComments:  true
+SortIncludes:    false
+SpaceAfterCStyleCast: false
+SpaceAfterTemplateKeyword: false
+SpaceBeforeAssignmentOperators: true
+SpaceBeforeParens: ControlStatements
+SpaceInEmptyParentheses: false
+SpacesBeforeTrailingComments: 1
+SpacesInAngles:  false
+SpacesInContainerLiterals: true
+SpacesInCStyleCastParentheses: false
+SpacesInParentheses: true
+SpacesInSquareBrackets: false
+Standard:        Cpp11
+TabWidth:        8
+UseTab:          Never
+...
+
diff --git a/scripts/yosys+LSOracle/LSOracle/.gitignore b/scripts/yosys+LSOracle/LSOracle/.gitignore
@@ -0,0 +1,14 @@
+**/*~
+**/.DS_Store
+
+build/
+
+.vscode/
+
+examples/abc/csharp/bin
+examples/abc/csharp/obj
+examples/abc/scala/project
+examples/abc/scala/target
+
+tests/**/*.v
+hypergraph.txt
diff --git a/scripts/yosys+LSOracle/LSOracle/.gitmodules b/scripts/yosys+LSOracle/LSOracle/.gitmodules
@@ -0,0 +1,15 @@
+#[submodule "lib/kitty"]
+#	path = lib/kitty
+#	url = https://github.com/msoeken/kitty
+#[submodule "lib/alice"]
+#	path = lib/alice
+#	url = https://github.com/msoeken/alice
+#[submodule "lib/lorina"]
+#	path = lib/lorina
+#	url = https://github.com/hriener/lorina.git
+#[submodule "lib/abc"]
+#	path = lib/abc
+#	url = https://github.com/msoeken/abc.git
+#[submodule "lib/percy"]
+#	path = lib/percy
+#	url = https://github.com/whaaswijk/percy
diff --git a/scripts/yosys+LSOracle/LSOracle/CMakeLists.txt b/scripts/yosys+LSOracle/LSOracle/CMakeLists.txt
@@ -0,0 +1,27 @@
+cmake_minimum_required(VERSION 3.9)
+
+find_program(CCACHE_FOUND ccache)
+if(CCACHE_FOUND)
+        set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE ccache)
+        set_property(GLOBAL PROPERTY RULE_LAUNCH_LINK ccache)
+endif(CCACHE_FOUND)
+
+project(alice LANGUAGES CXX)
+
+set(CMAKE_CXX_STANDARD 17)
+set(CMAKE_CXX_STANDARD_REQUIRED ON)
+
+# some specific compiler definitions
+include(CheckCXXCompilerFlag)
+check_cxx_compiler_flag("-fcolor-diagnostics" HAS_FCOLOR_DIAGNOSTICS)
+if (HAS_FCOLOR_DIAGNOSTICS)
+  add_compile_options(-fcolor-diagnostics)
+endif()
+
+add_subdirectory(lib)
+
+set(CMAKE_CXX_STANDARD 17)                            # enable c++17
+set(CMAKE_CXX_STANDARD_REQUIRED ON)
+
+find_package(Threads REQUIRED)                        # thread library (pthread)
+add_subdirectory(core)
diff --git a/scripts/yosys+LSOracle/LSOracle/Dockerfile b/scripts/yosys+LSOracle/LSOracle/Dockerfile
@@ -0,0 +1,28 @@
+# This image gathers contains all the dependencies needed to build and
+# run tests on LSOracle. The primary purpose is to provide a container to run
+# Github actions in.
+
+FROM ubuntu:latest
+
+RUN export DEBIAN_FRONTEND=noninteractive; \
+    export DEBCONF_NONINTERACTIVE_SEEN=true; \
+    echo 'tzdata tzdata/Areas select Etc' | debconf-set-selections; \
+    echo 'tzdata tzdata/Zones/Etc select UTC' | debconf-set-selections; \
+    apt-get update && \
+    apt-get install -y tzdata \
+        gcc-8 \
+        g++-8 \
+        cmake \
+        libboost-all-dev \
+        libreadline-dev \
+        lcov \
+        gcovr \
+        git \
+        python3-pip && \
+    apt-get clean
+
+RUN pip3 install numpy && pip3 install matplotlib
+
+RUN git clone https://github.com/berkeley-abc/abc.git &&
+    cd abc && make && \
+    cp abc/abc /usr/local/bin/abc
diff --git a/scripts/yosys+LSOracle/LSOracle/LICENSE b/scripts/yosys+LSOracle/LSOracle/LICENSE
@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2019 Laboratory for Nano Integrated Systems (LNIS)
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.