Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 11, 2026

• README: Add Github Actions CI

  Show description for ece2837
  evdenis

  committed
  ece2837

  Copy full SHA for ece2837

• sessions: Update verification protocols

  Show description for c9787cd
  evdenis

  committed
  c9787cd

  Copy full SHA for c9787cd

• Revert "Makefile: Use CVC5 in verker strategy"

  Show description for 36a08aa
  evdenis

  committed
  36a08aa

  Copy full SHA for 36a08aa

• Add GitHub Actions.

  Show description for afa3ff0
  evdenis

  committed
  afa3ff0

  Copy full SHA for afa3ff0

Commits on Jan 10, 2026

• Makefile: Use CVC5 in verker strategy

  Show description for ac77e4c
  evdenis

  committed
  ac77e4c

  Copy full SHA for ac77e4c

• Makefile: Suppress preprocessor warnings.

  Show description for 2da2634
  evdenis

  committed
  2da2634

  Copy full SHA for 2da2634

• Makefile: Use -std=c11 by default.

  Show description for f8cde61
  evdenis

  committed
  f8cde61

  Copy full SHA for f8cde61

• Makefile: Use $(opam env)

  Show description for 8018502
  evdenis

  committed
  8018502

  Copy full SHA for 8018502

• travis: Drop Travis CI.

  Show description for b5fac23
  evdenis

  committed
  b5fac23

  Copy full SHA for b5fac23

• Makefile: Expand mktemp during execution time

  Show description for f787339
  evdenis

  committed
  f787339

  Copy full SHA for f787339

• kernel_definitions: Define unreachable() only it's not defined already

  Show description for a9c0388
  evdenis

  committed
  a9c0388

  Copy full SHA for a9c0388

• kernel_definitions: Make the code compatible with C23

  Show description for 88bd212
  evdenis

  committed
  88bd212

  Copy full SHA for 88bd212

• strnlen: Suppress -Werror=stringop-overread error

  Show description for b21c65e
  evdenis

  committed
  b21c65e

  Copy full SHA for b21c65e

• Makefile: Fix directory variable

  Show description for 3087a77
  evdenis

  committed
  3087a77

  Copy full SHA for 3087a77

Commits on Nov 21, 2025

• docs: Update README.md

  Show description for 9282dcb
  evdenis

  committed
  9282dcb

  Copy full SHA for 9282dcb

Commits on Feb 11, 2021

• Update opam version

  Show description for 7646b4c
  evdenis

  committed
  7646b4c

  Copy full SHA for 7646b4c

Commits on Feb 9, 2021

• Update sessions

  evdenis

  committed
  5b25d5a

  Copy full SHA for 5b25d5a

Commits on Oct 7, 2020

• stpcpy: session update

  Show description for 573e76a
  evdenis

  committed
  573e76a

  Copy full SHA for 573e76a

• travis: bump eprover version

  Show description for 440fee7
  evdenis

  committed
  440fee7

  Copy full SHA for 440fee7

Commits on Oct 6, 2020

• stpcpy added

  Show description for 11de6a1
  evdenis

  committed
  11de6a1

  Copy full SHA for 11de6a1

• travis: fix opam download link

  Show description for 400eaff
  evdenis

  committed
  400eaff

  Copy full SHA for 400eaff

Commits on Sep 7, 2020

• sessions: update verification artifacts with new strategy

  Show description for e5926d1
  evdenis

  committed
  e5926d1

  Copy full SHA for e5926d1

• makefile: update verker strategy

  Show description for 64d4fdb
  evdenis

  committed
  64d4fdb

  Copy full SHA for 64d4fdb

Commits on Sep 4, 2020

• TravisCI: update opam version

  Show description for df95c26
  evdenis

  committed
  df95c26

  Copy full SHA for df95c26

• TravisCI: install gtk3 libs

  evdenis

  committed
  6a8bf06

  Copy full SHA for 6a8bf06

• sessions: update

  evdenis

  committed
  b47d1bb

  Copy full SHA for b47d1bb

Commits on Mar 30, 2020

• TravisCI: bump ocaml, astraver versions

  Show description for f55b67c
  evdenis

  committed
  f55b67c

  Copy full SHA for f55b67c

Commits on Mar 27, 2020

• sessions: optimize proofs

  evdenis

  committed
  ed4b152

  Copy full SHA for ed4b152

• TravisCI: bump eprover version to 2.4

  evdenis

  committed
  975d780

  Copy full SHA for 975d780

• TravisCI: bump cvc verion to 1.7

  evdenis

  committed
  99e22f3

  Copy full SHA for 99e22f3

• sessions: update

  evdenis

  committed
  0b096fa

  Copy full SHA for 0b096fa

• README.md: update papers info

  evdenis

  committed
  8e72994

  Copy full SHA for 8e72994

Commits on Feb 4, 2020

• TravisCI: bump Ubuntu && opam

  evdenis

  committed
  ec61ecf

  Copy full SHA for ec61ecf

Commits on Aug 16, 2019

• Change predicate name strn_eq to strnequal

  evdenis

  committed
  61cc744

  Copy full SHA for 61cc744

Commits on Aug 15, 2019

• strreplace: Add specifications

  evdenis

  committed
  1111b20

  Copy full SHA for 1111b20

Pagination

Previous

Next