Diaframe merge requestshttps://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests2024-02-06T15:05:17Zhttps://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests/7Drop support for 8.16 & 8.172024-02-06T15:05:17ZIke MulderDrop support for 8.16 & 8.17https://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests/6Cleaned up codebase and updated README2022-08-26T11:08:57ZIke MulderCleaned up codebase and updated READMECleaned up codebase, added some comments, updated README, renamed ModalityEC -> ModalityStrongMono, added notation for empty_hyps.Cleaned up codebase, added some comments, updated README, renamed ModalityEC -> ModalityStrongMono, added notation for empty_hyps.https://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests/5Ci/renaming2022-08-23T16:41:17ZIke MulderCi/renamingChanged `MergeMod` to `Transform`, simplified `ModReIntro`. `Transform` only takes one argument, simplifying the setup for `do_löb`.Changed `MergeMod` to `Transform`, simplified `ModReIntro`. `Transform` only takes one argument, simplifying the setup for `do_löb`.https://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests/4Improved Abduction inference algorithm2022-07-28T15:37:47ZIke MulderImproved Abduction inference algorithmImproves abduction inference. In particular, allows abduct to properly open invariants and compute a provable remaining goal.Improves abduction inference. In particular, allows abduct to properly open invariants and compute a provable remaining goal.Ike MulderIke Mulderhttps://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests/3Update to recent Iris version2022-07-26T15:10:55ZIke MulderUpdate to recent Iris versionGot past the telescope stuff, actris supplement is working again, simuliris temporarily disabled.Got past the telescope stuff, actris supplement is working again, simuliris temporarily disabled.Ike MulderIke Mulderhttps://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests/2Restructuring folder, made everything build with CI2022-07-22T10:18:48ZIke MulderRestructuring folder, made everything build with CIIke MulderIke Mulderhttps://gitlab.rts.mpi-sws.org/iris/diaframe/-/merge_requests/1Preliminary fixes for CI2021-11-18T20:51:36ZIke MulderPreliminary fixes for CIAmong others, fixes the makefile for building without external projects.Among others, fixes the makefile for building without external projects.Ike MulderIke Mulder