https://github.com/jwodder/verity

Truth table generator
https://github.com/jwodder/verity

Last synced: 20 days ago
JSON representation

Truth table generator

• Host: GitHub
• URL: https://github.com/jwodder/verity
• Owner: jwodder
• License: gpl-3.0
• Created: 2009-06-23T16:46:53.000Z (over 15 years ago)
• Default Branch: master
• Last Pushed: 2021-11-29T03:25:15.000Z (almost 3 years ago)
• Last Synced: 2023-04-09T18:38:21.516Z (over 1 year ago)
• Language: C
• Homepage:
• Size: 122 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.txt
  • License: COPYING

Awesome Lists containing this project

README

        
=== 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  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

.

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