Commits

Breadcrumbs

History for

once8ab0e

User selector

All users

All time

Commit History

Commits on Nov 10, 2022

• Simplify test predicate implementation.

  Show description for ce8ab0e
  

  michaelnebel

  and

  aschackmull

  committed
  ce8ab0e

  Copy full SHA for ce8ab0e

• Simplify functional predicate implementation.

  Show description for 0e7179c
  

  michaelnebel

  and

  aschackmull

  committed
  0e7179c

  Copy full SHA for 0e7179c

• Adjust the co-variant claim comment.

  Show description for 9d34ce9
  

  michaelnebel

  and

  aschackmull

  committed
  9d34ce9

  Copy full SHA for 9d34ce9

• Improve IterableType implementation.

  Show description for decfcdd
  

  michaelnebel

  and

  aschackmull

  committed
  decfcdd

  Copy full SHA for decfcdd

• Java: Explicit import of needed classes from stream and some improvements to comments.

  michaelnebel

  committed
  4cb82ad

  Copy full SHA for 4cb82ad

• Java: Inline expectations for type based model test case.

  michaelnebel

  committed
  62603dd

  Copy full SHA for 62603dd

• Java: Move internal model generator code to another folder.

  michaelnebel

  committed
  2011685

  Copy full SHA for 2011685

• Java: Update ql doc comments.

  michaelnebel

  committed
  5b9ae5e

  Copy full SHA for 5b9ae5e

• Java: Minor re-factorings.

  michaelnebel

  committed
  8352925

  Copy full SHA for 8352925

• Java: Update expected test output.

  michaelnebel

  committed
  8a0f00a

  Copy full SHA for 8a0f00a

• Java: Comment in method for converting stream to Array.

  michaelnebel

  committed
  0c09f78

  Copy full SHA for 0c09f78

• Java: Make support for array parameter and return values.

  michaelnebel

  committed
  84743ec

  Copy full SHA for 84743ec

• Java: Change test implementation to avoid failing CFG dead end consistency test.

  michaelnebel

  committed
  5b65f5c

  Copy full SHA for 5b65f5c

• Java: Make better QL docs and add some missing 'this'.

  michaelnebel

  committed
  8c1de59

  Copy full SHA for 8c1de59

• Java: Update expected test output.

  michaelnebel

  committed
  b80c533

  Copy full SHA for b80c533

• Java: Add further examples that are now supported.

  michaelnebel

  committed
  9374048

  Copy full SHA for 9374048

• Java: Get the correct type of the instantiated iterator type.

  michaelnebel

  committed
  39ee1e2

  Copy full SHA for 39ee1e2

• Java: Update expected test output.

  michaelnebel

  committed
  dc79ed8

  Copy full SHA for dc79ed8

• Java: Add more stream functions. Comment methods out, where we are not happy with the generated result.

  michaelnebel

  committed
  d1b8bef

  Copy full SHA for d1b8bef

• Java: Update expected test output.

  michaelnebel

  committed
  62de3e4

  Copy full SHA for 62de3e4

• Java: Add stream concat example.

  michaelnebel

  committed
  716d6ae

  Copy full SHA for 716d6ae

• Java: Support wildcards in paramters and generic collection like parameters.

  michaelnebel

  committed
  9641403

  Copy full SHA for 9641403

• Java: Updated expected test output.

  michaelnebel

  committed
  efe802d

  Copy full SHA for efe802d

• Java: Add stream example methods using wildcards.

  michaelnebel

  committed
  52f69f7

  Copy full SHA for 52f69f7

• Java: Support wildcards for functional interfaces.

  michaelnebel

  committed
  b8922b0

  Copy full SHA for b8922b0

• Java: Update expected test output.

  michaelnebel

  committed
  0caee16

  Copy full SHA for 0caee16

• Java: Add some examples of functional interfaces for functions with two parameters.

  michaelnebel

  committed
  0cfd778

  Copy full SHA for 0cfd778

• Java: Generalize the support perceiving functional interfaces as functions.

  michaelnebel

  committed
  3b109db

  Copy full SHA for 3b109db

• Java: Update expected test output.

  michaelnebel

  committed
  3a5d062

  Copy full SHA for 3a5d062

• Java: Add some initial stubs for methods like java.util.stream.Stream.

  michaelnebel

  committed
  9ccff65

  Copy full SHA for 9ccff65

• Java: Consider classes that has a method that returns an iterator as container like types.

  michaelnebel

  committed
  8bc9232

  Copy full SHA for 8bc9232

• Java: Add expected test output.

  michaelnebel

  committed
  309b6e0

  Copy full SHA for 309b6e0

• Java: Add test case for capturing type based summaries.

  michaelnebel

  committed
  f22e1db

  Copy full SHA for f22e1db

• Java: Move dataflow based model generation testcases to a subfolder.

  michaelnebel

  committed
  207191f

  Copy full SHA for 207191f

• Java: Add type based summary model generation query.

  michaelnebel

  committed
  0cab131

  Copy full SHA for 0cab131