gricad-gitlab.univ-grenoble-alpes.fr / verimag 14 Dépôts
Verimag projects
verimag/tempo/StlEval
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/tempo/multidimensional_search
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/synchrone/lustre-v6
Lustre V6 compiler
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
verimag/synchrone/sasa
Self-stabilizing Algorithms SimulAtor
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 1 - forks: 0
verimag/reproducible-research/run-bench
The objective of run-bench is to measure the execution time of a set of tools (e.g., compilers) and tool options on several data files (e.g., programs).
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
verimag/bip/compiler
BIP compiler and execution engines.
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
verimag/synchrone/lutils
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
verimag/bip/artifacts/drbip-feb2020
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/synchrone/rdbg
RDBG stands for Reactive programs DeBuGger. Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
verimag/reproducible-research/lra4w7
Reproduce the experimental results of an article under submission (at the LITES journal) named : ''Improving WCET Evaluation using Counters and Linear Relation Analysis''
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/Members
This project is meant to make the _veri-gitlabrun_ runner available to Verimag members. To be able to use it, you just need to (1) subscribe to this project; (2) asks to one of the project owner to assign you the _master_ status
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/if/if-toolset
The open source release of the IF Toolset
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
verimag/synchrone/mia
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/reproducible-research/sasartifact
Reproduce experiments done in sasa related articles
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/reproducible-research/simple-dflow-rtss-2020
Repository containing code pointed out in the RTSS 2020 submitted paper
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
verimag/tempo/boolean
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/reproducible-research/osim-lutin
Reproduce the experimental results of an article currently under submission "Assessing Software Abstractions inWCET Analysis of Reactive Programs" cf http://www-verimag.imag.fr/TR/TR-2018-2.pdf
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
verimag/old-reproducible-research
The experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0