Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 24, 2021

• Update to 18.3

  m-schmidt

  committed
  463f4be

  Copy full SHA for 463f4be

Commits on Jul 23, 2021

• Simplify code

  m-schmidt

  committed
  383bffe

  Copy full SHA for 383bffe

• Add bare metal mode for convention/loop tests

  m-schmidt

  committed
  2f231b1

  Copy full SHA for 2f231b1

• Add bare metal mode for expression tests

  m-schmidt

  committed
  b4d09dc

  Copy full SHA for b4d09dc

Commits on May 15, 2019

• Update to 13.21

  m-schmidt

  committed
  e2d46de

  Copy full SHA for e2d46de

• Update to 13.21

  m-schmidt

  committed
  51cb545

  Copy full SHA for 51cb545

Commits on Aug 28, 2018

• Update documentation

  m-schmidt

  committed
  519a0a0

  Copy full SHA for 519a0a0

• Document working modes in readme

  m-schmidt

  committed
  707b892

  Copy full SHA for 707b892

• Remove debug stuff

  m-schmidt

  committed
  a430e1a

  Copy full SHA for a430e1a

• Update to LTS 12.7

  m-schmidt

  committed
  cfae4d9

  Copy full SHA for cfae4d9

Commits on May 15, 2018

• Add ais annotations for reachability of exit routines

  m-schmidt

  committed
  9f46550

  Copy full SHA for 9f46550

• Add ais annotations for reachability of exit routines

  m-schmidt

  committed
  db0aa6f

  Copy full SHA for db0aa6f

Commits on May 13, 2018

• Simplify properties

  m-schmidt

  committed
  a79e992

  Copy full SHA for a79e992

Commits on May 11, 2018

• Convert some loop types to record syntax

  m-schmidt

  committed
  56f6537

  Copy full SHA for 56f6537

Commits on May 9, 2018

• Cleanup

  m-schmidt

  committed
  36a3413

  Copy full SHA for 36a3413

• Add optional printf for failed test number to exit-evil

  m-schmidt

  committed
  2c8f78e

  Copy full SHA for 2c8f78e

• Add try for loop bound annotation too

  m-schmidt

  committed
  afb4a18

  Copy full SHA for afb4a18

• Check status in exit-evil since Posix forwards only the 8 least significant bits. Update 'try' in ais Annotations.

  m-schmidt

  committed
  3ce8f57

  Copy full SHA for 3ce8f57

• Check status in exit-evil since Posix forwards only the 8 least significant bits

  m-schmidt

  committed
  114ab7c

  Copy full SHA for 114ab7c

• Add 'try' for ais flow-annotation, that may become unreachable when analyzing from main-routine.

  m-schmidt

  committed
  e34f69e

  Copy full SHA for e34f69e

• Cast for long long hex-constant

  m-schmidt

  committed
  d0bebfa

  Copy full SHA for d0bebfa

Commits on May 8, 2018

• Rename generator function

  m-schmidt

  committed
  fd04cd1

  Copy full SHA for fd04cd1

• Rename generator function

  m-schmidt

  committed
  595545b

  Copy full SHA for 595545b

• Add disturbance to end values of loop conditions

  m-schmidt

  committed
  cabf215

  Copy full SHA for cabf215

• Simplify loop generation

  m-schmidt

  committed
  7fd137d

  Copy full SHA for 7fd137d

Commits on May 7, 2018

• Update Loop.hs

  Show description for 8619539
  m-schmidt

  authored
  8619539

  Copy full SHA for 8619539

• Spacing in ais annotations

  m-schmidt

  committed
  8a1dcb8

  Copy full SHA for 8a1dcb8

• Make test_incr-functions static

  m-schmidt

  committed
  0922dd5

  Copy full SHA for 0922dd5

Commits on May 6, 2018

• Add generator for overflow loops

  m-schmidt

  committed
  e738db4

  Copy full SHA for e738db4

• Cleanup

  m-schmidt

  committed
  8a3f1f3

  Copy full SHA for 8a3f1f3

• Update comments and cleanup

  m-schmidt

  committed
  60e062c

  Copy full SHA for 60e062c

• Make flow constraint annotations optional

  m-schmidt

  committed
  3ca2421

  Copy full SHA for 3ca2421

• Cleanup after allowing 64-bit signed minimum again

  m-schmidt

  committed
  4eb1b31

  Copy full SHA for 4eb1b31

• Print 64-bit signed minimum as hex constant to avoid compiler warnings

  m-schmidt

  committed
  3a4326c

  Copy full SHA for 3a4326c

• Improve search for loop increment, avoid signed min for 64-bit types

  m-schmidt

  committed
  c60bb51

  Copy full SHA for c60bb51

Pagination

Previous

Next