Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Jun 30, 2024

• fix off by 1 in level predicate

  

  Marko Vasylenko

  committed
  4d79e47

  Copy full SHA for 4d79e47

Commits on Jan 12, 2024

• blacked

  rindPHI

  committed
  962596b

  Copy full SHA for 962596b

• v1.14.4

  rindPHI

  committed
  7730b2b

  Copy full SHA for 7730b2b

• TAR: Increased order value of checksum predicate

  rindPHI

  committed
  b1fbd92

  Copy full SHA for b1fbd92

• Intermediate commit

  rindPHI

  committed
  aa28606

  Copy full SHA for aa28606

Commits on Jan 9, 2024

• flake8

  rindPHI

  committed
  c172885

  Copy full SHA for c172885

• Version inc -> 1.14.3

  rindPHI

  committed
  712f293

  Copy full SHA for 712f293

• Bugfixes in z3_helpers, errors in transition to result library

  rindPHI

  committed
  288dffb

  Copy full SHA for 288dffb

• Switched from custom Maybe/Exceptional datastructures to returns library; some small fixes/improvements

  rindPHI

  committed
  b9a0ffe

  Copy full SHA for b9a0ffe

Commits on Nov 1, 2023

• Bug fix

  rindPHI

  committed
  4bd7766

  Copy full SHA for 4bd7766

• Bug fix

  rindPHI

  committed
  3153f00

  Copy full SHA for 3153f00

• Improved the inference of numeric intervals from grammars: Improved simplification

  rindPHI

  committed
  b2d0bd5

  Copy full SHA for b2d0bd5

Commits on Jul 10, 2023

• ISLa 1.14.1: Supporting negative int literals in ISLa's concrete syntax

  rindPHI

  committed
  5b4531a

  Copy full SHA for 5b4531a

Commits on Jul 5, 2023

• Upgrade to ANTLR 4.13.0

  rindPHI

  committed
  3f95890

  Copy full SHA for 3f95890

• Refactoring

  rindPHI

  committed
  893c05c

  Copy full SHA for 893c05c

• Refactoring

  rindPHI

  committed
  1e6ec31

  Copy full SHA for 1e6ec31

• Improved handling of str.to.int variables: More flexible language support + automatic domain inference

  rindPHI

  committed
  d035925

  Copy full SHA for d035925

Commits on Jul 3, 2023

• [intermediate commit] Added support for optional + and 0 padding; still need to consider -

  rindPHI

  committed
  f7b17bd

  Copy full SHA for f7b17bd

Commits on May 3, 2023

• Liberlized too strict type hint

  rindPHI

  committed
  84a64e6

  Copy full SHA for 84a64e6

Commits on Apr 27, 2023

• Increased a timeout to ensure that tests also pass in CI

  rindPHI

  committed
  c526970

  Copy full SHA for c526970

• flake8

  rindPHI

  committed
  583a133

  Copy full SHA for 583a133

• 1.13.9: Fix of embarrassing unsoundness (see CHANGELOG)

  rindPHI

  committed
  83f1d04

  Copy full SHA for 83f1d04

• 1.13.8: Two bug fixes (see CHANGELOG)

  rindPHI

  committed
  4a9cb0e

  Copy full SHA for 4a9cb0e

Commits on Apr 26, 2023

• 1.13.7: Performance bug fix (see CHANGELOG)

  rindPHI

  committed
  8bd1af1

  Copy full SHA for 8bd1af1

• 1.13.6: Bug fix for parsing XPath expressions on bound variable (see CHANGELOG)

  rindPHI

  committed
  0e33892

  Copy full SHA for 0e33892

• 1.13.5: Option to deactivate some costly assertions programmatically using global config object; suppressing meaningless error messages

  rindPHI

  committed
  8f4ffdd

  Copy full SHA for 8f4ffdd

• 1.13.4: Fixed bug with numeric solutions to padded integer variables

  rindPHI

  committed
  b95eea5

  Copy full SHA for b95eea5

• 1.12.1: Fixed bug with numeric solutions to padded integer variables

  rindPHI

  committed
  4091126

  Copy full SHA for 4091126

Commits on Apr 17, 2023

• 1.13.3: Bug fix fix

  rindPHI

  committed
  0936785

  Copy full SHA for 0936785

• 1.13.2: Small bug fix in unparsing ISLa formulas

  rindPHI

  committed
  e410222

  Copy full SHA for e410222

Commits on Apr 6, 2023

• 1.13.1: Bugfix/small API extension for semantic predicates (see CHANGELOG)

  rindPHI

  committed
  a27bd5c

  Copy full SHA for a27bd5c

• 1.13.0: Improvements in `count` and `ISLaSolver.extract_regular_expression` (see CHANGELOG)

  rindPHI

  committed
  23a7c16

  Copy full SHA for 23a7c16

• Change in count predicate (see CHANGELOG)

  rindPHI

  committed
  e39ecba

  Copy full SHA for e39ecba

Commits on Mar 29, 2023

• A little documentation

  rindPHI

  committed
  beb7a8a

  Copy full SHA for beb7a8a

Commits on Mar 27, 2023

• Added some solver doku and doctests to satisfy coverage check :)

  rindPHI

  committed
  e449ac8

  Copy full SHA for e449ac8