|
|
d1c56fa6a5
|
Parsing as regular decimal integers instead of hexadecimal.
|
2024-06-15 08:46:53 -07:00 |
|
|
|
43bb036008
|
Added command in readme
|
2024-05-29 15:34:39 -04:00 |
|
|
|
667eea0c70
|
Remove conjunction and disjunction when not well-defined
|
2024-05-29 14:08:03 -04:00 |
|
|
|
df5b0f5161
|
Pretty printing
|
2024-05-29 13:50:20 -04:00 |
|
|
|
6bb863da97
|
Code cleanup
|
2024-05-28 16:05:06 -04:00 |
|
|
|
6b4d5828c8
|
Code cleanup and documentation
|
2024-05-28 14:50:31 -04:00 |
|
|
|
81a2d17965
|
Temporary debugging
|
2024-05-28 13:51:29 -04:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
ff666c326e
|
Small cleanup
|
2024-05-04 16:51:49 -04:00 |
|
|
|
f3c82f090f
|
Model of R that has VSP
|
2024-05-03 17:04:03 -04:00 |
|
|
|
e105c4bf5e
|
Initial draft of VSP check
|
2024-05-03 13:06:52 -04:00 |
|
|
|
39a6bf84fb
|
Playing around with orderings
|
2024-04-21 17:37:21 -04:00 |
|
|
|
ae8658fda2
|
Introduced ordering at model level...
|
2024-04-21 12:17:05 -04:00 |
|
|
|
20ccacc166
|
Some optimizations
|
2024-04-15 00:08:00 -04:00 |
|
|
|
9f985740e0
|
Initial commit
|
2024-04-08 23:59:21 -04:00 |
|
