GitLab

Doc

• fix a link (to the sasaVM.ova) (84ef167)

Doc

• add a link to the SSS'20 sasa tutorial (029f479)

rdbg

• fix a bug that was preventing the use of luciole with rdbg (f087b98)

Doc

• add the sasaVM password (3fbea2d)

simca

• fix the script that were broken since 2bf88c0d (60dd15a)

test

• Add some comments in ml file (873ce7c)

rdbg

• amend (28718a3)

rdbg

• amend (3a53f5c)

rdbg

• fix the round nb (which is wrong since I've added new events in sasa) (8451655)

rdbg

• redefine the behaviour of step and back-step to a more useful behavior for sasa (957f29b)

Doc

• add a screencasts section (b38eefd)

rdbgui4sasa

• don't run anything if not arg is provided, an print a welcome msg (85e3391)

Doc

• explicit the 'make topology.cmxs' magic. (31e571e)
• minors enhancements (e2328c6)

gg

• allow -dir for rings only (in other cases, it's not clear what gg does) (e60a117)
• fix a bug when computing if the generated graph is a tree (7e901f5)
• fix the computation of degrees for rings (165928b)

merlin

• some trials to get a merlin env that works for everyone (f100d48)

rdbg

• should now work in any directory (and not only from sasa/test/*). Ditto for rdbgui4sasa. (e7b8f53)

rdbgui4sasa

• tooltips enhancements (34d4a5d)

Doc

• fix typo (8981bfa)

rdbg

• add the legitimate value in the rdbg event (4ace8a2)

simca

• fix a typo and make sure gitlab CI catch the in the future! (c1e34ff)

test

• add alea-coloring-alt and alea-coloring-unif in the list of non-reg test (ae20130)
• add makefile rules to launch rdbgui4sasa (5310efc)
• add yet another example in the test directory (25e2661)

Doc

• install preocess enhancement (4247e31)

Doc

• more enhancements (4055fa4)

Doc

• enhancements (a4b9ac9)

Test

• include test/sasa-rdbg-cmds.ml in test/*/my-rdbg-tuning.ml files (b79db8e)

Doc

• add a td;dr subsection to the install one (df1fd00)

Doc

• enhancements in the install section (beb4576)
• some enhancements in the install section (a6897fa)

rdbgui4sasa

• add gnuplot as an external dep, and remove deps already in sasa (99e6290)

CI

• plug back the nonreg_test_campaign.ml by default to get a reasonable time for non reg test (52c7021)

Examples

• mathe the k-clustering algo semi-anonymous (2ce3b28)

Fix

• the potential for internal daemons was shifted of one step (ahead) in rdbg (40a1822)

gg

• add 3 options to gg tree (--in-tree, --out-tree, -- in-out-tree) (6b329fa)

Potential

• put it in the rif in batch mode too (ie, not only in rdbg mode) (b012fe8)

test

• add a directed tree Makefile generation rule. (78c1778)
• add the k-clustering example of Hugo (08bb688)
• plug the greedy daemon, that shows that the potential function is wrong! (6a5d01f)
• refactor the code of k-clustering (448d266)

Chore

• measure time correctly in verbose mode (b697d9e)

Doc

• some enhancements in the Algo API doc (d4752be)
• update the CLI options lists (cdf64a9)

test

• do not use -rif to generate RIF files (indeed, -rif actually stands for "act as RIF program") (427fa79)

update

• refactor the toy example (632dfc3)

Update

• add a --worst-central-daemon option (that uses the potential function) (4d32240)
• add an rdbg event at sasa exit (necessary to program daemons from rdbg) (2adfc4c)
• add the silent variable in RdbgEvent.data field (0e0d101)
• for -wd and -wcd daemons, choose at random among the worst cases in case of equalities. (99a3678)
• generate correct RIF when -rif is used (fd59284)
• rename --worst-*daemon into --greedy-*daemon (af08b66)
• write closing message on stdout (it's not an error message!) (2bf88c0)

Doc

• fix pb due to orm footnote that are not handled properly (37787b5)

Chore

• add comments in generated files (4d3a6aa)
• generate doc for the master branch only (1a8985b)
• minor enhancements (41e2083)

Doc

• mention the Evil module in the contributors guide (ba92658)
• typos (5ba257a)

Fix

• a bug in gg-deco (8d76525)
• a bug in the legitimate function handling (the same I had for potential function actually) (e0a0f16)
• change the potential function inferface. (978b7f3)
• Do not use fault injection with oracles in unison (8eca03d)
• the gg and gg-deco were buggy wrt directed graphs (de2b503)
• the list of neighbors provided to the potential function was wrong. (b69ab05)
• the potential computed in SasaRun was still wrong (neigbours were not updated wrt next field) (75dfd3a)
• the potential computed in SasaRun was wrong (and not done at the first step with -custd) (197d46e)
• the step number during fault injection was wrong + wrong nodes were enabled (6795360)
• the worst evil demon was wrong for no strictly decreasing potential function (b437c18)
• track the Step module, defined in the previous commit (result of the Main split) (20ea083)

New

• add a fault functions to the Algo (to inject fault when a legitimate configuratiuon is reached). (cd8e0e3)
• add a ligitimate function in the Algo api (3b41ed0)
• add support for daemons that use potential fonction to find worst case scenario. (81eff10)

Test

• define a legitimate function for DTR (Dijkstra Token Ring) (7a4de7c)

Update

• add the potential value of the current state as an output of sasa programs in the rdbg plugin (09c930a)
• Call the fault function if provided when a legitimate configuration is reached (7770ced)
• change the naming convention for automatically generated registration code (3cf028e)
• change the type of the potential function to something that makes more sense. (6ee62e7)
• merge the master branch changes (d6b73fc)
• Remove the dependancy on Register in Topology. (da060db)
• take into account user defined legitimate functions in simca (d13adc7)
• Use the user-defined legitimate function if provided (4d08c6e)