Commits

Branch selector

 f6d488c

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2022

• Merge pull request #82 from nicdard/feat/more-transitions

  Show description for f6d488c
  lweitzendorf

  authored
  f6d488c

Commits on Oct 23, 2022

• feat: add additional transition operators

  lweitzendorf

  committed
  6b0fd5b

Commits on Oct 21, 2022

• Merge pull request #81 from nicdard/feat/if-strategy

  Show description for 763fe49
  nicdard

  authored
  763fe49

• refactor: do not use empty list as default argument

  nicdard

  committed
  baf4d54

• refactor: remove unused import

  nicdard

  committed
  06e6ca3

Commits on Oct 18, 2022

• feat: add ite operator and boolean fringe operators to instanciate condition

  nicdard

  committed
  b4b9fa9

Commits on Sep 22, 2022

• release: version 0.1.1

  nicdard

  committed
  6ebc482

• Merge pull request #79 from nicdard/fix/3.8-compatibility

  Show description for e204154
  nicdard

  authored
  e204154

Commits on Sep 21, 2022

• test: add regression test for python version issue

  nicdard

  committed
  b532a3d

• fix: make generator code compatible with python 3.8

  nicdard

  committed
  92bb061

Commits on Sep 16, 2022

• Merge pull request #78 from nicdard/feat/package

  Show description for 5ff3846
  nicdard

  authored
  5ff3846

Commits on Sep 9, 2022

• refactor: address review comments

  nicdard

  committed
  77c0d16

Commits on Sep 3, 2022

• feat: add library description

  nicdard

  committed
  567db1a

• feat: add long_description to the package metadata

  nicdard

  committed
  3b67163

• refactor: add constants for theory options

  nicdard

  committed
  44fdbdb

Commits on Sep 2, 2022

• fix: change old src path to ffg

  nicdard

  committed
  eac7e1f

Commits on Aug 29, 2022

• Merge pull request #77 from nicdard/feat/package

  Show description for 7d4dbed
  nicdard

  authored
  7d4dbed

• feat: prepare package ffg

  nicdard

  committed
  c331981

Commits on Aug 12, 2022

• Merge pull request #76 from nicdard/feat/negation

  Show description for 459c7cf
  lweitzendorf

  authored
  459c7cf

Commits on Aug 11, 2022

• feat: print exact generation size

  lweitzendorf

  committed
  0c20f4c

Commits on Aug 10, 2022

• Merge pull request #73 from nicdard/feat/assertion-violation

  Show description for 39ff073
  nicdard

  authored
  39ff073

Commits on Aug 3, 2022

• feat: new negation operators

  lweitzendorf

  committed
  1476740

Commits on Aug 2, 2022

• feat: theory mixing

  lweitzendorf

  committed
  d537cf6

Commits on Jul 29, 2022

• feat: add QF_BV assertion bug

  nicdard

  committed
  43c3ae6

Commits on Jul 25, 2022

• feat: type-aware tree generation

  lweitzendorf

  committed
  76db2e6

• Merge pull request #72 from nicdard/feat/docker-schedule

  Show description for 2cd85b2
  nicdard

  authored
  2cd85b2

Commits on Jul 24, 2022

• feat: add some more testing scripts

  nicdard

  committed
  923108f

• fix: remove outdated GitHub endpoint from Dockerfile

  nicdard

  committed
  469376f

Commits on Jul 15, 2022

• Merge pull request #71 from nicdard/feat/docker-schedule

  Show description for 60317cd
  nicdard

  authored
  60317cd

• feat: build Docker image every day once

  nicdard

  committed
  5e3232d

• Merge pull request #69 from nicdard/feat/qf-s-bug

  Show description for 2607f93
  nicdard

  authored
  2607f93

• feat: add z3str3 soundness issue

  nicdard

  committed
  5bb348b

Commits on Jul 14, 2022

• Merge pull request #70 from nicdard/fix/notifier

  Show description for bf7009a
  lweitzendorf

  authored
  bf7009a

• fix: correct formatting for slack message with stdout and stderr content

  lweitzendorf

  committed
  2c5ab4f

Commits on Jul 13, 2022

• refactor: use original seed repo name

  lweitzendorf

  committed
  f55d2a6

Pagination

PreviousNext