Commits

Breadcrumbs

History for

onmain

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

• 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

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 Oct 10, 2022

• Refactor Makefile

  treiher

  committed
  c297d42

  Copy full SHA for c297d42

• Refactor tests for specification examples

  Show description for 76243b1
  treiher

  committed
  76243b1

  Copy full SHA for 76243b1

• Add initialization of development configuration

  Show description for 2181140
  treiher

  committed
  2181140

  Copy full SHA for 2181140

Commits on Oct 4, 2022

• Improve unit test coverage

  treiher

  committed
  57f4e16

  Copy full SHA for 57f4e16

Commits on Sep 16, 2022

• Check unit test coverage, make sure to maintain it

  senier

  committed
  bf90b2a

  Copy full SHA for bf90b2a

• Limit coverage analysis to tests without compilation

  senier

  committed
  48c9350

  Copy full SHA for 48c9350

• Test GNAT Studio plugin installation

  Show description for 5601e7b
  senier

  committed
  5601e7b

  Copy full SHA for 5601e7b

• Remove install_gnatstudio target

  Show description for 88cb86d
  senier

  committed
  88cb86d

  Copy full SHA for 88cb86d

Commits on Sep 1, 2022

• Remove CVC4-only proof target

  Show description for f83e708
  senier

  committed
  f83e708

  Copy full SHA for f83e708

• Remove interrogate tool

  Show description for b836bcb
  senier

  committed
  b836bcb

  Copy full SHA for b836bcb

Commits on Aug 31, 2022

• Add make target for creating Python package

  Show description for 8b8e0fa
  treiher

  committed
  8b8e0fa

  Copy full SHA for 8b8e0fa

• Remove testing with generic Ada runtime

  Show description for 8cd49b9
  treiher

  committed
  8cd49b9

  Copy full SHA for 8cd49b9

Commits on Aug 30, 2022

• Add timeout for calculation of test coverage

  Show description for c7ddae2
  treiher

  committed
  c7ddae2

  Copy full SHA for c7ddae2

Commits on Aug 23, 2022

• Improve time needed to determine test coverage

  treiher

  committed
  74870f9

  Copy full SHA for 74870f9

Commits on Aug 19, 2022

• Check documentation coverage using interrogate

  Show description for 73c85f4
  senier

  committed
  73c85f4

  Copy full SHA for 73c85f4

Commits on Aug 15, 2022

• Add timeout of one hour for each Python test case

  Show description for 523e285
  treiher

  committed
  523e285

  Copy full SHA for 523e285

Commits on Aug 5, 2022

• Check documentation before generating online docs

  Show description for 1593eb0
  senier

  committed
  1593eb0

  Copy full SHA for 1593eb0

Commits on Aug 2, 2022

• Add possiblity to generate HTML documentation using Sphinx

  Show description for 8cd5558
  treiher

  committed
  8cd5558

  Copy full SHA for 8cd5558

Commits on Jul 28, 2022

• Add testing of compatibility to FSF GNAT 12

  treiher

  committed
  be39a22

  Copy full SHA for be39a22

• Fix use of unintended FSF GNAT version in CI

  Show description for 580781d
  treiher

  committed
  580781d

  Copy full SHA for 580781d

Commits on Jul 15, 2022

• Add checking of pip version

  Show description for 299bf96
  treiher

  committed
  299bf96

  Copy full SHA for 299bf96

Commits on Jun 22, 2022

• Add pre-commit and pre-push hook

  treiher

  committed
  f458999

  Copy full SHA for f458999

Commits on Jun 7, 2022

• Fix alr options

  Show description for 9916a84
  treiher

  committed
  9916a84

  Copy full SHA for 9916a84

Commits on Mar 29, 2022

• Update black and switch to pyproject-flake8

  treiher

  committed
  f81d80f

  Copy full SHA for f81d80f

Commits on Feb 26, 2022

• Use environment variable to set memcached

  Show description for bf4ab95
  jklmnn

  committed
  bf4ab95

  Copy full SHA for bf4ab95

• Make memcached configurable

  Show description for 0887ac4
  jklmnn

  committed
  0887ac4

  Copy full SHA for 0887ac4

Commits on Feb 22, 2022

• Change make targets

  treiher

  committed
  8470405

  Copy full SHA for 8470405

• Add testing of binary size

  Show description for 35576bb
  treiher

  committed
  35576bb

  Copy full SHA for 35576bb

Commits on Jan 31, 2022

• Allow setting number of pytest processes

  jklmnn

  committed
  f1ca065

  Copy full SHA for f1ca065

Commits on Jan 27, 2022

• Improve compatibility of compilation tests

  Show description for b61dbe2
  treiher

  committed
  b61dbe2

  Copy full SHA for b61dbe2

• Simplify tests

  Show description for 2a79dba
  treiher

  committed
  2a79dba

  Copy full SHA for 2a79dba

Pagination

Previous

Next