ThalesGroup/frama-c-lsp

This repository contains both the server and client software that implement the Language Server Protocol (LSP) for C/ACSL language. The server part is a novel Frama-C plugin called "lsp". The client part is a VsCode extension.

Language: OCaml - Size: 426 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

interpretica-io/acsl-grammar

ACSL grammar built up from official specification, with C grammar behind

Language: ANTLR - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

gpetiot/Frama-C-StaDy 📦

Static & Dynamic Verification of C programs

Language: OCaml - Size: 2.3 MB - Last synced at: 23 days ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 3

pqnelson/ml

A Study in Implementing Functional Programming Languages

Language: C - Size: 104 KB - Last synced at: 9 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

evdenis/spec-utils

A number of utilities for writing ACSL specifications for a Linux module.

Language: Perl - Size: 1.19 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 3

evdenis/small-examples 📦

Small examples of ACSL specifications.

Language: C - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

evdenis/git-workflow

Программы для работы с репозитарием AstraVer

Language: Perl - Size: 58.6 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

evdenis/acsl-examples

Tiny programs with ACSL specifications.

Language: C - Size: 185 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 0

evdenis/acsl-proved

Fully proved small C functions (examples for verification course).

Language: C - Size: 598 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 14 - Forks: 0

fraunhoferfokus/acsl-by-example

Public snapshots of "ACSL by Example"

Language: TeX - Size: 20.8 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 94 - Forks: 19

jcarrano/fv-libc

Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)

Language: C - Size: 85 KB - Last synced at: 14 days ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 0

evdenis/verker 📦

Linux kernel library functions formally verified.

Language: C - Size: 5.37 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 47 - Forks: 7

arepina/strcspn

Language: C - Size: 202 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

kylediaz/acsl-what-does-this-program-do-interpreter

An interpreter for the programming language featured in ACSL's "What Does this Program Do" questions

Language: JavaScript - Size: 55.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

gpetiot/Frama-C-Mutation 📦

Generation of mutant programs

Language: OCaml - Size: 78.1 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 0

gpetiot/Frama-C-Inline 📦

Inlining of ACSL predicates and logic functions

Language: OCaml - Size: 9.77 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

Awesomeplayer165/ACSL-AGRAM-with-Python 📦

The first practice challenge for the ACSL Competition 2021-2022

Language: Python - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Awesomeplayer165/ACSL-Time-Sheets-with-Swift 📦

A Swift program designed to calculate the daily pay for each employee. The Second Challenge in preparing for the ACSL Contest

Language: Swift - Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Awesomeplayer165/ACSL-AGRAM-with-Swift 📦

The first practice challenge for the ACSL Competition 2021-2022 written in Swift

Language: Swift - Size: 194 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

robin-gan/ACSL

Code for America Computer Science League 2018-2019

Language: HTML - Size: 3.01 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0

asubramanian08/AlphaStar-Ada

Alphastar Ada master course CC39-21 - Covers several different CP competitions

Language: C++ - Size: 592 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

YeongJunKim/acsl_drone

dji_sdk for M600pro

Language: C++ - Size: 87.9 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 2

415mcc/acsl

ACSL Assembly Interpreter

Language: Java - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

ryanrudes/acslbot

A Discord bot for reporting team results directly from the ACSL leaderboards as they appear

Language: Python - Size: 6.84 KB - Last synced at: about 6 hours ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1

arepina/acsl-examples

Language: C - Size: 44.9 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yikuansun/assemblyer

xACSL Assembly

Language: JavaScript - Size: 5.86 KB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Burtorustum/ACSL-2018

A repository for holding solutions to the ACSL 2017-2018 contest problems.

Language: Java - Size: 1.67 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 2

andreiSaw/verker-master

Language: C - Size: 180 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

GabrielMajeri/acsl-2017

C++ solutions for the ACSL contest 2016-2017 edition

Language: C++ - Size: 3.91 KB - Last synced at: 15 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

arepina/acsl

Code verification task

Language: C++ - Size: 219 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0