officialcjunior

How to install frama-c on *nix

I had wasted almost half of a day trying to properly install frama-c on my Linux. I was surprised to see no much documentation or troubleshooting online, so that's the whole point of me putting this note as a public gist.

Ubuntu

If you read the official documentation, you'll come across the names of these two packages:

frama-c and frama-c-base

If you are on Ubuntu 18.04 LTS, you can directly install it using apt install frama-c, and it will work. You can not do this on a 20.04 LTS Focal Fossa, because apparently, it's not included in the official packages.

ShivangiSingh17

Mifos-Mobile 5.0 Android Application for MifosX

Overview | Goals achieved |

yashk2000

Computer Vision Based PPI Tool 2.0

Project Abstract | Milestones |

iamsh4shank

GSoC2020 work summary

Name: Shashank Priyadarshi

GitHub | LinkedIn | Email

Organisation: The Mifos Initiative

daankauwenberg

import React from 'react';
import { CookieConsentProvider } from './CookieConsent'
import Page from './Page'

function App() {
  return (
    <CookieConsentProvider>
      <div className="App">
        <Page />
      </div>

CristinaSolana

1. Clone your fork:

git clone git@github.com:YOUR-USERNAME/YOUR-FORKED-REPO.git

2. Add remote from original repository in your forked repository:

cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream