nicolasamat Goto Github PK

artifact-octant

Artifact for Paper "Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability"

benchmark-submission

Git repository for the submission of SMT-LIB benchmarks

concrete-semantics

Learning Isabelle with Concrete Semantics book.

dotfiles

My Archlinux - i3wm - zsh - neovim setup

drawio

e-abstraction

Formalization of the E-Abstraction Equivalence using Isabelle/HOL

fv-nfllib

Library implementing the Fan-Vercauteren homomorphic encryption scheme

kong

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

matrix2pnml

mcc

High-Level Nets Blaster for the Model-Checking Contest

mcc-reachability

Oracles from the MCC 2022 for the Reachability category

mcf

nfllib

NTT-based Fast Lattice library

nicolasamat

Config files for my GitHub profile.

nicolasamat.github.io

octant

Quantifier eliminator for using Petri net reductions for model checking reachability properties.

pnets

A set of tools written in rust to manipulate petri nets.

pnmcc-models-2020

Models, Formulas, Oracles from Model Checking Competition 2020

reachpt_cp_benchmark_suite

Collection of reachability formulas on Petri nets written in the MiniZinc language.

reductron

Reductron - The Polyhedral Abstraction Prover

separation-logic-formalization

Formalisation of the Separation Logic on Isabelle

smpt

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

sudoku_solver

A Sudoku solver with a custom DPLL decision procedure.

the-omega-project

Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email [email protected]).

tipx

usmpt

µSMPT: An environnement to experiment with SMT-based model checking for Petri nets

xpir

XPIR: Private Information Retrieval for Everyone