Trend
Snapshots
#153 done
C
extricate: plugin: FramaC: add $FUNCTION parameter to cli args
on devel by Denis Efremov 6244970
38.5957
2020-09-25 17:03:59.279685+02
#152 done
B-
lib: Kernel: Module: refactor macro handling
on devel by Denis Efremov f823ad8
16.9314
2020-05-14 22:36:30.564191+02
#151 done
B-
lib: File: C: Merge: fix pattern in find_all_files()
on devel by Denis Efremov 16ad502
17.3057
2020-05-08 19:37:19.845607+02
#150 done
B-
lib: graph: add more debugging code
on devel by Denis Efremov 2f82cd2
17.7696
2020-05-08 14:04:22.296443+02
#149 done
B-
lib: C: Function: check for contract in attach_declaration()
on devel by Denis Efremov be6f472
16.6332
2020-05-08 10:10:27.328478+02
#148 done
B-
extricate: plugin: FramaC: add ability to use relative paths in why3 args
on devel by Denis Efremov a98f3d0
18.2353
2020-05-07 22:52:53.866905+02
#147 done
B-
extricate: plugin: FramaC: print instrument fail immediatly
on devel by Denis Efremov 5d434f6
17.2402
2020-05-07 20:41:35.990218+02
#146 done
B-
extricate: allow to use relative paths in .config file
on devel by Denis Efremov 15c2741
18.6817
2020-05-07 12:11:32.058842+02
#145 done
B-
scripts: add clean_perl_imports.sh
on devel by Denis Efremov 7c5998d
18.964
2020-05-06 21:14:05.19988+02
#144 done
C
lib: C: GlobalSet: add ____cacheline_aligned
on devel by Denis Efremov 7e67cbd
20.1266
2020-05-06 20:31:48.447466+02
#143 done
B-
lib: Graph: add debugging code
on devel by Denis Efremov fdc8b64
17.2023
2020-05-05 00:38:57.70832+02
#142 done
B-
lib: C: Function: optimize a bit
on devel by Denis Efremov f497a67
17.6663
2020-05-04 22:30:55.451642+02
#141 done
B-
extricate: plugin: rewrite: fix args parsing
on devel by Denis Efremov b22026f
17.7224
2020-05-03 23:58:36.269672+02
#140 done
B-
Kernel: Makeile: check CONFIG_* options
on devel by Denis Efremov e4e3233
17.9109
2020-05-02 16:56:02.80006+02
#139 done
B
config: update example configurations
on devel by Denis Efremov 8abc243
16.3845
2020-04-30 23:12:27.711706+02
#138 done
B
extricate: add module subdirs to includes
on devel by Denis Efremov e40241b
18.2397
2020-04-30 21:55:43.65715+02
#137 done
B
extricate: fix message
on devel by Denis Efremov 0a80fc3
17.4302
2020-02-07 16:01:37.793297+01
#136 done
B
wholetree: frama-c: use av plugin instead of jessie
on devel by Denis Efremov defd31d
18.6636
2020-02-07 14:13:44.738222+01
#135 done
B
lib: Kernel: Module: fallback to read all files
on devel by Denis Efremov 90eafab
17.4031
2019-09-19 21:40:09.782324+02
#134 done
B
Extricate: Plugin: FramaC && Spatch: respect order in configuration
on devel by Denis Efremov fd24460
19.6384
2019-09-19 15:31:01.393042+02