Commits

Branch selector

 string-analysis

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 20, 2017

• Copyright headers

  panacekcz

  committed
  20f5dd7

• Fixes

  panacekcz

  committed
  64f2604

• Gitignore

  panacekcz

  committed
  1f63fec

Commits on May 10, 2017

• Tests

  panacekcz

  committed
  9aa0e79

• Small fixes, string graph order

  panacekcz

  committed
  7b7c0cd

Commits on Apr 27, 2017

• Git attributes

  panacekcz

  committed
  75fb4d5

• String graph node comments

  panacekcz

  committed
  cf45361

• Regex - captures

  panacekcz

  committed
  412afa7

• String analyzer comments

  panacekcz

  committed
  a4670f6

• Organize tests

  panacekcz

  committed
  d0b7c65

• Extend regex AST

  panacekcz

  committed
  2a220c7

Commits on Apr 26, 2017

• Inference - filter by type

  panacekcz

  committed
  1959f29

• Prefix pentagons - fix regex generation

  panacekcz

  committed
  bf47754

• Tokens - avoid generating large graph for Top

  panacekcz

  committed
  8f68810

• Tokens regex inference

  panacekcz

  committed
  930295b

• Prefix interval regex inference

  panacekcz

  committed
  c955bb5

• Postcondition suggestion

  panacekcz

  committed
  82d0c36

• String graph regex inference

  panacekcz

  committed
  b296d6b

Commits on Apr 25, 2017

• Regex - fix AST generation

  panacekcz

  committed
  659a6bc

• Postcondition inference for domains except Tokens and Graphs

  panacekcz

  committed
  07623a4

Commits on Apr 24, 2017

• Regex - building AST from model

  panacekcz

  committed
  5b05deb

• Fix support for ToString operator

  panacekcz

  committed
  c33002e

• ToString constructor in heap abstraction

  panacekcz

  committed
  4e15938

• String operator expressions

  panacekcz

  committed
  7fa6872

• Unit test indenation

  panacekcz

  committed
  f36f193

Commits on Apr 23, 2017

• Demo runner - add non-null analysis and inference option

  panacekcz

  committed
  a4e3624

Commits on Apr 20, 2017

• Remove bad comment

  panacekcz

  committed
  c31340d

• Character inclusion regex - commens and minor improvements

  panacekcz

  committed
  f88e206

Commits on Apr 19, 2017

• Demo run script - add /absolute flag

  panacekcz

  committed
  a819099

• Whitespace

  panacekcz

  committed
  3024988

Commits on Apr 18, 2017

• Resolve issues with Bricks Trim

  panacekcz

  committed
  24e6c7a

• Add CU copyright header and fix access modifiers

  panacekcz

  committed
  2294cd8

• Add CU copyright header

  panacekcz

  committed
  ef3f142

• Improve IndexOf in PrefixIntervals

  panacekcz

  committed
  c5cd1d6

Commits on Apr 14, 2017

• Add IsEnd flag to generating interpretation

  panacekcz

  committed
  c8670b6

Pagination

PreviousNext