-
lvoisin committed revision 7785 to the RODIN SVN repository, changing 2 files.
2009-11-11 19:43:38 UTC in RODIN
-
lvoisin committed revision 7784 to the RODIN SVN repository, changing 1 files.
2009-11-11 18:41:55 UTC in RODIN
-
lvoisin committed revision 7783 to the RODIN SVN repository, changing 2 files.
2009-11-11 18:11:54 UTC in RODIN
-
lvoisin committed revision 7782 to the RODIN SVN repository, changing 1 files.
2009-11-11 18:10:08 UTC in RODIN
-
Following to a post from Matthias, there are several inference rules that are ill-defined in both the Rodin wiki and the event-B prover. The usage of these rules can introduce inconsistency in the prover (e.g., allow one to prove false which is invalid, as Matthias did).
Some rules already known to be ill-defined are MH, HM, FORALL_INST_MP and FIN_SUBSETEQ_R.
These rules should be fixed in...
2009-11-10 21:55:29 UTC in RODIN
-
lvoisin committed revision 7736 to the RODIN SVN repository, changing 4 files.
2009-11-03 18:24:20 UTC in RODIN
-
lvoisin committed revision 7735 to the RODIN SVN repository, changing 5 files.
2009-11-03 18:23:25 UTC in RODIN
-
lvoisin committed revision 7734 to the RODIN SVN repository, changing 4 files.
2009-11-03 18:22:11 UTC in RODIN
-
lvoisin made 3 file-release changes.
2009-11-03 16:28:01 UTC in RODIN
-
lvoisin made 1 file-release changes.
2009-11-03 16:27:01 UTC in RODIN
