Skip to content
GitLab
Explore
Sign in
verimag
synchrone
sasa
Repository
Branches
Overview
Active
Stale
All
12-add-a-get_graph_attributes-function-to-the-sasa-api
741b1fbf
·
New: Add a get_graph_attributes function to the sasa API (closes
#12
)
·
Jul 03, 2019
!7
addVariables
abd1724e
·
Add udg parser for udg graph. Add weight
·
Jun 26, 2019
3-compute-the-graph-degree-diameter-etc-2
7ecdeca2
·
New: Generate oracle skeletons from the dot (
#10
)
·
Jun 25, 2019
9-take-into-account-the-initialisation-of-local-variables-done-the-dot-again
41200721
·
Update: Call the user-provided state parser.
·
Jun 21, 2019
7-process-should-have-acess-to-their-identity
c092421f
·
New: add in neighbor the pid of the process the neighbor is the a neighbor of
·
Jun 21, 2019
!2
8-add-weights-to-graphs
e76aa9be
·
New: Add support for transition weights
·
Jun 21, 2019
!1
polymorphic_value
21e43d9e
·
Test: add dfs-list in the list of tests
·
Jun 21, 2019
gwennan
ccbdbe4f
·
Small changes
·
Jun 14, 2019
rebiscon
53d3c595
·
Add algo dijkstra-ring-NR which is working. And start dfs-NR.
·
Jun 06, 2019
Prev
1
2
Next