GitLab

Menu

Projects Groups Snippets

Loading...
Help
Sign in

verimag
Group information
- Group information
- Activity
- Labels
- Members
Issues 16
- Issues 16
- List
- Board
- Milestones
Merge requests 2
- Merge requests 2
Packages & Registries
- Packages & Registries
- Package Registry

Collapse sidebar

verimag
Issues

Open 16
Closed 21
All 37

Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title

Add a get_graph_attributes function to the sasa API

verimag/synchrone/sasa#12 · created Jul 02, 2019 by erwan
- CLOSED
- 1
- 1
updated Jul 03, 2019
Add Lustre oracles to all examples of the test directory

verimag/synchrone/sasa#11 · created Jul 01, 2019 by erwan
- CLOSED
- 1
- 1
updated Jul 08, 2019
Add n-ary `xor` (and `boolred`) to lutin

verimag/synchrone/lutin#3 · created Jul 03, 2019 by erwan
- CLOSED
- 2
updated Jul 26, 2019
Add options to prevent algo to access to forbidden information

verimag/synchrone/sasa#6 · created May 19, 2019 by erwan
- 1
- 1
updated Jul 27, 2021
Add weights to graphs

verimag/synchrone/sasa#8 · created Jun 21, 2019 by erwan
- CLOSED
- 1
- 0
updated Jul 12, 2019
Allow the simulation to have inputs

verimag/synchrone/sasa#5 · created May 17, 2019 by erwan
- 3
updated Jul 03, 2019
Bad package name is given to instanciated parametric nodes

verimag/synchrone/lustre-v6#4 · created Apr 25, 2018 by erwan
- 0
updated Apr 25, 2018
Can not iterate over the plus node (as long as it is named plus)

verimag/synchrone/lustre-v6#6 · created Jul 02, 2018 by erwan
- CLOSED
- 1
- 0
updated Jul 10, 2018
Change the graph created by "gg BA" on the m0 first nodes.

verimag/synchrone/sasa#14 · created Jul 12, 2019 by Gwennan Eliezer To Do
- 0
updated Jul 12, 2019
Cleaning code

verimag/tempo/multidimensional_search#1 · created Aug 20, 2020 by EXT José Ignacio Requeno Jarabo
- 1
updated Oct 30, 2020
Coloring algo has a bad potential

verimag/synchrone/sasa#20 · created Jul 27, 2021 by Gwennan Eliezer
- CLOSED
- 1
updated Jul 27, 2021
Compare and Contrast Essay - An Ultimate Writing Guide - 2021 Guide

verimag/synchrone/sasa#24 · created Sep 06, 2021 by Ghost User
- CLOSED
- 0
updated Sep 08, 2021
Compute the graph degree, diameter, etc.

verimag/synchrone/sasa#3 · created May 17, 2019 by erwan
- CLOSED
- 2
- 1
- 2
updated Jul 15, 2019
Drive rdbg tests in a more portable way

verimag/synchrone/sasa#16 · created Feb 09, 2021 by Gabriel B. Sant'Anna Doing
- CLOSED
- 1
- 1
updated Mar 03, 2021
enum constants don't work in -exec mode

verimag/synchrone/lustre-v6#7 · created May 22, 2019 by erwan
- CLOSED
- 1
updated May 22, 2019
Fonction `rev_cond_gen` manquante

verimag/synchrone/sasa#18 · created Jun 23, 2021 by Gwennan Eliezer
- CLOSED
- 4
updated Jul 27, 2021
Generate a Lutin node implementing a central demon

verimag/synchrone/sasa#1 · created May 17, 2019 by erwan To Do todo
- 0
updated Jun 20, 2019
Generate oracle skeletons from the dot

verimag/synchrone/sasa#10 · created Jun 25, 2019 by erwan
- CLOSED
- 1
updated Jun 25, 2019
Generate random graphs

verimag/synchrone/sasa#4 · created May 17, 2019 by erwan
- CLOSED
- 1
- 1
- 1
updated Jul 15, 2019
Issue an error instead of generating incorrect ec code for extern nodes

verimag/synchrone/lustre-v6#3 · created Apr 25, 2018 by erwan
- 0
updated Apr 25, 2018

Prev
1
2
Next