This repository has been archived by the owner on Oct 2, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Truth table generator
License
jwodder/Verity
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
=== Verity - v.1.4 - README.txt === 0. CONTENTS 0. Contents 1. About 2. File List 3. Version History 1. ABOUT Verity is a small utility for generating truth tables of logical statements of the sort that you would be assigned in a logic course. Currently, it can output tables as plain ASCII text, TeX or LaTeX markup, and PostScript. See the manpage for more information. Verity was written by John T. Wodder II <[email protected]> and is licensed under the GNU GPL, v.3 or later. The latest version and any half-baked changes to it in the works can be found at <http://github.com/jwodder/Verity>. 2. FILE LIST COPYING - the GNU General Public License v.3, under which Verity is licensed Makefile - the Makefile README.txt - this file TODO.txt - a list of some things that need to be done or could be done verilex.c - the lexer veriprint.c - contains the code for printing out tables veriprint.h - the header file for veriprint.h verity.1 - the manpage for Verity verity.pod - the POD source for the manpage verity.y - the Bison source for the parser veritypes.c - contains code for storing expressions veritypes.h - the header file for veritypes.c 3. VERSION HISTORY 22 Nov 2008 - v.1.3: - Version history started - Variables named 'x', 'X', or 'v' may now be used by preceding them with backslashes - Empty files & files containing only whitespace are no longer valid input - Code significantly improved - '|' now accepted as an alternative for 'v' and "||" - Location tracking implemented for error messages; Bison (not Yacc) now required for compiling - Syntax error messages made more descriptive; Bison now required even more - Added PostScript output - '=' and "==" now accepted as alternatives for "<->" ??? - v.1.4: - '+' now accepted as an alternative to 'x' and 'X' - The symbol to use for XOR in output can now be set by #defining or not #defining OLD_XOR_SYM in veriprint.c. If it is #defined, the symbol will be 'x' in plain text output and 'v' with a dot over it in (La)TeX and PostScript; if not #defined, it will be '+' in plain text and a circled '+' in (La)TeX and PostScript. - Implemented error recovery for invalid statements up to the next newline or semicolon - Added the -u and -U switches for producing Unicode output
About
Truth table generator
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published