Commits · main · David Quinn Alvarez / smcplaus · GitLab

Jan 02, 2025
- docs: Updated version · 70c7a419
  David Quinn Alvarez authored Jan 01, 2025
  
  70c7a419
- docs: Updated with new repo links · 6be5ba5a
  David Quinn Alvarez authored Jan 01, 2025
  
  6be5ba5a
Jan 08, 2024
- style: Changed order of tests in Winestein example · 44e8cdb6
  David Alvarez Lombardi authored Jan 08, 2024
  
  44e8cdb6
- fix: Corrected use of asterisk in StateToLabelMap · d61e25f1
  David Alvarez Lombardi authored Jan 08, 2024
  
  d61e25f1
Jan 05, 2024
- docs: Corrected typo · ec0a0653
  David Alvarez Lombardi authored Jan 05, 2024
  
  ec0a0653
Jan 04, 2024
- feat: Changed loading kwargs to 'force_s4' for transparency · f5b8834f
  David Alvarez Lombardi authored Jan 04, 2024
  
  f5b8834f
- docs: Corrected example DOT output · a66c45c4
  David Alvarez Lombardi authored Jan 04, 2024
  
  a66c45c4
- fix: Sorted clusters for stable output · 9d22e53a
  David Alvarez Lombardi authored Jan 04, 2024
  
  9d22e53a
- fix: Sorted domain for stable output · 9e08a96e
  David Alvarez Lombardi authored Jan 04, 2024
  
  9e08a96e
- feat: Added dumping to DOT files via graphviz · 12ef497a
  David Alvarez Lombardi authored Jan 04, 2024
  
  12ef497a
Jan 03, 2024
- feat: Completed Winestein example · 58494276
  David Alvarez Lombardi authored Jan 03, 2024
  
  58494276
- docs: Added 'Installation' section to README · 62761cfa
  David Alvarez Lombardi authored Jan 03, 2024
  
  62761cfa
- docs: Added PyPI link to README · 7b4045af
  David Alvarez Lombardi authored Jan 03, 2024
  
  7b4045af
- chore: Added meta-information and uploaded to PyPI · c3c977fc
  David Alvarez Lombardi authored Jan 03, 2024
  
  c3c977fc
- docs: Added 'Contributing' section to README · c0535d10
  David Alvarez Lombardi authored Jan 03, 2024
  
  c0535d10
- feat: Removed singleton implementation for State and PropositionalVariable · 95f85e3f
  David Alvarez Lombardi authored Jan 03, 2024
  
  95f85e3f
- docs: Specified 'single-agent' · 7bb028bc
  David Alvarez Lombardi authored Jan 03, 2024
  
  7bb028bc
- docs: Updated README with Usage section · dc921ab5
  David Alvarez Lombardi authored Jan 03, 2024
  
  dc921ab5
- feat: Added py.typed file · dccf0dc3
  David Alvarez Lombardi authored Jan 03, 2024
  
  dccf0dc3
- feat: Added type aliases for common, complex types · ffb3751f
  David Alvarez Lombardi authored Jan 03, 2024
  
  ffb3751f
- feat: Reworked mapping validation · f8164596
  David Alvarez Lombardi authored Jan 03, 2024
  
  f8164596
- feat: Switched from 'states' to 'domain' · 1ac6f7c1
  David Alvarez Lombardi authored Jan 03, 2024
  
  1ac6f7c1
- docs: Added references to README · 014661e7
  David Alvarez Lombardi authored Jan 02, 2024
  
  014661e7
Jan 02, 2024
- docs: Reverted name · 32ad6113
  David Alvarez Lombardi authored Jan 02, 2024
  
  32ad6113
- docs: WIP - Adding documentation to README · 439ccb0e
  David Alvarez Lombardi authored Jan 02, 2024
  
  439ccb0e
- docs: Added examples script · bc5d6536
  David Alvarez Lombardi authored Jan 02, 2024
  
  bc5d6536
- chore: Added and configured tox · 38a7f274
  David Alvarez Lombardi authored Jan 02, 2024
  
  38a7f274
- chore: Removed TODO · d7266cb9
  David Alvarez Lombardi authored Jan 02, 2024
  
  d7266cb9
- test: Added another test for PropositionalVariable.from_str · b23dfcb0
  David Alvarez Lombardi authored Jan 02, 2024
  
  b23dfcb0
- feat: Added support for non-'s' propositional variables · 1e9acd75
  David Alvarez Lombardi authored Jan 02, 2024
  
  1e9acd75
- test: Added test for 'conservative_upgrade' · bc54384a
  David Alvarez Lombardi authored Jan 02, 2024
  
  bc54384a
- feat: Added Connectives.Diamond · 388fd839
  David Alvarez Lombardi authored Jan 02, 2024
  
  388fd839
- test: Added tests for formula module · 1be9981c
  David Alvarez Lombardi authored Jan 02, 2024
  
  1be9981c
- fix: Fixed iteration bug in PlausibilityModel.from_str_dict · c88c8e47
  David Alvarez Lombardi authored Jan 02, 2024
  
  c88c8e47
- refactor: Using !s instead of str() · 1df0fb09
  David Alvarez Lombardi authored Jan 02, 2024
  
  1df0fb09
- chore: Formatting (again) (again) (again) · 9175c7c0
  David Alvarez Lombardi authored Jan 02, 2024
  
  9175c7c0
- chore: Formatting (again) (again) · 015f75e7
  David Alvarez Lombardi authored Jan 01, 2024
  
  015f75e7
- chore: Formatting (again) · 45959332
  David Alvarez Lombardi authored Jan 01, 2024
  
  45959332
- chore: Formatting · 26052bd8
  David Alvarez Lombardi authored Jan 01, 2024
  
  26052bd8
- chore: Added 'coverage' package · 9250e5cc
  David Alvarez Lombardi authored Jan 01, 2024
  
  9250e5cc