GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Tests for collections and bug fixes of approximations by IgorFilimonov · Pull Request #15 · UnitTestBot/java-stdlib-approximations

Conversation

@IgorFilimonov

@IgorFilimonov IgorFilimonov commented Oct 18, 2024

Copy link
Copy Markdown

No description provided.

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
All reactions
MchKosticyn and others added 30 commits May 19, 2024 16:14
@MchKosticyn
[feat] added Spring approximations
4464e95
@MchKosticyn
[feat] updated USVM API
a589ca5
@MchKosticyn
[feat] implemented encoders
d5a5793
@MchKosticyn
[feat] added approximation for LogFactory
78514ad
@MchKosticyn
[feat] updated JDK version
8c11ebd
@MchKosticyn
[feat] updated usvm-api
96ed364
@MchKosticyn
[fix] fixed approximations
1693ca9
@MchKosticyn
[feat] added 'warning as error'
02da844
@MchKosticyn
[fix] added 'typeIs' check for 'equals'
7ad1a1a 
- added 'typeIs' function into Engine
- fixed 'equals' methods to use 'typeIs'
@MchKosticyn
updated jacodb version
b9fb015
@MchKosticyn
[fix] implemented adding all elements via internal copy
31b4597 
- implemented List.addAll via SymbolicList.copy
- implemented Map.addAll and Set.addAll via SymbolicMap.union
@MchKosticyn
[feat] added Map.Entry encoder
764d821
@MchKosticyn
[feat] added 'Log' interface approximation
2634638 
- disabled logging by default
@MchKosticyn
[fix] deleted 'PrimitiveTypeUtils'
78f8212
@MchKosticyn
[fix] fixed decoders
dbe75e1
@MchKosticyn
[fix] fixed System_PrintStream
65439c5
@MchKosticyn
[fix] fixed 'System' approximation
e643c72
@MchKosticyn
[fix] fixed spliterator approximation
3503d09
@MchKosticyn
[fix] fixed 'AtomicBoolean' approximation
02c5271
@MchKosticyn
[fix] fixed 'Log' approximation
4dbc6fb
@MchKosticyn
wip
31893f4
@MchKosticyn
wip
dd18040
@IgorFilimonov
Added approximations for some buffers
771193d
@IgorFilimonov
Added Engine.assume
0153a4b
@IgorFilimonov
Added tests from OpenJDK repo
9965e16
@IgorFilimonov
Added ReadableImpl
889f4bd
@IgorFilimonov
At least some of tests can be passed now
d7144a8
@IgorFilimonov
Trying to get tests to work
3c3ee6f
@IgorFilimonov
Trying to fix ArrayList decoder
113bc56
@IgorFilimonov
Some fixes
dc24083
IgorFilimonov added 10 commits September 1, 2024 13:34
@IgorFilimonov
Changes for tests + fixed AbstractListImpl
ab7dd93
@IgorFilimonov
Fixed a bunch of bugs and added a lot of tests
1609cd1
@IgorFilimonov
Renamed all methods of abstract lists
789440a
@IgorFilimonov
Renamed all methods of abstract set
6928282
@IgorFilimonov
Renamed all methods of abstact maps
934cd16
@IgorFilimonov
Reverted renaming
f49abe2
@IgorFilimonov
Properly renamed all methods of abstract lists
4c4471e
@IgorFilimonov
Properly renamed all methods of abstract maps
3a635b2
@IgorFilimonov
Properly renamed all methods of abstract sets
5f09630
@IgorFilimonov
Added a lot of tests and fixed last bugs for now
9eaf076
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Uh oh!

There was an error while loading. Please reload this page.

2 participants

@IgorFilimonov @MchKosticyn
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.