Groups

checker-framework-gsoc

Contact owners and managers

1–30 of 514

Welcome!

Please read https://rawgit.com/typetools/checker-framework/master/docs/developer/new-contributor-projects.html before you send any messages to the list.

0 selected

Apr 8

GSoC Project Direction Change

Dear Checker Framework Organization, I am writing to inform you of a change in my GSoC project

unread,

GSoC Project Direction Change

Dear Checker Framework Organization, I am writing to inform you of a change in my GSoC project

Apr 8

Damika Anupama, Michael Ernst5

Apr 8

Nullness Checker Case Study of Email Client Java Project

Dear Checker Framework Organization, Could you please review my draft proposal on GSoC: Introducing

unread,

Nullness Checker Case Study of Email Client Java Project

Dear Checker Framework Organization, Could you please review my draft proposal on GSoC: Introducing

Apr 8

Adarsh Gupta, Michael Ernst2

Apr 3

Introduction of Myself

Everything you need to know is available at https://rawgit.com/typetools/checker-framework/master/

unread,

Introduction of Myself

Everything you need to know is available at https://rawgit.com/typetools/checker-framework/master/

Apr 3

Daniel Itunu, Michael Ernst2

Apr 3

Gsoc 2025 inquiry for non students/professsionals

There are two separate issues here. Regarding official participation and payment, the rules are up to

unread,

Gsoc 2025 inquiry for non students/professsionals

There are two separate issues here. Regarding official participation and payment, the rules are up to

Apr 3

VAIDIK BHARDWAJ

Apr 3

Request for Feedback on My GSoC Proposal "Refactoring Checker Framework’s Expression Representation to Utilize Javac’s JCTree.JCExpression"

Dear Maintainer's, I hope this email finds you well. My name is Vaidik Bhardwaj, and I am

unread,

Request for Feedback on My GSoC Proposal "Refactoring Checker Framework’s Expression Representation to Utilize Javac’s JCTree.JCExpression"

Dear Maintainer's, I hope this email finds you well. My name is Vaidik Bhardwaj, and I am

Apr 3

tazpic...@gmail.com, Utkarsh Rai3

2/8/21

Using IndexFor with a dynamically increasing variable inside a loop

This solved the problem. Thanks alot! On Monday, February 8, 2021 at 12:20:11 AM UTC+5:30 utkars...@

unread,

Using IndexFor with a dynamically increasing variable inside a loop

This solved the problem. Thanks alot! On Monday, February 8, 2021 at 12:20:11 AM UTC+5:30 utkars...@

2/8/21

tazpic...@gmail.com

1/7/21

Introducing Myself in Open-Source

Hey everyone, My name is Yash Dekate and I'm a 3rd-year undergraduate student in Computer Science

unread,

Introducing Myself in Open-Source

Hey everyone, My name is Yash Dekate and I'm a 3rd-year undergraduate student in Computer Science

1/7/21

Utkarsh Rai, Michael Ernst4

12/4/20

A variable declared to suppress a warning throws the same warning on second assignment.

I also added a clarification to the manual: https://github.com/typetools/checker-framework/commit/

unread,

A variable declared to suppress a warning throws the same warning on second assignment.

I also added a clarification to the manual: https://github.com/typetools/checker-framework/commit/

12/4/20

neeti saharan, Yash Patel4

11/16/20

start contribution

You're welcome! On Mon, 16 Nov 2020 at 14:39, neeti saharan <neetisah...@gmail.com>

unread,

start contribution

You're welcome! On Mon, 16 Nov 2020 at 14:39, neeti saharan <neetisah...@gmail.com>

11/16/20

neeti saharan, Michael Ernst3

10/20/20

need to start with open source

Thanks, I'll check it out. On Mon, 19 Oct 2020 at 2:50 AM, Michael Ernst <mer...@cs.washington

unread,

need to start with open source

Thanks, I'll check it out. On Mon, 19 Oct 2020 at 2:50 AM, Michael Ernst <mer...@cs.washington

10/20/20

