Commits · master · verimag / IF / IF Toolset

19 Apr, 2022 2 commits
- minor: removed dead code · c33b5ec9
  iulian authored Apr 19, 2022
  
  c33b5ec9
- change to semantics of observer eventset: an observation will remove events... · 2cb7bbd2
  iulian authored Apr 19, 2022
```
change to semantics of observer eventset: an observation will remove events preceding the one observed
```
  2cb7bbd2
14 Apr, 2022 1 commit
- install on Mac updates · cd842c6e
  iulian authored Apr 14, 2022
  
  cd842c6e
22 Mar, 2022 1 commit
- allow mantissa/exponent real constants · 889966e6
  Marius Bozga authored Mar 22, 2022
  
  889966e6
07 Mar, 2022 1 commit
- add property for toekn-ring example · 8d11ac66
  Marius Bozga authored Mar 07, 2022
  
  8d11ac66
18 Feb, 2022 1 commit
- provide generic functions for unique name checking · 1b3be83d
  Marius Bozga authored Feb 18, 2022
  
  1b3be83d
17 Feb, 2022 1 commit
- fix macro parameter / field name clash · 17cab404
  Marius Bozga authored Feb 17, 2022
  
  17cab404
16 Feb, 2022 2 commits
- fix some C++ compilation warnings · 2ceed595
  Marius Bozga authored Feb 16, 2022
  
  2ceed595
- support ranges on reals with default step fixed at 1 · b530e974
  Marius Bozga authored Feb 16, 2022
  
  b530e974
31 Jan, 2022 2 commits
- fix ar options · 86f32361
  Marius Bozga authored Jan 31, 2022
  
  86f32361
- refactor dfs loop · dd3f21e9
  Marius Bozga authored Jan 31, 2022
  
  dd3f21e9
28 Jan, 2022 2 commits
- fix -le DFS bug · 9e722619
  EXT Iulian Ober authored Jan 28, 2022
  
  9e722619
- support for bounding the number of messages from env in DFS · 6b873b1c
  EXT Iulian Ober authored Jan 28, 2022
  
  6b873b1c
21 Jan, 2022 1 commit
- added options to stop exploration after n states/seconds and limit number of generated scenarios · 088b42c9
  EXT Iulian Ober authored Jan 21, 2022
  
  088b42c9
07 Dec, 2021 2 commits
- fix memory leaks for labels in observers · 581111a2
  Marius Bozga authored Dec 07, 2021
  
  581111a2
- fix memory leaks for event/labels · 923b1300
  Marius Bozga authored Dec 07, 2021
  
  923b1300
24 Nov, 2021 1 commit
- fix enum type generation, avoid padding issues · 12917c18
  Marius Bozga authored Nov 24, 2021
  
  12917c18
23 Nov, 2021 1 commit
- bug fix: clock/integer (s)print · f03243a7
  EXT Iulian Ober authored Nov 23, 2021
  
  f03243a7
18 Nov, 2021 2 commits
- ensure unique state names in auto-generated code · 125add74
  Marius Bozga authored Nov 18, 2021
  
  125add74
- improve type checking in presence of renamed types · 2ea18da7
  Marius Bozga authored Nov 18, 2021
  
  2ea18da7
17 Nov, 2021 1 commit
- fix state name binding in hierarchical / concurrent states · 01542e56
  Marius Bozga authored Nov 17, 2021
  
  01542e56
03 May, 2021 1 commit
- Fully switch to 64bit types to avoid padding in simulator structures and thus ensure unique hashing · 69e5942b
  EXT Iulian Ober authored May 03, 2021
  
  69e5942b
27 Apr, 2021 3 commits
- avoid unnecessary hash conflicts for IfEvents · 35d4b3ca
  Marius Bozga authored Apr 27, 2021
  
  35d4b3ca
- observers: match actions: allow r-value expressions for in/to/from/via · e80a70bd
  Marius Bozga authored Apr 27, 2021
  
  e80a70bd
- added boolean xor, in array/string expressions · 7d74dbb1
  Marius Bozga authored Apr 27, 2021
  
  7d74dbb1
31 Mar, 2021 1 commit

Merge from IF2-B-Open:- allows for negative bounds in range types- implement... · d9ade131

Marius Bozga authored Mar 31, 2021

Merge from IF2-B-Open:- allows for negative bounds in range types- implement the length operator for array types- fix type checking of call and conditional expressions

d9ade131

09 Feb, 2021 1 commit
- initial commit · 3f217be9
  Marius Bozga authored Feb 09, 2021
  
  3f217be9
29 Jan, 2021 1 commit
- Initial commit · 970d3f6c
  Les IRs de Verimag authored Jan 29, 2021
  
  970d3f6c