2019-10-21 | rtrimana | Adding more restrictions in conflict analysis: not... | blob | commitdiff | raw |
2019-10-16 | rtrimana | More subtle changes to config file and state reducer... | blob | commitdiff | raw | diff to current |
2019-10-16 | rtrimana | Fixing a few bugs. Still need to check for the backtrac... | blob | commitdiff | raw | diff to current |
2019-10-15 | rtrimana | First version of POR; need to double check the backtrac... | blob | commitdiff | raw | diff to current |
2019-09-27 | rtrimana | Adding more state reduction analysis. | blob | commitdiff | raw | diff to current |
2019-09-26 | rtrimana | Fixing a typo in option name. | blob | commitdiff | raw | diff to current |
2019-09-25 | rtrimana | Updating main.jpf; Cleaning up the StateReducer. | blob | commitdiff | raw | diff to current |
2019-09-25 | rtrimana | First version of the StateReducer class. | blob | commitdiff | raw | diff to current |