Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 16, 2019

• Prove memcmp.

  jcarrano

  committed
  5191b30

  Copy full SHA for 5191b30

Commits on Apr 28, 2019

• Prove strchr.

  jcarrano

  committed
  fee9319

  Copy full SHA for fee9319

• Use sets to specify memchr more clearly

  jcarrano

  committed
  965fd57

  Copy full SHA for 965fd57

• Fixup: add memchr to makefile's list of proven files.

  jcarrano

  committed
  ed141dc

  Copy full SHA for ed141dc

• Prove memchr

  jcarrano

  committed
  967d597

  Copy full SHA for 967d597

Commits on Apr 27, 2019

• aesthetic improvements

  jcarrano

  committed
  c471655

  Copy full SHA for c471655

• Update Readme

  jcarrano

  committed
  5487c41

  Copy full SHA for 5487c41

• Add nice Makefile.

  jcarrano

  committed
  848ab81

  Copy full SHA for 848ab81

• Make files C99- and Makefile-friendly.

  jcarrano

  committed
  50bffee

  Copy full SHA for 50bffee

• Prove memset.

  Show description for 60170a5
  jcarrano

  committed
  60170a5

  Copy full SHA for 60170a5

• Remove unused logic definitions

  jcarrano

  committed
  374bb3a

  Copy full SHA for 374bb3a

• Better proof of strcpy

  jcarrano

  committed
  feaa2ac

  Copy full SHA for feaa2ac

• Prove strcpy.

  Show description for f890c03
  jcarrano

  committed
  f890c03

  Copy full SHA for f890c03

Commits on Apr 24, 2019

• Prove memcpy

  jcarrano

  committed
  5af00c1

  Copy full SHA for 5af00c1

Commits on Apr 14, 2019

• Change README, adapt licenses.

  jcarrano

  committed
  de46cca

  Copy full SHA for de46cca

• WIP proving strcpy.

  jcarrano

  committed
  6c43eee

  Copy full SHA for 6c43eee

Commits on Apr 7, 2019

• Move specification to header

  jcarrano

  committed
  11ef30d

  Copy full SHA for 11ef30d

• Prove memset() and strlen()

  jcarrano

  committed
  81f378b

  Copy full SHA for 81f378b

• Add script to replace ACSL keywords by unicode symbols.

  jcarrano

  committed
  9fa1e13

  Copy full SHA for 9fa1e13

Commits on Nov 6, 2018

• Avoid null pointer arithmetic.

  Show description for 245a594
  jcarrano

  committed
  245a594

  Copy full SHA for 245a594

Commits on Oct 30, 2018

• Merge pull request #3 from jcarrano/switch-case-warning

  Show description for 5855c86
  PetteriAimonen

  authored
  5855c86

  Copy full SHA for 5855c86

• Merge pull request #4 from jcarrano/fix-signedness-warning

  Show description for 007ca63
  PetteriAimonen

  authored
  007ca63

  Copy full SHA for 007ca63

• Merge pull request #5 from jcarrano/fix-obj-size-warning

  Show description for 7555b2e
  PetteriAimonen

  authored
  7555b2e

  Copy full SHA for 7555b2e

• Merge pull request #2 from jcarrano/malloc-lock-param-types

  Show description for 5878cbd
  PetteriAimonen

  authored
  5878cbd

  Copy full SHA for 5878cbd

• Fix warning regarding maximum object size.

  Show description for bd11b1c
  jcarrano

  committed
  bd11b1c

  Copy full SHA for bd11b1c

• Fix signedness warning in integer printing functions.

  Show description for 9cc50f4
  jcarrano

  committed
  9cc50f4

  Copy full SHA for 9cc50f4

• Remove range in switch/case expression.

  Show description for 62a2f04
  jcarrano

  committed
  62a2f04

  Copy full SHA for 62a2f04

Commits on Oct 29, 2018

• Define argument types for malloc_lock_t / malloc_unlock_t.

  Show description for beabf9f
  jcarrano

  committed
  beabf9f

  Copy full SHA for beabf9f

Commits on Jul 2, 2017

• Add cortex-m0 build config

  PetteriAimonen

  committed
  8798fb0

  Copy full SHA for 8798fb0

Commits on Feb 6, 2013

• Merge pull request #1 from bjornfor/master

  Show description for 68d728f
  PetteriAimonen

  committed
  68d728f

  Copy full SHA for 68d728f

Commits on Feb 5, 2013

• Compile with -ffunction-sections -fdata-sections

  Show description for b1d973f
  bjornfor

  committed
  b1d973f

  Copy full SHA for b1d973f

Commits on Aug 28, 2012

• Fix comment

  PetteriAimonen

  committed
  758ddda

  Copy full SHA for 758ddda

Commits on Aug 14, 2012

• Added some tests for printf

  PetteriAimonen

  committed
  2768883

  Copy full SHA for 2768883

Commits on Aug 13, 2012

• Memfile support, reorganized stdio stuff

  PetteriAimonen

  committed
  f703afa

  Copy full SHA for f703afa

• Makefile cleanup, remove the original printf implementation.

  PetteriAimonen

  committed
  892e96a

  Copy full SHA for 892e96a

Pagination

Previous

Next