Commits

Branch selector

 master

User selector

veanes

Datepicker

All time

Commit History

Commits on Jul 25, 2021

• added derivative support for (str.to_re (str.from_int ...)) (#5431)

  veanes

  authored
  4fd1e6d

  Copy full SHA for 4fd1e6d

Commits on Jul 18, 2021

• added regex simplification rules ~() = .+ and .+* = .* (#5416)

  veanes

  authored
  a19910c

  Copy full SHA for a19910c

Commits on Jul 15, 2021

• fixed bug #5343 and did some related optimizations (#5411)

  veanes

  authored
  8e9bc86

  Copy full SHA for 8e9bc86

Commits on May 16, 2021

• fixing issue #5140 (#5268)

  veanes

  authored
  8ca6f56

  Copy full SHA for 8ca6f56

Commits on Sep 8, 2020

• fixing issue #4651 (#4666)

  Show description for af54a79
  

  5 peopleauthored
  af54a79

  Copy full SHA for af54a79

Commits on Aug 26, 2020

• updated rewrite rules to propagate nullability over nonground regexes (#4663)

  Show description for 78b88f7
  veanes

  authored
  78b88f7

  Copy full SHA for 78b88f7

Commits on Aug 22, 2020

• re info extension (#4659)

  Show description for 5e5ef50
  veanes

  authored
  5e5ef50

  Copy full SHA for 5e5ef50

• renamed compl method (compl is a reserved c++ keyword) to complement

  veanes

  committed
  1e29ba7

  Copy full SHA for 1e29ba7

Commits on Aug 21, 2020

• trying to remove invisible control characters

  veanes

  committed
  4dd9249

  Copy full SHA for 4dd9249

• fixed type bug: bool to lbool

  veanes

  committed
  8285162

  Copy full SHA for 8285162

• fixed loop lower bound bug in loop info and default nullable value in invalid_info

  veanes

  committed
  7b478c8

  Copy full SHA for 7b478c8

• Merge branch 're-info-extension' of https://github.com/veanes/z3 into re-info-extension

  veanes

  committed
  6b11af7

  Copy full SHA for 6b11af7

• added missing return statements, reordered def of compl to match declaration order of methods

  veanes

  committed
  3fb226d

  Copy full SHA for 3fb226d

• took care of PR comments and fixed some info calculation bugs

  veanes

  committed
  1099c51

  Copy full SHA for 1099c51

• extended calculation of info for regexes, updated tracing of state_graph with regex info

  veanes

  committed
  93bc1bc

  Copy full SHA for 93bc1bc

• took care of PR comments and fixed some info calculation bugs

  veanes

  committed
  4879258

  Copy full SHA for 4879258

• extended calculation of info for regexes, updated tracing of state_graph with regex info

  veanes

  committed
  738d091

  Copy full SHA for 738d091

Commits on Aug 20, 2020

• renamed re to rex and added custom pretty printing for info (#4650)

  veanes

  authored
  de65c61

  Copy full SHA for de65c61

Commits on Aug 19, 2020

• computing and memoizing info for regexes (#4647)

  Show description for c50e869
  veanes

  authored
  c50e869

  Copy full SHA for c50e869

Commits on Aug 14, 2020

• added missing const declarations that caused build failure on some platforms

  veanes

  committed
  1233cb4

  Copy full SHA for 1233cb4

• Merge branch 'regex-pp-compact' of https://github.com/veanes/z3 into regex-pp-compact

  veanes

  committed
  0d9dc03

  Copy full SHA for 0d9dc03

• fixed bug in seq_unit

  veanes

  committed
  1567587

  Copy full SHA for 1567587

• updated detection of when parenthesis can be omitted to cover empty and epsilon

  veanes

  committed
  e80b143

  Copy full SHA for e80b143

• further PR comment fixes

  veanes

  committed
  ae41336

  Copy full SHA for ae41336

• took care of comments for related PR

  veanes

  committed
  5f9a326

  Copy full SHA for 5f9a326

• pp support for regex expressions is more-or-less standard syntax

  veanes

  committed
  2c33bd6

  Copy full SHA for 2c33bd6

• fixed bug in seq_unit

  veanes

  committed
  bfae1c4

  Copy full SHA for bfae1c4

• updated detection of when parenthesis can be omitted to cover empty and epsilon

  veanes

  committed
  5b663aa

  Copy full SHA for 5b663aa

Commits on Aug 13, 2020

• further PR comment fixes

  veanes

  committed
  be6f7bb

  Copy full SHA for be6f7bb

• took care of comments for related PR

  veanes

  committed
  024ccf1

  Copy full SHA for 024ccf1

• pp support for regex expressions is more-or-less standard syntax

  veanes

  committed
  3ab75bd

  Copy full SHA for 3ab75bd

Commits on Aug 9, 2020

• added support for saving state graph in dot format (#4621)

  Show description for e5693b8
  veanes

  authored
  e5693b8

  Copy full SHA for e5693b8

Commits on Aug 8, 2020

• dgml output generation for regex state graphs (#4620)

  Show description for 934f87a
  veanes

  authored
  934f87a

  Copy full SHA for 934f87a

Commits on Aug 2, 2020

• adding back dropped return statement (#4611)

  veanes

  authored
  7fa5b31

  Copy full SHA for 7fa5b31

Commits on Aug 1, 2020

• string to regex approximation used to strengthen membership constraints (#4610)

  Show description for 8137143
  veanes

  authored
  8137143

  Copy full SHA for 8137143

Pagination

Previous

Next