Commits

History for

onremove-misplaced-file

Commits on Oct 22, 2022

Add java.net.URLEncoder
peterschrammel
committed
0ac3897
Add java.util.Set and AbstractSet
peterschrammel
committed
9f9ddfd
Add java.util.Map and HashMap
peterschrammel
committed
1cb7d67
Add java.util.Enumeration
peterschrammel
committed
89024e8
Add java.util.List, AbstractList, ArrayList and LinkedList
peterschrammel
committed
88c0f3c
Add java.util.Collection and Iterator
peterschrammel
committed
d798268
Various cleanups
peterschrammel
committed
d44a551
Class.forName is not sufficiently modelled
peterschrammel
committed
75beb6b
Add java.util.BitSet
peterschrammel
committed
a166069
Add java.net.URLDecoder
peterschrammel
committed
f43c631
A partial solution for Class object singletons
peterschrammel
committed
38a1e86
Add java.util.Objects
peterschrammel
committed
33c3c6a
Update to models-library@4d20c50
peterschrammel
committed
0cdb1bb
Make unsupported case notModelled instead of using assume
peterschrammel
committed
5f2018b
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