equal
deleted
inserted
replaced
619 "SMT_Tests.certs" |
619 "SMT_Tests.certs" |
620 |
620 |
621 session "HOL-Boogie"! in "Boogie" = "HOL-Word" + |
621 session "HOL-Boogie"! in "Boogie" = "HOL-Word" + |
622 options [document = false] |
622 options [document = false] |
623 theories Boogie |
623 theories Boogie |
624 (* FIXME files!?! *) |
|
625 |
624 |
626 session Examples in "Boogie/Examples" = "HOL-Boogie" + |
625 session Examples in "Boogie/Examples" = "HOL-Boogie" + |
627 options [document = false] |
626 options [document = false] |
628 theories |
627 theories |
629 Boogie_Max_Stepwise |
628 Boogie_Max_Stepwise |
630 Boogie_Max |
629 Boogie_Max |
631 Boogie_Dijkstra |
630 Boogie_Dijkstra |
632 VCC_Max |
631 VCC_Max |
633 files |
632 files |
|
633 "Boogie_Dijkstra.b2i" |
634 "Boogie_Dijkstra.certs" |
634 "Boogie_Dijkstra.certs" |
|
635 "Boogie_Max.b2i" |
635 "Boogie_Max.certs" |
636 "Boogie_Max.certs" |
|
637 "VCC_Max.b2i" |
636 "VCC_Max.certs" |
638 "VCC_Max.certs" |
637 |
639 |
638 session "HOL-SPARK"! in "SPARK" = "HOL-Word" + |
640 session "HOL-SPARK"! in "SPARK" = "HOL-Word" + |
639 options [document = false] |
641 options [document = false] |
640 theories SPARK |
642 theories SPARK |