Commit graph

Select branches

Hide pull requests

feat/2

feat/46

fix/model2matrix

main

opt/14

opt/36

opt/38

opt/47

#10

#11

#13

#15

#17

#19

#21

#24

#25

#27

#30

#33

#34

#35

#37

#39

#41

#43

#44

#44

#48

#49

#49

#50

#52

#6

v1.1

v1.2

Mono Color

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