Commits · bde13ab7590157cba8f7cc3abb3bee57fcf29ae9 · real-time maude / NPTAV2Maude

Apr 25, 2023
- update requirements · bde13ab7
  Jaime Arias authored 1 year ago
  
  bde13ab7
- fix notebook · 9cf08ef9
  Jaime Arias authored 1 year ago
  
  9cf08ef9
- remove value in log · 0d11c842
  Jaime Arias authored 1 year ago
  
  0d11c842
- improve plot size · 0d4f1e33
  Jaime Arias authored 1 year ago
  
  0d4f1e33
- improve plot size · bb10ce9f
  Jaime Arias authored 1 year ago
  
  bb10ce9f
- update notebook · d7c91b88
  Jaime Arias authored 1 year ago
  
  d7c91b88
- update noteboo · 35c12ed7
  Jaime Arias authored 1 year ago
  
  35c12ed7
- fix analysis notebook · 1d8b9fbd
  Jaime Arias authored 1 year ago
  
  1d8b9fbd
- add imitator to Dockerfile · ad260349
  Jaime Arias authored 1 year ago
  
  ad260349
- fix tests · df0e7482
  Jaime Arias authored 1 year ago
  
  df0e7482
- add python to the dockerfile · 7726433d
  Jaime Arias authored 1 year ago
  
  7726433d
- add Dockerfile · 124b10b4
  Jaime Arias authored 1 year ago
  
  124b10b4
- fix script benchmarks · 4e96eb28
  Jaime Arias authored 1 year ago
  
  4e96eb28
- update maude theory · 37084505
  Jaime Arias authored 1 year ago
  
  37084505
- fix syntax · 78d9548c
  Jaime Arias authored 1 year ago
  
  78d9548c
- replace Agent by AutId · 41779125
  Jaime Arias authored 1 year ago
  
  41779125
- fix tests · efb3a5d2
  Jaime Arias authored 1 year ago
  
  efb3a5d2
- add script to get locations from imitator files · 0a5f6beb
  Jaime Arias authored 1 year ago
  
  0a5f6beb
- revert files · 90cf5cea
  Jaime Arias authored 1 year ago
  
  90cf5cea
- revert maude code · faceaf86
  Jaime Arias authored 1 year ago
  
  faceaf86
- only one prop file · 40f54ea3
  Jaime Arias authored 1 year ago
  
  40f54ea3
- remove _ from models · c6cc603b
  Jaime Arias authored 1 year ago
  
  c6cc603b
- update maude theories · 08e1c11b
  Jaime Arias authored 1 year ago
  
  08e1c11b
Apr 24, 2023
- fix benchmarks · 9e73c2b5
  Jaime Arias authored 1 year ago
  
  9e73c2b5
- add folding and no-folding modes · c7da6ced
  Jaime Arias authored 1 year ago
  
  c7da6ced
- add folding flag to the CI · 5ebb78e5
  Jaime Arias authored 1 year ago
  
  5ebb78e5
- update benchmarks file · 5e6576aa
  Jaime Arias authored 1 year ago
  
  5e6576aa
- add theory folder · ef494fa1
  Jaime Arias authored 1 year ago
  
  ef494fa1
- fix benchmarks script · 89b6ea47
  Jaime Arias authored 1 year ago
  
  89b6ea47
- update benchmarks script · 82759b47
  Jaime Arias authored 1 year ago
  
  82759b47
- remove old files · b8379a72
  Jaime Arias authored 1 year ago
  
  b8379a72
- update README · c24dc165
  Jaime Arias authored 1 year ago
  
  c24dc165
- refactor project · 3b4b5cf3
  Jaime Arias authored 1 year ago
  
  3b4b5cf3
- add maude files · bca957fc
  Jaime Arias authored 1 year ago
  
  bca957fc
- Initial commit · a56eab5a
  Jaime Arias authored 1 year ago
  
  a56eab5a