refs/heads/dev/authors - external/github.com/stp/stp

commit	4f9bf6f794340f80daaca6ff21037681f91f20da	[log] [tgz]
author	Ryan Govostes <rgovostes+git@gmail.com>	Sun Aug 02 19:26:06 2020
committer	Ryan Govostes <rgovostes+git@gmail.com>	Sun Aug 02 19:26:06 2020
tree	5f7237b02b50aedb1a82abef1a0fa09d3e37bb7e
parent	dc50ffdbc3f1cd5a03ed502b56892d4bf55946e3 [diff]

Remove author attribution in file headers

AUTHORS[diff]
CMakeLists.txt[diff]
bindings/CMakeLists.txt[diff]
bindings/python/CMakeLists.txt[diff]
bindings/python/stp/CMakeLists.txt[diff]
bindings/python/stp/library_path.py.in[diff]
bindings/python/stp/library_path.py.in_install[diff]
cmake/modules/AddSTPGTest.cmake[diff]
cmake/modules/Findminisat.cmake[diff]
cmake/modules/cmake_uninstall.cmake.in[diff]
examples/simple/CMakeLists.txt[diff]
include/stp/AST/AST.h[diff]
include/stp/AST/ASTBVConst.h[diff]
include/stp/AST/ASTInterior.h[diff]
include/stp/AST/ASTInternal.h[diff]
include/stp/AST/ASTNode.h[diff]
include/stp/AST/ASTSymbol.h[diff]
include/stp/AST/MutableASTNode.h[diff]
include/stp/AST/STLport_config.h[diff]
include/stp/AST/UsefulDefs.h[diff]
include/stp/AbsRefineCounterExample/AbsRefine_CounterExample.h[diff]
include/stp/AbsRefineCounterExample/ArrayTransformer.h[diff]
include/stp/Globals/Globals.h[diff]
include/stp/Interface/fdstream.h[diff]
include/stp/NodeFactory/HashingNodeFactory.h[diff]
include/stp/NodeFactory/NodeFactory.h[diff]
include/stp/NodeFactory/SimplifyingNodeFactory.h[diff]
include/stp/NodeFactory/TypeChecker.h[diff]
include/stp/Parser/LetMgr.h[diff]
include/stp/Parser/parser.h[diff]
include/stp/Printer/AssortedPrinters.h[diff]
include/stp/Printer/SMTLIBPrinter.h[diff]
include/stp/Printer/printers.h[diff]
include/stp/STPManager/STP.h[diff]
include/stp/STPManager/STPManager.h[diff]
include/stp/STPManager/UserDefinedFlags.h[diff]
include/stp/Sat/CryptoMinisat5.h[diff]
include/stp/Sat/MinisatCore.h[diff]
include/stp/Sat/Riss.h[diff]
include/stp/Sat/SATSolver.h[diff]
include/stp/Sat/SimplifyingMinisat.h[diff]
include/stp/Simplifier/AIGSimplifyPropositionalCore.h[diff]
include/stp/Simplifier/AlwaysTrue.h[diff]
include/stp/Simplifier/BVSolver.h[diff]
include/stp/Simplifier/DifficultyScore.h[diff]
include/stp/Simplifier/FindPureLiterals.h[diff]
include/stp/Simplifier/PropagateEqualities.h[diff]
include/stp/Simplifier/RemoveUnconstrained.h[diff]
include/stp/Simplifier/Simplifier.h[diff]
include/stp/Simplifier/StrengthReduction.h[diff]
include/stp/Simplifier/SubstitutionMap.h[diff]
include/stp/Simplifier/Symbols.h[diff]
include/stp/Simplifier/UnsignedInterval.h[diff]
include/stp/Simplifier/UnsignedIntervalAnalysis.h[diff]
include/stp/Simplifier/UpwardsCBitP.h[diff]
include/stp/Simplifier/UseITEContext.h[diff]
include/stp/Simplifier/VariablesInExpression.h[diff]
include/stp/Simplifier/constantBitP/ConstantBitP_MaxPrecision.h[diff]
include/stp/Simplifier/constantBitP/ConstantBitP_TransferFunctions.h[diff]
include/stp/Simplifier/constantBitP/ConstantBitP_Utility.h[diff]
include/stp/Simplifier/constantBitP/ConstantBitPropagation.h[diff]
include/stp/Simplifier/constantBitP/Dependencies.h[diff]
include/stp/Simplifier/constantBitP/FixedBits.h[diff]
include/stp/Simplifier/constantBitP/MultiplicationStats.h[diff]
include/stp/Simplifier/constantBitP/NodeToFixedBitsMap.h[diff]
include/stp/Simplifier/constantBitP/WorkList.h[diff]
include/stp/Simplifier/constantBitP/multiplication/ColumnCounts.h[diff]
include/stp/Simplifier/constantBitP/multiplication/ColumnStats.h[diff]
include/stp/ToSat/BBNodeAIG.h[diff]
include/stp/ToSat/BBNodeManagerAIG.h[diff]
include/stp/ToSat/BitBlaster.h[diff]
include/stp/ToSat/ToCNFAIG.h[diff]
include/stp/ToSat/ToSATAIG.h[diff]
include/stp/ToSat/ToSATBase.h[diff]
include/stp/Util/BBAsProp.h[diff]
include/stp/Util/Functions.h[diff]
include/stp/Util/GitSHA1.h[diff]
include/stp/Util/NodeIterator.h[diff]
include/stp/Util/Relations.h[diff]
include/stp/Util/RunTimes.h[diff]
include/stp/Util/StopWatch.h[diff]
include/stp/Util/StringHash.h[diff]
include/stp/c_interface.h[diff]
include/stp/config.h.in[diff]
include/stp/cpp_interface.h[diff]
lib/AST/ASTBVConst.cpp[diff]
lib/AST/ASTInterior.cpp[diff]
lib/AST/ASTNode.cpp[diff]
lib/AST/ASTSymbol.cpp[diff]
lib/AST/ASTUtil.cpp[diff]
lib/AST/ASTmisc.cpp[diff]
lib/AST/CMakeLists.txt[diff]
lib/AST/MutableASTNode.cpp[diff]
lib/AST/TestAST/asttest.cpp[diff]
lib/AST/TestAST/bbtest.cpp[diff]
lib/AST/genkinds.pl[diff]
lib/AbsRefineCounterExample/AbstractionRefinement.cpp[diff]
lib/AbsRefineCounterExample/ArrayTransformer.cpp[diff]
lib/AbsRefineCounterExample/CMakeLists.txt[diff]
lib/AbsRefineCounterExample/CounterExample.cpp[diff]
lib/CMakeLists.txt[diff]
lib/Globals/CMakeLists.txt[diff]
lib/Globals/Globals.cpp[diff]
lib/Interface/CMakeLists.txt[diff]
lib/Interface/c_interface.cpp[diff]
lib/Interface/cpp_interface.cpp[diff]
lib/NodeFactory/CMakeLists.txt[diff]
lib/NodeFactory/HashingNodeFactory.cpp[diff]
lib/NodeFactory/SimplifyingNodeFactory.cpp[diff]
lib/Parser/CMakeLists.txt[diff]
lib/Parser/LetMgr.cpp[diff]
lib/Parser/cvc.lex[diff]
lib/Parser/cvc.y[diff]
lib/Parser/smt.lex[diff]
lib/Parser/smt.y[diff]
lib/Parser/smt2.lex[diff]
lib/Parser/smt2.y[diff]
lib/Printer/AssortedPrinters.cpp[diff]
lib/Printer/BenchPrinter.cpp[diff]
lib/Printer/CMakeLists.txt[diff]
lib/Printer/CPrinter.cpp[diff]
lib/Printer/GDLPrinter.cpp[diff]
lib/Printer/LispPrinter.cpp[diff]
lib/Printer/PLPrinter.cpp[diff]
lib/Printer/SMTLIB1Printer.cpp[diff]
lib/Printer/SMTLIB2Printer.cpp[diff]
lib/Printer/SMTLIBPrinter.cpp[diff]
lib/Printer/dotPrinter.cpp[diff]
lib/STPManager/CMakeLists.txt[diff]
lib/STPManager/STP.cpp[diff]
lib/STPManager/STPManager.cpp[diff]
lib/Sat/CMakeLists.txt[diff]
lib/Sat/CryptoMinisat5.cpp[diff]
lib/Sat/MinisatCore.cpp[diff]
lib/Sat/RissCore.cpp[diff]
lib/Sat/SimplifyingMinisat.cpp[diff]
lib/Simplifier/AIGSimplifyPropositionalCore.cpp[diff]
lib/Simplifier/BVSolver.cpp[diff]
lib/Simplifier/CMakeLists.txt[diff]
lib/Simplifier/DifficultyScore.cpp[diff]
lib/Simplifier/FindPureLiterals.cpp[diff]
lib/Simplifier/PropagateEqualities.cpp[diff]
lib/Simplifier/RemoveUnconstrained.cpp[diff]
lib/Simplifier/Simplifier.cpp[diff]
lib/Simplifier/StrengthReduction.cpp[diff]
lib/Simplifier/SubstitutionMap.cpp[diff]
lib/Simplifier/UnsignedIntervalAnalysis.cpp[diff]
lib/Simplifier/UseITEContext.cpp[diff]
lib/Simplifier/VariablesInExpression.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_Arithmetic.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_Boolean.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_Comparison.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_Division.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_Multiplication.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_Shifting.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_TransferFunctions.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitP_Utility.cpp[diff]
lib/Simplifier/constantBitP/ConstantBitPropagation.cpp[diff]
lib/Simplifier/constantBitP/FixedBits.cpp[diff]
lib/Simplifier/consteval.cpp[diff]
lib/ToSat/BBNodeManagerAIG.cpp[diff]
lib/ToSat/BitBlaster.cpp[diff]
lib/ToSat/CMakeLists.txt[diff]
lib/ToSat/ToCNFAIG.cpp[diff]
lib/ToSat/ToSATAIG.cpp[diff]
lib/ToSat/ToSATBase.cpp[diff]
lib/Util/CMakeLists.txt[diff]
lib/Util/GitSHA1.cpp.in[diff]
lib/Util/RunTimes.cpp[diff]
lib/extlib-abc/CMakeLists.txt[diff]
lib/extlib-constbv/CMakeLists.txt[diff]
scripts/lit-convert/cvc_test_convert.sh[diff]
scripts/lit-convert/smt2_test_convert.sh[diff]
scripts/lit-convert/smt_test_convert.sh[diff]
scripts/travis-cmake.sh[diff]
tests/CMakeLists.txt[diff]
tests/api/C/CMakeLists.txt[diff]
tests/api/C/array-cvcl-02.cpp[diff]
tests/api/C/array-ite.cpp[diff]
tests/api/C/b4-c.cpp[diff]
tests/api/C/b4-c2.cpp[diff]
tests/api/C/cvc-to-c.cpp[diff]
tests/api/C/getbv.cpp[diff]
tests/api/C/if-check.cpp[diff]
tests/api/C/interface-check.cpp[diff]
tests/api/C/leaks.cpp[diff]
tests/api/C/multi-print.cpp[diff]
tests/api/C/multi-query-bug.cpp[diff]
tests/api/C/multiple-queries.cpp[diff]
tests/api/C/parsefile-using-cinterface.cpp[diff]
tests/api/C/parsestring-using-cinterface.cpp[diff]
tests/api/C/print.cpp[diff]
tests/api/C/push-no-pop.cpp[diff]
tests/api/C/push-pop.cpp[diff]
tests/api/C/reported_error.cpp[diff]
tests/api/C/sbvdiv.cpp[diff]
tests/api/C/simplify.cpp[diff]
tests/api/C/stp-array-model.cpp[diff]
tests/api/C/stp-bool.cpp[diff]
tests/api/C/stp-counterex.cpp[diff]
tests/api/C/stp-div-001.cpp[diff]
tests/api/C/stp-test3.cpp[diff]
tests/api/C/stpcheck.cpp[diff]
tests/api/C/timeout.cpp[diff]
tests/api/C/x.cpp[diff]
tests/api/C/y.cpp[diff]
tests/api/CMakeLists.txt[diff]
tests/api/python/CMakeLists.txt[diff]
tests/generated-tests/generators/mulDivRem.cpp[diff]
tests/generated-tests/generators/testgen.pl[diff]
tests/generated-tests/generators3/tree.cpp[diff]
tests/query-files/CMakeLists.txt[diff]
tools/CMakeLists.txt[diff]
tools/measure/CMakeLists.txt[diff]
tools/measure/Functions.cpp[diff]
tools/rewrite_rule_gen/CMakeLists.txt[diff]
tools/rewrite_rule_gen/Functionlist.h[diff]
tools/rewrite_rule_gen/VariableAssignment.h[diff]
tools/rewrite_rule_gen/misc.h[diff]
tools/rewrite_rule_gen/rewrite_rule.h[diff]
tools/rewrite_rule_gen/rewrite_system.h[diff]
tools/stp/CMakeLists.txt[diff]
tools/stp/main.cpp[diff]
tools/stp/main_common.cpp[diff]
tools/stp/main_common.h[diff]
tools/stp_constantbitprop/CMakeLists.txt[diff]
tools/stp_simple/CMakeLists.txt[diff]
tools/stp_simple/main_simple.cpp[diff]
tools/test_constantbitprop/CMakeLists.txt[diff]
tools/time_constantbitprop/CMakeLists.txt[diff]
tools/time_constantbitprop/time_cbitp.cpp[diff]
utils/clang-format.sh[diff]

232 files changed

tree: 5f7237b02b50aedb1a82abef1a0fa09d3e37bb7e