{"id":18085088,"url":"https://github.com/jwodder/verity","last_synced_at":"2025-03-29T00:33:21.503Z","repository":{"id":598853,"uuid":"234445","full_name":"jwodder/Verity","owner":"jwodder","description":"Truth table generator","archived":true,"fork":false,"pushed_at":"2021-11-29T03:25:15.000Z","size":125,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-21T00:21:00.084Z","etag":null,"topics":["c","latex","postscript","truth-tables"],"latest_commit_sha":null,"homepage":"","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jwodder.png","metadata":{"files":{"readme":"README.txt","changelog":null,"contributing":null,"funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2009-06-23T16:46:53.000Z","updated_at":"2024-03-05T11:44:49.000Z","dependencies_parsed_at":"2022-07-07T18:10:50.777Z","dependency_job_id":null,"html_url":"https://github.com/jwodder/Verity","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwodder%2FVerity","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwodder%2FVerity/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwodder%2FVerity/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwodder%2FVerity/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jwodder","download_url":"https://codeload.github.com/jwodder/Verity/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246122251,"owners_count":20726822,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["c","latex","postscript","truth-tables"],"created_at":"2024-10-31T15:09:20.624Z","updated_at":"2025-03-29T00:33:21.230Z","avatar_url":"https://github.com/jwodder.png","language":"C","readme":"=== Verity - v.1.4 - README.txt ===\n\n0. CONTENTS\n\n0. Contents\n1. About\n2. File List\n3. Version History\n\n\n1. ABOUT\n\nVerity is a small utility for generating truth tables of logical statements of\nthe sort that you would be assigned in a logic course.  Currently, it can\noutput tables as plain ASCII text, TeX or LaTeX markup, and PostScript.  See\nthe manpage for more information.\n\nVerity was written by John T. Wodder II \u003cjwodder@sdf.lonestar.org\u003e and is\nlicensed under the GNU GPL, v.3 or later.  The latest version and any\nhalf-baked changes to it in the works can be found at\n\u003chttp://github.com/jwodder/Verity\u003e.\n\n\n2. FILE LIST\n\nCOPYING - the GNU General Public License v.3, under which Verity is licensed\nMakefile - the Makefile\nREADME.txt - this file\nTODO.txt - a list of some things that need to be done or could be done\nverilex.c - the lexer\nveriprint.c - contains the code for printing out tables\nveriprint.h - the header file for veriprint.h\nverity.1 - the manpage for Verity\nverity.pod - the POD source for the manpage\nverity.y - the Bison source for the parser\nveritypes.c - contains code for storing expressions\nveritypes.h - the header file for veritypes.c\n\n\n3. VERSION HISTORY\n\n22 Nov 2008 - v.1.3:\n - Version history started\n - Variables named 'x', 'X', or 'v' may now be used by preceding them with\n   backslashes\n - Empty files \u0026 files containing only whitespace are no longer valid input\n - Code significantly improved\n - '|' now accepted as an alternative for 'v' and \"||\"\n - Location tracking implemented for error messages; Bison (not Yacc) now\n   required for compiling\n - Syntax error messages made more descriptive; Bison now required even more\n - Added PostScript output\n - '=' and \"==\" now accepted as alternatives for \"\u003c-\u003e\"\n\n??? - v.1.4:\n - '+' now accepted as an alternative to 'x' and 'X'\n - The symbol to use for XOR in output can now be set by #defining or not\n   #defining OLD_XOR_SYM in veriprint.c.  If it is #defined, the symbol will be\n   'x' in plain text output and 'v' with a dot over it in (La)TeX and\n   PostScript; if not #defined, it will be '+' in plain text and a circled '+'\n   in (La)TeX and PostScript.\n - Implemented error recovery for invalid statements up to the next newline or\n   semicolon\n - Added the -u and -U switches for producing Unicode output\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjwodder%2Fverity","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjwodder%2Fverity","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjwodder%2Fverity/lists"}