PRITI CHATTOPADHYAY10

8/18/20

Meeting Agendas and Summaries

Meeting Agenda for 20th August - Link - Priti

unread,

Meeting Agendas and Summaries

Meeting Agenda for 20th August - Link - Priti

8/18/20

8/18/20

New to open source

Hello Folks, I'm Rahul Joshi new to open source. I have never contributed to open source , I

unread,

New to open source

Hello Folks, I'm Rahul Joshi new to open source. I have never contributed to open source , I

8/18/20

aditya...@gmail.com, Michael Ernst2

8/13/20

Week 12 progress report

I don't have permission to comment on your document, so I will give some notes by email. >

unread,

Week 12 progress report

I don't have permission to comment on your document, so I will give some notes by email. >

8/13/20

8/6/20

Week 11 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 11 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

8/6/20

Jugal Mistry, Michael Ernst2

8/5/20

Cannot generate required jars with ./gradlew assemble

I'm sorry you are having trouble. We would like to help you, but we cannot do so from this

unread,

Cannot generate required jars with ./gradlew assemble

I'm sorry you are having trouble. We would like to help you, but we cannot do so from this

8/5/20

7/30/20

Week 10 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 10 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

7/30/20

shrman...@gmail.com

7/30/20

Hello everyone, First of all, i want to introduce myself - > My name is Naman Sharma. I am a B.

unread,

Hello everyone, First of all, i want to introduce myself - > My name is Naman Sharma. I am a B.

7/30/20

7/27/20

Monthly report for phase 2

Hi everyone! I have added my monthly report for the phase 2 evaluation in my Google doc (link given

unread,

Monthly report for phase 2

Hi everyone! I have added my monthly report for the phase 2 evaluation in my Google doc (link given

7/27/20

7/23/20

Week 9 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 9 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

7/23/20

Jugal Mistry, Michael Ernst7

7/18/20

Meeting Agendas, Timeline for Project

IST 930 PM On Sat, Jul 18, 2020 at 7:51 PM Jugal Mistry <jugalm...@gmail.com> wrote: Yes,

unread,

Meeting Agendas, Timeline for Project

IST 930 PM On Sat, Jul 18, 2020 at 7:51 PM Jugal Mistry <jugalm...@gmail.com> wrote: Yes,

7/18/20

7/17/20

Week 8 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 8 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

7/17/20

7/9/20

Week 7 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 7 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

7/9/20

Anchal Sharma, Michael Ernst2

7/8/20

Consent to Contribute!

Anyone can fork the repo and start contributing. You cannot participate in GSOC because it has

unread,

Consent to Contribute!

Anyone can fork the repo and start contributing. You cannot participate in GSOC because it has

7/8/20

7/3/20

Week 6 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 6 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

7/3/20

6/29/20

Monthly report for phase 1

Hi everyone! I have added my monthly report for the phase 1 evaluation in my Google doc (link given

unread,

Monthly report for phase 1

Hi everyone! I have added my monthly report for the phase 1 evaluation in my Google doc (link given

6/29/20

6/26/20

Week 5 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 5 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

6/26/20

6/19/20

Week 4 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

unread,

Week 4 progress report

Hi everyone! I have added my weekly report and meeting summary for this week in my Google doc (link

6/19/20

6/14/20

Progress report

Progress for the first two weeks - Report - Priti

unread,

Progress report

Progress for the first two weeks - Report - Priti

6/14/20

6/11/20

Week 3 progress report

Hi everyone! I have added my weekly report and meeting summary for this week (along with the previous

unread,

Week 3 progress report

Hi everyone! I have added my weekly report and meeting summary for this week (along with the previous

6/11/20

Aditya Singh, … Michael Ernst9

6/9/20

Azure Pipelines build time too long

Aditya- No problem; I'm glad everything is well now (with your CI setup and with the instructions

unread,

Azure Pipelines build time too long

Aditya- No problem; I'm glad everything is well now (with your CI setup and with the instructions

6/9/20

Search

Clear search

Close search

Google apps

Main menu