Skip to content

Releases: metaborg/disamb-verification

Final Thesis Version 1.2

23 Apr 17:59
@LMiljak LMiljak
1.2
e7fecc1
Compare
Choose a tag to compare
Final Thesis Version 1.2 Latest
Latest

Added proofs that show the restrictions imposed on the disambiguation rules are most general.

Assets 2
Loading

Final Thesis Version 1.1

12 Apr 14:11
@LMiljak LMiljak
1.1
09f94eb
Compare
Choose a tag to compare
Final Thesis Version 1.1

Fixes an issue of a missing Tactic.

Assets 2
Loading

Final Thesis Version

08 Apr 14:56
@LMiljak LMiljak
1.0
b767510
Compare
Choose a tag to compare
Final Thesis Version

This version of the code will be referenced by the final version of the thesis.

Assets 2
Loading