LIP6, Sorbonne Université

All

24 repositories

coriolis
Public
Coriolis VLSI EDA Tool (LIP6)
eda vlsi-physical-design
C++
•
GNU General Public License v2.0
•5•51•25•1•Updated Oct 4, 2024Oct 4, 2024
painless
Public
C++
•
Other
•2•4•0•1•Updated Oct 3, 2024Oct 3, 2024
alliance-check-toolkit
Public
Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
vlsi-design
Python
•2•7•1•1•Updated Sep 30, 2024Sep 30, 2024
Coloane
Public
Maintained components of Coloane editor.
Java
•0•2•1•1•Updated Sep 30, 2024Sep 30, 2024
alliance
Public
Alliance VLSI CAD Tools (LIP6)
eda vlsi-physical-design
C
•0•7•0•0•Updated Sep 27, 2024Sep 27, 2024
libITS
Public
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
cplusplus gplv3 symbolic model-checking decision-diagrams
C++
•
GNU General Public License v3.0
•5•8•0•2•Updated Aug 26, 2024Aug 26, 2024
libDDD
Public
Library for Data Decision Diagrams and Set Decision Diagrams
verification symbolic lgpl decision-diagrams cplusplus-11
C++
•
Other
•4•12•0•0•Updated Aug 26, 2024Aug 26, 2024
ITSTools
Public
A multi-formalism, multi-solution model-checker centered on the language GAL
eclipse ltl safety model-checking petri-net model-driven-development ctl
Python
•
GNU General Public License v3.0
•10•21•6•3•Updated Jul 8, 2024Jul 8, 2024
Louvain-BinaryBuild
Public
A project to host binary artifacts for Louvain Community Detection Algorithm
C++
•
GNU General Public License v3.0
•1•2•0•1•Updated Jul 8, 2024Jul 8, 2024
pnmlframework
Public
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
Java
•
Eclipse Public License 1.0
•8•12•3•2•Updated May 20, 2024May 20, 2024
core-v-180-mcu
Public
CORE-V Implementation on GF 180 MCU node
Python
•0•0•0•0•Updated Jan 18, 2024Jan 18, 2024
pnml2nupn
Public
PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd structural analyser tool of the CADP tool suite.
Java
•
Eclipse Public License 1.0
•2•2•0•1•Updated Dec 5, 2023Dec 5, 2023
tas-yagle
Public
Static Timing Analyser (LIP6)
eda timing-analysis
C
•
GNU General Public License v2.0
•0•1•0•0•Updated Jul 20, 2023Jul 20, 2023
ITSTools-web
Public
Web page and online docs for ITS Tools
HTML
•2•0•0•1•Updated Apr 12, 2023Apr 12, 2023
ITS-LTL
Public archive
ITS tools and SPOT combine to provide symbolic model-checking of LTL
C++
•0•2•0•0•Updated Sep 13, 2022Sep 13, 2022
ITS-CTL
Public archive
CTL symbolic model-checker based on libDDD and libITS
c cplusplus gplv3 symbolic model-checking computation-tree-logic
C
•
GNU General Public License v3.0
•3•7•0•0•Updated Sep 13, 2022Sep 13, 2022
ITS-commandline
Public archive
A project to host command-line version of ITS-Tools components embedded in eclipse
Java
•6•1•0•1•Updated May 11, 2022May 11, 2022
Evinrude
Public
This is a prototype of the Evinrude tool developed by Jean-Baptiste Voron and Clément Démoulins while Jean-Baptiste was doing his Ph.D. under my supervision.
Java
•1•0•0•0•Updated Nov 21, 2021Nov 21, 2021
GreatSPN-BinaryBuild
Public
A project to host binary builds of GreatSPN related toolset, as used in ITS-tools
Shell
•
GNU General Public License v3.0
•0•0•0•0•Updated Jun 12, 2021Jun 12, 2021
cosy
Public
sat-solver symmetry sat sbp satisfiability symmetry-breaking symmetry-reduction cosy esbp
C++
•
Other
•0•5•0•0•Updated Mar 23, 2021Mar 23, 2021
ESBP_SEL
Public
C++
•
Other
•0•0•0•0•Updated Dec 19, 2019Dec 19, 2019
minisat-SymSp
Public
C++
•
Other
•0•0•0•0•Updated Dec 11, 2018Dec 11, 2018
TSAR-DHCCP
Public
Verification of the Distributed Hybrid Cache Coherence protocol of the TeraScale Architecture
C
•
Other
•1•1•0•0•Updated Apr 9, 2018Apr 9, 2018
camipnml
Public
Cami to PNML is a model transformation tool that converts CPN-AMI's CAMI format into PNML (Petri Nets Markup Language) and vice versa.
Java
•
Eclipse Public License 1.0
•0•0•0•1•Updated Feb 23, 2018Feb 23, 2018