- 08 Apr, 2022 1 commit
-
-
Andre Maroneze authored
-
- 30 Mar, 2022 1 commit
-
-
Virgile Prevosto authored
-
- 29 Mar, 2022 6 commits
-
-
Thibault Martin authored
Passage à dune + création de tests See merge request labels/lreplay!3
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- 28 Mar, 2022 2 commits
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- 03 Mar, 2022 3 commits
-
-
Thibault Martin authored
Remove pc_label_sequence See merge request labels/lreplay!2
-
Thibault Martin authored
# Conflicts: # runtime.c # runtime.h
-
Thibault Martin authored
-
- 03 Nov, 2021 1 commit
-
-
Thibault Martin authored
-
- 29 Oct, 2021 1 commit
-
-
Thibault Martin authored
-
- 10 Aug, 2021 1 commit
-
-
Thibault Martin authored
-
- 01 Aug, 2020 1 commit
-
-
Thibault Martin authored
-
- 09 Jul, 2020 2 commits
-
-
Thibault Martin authored
-
Thibault Martin authored
-
- 12 Jun, 2020 7 commits
-
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
- 09 Jun, 2020 6 commits
-
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
- 06 Apr, 2020 1 commit
-
-
Thibault Martin authored
-
- 17 Jan, 2020 1 commit
-
-
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
-
- 06 Jan, 2020 1 commit
-
-
Thibault Martin authored
-
- 02 Sep, 2019 1 commit
-
-
Thibault Martin authored
-
- 30 Aug, 2019 1 commit
-
-
Thibault Martin authored
-
- 21 May, 2019 1 commit
-
-
Thibault Martin authored
Started to implement detection of infeasible objectives for sequences in LUncov, so LReplay now support it.
-
- 15 May, 2019 1 commit
-
-
Thibault Martin authored
-
- 26 Apr, 2019 1 commit
-
-
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
-