Merge requests · TASTE / if-model-checking

Fix path in IfGenerator

!24 · created Jun 14, 2023 by Maxime Perrotin
- Merged
- Approved
updated Jun 14, 2023
Running example update

!23 · created Jan 25, 2023 by Iulia Dragomir
- Merged
updated Jan 25, 2023
SDL2IF bugfix and update

!22 · created Jan 25, 2023 by Iulia Dragomir
- Merged
updated Jan 25, 2023
Update observer skeleton

!21 · created Jan 25, 2023 by Iulia Dragomir
- Merged
updated Jan 25, 2023
fixes in the prefix use of scn2msc and scn2asn1

!20 · created Sep 06, 2022 by Iulia Dragomir
- Merged
updated Sep 06, 2022
Scn2asn1 fixes

!19 · created Sep 02, 2022 by Iulia Dragomir
- Merged
updated Sep 02, 2022
merge correction

!18 · created Aug 29, 2022 by Iulia Dragomir
- Merged
updated Aug 29, 2022
Scn2asn1

!17 · created Aug 26, 2022 by Iulia Dragomir
- Merged
updated Aug 26, 2022
Deleted extra files

!16 · created Aug 26, 2022 by Iulia Dragomir
- Merged
updated Aug 26, 2022
Added module scn2asn1

!15 · created Aug 26, 2022 by Iulia Dragomir
- Merged
updated Aug 26, 2022
improve translations error handling

!14 · created Aug 24, 2022 by Marius Bozga
- Merged
- Approved
updated Aug 24, 2022
misc. improvements on sdl2if translation + tests updated

!13 · created Aug 17, 2022 by Marius Bozga
- Merged
- Approved
updated Aug 17, 2022
- misc. improvements

!12 · created Aug 16, 2022 by Marius Bozga
- Merged
- Approved
updated Aug 16, 2022
Update MSC property makefile to use new call for mscconverter

!11 · created Jul 11, 2022 by Laura Alexandra Sequeira Gouveia
- Merged
updated Jul 11, 2022
sdl2if fix : translation of input/output matching with missing parameters

!10 · created Jul 08, 2022 by Marius Bozga
- Merged
- Approved
updated Jul 08, 2022
updated ixv case study

!9 · created Jun 27, 2022 by Iulia Dragomir
- Merged
updated Jun 27, 2022
Draft: Ixv update

!8 · created Jun 27, 2022 by Iulia Dragomir
- Closed
updated Jun 27, 2022
update sdl2if tests

!7 · created Jun 02, 2022 by Marius Bozga
- Merged
- Approved
updated Jun 02, 2022
fix for mod, rem, shift_left, shift_right translation

!6 · created Jun 02, 2022 by Marius Bozga
- Merged
- Approved
updated Jun 02, 2022
scn2msc bugs corrected and updated if files

!5 · created May 09, 2022 by Iulia Dragomir
- Merged
updated May 09, 2022