Code

History

Commits on master to tools/verification35+
  1. verification/rvgen: Use .old instead of .bak for kunit backup filesGabriele Monaco committed 2 months agoab0304f
  2. verification/rvgen: Add selftests for rvgen kunitGabriele Monaco committed 3 months ago7b62462
  3. verification/rvgen: Add the rvgen kunit subcommandGabriele Monaco committed 3 months ago5b4b6ef
  4. verification/rvgen: Add selftestsGabriele Monaco committed 3 months ago36c1af4
  5. verification/rvgen: Add golden and spec folders for testsGabriele Monaco committed 3 months ago655d480
  6. tools/rv: Add selftestsGabriele Monaco committed 3 months ago92f0ce5
  7. verification/rvgen: Improve consistency in template filesGabriele Monaco committed 3 months ago0ab69fd
  8. verification/rvgen: Use pathlib instead of os.pathGabriele Monaco committed 3 months ago85b43f8
  9. verification/rvgen: Improve rv_dir discovery in RVGeneratorGabriele Monaco committed 3 months agoc737b72
  10. tools/rv: Fix exit status when monitor execution failsGabriele Monaco committed 3 months agobc4eca3
  11. rv: Use generic rv_this for the rv_monitor variable in LTLGabriele Monaco committed 3 months agod9e4c61
  12. rv/rtapp: Add wakeup monitorNam Cao committed 4 months ago6fdaab4
  13. rv/rtapp/sleep: Stop monitoring kernel threadsNam Cao committed 4 months ago28e68d3
  14. rv/rtapp/sleep: Update nanosleep ruleNam Cao committed 4 months ago8fc4e16
  15. rv/rtapp/sleep: Make the error more informative for userNam Cao committed 4 months ago4254558
  16. verification/rvgen: Generate cleanup hook for per-obj monitorGabriele Monaco committed 5 months ago2a8cd68
  17. rv: Update rvgen monitor synthesis documentation pathYu Chuanyu committed 4 months agoda245fa
  18. verification/rvgen: Remove dead codeNam Cao committed 4 months agofc0663e
  19. verification/rvgen: Remove the old state variablesNam Cao committed 4 months ago7edaba0
  20. verification/rvgen: Switch __create_matrix() to LarkNam Cao committed 4 months agocad252d
  21. verification/rvgen: Switch __get_event_variables() to LarkNam Cao committed 4 months ago8aa51cb
  22. verification/rvgen: Delete __parse_constraint()Nam Cao committed 4 months ago35266cc
  23. verification/rvgen: Simplify the generation for clock variablesNam Cao committed 4 months ago6224735
  24. verification/rvgen: Convert __fill_verify_guards_func() to LarkNam Cao committed 4 months agoe023572
  25. verification/rvgen: Convert __fill_setup_invariants_func() to LarkNam Cao committed 4 months agobeb3a26
  26. verification/rvgen: Convert __fill_verify_invariants_func() to LarkNam Cao committed 4 months ago75092d5
  27. verification/rvgen: Implement state and transition parser based on LarkNam Cao committed 4 months agoa9fb612
  28. verification/rvgen: Introduce a parse tree for automata using LarkNam Cao committed 4 months agoeb46aec
  29. verification/rvgen: Switch LTL parser to LarkNam Cao committed 4 months agoae2e47b
  30. verification/rvgen: Fix ltl2k writing True as a literalGabriele Monaco committed 6 months agodf99659
  31. verification/rvgen: Fix options shared among commandsGabriele Monaco committed 6 months ago5f845ad
  32. verification/rvgen: Fix suffix strip in dot2kGabriele Monaco committed 5 months ago8533944
  33. tools/rv: Fix cleanup after failed trace setupGabriele Monaco committed 6 months ago33ec226
  34. tools/rv: Fix substring match when listing container monitorsGabriele Monaco committed 6 months agoba0247c
  35. tools/rv: Fix substring match bug in monitor name searchGabriele Monaco committed 6 months agoa963fbf