Code

History

Commits on 185a4caeecabc150106deda1da170b09f2ad803f to tools/verification35+
  1. verification/rvgen: Fix ltl2k writing True as a literalGabriele Monaco committed 6 months agodf99659
  2. verification/rvgen: Fix options shared among commandsGabriele Monaco committed 6 months ago5f845ad
  3. verification/rvgen: Fix suffix strip in dot2kGabriele Monaco committed 5 months ago8533944
  4. tools/rv: Fix cleanup after failed trace setupGabriele Monaco committed 6 months ago33ec226
  5. tools/rv: Fix substring match when listing container monitorsGabriele Monaco committed 6 months agoba0247c
  6. tools/rv: Fix substring match bug in monitor name searchGabriele Monaco committed 6 months agoa963fbf
  7. tools/rv: Ensure monitor name and desc are NUL-terminatedGabriele Monaco committed 5 months ago0890476
  8. rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco committed 5 months ago700782e
  9. rv: Allow epoll in rtapp-sleep monitorNam Cao committed 7 months ago00f0dad
  10. rv/rvgen: fix _fill_states() return type annotationWander Lairson Costa committed 8 months agobf86059
  11. rv/rvgen: fix unbound loop variable warningWander Lairson Costa committed 8 months ago5d98f7f
  12. rv/rvgen: enforce presence of initial stateWander Lairson Costa committed 8 months ago957dcbf
  13. rv/rvgen: extract node marker string to class constantWander Lairson Costa committed 8 months ago2074723
  14. rv/rvgen: fix isinstance check in Variable.expand()Wander Lairson Costa committed 8 months ago8aee49c
  15. rv/rvgen: make monitor arguments required in rvgenWander Lairson Costa committed 8 months agod7ee962
  16. rv/rvgen: remove unused __get_main_name methodWander Lairson Costa committed 8 months ago1b615bb
  17. rv/rvgen: remove unused sys import from dot2cWander Lairson Costa committed 8 months ago0f57f9a
  18. rv/rvgen: refactor automata.py to use iterator-based parsingWander Lairson Costa committed 8 months ago0c25d8c
  19. rv/rvgen: use class constant for init markerWander Lairson Costa committed 8 months agod474fed
  20. rv/rvgen: fix DOT file validation logic errorWander Lairson Costa committed 8 months ago5d5a7d8
  21. rv/rvgen: fix PEP 8 whitespace violationsWander Lairson Costa committed 8 months ago0d5c9f1
  22. rv/rvgen: fix typos in automata and generator docstring and commentsWander Lairson Costa committed 8 months ago76ad28a
  23. rv/rvgen: use context managers for file operationsWander Lairson Costa committed 8 months ago6c7e548
  24. rv/rvgen: remove unnecessary semicolonsWander Lairson Costa committed 8 months agoc4258d8
  25. rv/rvgen: replace __len__() calls with len()Wander Lairson Costa committed 8 months agob70bc5c
  26. rv/rvgen: replace % string formatting with f-stringsWander Lairson Costa committed 8 months ago908f377
  27. rv/rvgen: remove bare except clauses in generatorWander Lairson Costa committed 8 months ago3f305f8
  28. rv/rvgen: introduce AutomataError exception classWander Lairson Costa committed 8 months agoa115ee5
  29. rv: Add nomiss deadline monitorGabriele Monaco committed 7 months agob133207
  30. verification/rvgen: Add support for per-obj monitorsGabriele Monaco committed 7 months agoda282bf
  31. rv: Convert the opid monitor to a hybrid automatonGabriele Monaco committed 7 months ago2b406fd
  32. rv: Add sample hybrid monitor stallGabriele Monaco committed 7 months ago13578a0
  33. verification/rvgen: Add support for Hybrid AutomataGabriele Monaco committed 7 months agoa82adad
  34. verification/rvgen: Allow spaces in and events stringsGabriele Monaco committed 7 months agoc707b1d
  35. verification/rvgen: Remove unused variable declaration from containersGabriele Monaco committed 11 months ago3fee5b3