DeeprajPandey / SafeGC-Template

A garbage collector for teaching

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Welcome to SafeGC repository!

The aim of SafeGC to build a stop of world conservative GC for C/C++ applications.

Run make in the assignment folder to build the SafeGC library and a sample application.

Please send an email to me (piyus at iiitd dot ac dot in) if you want to report an implementation bug.


PLDI Specific Instructions

This is a template repository based on SafeGC designed by Dr. Piyus Kedia. This section is added for CS-1319: Programming Language Design and Implementation at Ashoka University where the assignment is set up on GitHub Classroom. Reach out to course staff on the staff mailing list for clarifications.

Setup

Clone this repository

$ git clone https://github.com/CS1319-Monsoon2020/safegc-<USERNAME>.git

Create a new branch and checkout into it

$ git checkout -b submission1

Snapshots

Work on your solution on this branch. You can check which files were modified with status.

$ git status

Every once in a while, commit your work.

Committing is a two-step process.

  • Add specific files to the staging area. You can specify multiple files too.
    $ git add memory.c

    You can also add all the files which were modified (be careful)

    $ git add .
  • Commit your changes

    The -m flag adds a message for your commit that is included in double quotes following the flag.

    $ git commit -m “Add function definition”
Push all your commits to the remote repo.

Use this command the very first time you push. --set-upstream and its options will add a new branch in the remote copy

$ git push --set-upstream origin submission1

For every subsequent push, use this

$ git push

Gearing for Submission

When you are done with the solution and you have pushed all your commits to the `submission1` branch, merge the submission branch to master.
  • First ensure that you are on the master branch and that there are no differences between the remote copy and your local copy
    $ git checkout master
    
    $ git pull
  • Now, merge your submission branch to master
    $ git merge submission1

Push the new changes in master to the remote repo

$ git push

About

A garbage collector for teaching


Languages

Language:C 92.2%Language:Assembly 6.0%Language:Makefile 1.9%