Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 30, 2022

• Deploy to PyPI using GitHub workflow

  Show description for a27d27b
  senier

  committed
  a27d27b

  Copy full SHA for a27d27b

• Improve testing expected output of example apps

  treiher

  committed
  cea62c5

  Copy full SHA for cea62c5

• Ensure non-zero exit code for GNATprove in case of checks, warnings or errors

  Show description for 8a87288
  treiher

  committed
  8a87288

  Copy full SHA for 8a87288

• Increase pytest timeout

  Show description for da1f5a9
  treiher

  committed
  da1f5a9

  Copy full SHA for da1f5a9

• Limit number of processes for pytest-based SPARK tests

  Show description for 80db8a0
  treiher

  committed
  80db8a0

  Copy full SHA for 80db8a0

• Use SPARK Pro 23.0

  Show description for e19fb31
  treiher

  committed
  e19fb31

  Copy full SHA for e19fb31

• Fix ping example

  Show description for 4b0832d
  treiher

  committed
  4b0832d

  Copy full SHA for 4b0832d

• Prevent warnings about unused variables

  Show description for 1418871
  treiher

  committed
  1418871

  Copy full SHA for 1418871

• Prevent warnings about missing returning annotation

  Show description for ae3f325
  treiher

  committed
  ae3f325

  Copy full SHA for ae3f325

Commits on Nov 28, 2022

• Remove Docker as requirement for testing

  Show description for 257c223
  treiher

  committed
  257c223

  Copy full SHA for 257c223

Commits on Nov 24, 2022

• Fix multiple reporting of warnings

  Show description for a8d6cee
  jklmnn

  committed
  a8d6cee

  Copy full SHA for a8d6cee

• Clarify add_unsat argument

  Show description for 1050ad3
  jklmnn

  committed
  1050ad3

  Copy full SHA for 1050ad3

• Test warning on possibly always true message condition

  Show description for bbfa6cb
  jklmnn

  committed
  bbfa6cb

  Copy full SHA for bbfa6cb

• Only raise exception in propagate on errors

  Show description for 83a7fa1
  jklmnn

  committed
  83a7fa1

  Copy full SHA for 83a7fa1

• Fix tests that contain statically true conditions

  Show description for 9911d9e
  jklmnn

  committed
  9911d9e

  Copy full SHA for 9911d9e

• Warn if always true cannot be proven nor disproven

  Show description for 9ac4d88
  jklmnn

  committed
  9ac4d88

  Copy full SHA for 9ac4d88

• Update changelog

  Show description for 37cead8
  jklmnn

  committed
  37cead8

  Copy full SHA for 37cead8

• Improve testing of static true and false conditions

  Show description for 793ac83
  jklmnn

  committed
  793ac83

  Copy full SHA for 793ac83

• Check refinements for always false conditions

  Show description for ad9af41
  jklmnn

  committed
  ad9af41

  Copy full SHA for ad9af41

• Check message conditions for always true expressions

  Show description for 869852f
  jklmnn

  committed
  869852f

  Copy full SHA for 869852f

• Refactor interface of ParallelProofs.add

  jklmnn

  committed
  de83abc

  Copy full SHA for de83abc

• Check for always true conditions in refinements

  Show description for b436722
  jklmnn

  committed
  b436722

  Copy full SHA for b436722

Commits on Nov 10, 2022

• Update changelog

  Show description for 3068f38
  jklmnn

  committed
  3068f38

  Copy full SHA for 3068f38

• Check exception transitions on message assignment

  Show description for d5c2b32
  jklmnn

  committed
  d5c2b32

  Copy full SHA for d5c2b32

• Add test for exception transition on message assignment

  Show description for 78135d0
  jklmnn

  committed
  78135d0

  Copy full SHA for 78135d0

• Allow execution of tests as root user

  treiher

  committed
  bd002a4

  Copy full SHA for bd002a4

Commits on Nov 8, 2022

• Remove modular integer types

  Show description for d996363
  treiher

  committed
  d996363

  Copy full SHA for d996363

• Improve test output when comparing messages

  treiher

  committed
  6f9e17c

  Copy full SHA for 6f9e17c

Commits on Nov 7, 2022

• Remove unused code for type declarations in sessions

  Show description for 082b419
  treiher

  committed
  082b419

  Copy full SHA for 082b419

• Rename Structural_Valid to Well_Formed

  Show description for f4319f4
  treiher

  committed
  f4319f4

  Copy full SHA for f4319f4

Commits on Nov 4, 2022

• Add 0.7.1 to CHANGELOG

  Show description for e045fd8
  treiher

  committed
  e045fd8

  Copy full SHA for e045fd8

• Add conversion of expressions to TAC

  Show description for 2e08a04
  treiher

  committed
  2e08a04

  Copy full SHA for 2e08a04

• Add initial draft of intermediate representation

  Show description for e37a805
  treiher

  committed
  e37a805

  Copy full SHA for e37a805

• Add 'api' subtype for Ada code blocks

  Show description for e4425bb
  senier

  committed
  e4425bb

  Copy full SHA for e4425bb

Commits on Nov 3, 2022

• Add documentation for context predicate

  treiher

  committed
  ee20f99

  Copy full SHA for ee20f99

Pagination

Previous

Next