Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 15, 2023

• fix(docker): build docker image every 3 days

  nicdard

  committed
  fccd71b

Commits on Feb 11, 2023

• fix(docker): add pyparse dependency

  nicdard

  committed
  25b9495

• fix(docker): use ubuntu 20.04 version

  nicdard

  committed
  c1cb4fe

Commits on Feb 9, 2023

• feat: add flex in dependencies

  nicdard

  committed
  84459dc

Commits on Dec 10, 2022

• Merge pull request #80 from nicdard/feat/pypi/add-github-links

  Show description for c723d2f
  nicdard

  authored
  c723d2f

• release: add source and tracker links and update version to 0.1.2

  nicdard

  committed
  74d101b

Commits on Nov 27, 2022

• fix: emit_function call in README

  lweitzendorf

  committed
  52d29f8

• fix: string inequality operators

  lweitzendorf

  committed
  abd7c13

Commits on Nov 20, 2022

• Merge pull request #84 from nicdard/fix/ci

  Show description for dc618bf
  nicdard

  authored
  dc618bf

Commits on Nov 14, 2022

• fix: add executable permissions to all scripts

  nicdard

  committed
  347ddc4

• Merge pull request #83 from nicdard/fix/ci

  Show description for 62538c4
  nicdard

  authored
  62538c4

• feat: add ffg dependency in Dockerfile

  nicdard

  committed
  9a2b604

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

Pagination

PreviousNext