1. 08 Apr, 2022 1 commit
  2. 30 Mar, 2022 1 commit
  3. 29 Mar, 2022 6 commits
  4. 28 Mar, 2022 2 commits
  5. 03 Mar, 2022 3 commits
  6. 03 Nov, 2021 1 commit
  7. 29 Oct, 2021 1 commit
  8. 10 Aug, 2021 1 commit
  9. 01 Aug, 2020 1 commit
  10. 09 Jul, 2020 2 commits
  11. 12 Jun, 2020 7 commits
  12. 09 Jun, 2020 6 commits
  13. 06 Apr, 2020 1 commit
  14. 17 Jan, 2020 1 commit
    • Thibault Martin's avatar
      Optimisation and stuff · 20ce2872
      Thibault Martin authored
      coverage :
       - removed old proccessing method
       - labels with bindings are now handled separately (cf. runtime.c)
       - Fix stack overflow error due to List.concat
      
      runtime :
       - renamed functions in order to handle labels and bindings separately
       - removed some old logs
       - 2 new hash tables, one containing infos of labels and bindings, the other to
       remember bindings states (we only write one line per state) to optimize the
       number of write/read in files
       - added some comments
      20ce2872
  15. 06 Jan, 2020 1 commit
  16. 02 Sep, 2019 1 commit
  17. 30 Aug, 2019 1 commit
  18. 21 May, 2019 1 commit
    • Thibault Martin's avatar
      Support for uncoverable · 57fbfbcf
      Thibault Martin authored
      Started to implement detection of infeasible objectives for sequences in LUncov,
      so LReplay now support it.
      57fbfbcf
  19. 15 May, 2019 1 commit
  20. 26 Apr, 2019 1 commit
    • Thibault Martin's avatar
      All LTest plugins now use the same labels format · cb9a653f
      Thibault Martin authored
      Old format :
      Id, Status, Tag, Origin_loc, Current_loc, Emitter, Exec_time
      * Id : Label's ID
      * Status : Label's status (covered, uncoverable or unknown)
      * Origin_loc :
        - Position in the non-annoted file if added by LAnnotate,
        - Position in the annoted file if added by LReplay (to avoid losing
          this information when replacing current_pos by drivers data)
      * Current_loc :
        - position in the annotated file if added by PathCrawler (or older
          LReplay behaviours
        - list of drivers when edited by LReplay
      * Emitter : Last plugin that modified this label
      * Exec_time : Cf. LUncov
      
      New format :
      Id, Status, Tag, Origin_loc, Current_loc, Emitter, Drivers, Exec_time
      * Id : Label's ID
      * Status : Label's status (covered, uncoverable or unknown)
      * Origin_loc : Position in the non-annoted file
      * Current_loc : Position in the annoted file
      * Emitter : Last plugin that modified this label
      * Drivers : List of drivers that covered this label
      * Exec_time : Cf. LUncov
      cb9a653f