Commits · main · real-time maude / pta2maude

Apr 24, 2023
- fix tests · 4835382e
  Jaime Arias authored 1 year ago
  
  4835382e
- remove extra spaces · ae1a61f7
  Jaime Arias authored 1 year ago
  
  ae1a61f7
- fix imi output · 0e650816
  Jaime Arias authored 1 year ago
  
  0e650816
- fix syntax example train intruder · 00af7bf6
  Jaime Arias authored 1 year ago
  
  00af7bf6
- first draft of the train-intruder imitator model · 986341c4
  Jaime Arias authored 1 year ago
  
  986341c4
Apr 23, 2023
- improve syntax · 64d48d6d
  Jaime Arias authored 1 year ago
  
  64d48d6d
Apr 21, 2023
- fix: remove _ in action labels · a8e7f8dc
  Jaime Arias authored 1 year ago
  
  a8e7f8dc
- fix: add parenthesis surrounding the constraints · 1111266f
  Jaime Arias authored 1 year ago
  
  1111266f
- fix: do nothing · d2282a58
  Jaime Arias authored 1 year ago
  
  d2282a58
- add fischer test · 176ae33b
  Jaime Arias authored 1 year ago
  
  176ae33b
- add discrete variables · 5ebe532b
  Jaime Arias authored 1 year ago
  
  5ebe532b
- unfolding fisher · 9353a440
  Jaime Arias authored 1 year ago
  
  9353a440
- add discrete variables in preamble · 93cfb784
  Jaime Arias authored 1 year ago
  
  93cfb784
- feat: add discrete variables to the parser · 1abccb30
  Jaime Arias authored 1 year ago
  
  1abccb30
- add INT in the syntax · 3958dbea
  Jaime Arias authored 1 year ago
  
  3958dbea
- fixing location name · ed91754d
  Jaime Arias authored 1 year ago
  
  ed91754d
- first draft of parser · 757b57ff
  Jaime Arias authored 1 year ago
  
  757b57ff
- add constraints · e826d8ed
  Jaime Arias authored 1 year ago
  
  e826d8ed
- wip: constraints · e8812487
  Jaime Arias authored 1 year ago
  
  e8812487
- add example with latest syntax · fd1ce526
  Jaime Arias authored 1 year ago
  
  fd1ce526
Mar 23, 2023
- add coffeeDrinker example · f9943c64
  Jaime Arias authored 1 year ago
  
  f9943c64
- docs: add documentation of the code · f87f9289
  Jaime Arias authored 1 year ago
  
  f87f9289
- feat: first draft of the parser for the interpreter version · d0c54e2b
  Jaime Arias authored 1 year ago
  
  d0c54e2b
- wip: add search cmd · eafc3488
  Jaime Arias authored 1 year ago
  
  eafc3488
- wip: computes sync actions · 7fd9b8c6
  Jaime Arias authored 1 year ago
  
  7fd9b8c6
- wip: fix order in the display of clocks, params, etc. · 644bea0b
  Jaime Arias authored 1 year ago
  
  644bea0b
- style: add spaces around operators" · e77602e8
  Jaime Arias authored 1 year ago
  
  e77602e8
- style: coffee intrpr file · 80d9a821
  Jaime Arias authored 1 year ago
  
  80d9a821
- wip: add automaton parser to maude · 3448de0d
  Jaime Arias authored 1 year ago
  
  3448de0d
Mar 22, 2023
- replace names in the test example · 21aaad31
  Jaime Arias authored 1 year ago
  
  21aaad31
- wip: add init equations · 0002dc4e
  Jaime Arias authored 1 year ago
  
  0002dc4e
- wip: add variables · 083f736b
  Jaime Arias authored 1 year ago
  
  083f736b
- wip: add preamble · f9591485
  Jaime Arias authored 1 year ago
  
  f9591485
- wip: add interpreter parser in the cli · 7acf221f
  Jaime Arias authored 1 year ago
  
  7acf221f
- tests: add interpreter test · 2f7bed21
  Jaime Arias authored 1 year ago
  
  v1.0.0
  
  2f7bed21
Sep 22, 2022
- feature: add CLI to run benchmarks · 4b9f7cf7
  Jaime Arias authored 2 years ago
  
  4b9f7cf7
- fix notebook · 7c6e8fa0
  Jaime Arias authored 2 years ago
  
  7c6e8fa0
- fix: benchmarks script · 77f7b748
  Jaime Arias authored 2 years ago
  
  77f7b748
- tests: update tests · 64f2949e
  Jaime Arias authored 2 years ago
  
  64f2949e
- feature: add reachability command to collapsing version · eaac948a
  Jaime Arias authored 2 years ago
  
  eaac948a