Commits · master · verimag / IF / IF Toolset

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

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

Marius Bozga authored 4 years ago

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

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

Due to inactivity, this project is scheduled to be deleted on 2037-04-19. Why is this scheduled?