checker-framework-gsoc

Contact owners and managers

1–30 of 509

Welcome!

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

0 selected

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

Aditya Singh, Werner Dietl2

6/7/20

Weekly meeting summary | 4th June 2020

Hi Aditya, thanks for the update! Let me clarify Levels 2 and 3 a bit: - Level 2 was to provide a

unread,

Weekly meeting summary | 4th June 2020

Hi Aditya, thanks for the update! Let me clarify Levels 2 and 3 a bit: - Level 2 was to provide a

6/7/20

Aditya Singh, Werner Dietl2

6/5/20

Week 2 progress report

Hi Aditya, thanks for the summary. Could you also include a summary of the discussions we had in our

unread,

Week 2 progress report

Hi Aditya, thanks for the summary. Could you also include a summary of the discussions we had in our

6/5/20

5/30/20

Approaches to modifying FlowExpressions.Receiver

I am very sorry for this new mail clutter, I forgot to mention details of approach 3 Approach 3:

unread,

Approaches to modifying FlowExpressions.Receiver

I am very sorry for this new mail clutter, I forgot to mention details of approach 3 Approach 3:

5/30/20

5/28/20

Week 1 progress report

Hi everyone! This is my week report from 21st May 2020 to 28th May 2020. This week, I worked on a

unread,

Week 1 progress report

Hi everyone! This is my week report from 21st May 2020 to 28th May 2020. This week, I worked on a

5/28/20

PRITI CHATTOPADHYAY, Billy Larouche-juteau2

5/24/20

Error importing checkers into project files

Le samedi 23 mai 2020 09:54:17 UTC-4, Priti a écrit : > Hello, > > > I adjusted the maven

unread,

Error importing checkers into project files

Le samedi 23 mai 2020 09:54:17 UTC-4, Priti a écrit : > Hello, > > > I adjusted the maven

5/24/20

Search

Clear search

Close search

Google apps

Main menu