GIA is now in Kodkod 2.0, as well as the Alloy support, but it was copy-pasted just so we could get it working.
We need to clean it up. This includes rewriting messy methods and writing the documentation for it.
I'd like to start by looking at the individual files and cleaning them up one-by-one. This is in terms of both code style and implementation. The idea is to keep the steps small so we don't get overwhelmed.
Next, we can look at how the pieces fit together. This would also include how the files are organized into packages - is there a more logical organization scheme?
I will be leading the refactor effort. @joseph2625 will assist as needed. However, I'd like to ask @cpkleynhans and @AtulanZaman to also go over the two diffs ([1], [2]) and comment on things to be refactored.
This task is to be done in parallel with #6 (unit tests), but must be merged in after.
GIA is now in Kodkod 2.0, as well as the Alloy support, but it was copy-pasted just so we could get it working.
We need to clean it up. This includes rewriting messy methods and writing the documentation for it.
I'd like to start by looking at the individual files and cleaning them up one-by-one. This is in terms of both code style and implementation. The idea is to keep the steps small so we don't get overwhelmed.
Next, we can look at how the pieces fit together. This would also include how the files are organized into packages - is there a more logical organization scheme?
I will be leading the refactor effort. @joseph2625 will assist as needed. However, I'd like to ask @cpkleynhans and @AtulanZaman to also go over the two diffs ([1], [2]) and comment on things to be refactored.
This task is to be done in parallel with #6 (unit tests), but must be merged in after.
Please use the amalgam-refactor branch.