Rename satgen_algo.h -> algo.h, code cleanup and refactoring
authorBogdan Vukobratovic <bogdan.vukobratovic@gmail.com>
Wed, 12 Jun 2019 17:35:05 +0000 (19:35 +0200)
committerBogdan Vukobratovic <bogdan.vukobratovic@gmail.com>
Wed, 12 Jun 2019 17:35:05 +0000 (19:35 +0200)
commitd69989b8d27eea16d793600b1779661f31161c6c
treececeb1020d5e478ad1607931c886dd61e086f317
parent9892df17efadd0eafe5217e812fb4cec2bfdf6e5
Rename satgen_algo.h -> algo.h, code cleanup and refactoring
kernel/algo.h [new file with mode: 0644]
kernel/celltypes.h
kernel/satgen_algo.h [deleted file]
passes/opt/opt_rmdff.cc