Commits

History for

Commits on Oct 22, 2022

Various cleanups
peterschrammel
committed
d44a551
Class.forName is not sufficiently modelled
peterschrammel
committed
75beb6b
A partial solution for Class object singletons
peterschrammel
committed
38a1e86
Update to models-library@4d20c50
peterschrammel
committed
0cdb1bb
Add missing cast
peterschrammel
committed
de1bd66
Make unsupported case notModelled instead of using assume
peterschrammel
committed
a4e9328

Commits on Sep 20, 2021

Remove `isOtherLowercase` and `isOtherUppercase` from the `Character` models.
NlightNFotis
committed
a912257

Commits on Feb 11, 2020

Introduce and use CProverString.isValidInt/Long
smowton
committed
d0d583a

Commits on Feb 6, 2020

Fix exception handling in parseInt, parseLong
smowton
committed
ee97592

Commits on Sep 30, 2019

Add models for setLength() and setCharAt() of StringBuilder
danpoe
committed
f29b223

Commits on Sep 9, 2019

Commits on Aug 29, 2019

Merge pull request #28 from diffblue/smowton/feature/createArrayWithType
smowton
authored
ccf0abb

Commits on Aug 25, 2019

Add createArrayWithType intrinsic
smowton
committed
b5f4a6a

Commits on Aug 16, 2019

Replace CProverString.insert functions by models
romainbrenguier
committed
dee9c7f

Commits on Jun 9, 2019

Synchronize models
peterschrammel
committed
cca2693
Merge pull request #17 from diffblue/string-buffer-reverse
peterschrammel
authored
06052cb

Commits on Jun 7, 2019

Workaround for propagating cproverFormatArgument
Joel Allred
committed
ca0c3fe

Commits on May 14, 2019

Merge pull request #23 from diffblue/forejtv/floats-to-string
Vojtěch Forejt
authored
79d3380
Handle StringBuffer.append(int) in the model
Vojtech Forejt
committed
24afc75
Handle common floats to string operations in the model and not in the string solver
Vojtech Forejt
committed
32d0f60

Commits on May 13, 2019

Add a model for String.hashCode
romainbrenguier
committed
0dd01f7

Commits on Apr 30, 2019

Add a model for String.intern
romainbrenguier
committed
1d879b0

Commits on Apr 11, 2019

Use CProver.classIdentifier in getClass model
romainbrenguier
committed
f369b62

Commits on Apr 3, 2019

Document limitation of String.format
romainbrenguier
committed
077484f
Add a model of String.format
romainbrenguier
committed
4392850

Commits on Apr 1, 2019

Model for String.split
romainbrenguier
committed
b857306

Commits on Nov 28, 2018

Add support for StringBuilder.reverse
peterschrammel
committed
260c466

Commits on Nov 26, 2018

Merge pull request #16 from diffblue/feature/getChars
peterschrammel
authored
1f41012

Commits on Nov 25, 2018

Model for StringBuilder.getChars
romainbrenguier
committed
f97622e
Model for String.getChars
romainbrenguier
committed
d08549a

Commits on Nov 20, 2018