├── .github └── workflows │ ├── codeql.yml │ ├── stackhawk.yml │ └── synopsys-io.yml ├── .gitignore ├── LICENSE ├── Makefile ├── Makefile.common ├── README.md ├── bstree.c ├── core.c ├── hashmap.c ├── include ├── c3_bstree.h ├── c3_core.h ├── c3_hashmap.h ├── c3_list.h ├── c3_ordered_map.h ├── c3_utils.h ├── parser │ ├── ast.h │ ├── astkind.h │ ├── parsecnf.h │ └── parser.h └── tosat │ └── bitblaster.h ├── list.c ├── ordered_map.c ├── parser ├── Makefile ├── ast.c ├── astkind.c ├── parsecnf.c ├── smt2.lex └── smt2.y ├── run_tests.sh ├── test ├── random │ └── cnf_rnd.sh ├── sign-extend.smt2 ├── simple.cnf ├── simple2.cnf ├── simple3.cnf ├── simple4.cnf ├── sort.cnf └── sudoku │ └── gen_cnf.sh ├── test_template.sh ├── tosat └── bitblaster.c └── utils.c /.github/workflows/codeql.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/.github/workflows/codeql.yml -------------------------------------------------------------------------------- /.github/workflows/stackhawk.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/.github/workflows/stackhawk.yml -------------------------------------------------------------------------------- /.github/workflows/synopsys-io.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/.github/workflows/synopsys-io.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/Makefile.common -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/README.md -------------------------------------------------------------------------------- /bstree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/bstree.c -------------------------------------------------------------------------------- /core.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/core.c -------------------------------------------------------------------------------- /hashmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/hashmap.c -------------------------------------------------------------------------------- /include/c3_bstree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/c3_bstree.h -------------------------------------------------------------------------------- /include/c3_core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/c3_core.h -------------------------------------------------------------------------------- /include/c3_hashmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/c3_hashmap.h -------------------------------------------------------------------------------- /include/c3_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/c3_list.h -------------------------------------------------------------------------------- /include/c3_ordered_map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/c3_ordered_map.h -------------------------------------------------------------------------------- /include/c3_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/c3_utils.h -------------------------------------------------------------------------------- /include/parser/ast.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/parser/ast.h -------------------------------------------------------------------------------- /include/parser/astkind.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/parser/astkind.h -------------------------------------------------------------------------------- /include/parser/parsecnf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/parser/parsecnf.h -------------------------------------------------------------------------------- /include/parser/parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/parser/parser.h -------------------------------------------------------------------------------- /include/tosat/bitblaster.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/include/tosat/bitblaster.h -------------------------------------------------------------------------------- /list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/list.c -------------------------------------------------------------------------------- /ordered_map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/ordered_map.c -------------------------------------------------------------------------------- /parser/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/parser/Makefile -------------------------------------------------------------------------------- /parser/ast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/parser/ast.c -------------------------------------------------------------------------------- /parser/astkind.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/parser/astkind.c -------------------------------------------------------------------------------- /parser/parsecnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/parser/parsecnf.c -------------------------------------------------------------------------------- /parser/smt2.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/parser/smt2.lex -------------------------------------------------------------------------------- /parser/smt2.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/parser/smt2.y -------------------------------------------------------------------------------- /run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/run_tests.sh -------------------------------------------------------------------------------- /test/random/cnf_rnd.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/random/cnf_rnd.sh -------------------------------------------------------------------------------- /test/sign-extend.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/sign-extend.smt2 -------------------------------------------------------------------------------- /test/simple.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/simple.cnf -------------------------------------------------------------------------------- /test/simple2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/simple2.cnf -------------------------------------------------------------------------------- /test/simple3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/simple3.cnf -------------------------------------------------------------------------------- /test/simple4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/simple4.cnf -------------------------------------------------------------------------------- /test/sort.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/sort.cnf -------------------------------------------------------------------------------- /test/sudoku/gen_cnf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test/sudoku/gen_cnf.sh -------------------------------------------------------------------------------- /test_template.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/test_template.sh -------------------------------------------------------------------------------- /tosat/bitblaster.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/tosat/bitblaster.c -------------------------------------------------------------------------------- /utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RKX1209/c3/HEAD/utils.c --------------------------------------------------------------------------------