Home Discussions10 of 623 messages view all » [guru-lang] r551 committed - tagged 1.0.1 version; working with the VMCAI 2012 version of versat By guru-l...@googlecode.com - Nov 28 2011 - 1 author - 0 replies [guru-lang] r550 committed - created a stable branch for 1.0.x (compatible with the versat version ... By guru-l...@googlecode.com - Nov 28 2011 - 1 author - 0 replies [guru-lang] r549 committed - Added broken type reconstruction, with the intent of fixing it or comp... By guru-l...@googlecode.com - Nov 28 2011 - 1 author - 0 replies [guru-lang] r548 committed - added plausibility testing By guru-l...@googlecode.com - Nov 21 2011 - 1 author - 0 replies [guru-lang] r547 committed - Added UnjoinBase, a class containing common functionality between Unjo... By guru-l...@googlecode.com - Nov 14 2011 - 1 author - 0 replies [guru-lang] r546 committed - fixed some bugs. added some tests. By guru-l...@googlecode.com - Oct 31 2011 - 1 author - 0 replies [guru-lang] r545 committed - unjoin no longer recursively unjoins. simplified, commented, cleaned u... By guru-l...@googlecode.com - Oct 27 2011 - 1 author - 0 replies [guru-lang] r544 committed - fixed some issues with unjoin. added unjoin contradictions. By guru-l...@googlecode.com - Oct 21 2011 - 1 author - 0 replies [guru-lang] r543 committed - trying out unjoin with Kevin By guru-l...@googlecode.com - Oct 12 2011 - 1 author - 0 replies [guru-lang] r542 committed - added a very rough implementation for an upcoming proof construct call... By guru-l...@googlecode.com - Oct 12 2011 - 1 author - 0 replies Report this group   XML       Send email to this group: guru-gang@googlegroups.com