SASyLF 1.3.3 released
2 views
Skip to first unread message
John
Jun 10, 2014, 9:55:11 AM6/10/14
to sasylf-...@googlegroups.com
SASyLF 1.3.3 has been released to the SourceForge download site:
https://sourceforge.net/projects/sasylf/files/Releases/
This version of SASyLF fixes unsoundnesses in unification and context adaptation. It also removes limitations on pattern matching with contexts: previously derivations with more than one variable and terms with any variables could not be subject to case analysis. Internally, the case analysis code was almost totally rewritten.
https://sourceforge.net/projects/sasylf/files/Releases/
This version of SASyLF fixes unsoundnesses in unification and context adaptation. It also removes limitations on pattern matching with contexts: previously derivations with more than one variable and terms with any variables could not be subject to case analysis. Internally, the case analysis code was almost totally rewritten.
Reply all
Reply to author
Forward
0 new messages