Commits · main · Dávid Smolka / Maslo

Browse files

Oct 16, 2024
- Merge branch 'dev' into 'main' · 19594560
  Dávid Smolka authored Oct 16, 2024
  19594560
Oct 15, 2024
- Implemented backaward modal pruning · 1200e0cf
  dave authored Oct 15, 2024
  
  1200e0cf
- Cleanup · e7dd1418
  dave authored Oct 15, 2024
  
  e7dd1418
Apr 20, 2024
- Merge branch 'revert-98620a6b ' into 'main' · ee950806
  Dávid Smolka authored Apr 20, 2024
  ee950806
- Revert "Started typing and need to change machines..." · 08afac4b
  Dávid Smolka authored Apr 20, 2024
  08afac4b
Dec 29, 2023
- Started typing and need to change machines... · 98620a6b
  Dávid Smolka authored Dec 29, 2023
  
  98620a6b
Dec 11, 2023
- Some decomposition · f021ce67
  Dávid Smolka authored Dec 11, 2023
  
  f021ce67
- Removed may_edges set and replaced it by using is_may_edge(aut, en). · 5dac7243
  Dávid Smolka authored Dec 11, 2023
  
  5dac7243
- Changed is_may_edge(aut, en) and get_may_edges(aut) to use only functions implemented in Spot. · 5e2cca4d
  Dávid Smolka authored Dec 11, 2023
  
  5e2cca4d
- bugfix · 44d07e50
  Dávid Smolka authored Dec 11, 2023
  
  44d07e50
Dec 04, 2023
- Added modal pruning to README · 02a44bce
  Dávid Smolka authored Dec 04, 2023
  
  02a44bce
- Added .gitignore · 136f907c
  Dávid Smolka authored Dec 04, 2023
  
  136f907c
- Removed pycache · 08861f50
  Dávid Smolka authored Dec 04, 2023
  
  08861f50
- Beautified to PEP8 · 4594fe1e
  Dávid Smolka authored Dec 04, 2023
  
  4594fe1e
- Added modal pruning utilizing Lw/Hw simulation · 240e281e
  Dávid Smolka authored Dec 04, 2023
  
  240e281e
- Added lw_hw simulations · 9d799d8e
  Dávid Smolka authored Dec 04, 2023
  
  9d799d8e
May 19, 2023
- fix grammar · 84d2ef35
  Dávid Smolka authored May 19, 2023
  
  84d2ef35
May 17, 2023
- Updated README.md · e7d43e6f
  Dávid Smolka authored May 17, 2023
  
  e7d43e6f
- Initial commit · 638700cf
  Dávid Smolka authored May 17, 2023
  
  638700cf
- Add LICENSE · 332dccb2
  Dávid Smolka authored May 17, 2023
  
  332dccb2
- Initial commit · 0f7b7a8a
  Dávid Smolka authored May 17, 2023
  
  0f7b7a8a