Commits

Branch selector

 devel

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 28, 2024

• scripts: gentoo-list-deps: Update paths

  Show description for cbb3bd0
  evdenis

  committed
  cbb3bd0

  Copy full SHA for cbb3bd0

Commits on Sep 16, 2020

• extricate: plugin: FramaC: add $FUNCTION parameter to cli args

  Show description for 6244970
  evdenis

  committed
  6244970

  Copy full SHA for 6244970

Commits on May 14, 2020

• lib: Kernel: Module: refactor macro handling

  Show description for f823ad8
  evdenis

  committed
  f823ad8

  Copy full SHA for f823ad8

• lib: GCC: Preprocess: fix uninit variable

  Show description for 35fa4b7
  evdenis

  committed
  35fa4b7

  Copy full SHA for 35fa4b7

• lib: Kernel: Module: refactor acslcomment handling

  Show description for aabf147
  evdenis

  committed
  aabf147

  Copy full SHA for aabf147

Commits on May 8, 2020

• lib: File: C: Merge: fix pattern in find_all_files()

  Show description for 16ad502
  evdenis

  committed
  16ad502

  Copy full SHA for 16ad502

• lib: graph: add more debugging code

  Show description for 2f82cd2
  evdenis

  committed
  2f82cd2

  Copy full SHA for 2f82cd2

• lib: C: Acslcomment: fix ids parsing regex for ACSL specs

  Show description for 20475d4
  evdenis

  committed
  20475d4

  Copy full SHA for 20475d4

• lib: C: Function: check for contract in attach_declaration()

  Show description for be6f472
  evdenis

  committed
  be6f472

  Copy full SHA for be6f472

Commits on May 7, 2020

• lib: C: Function: refactor attach_declaration()

  Show description for ed77e33
  evdenis

  committed
  ed77e33

  Copy full SHA for ed77e33

• extricate: plugin: FramaC: add ability to use relative paths in why3 args

  Show description for a98f3d0
  evdenis

  committed
  a98f3d0

  Copy full SHA for a98f3d0

• extricate: plugin: FramaC: print instrument fail immediatly

  Show description for 5d434f6
  evdenis

  committed
  5d434f6

  Copy full SHA for 5d434f6

• extricate: plugin: FramaC: check that all goals are already proved

  Show description for e9a7331
  evdenis

  committed
  e9a7331

  Copy full SHA for e9a7331

• extricate: allow to use relative paths in .config file

  Show description for 15c2741
  evdenis

  committed
  15c2741

  Copy full SHA for 15c2741

Commits on May 6, 2020

• extricate: rewrite config parsing

  Show description for cc515dc
  evdenis

  committed
  cc515dc

  Copy full SHA for cc515dc

• extricate: spatch: file: change --plugin-spatch to --plugin-spatch-file

  Show description for 245e592
  evdenis

  committed
  245e592

  Copy full SHA for 245e592

• scripts: add clean_perl_imports.sh

  Show description for 7c5998d
  evdenis

  committed
  7c5998d

  Copy full SHA for 7c5998d

• wholetree: remove unused imports

  Show description for aa28a38
  evdenis

  committed
  aa28a38

  Copy full SHA for aa28a38

Commits on May 5, 2020

• lib: C: GlobalSet: add ____cacheline_aligned

  Show description for 7e67cbd
  evdenis

  committed
  7e67cbd

  Copy full SHA for 7e67cbd

• lib: C: Util: Transformation: add more kernel attributes

  Show description for d90d479
  evdenis

  committed
  d90d479

  Copy full SHA for d90d479

• lib: Kernel: Module: make prefix check more clear

  Show description for 4eaaef5
  evdenis

  committed
  4eaaef5

  Copy full SHA for 4eaaef5

• lib: C: MacroSet: update regex

  Show description for d4fea3d
  evdenis

  committed
  d4fea3d

  Copy full SHA for d4fea3d

• lib: C: Util: Transformation: add linemarkers support

  Show description for 92f2a1b
  evdenis

  committed
  92f2a1b

  Copy full SHA for 92f2a1b

• lib: File: Merge: find_all: output explicitly passed files

  Show description for b2c09f2
  evdenis

  committed
  b2c09f2

  Copy full SHA for b2c09f2

• lib: C: Util: Trandformation: add more attributes

  Show description for 4322e55
  evdenis

  committed
  4322e55

  Copy full SHA for 4322e55

Commits on May 4, 2020

• lib: Graph: add debugging code

  Show description for fdc8b64
  evdenis

  committed
  fdc8b64

  Copy full SHA for fdc8b64

• extricate: plugin: rewrite: fix deps deletion

  Show description for 1b34d4e
  evdenis

  committed
  1b34d4e

  Copy full SHA for 1b34d4e

• lib: Graph: make results more predictable

  Show description for 78cefc5
  evdenis

  committed
  78cefc5

  Copy full SHA for 78cefc5

• lib: Graph: fix indentation

  Show description for 327e732
  evdenis

  committed
  327e732

  Copy full SHA for 327e732

• lib: C: Function: optimize a bit

  Show description for f497a67
  evdenis

  committed
  f497a67

  Copy full SHA for f497a67

• extricate: plugin: rewrite: rewrite multiple instances

  Show description for c7bb354
  evdenis

  committed
  c7bb354

  Copy full SHA for c7bb354

• extricate: plugins: fix reduced description

  Show description for 10a255e
  evdenis

  committed
  10a255e

  Copy full SHA for 10a255e

• lib: C: File: Merge: fix uninit var

  Show description for 261804c
  evdenis

  committed
  261804c

  Copy full SHA for 261804c

• extricate: add fullkernel argument

  Show description for 3f7c93b
  evdenis

  committed
  3f7c93b

  Copy full SHA for 3f7c93b

• extricate: plugin: rewrite: add --plugin-rewrite-name argument

  Show description for 8fb00f6
  evdenis

  committed
  8fb00f6

  Copy full SHA for 8fb00f6

Pagination

Previous

Next