Commits

Breadcrumbs

History for

on2c5ab4f

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 30, 2022

• refactor: remove underscore from CamlCase operator names

  nicdard

  committed
  50b3b2d

• refactor: deduplicate string concatenation operator

  nicdard

  committed
  11f8068

Commits on Jun 24, 2022

• feat: add FixedSizeBitVectors theory

  lweitzendorf

  committed
  54d0f64

Commits on Jun 20, 2022

• feat: add initialization visitor and literal - constant distinction

  lweitzendorf

  committed
  57b62fd

Commits on May 24, 2022

• feat: add --theories option to command line

  nicdard

  committed
  d0bec66

Commits on May 18, 2022

• Merge pull request #47 from nicdard/feat/index-of

  Show description for 960d5dd
  nicdard

  authored
  960d5dd

Commits on May 16, 2022

• add uppercase letters and digits to random strings

  lweitzendorf

  committed
  7dcc30f

• feat: add StringIndexof operator

  nicdard

  committed
  3e0da82

• refactor: apply autoformatter

  nicdard

  committed
  77a0493

• update to auto-generated file

  lweitzendorf

  committed
  1e5cbae

Commits on May 15, 2022

• feat: add string theory

  lweitzendorf

  committed
  b46a1d5

Commits on May 14, 2022

• Merge pull request #39 from nicdard/feat/unit-tests

  Show description for 9110172
  nicdard

  authored
  9110172

Commits on May 12, 2022

• fix: move real division to fringe operators

  nicdard

  committed
  378f740

Commits on May 5, 2022

• fix: add python 3.8 support

  nicdard

  committed
  1fbc36c

Commits on May 4, 2022

• fix: add LICENSE on top of all files

  nicdard

  committed
  c483db4

Commits on Apr 8, 2022

• refactor: moved operator import into gen_configuration.py

  lweitzendorf

  committed
  246dbec

Commits on Apr 7, 2022

• feat: restrict generation to only use invertible operators

  lweitzendorf

  committed
  9e3009c

• refactor: Changed folder structure

  lweitzendorf

  committed
  362c036

Loading