Skip to content

Automatically exported from code.google.com/p/eqntott

License

Notifications You must be signed in to change notification settings

PeterMacGonagan/eqntott

 
 

Repository files navigation

eqntott: convert boolean logic equation to truth table.

See the man page for more information. There are some example input
files in the examples/ directory. To install, do the usual:

./configure
make
make install

This is old code written for an ancient C compiler, but I've made some
modifications so it compiles with a modern gcc. The program is very
mature -- it was used as part of the SPEC92 benchmarks -- but it
hasn't been actively updated since 1981.

In the conversion to modernity, I've done the following:

* Restructured the code. Now there are src/ and doc/ and examples/
  directories.

* Converted it to use automake and autoconf. I don't really check for
  portability with autoconf, so most of the configure script's effort
  goes to waste, but it does provide some compatibility and a lot of
  usability.

* Moved the whole thing into Darcs version control.

* Fixed the code so that it will compile.

* Discontinued use of the yacc sources for the parser. I just ran
  Bison on them and called the resulting files part of the source. The
  output from Bison is already littered with ridiculous amounts of
  compatibility code anyway, so I figure it's about a million times
  more portable than any other part of the code.


Peter Scott
pjscott@iastate.edu
June 2008

About

Automatically exported from code.google.com/p/eqntott

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Roff 74.0%
  • C 12.2%
  • Shell 9.5%
  • Makefile 4.1%
  • Yacc 0.2%