Commit graph

20 commits

Author SHA1 Message Date
Brandon Rozek c9a4f6ce36
Added line number in error messages 2024-06-23 20:02:53 -07:00
Brandon Rozek a6ca7ff7a3
Changed model names to match magics naming structure
SIZE.NEGATION.ORDER.DESIGNATED.IMPLICATION
2024-06-23 19:49:14 -07:00
Brandon Rozek d14ad52798
Updated README 2024-06-15 09:02:31 -07:00
Brandon Rozek 960fa82237
Parsing as regular decimal integers instead of hexadecimal. (PR #6) 2024-06-15 08:48:12 -07:00
Brandon Rozek d1c56fa6a5
Parsing as regular decimal integers instead of hexadecimal. 2024-06-15 08:46:53 -07:00
Brandon Rozek 43bb036008
Added command in readme 2024-05-29 15:34:39 -04:00
Brandon Rozek 667eea0c70
Remove conjunction and disjunction when not well-defined 2024-05-29 14:08:03 -04:00
Brandon Rozek df5b0f5161
Pretty printing 2024-05-29 13:50:20 -04:00
Brandon Rozek 6bb863da97
Code cleanup 2024-05-28 16:05:06 -04:00
Brandon Rozek 6b4d5828c8
Code cleanup and documentation 2024-05-28 14:50:31 -04:00
Brandon Rozek 81a2d17965 Temporary debugging 2024-05-28 13:51:29 -04:00
Brandon Rozek 2fa8aa9c15
Updates
- Parses multiple implication tables from magic
- Speed improvements to model closure
- Make use of prior model_closure computations
2024-05-12 13:03:28 -04:00
Brandon Rozek cf636eb7fd
Updates
- Fixed VSP check
- Parse magic output files disregarding header row
- TODO: Fix parsing multiple implication tables in a row
2024-05-09 17:08:15 -04:00
Brandon Rozek ff666c326e
Small cleanup 2024-05-04 16:51:49 -04:00
Brandon Rozek f3c82f090f
Model of R that has VSP 2024-05-03 17:04:03 -04:00
Brandon Rozek e105c4bf5e
Initial draft of VSP check 2024-05-03 13:06:52 -04:00
Brandon Rozek 39a6bf84fb
Playing around with orderings 2024-04-21 17:37:21 -04:00
Brandon Rozek ae8658fda2
Introduced ordering at model level... 2024-04-21 12:17:05 -04:00
Brandon Rozek 20ccacc166
Some optimizations 2024-04-15 00:08:00 -04:00
Brandon Rozek 9f985740e0
Initial commit 2024-04-08 23:59:21 -04:00