diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-18 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-18 08:01:00 -0700 |
| commit | dffcc93b8e8779f443762c71098796b01ea7d409 (patch) | |
| tree | 44113f09a94914013816564bdad846b5939c220a /src/sat | |
| parent | 6e496de7ff1a1f9b6f0babc8efb0a13379242505 (diff) | |
| download | abc-dffcc93b8e8779f443762c71098796b01ea7d409.tar.gz abc-dffcc93b8e8779f443762c71098796b01ea7d409.tar.bz2 abc-dffcc93b8e8779f443762c71098796b01ea7d409.zip | |
Version abc50818
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/sim/module.make | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sat/sim/module.make b/src/sat/sim/module.make new file mode 100644 index 00000000..8f1b4ded --- /dev/null +++ b/src/sat/sim/module.make @@ -0,0 +1,6 @@ +SRC += simMan.c \ + simSat.c \ + simSupp.c \ + simSym.c \ + simUnate.c \ + simUtils.c |