Mentions légales du service

Skip to content
Snippets Groups Projects
Select Git revision
  • 1.1.x
  • antlr4_dev
  • code_review
  • dev
  • gtk3_port
  • master default protected
  • pypi_packaging protected
  • cmd_1.1.0_gui_0.3_lib_0.3
  • cmd_1.0.1_lib_0.2.1
  • cmd_1.0.0_gui_0.2.5_lib_0.2.0
  • lib_0.1.9
  • cmd_0.1.6_lib_0.1.8
  • cmd_0.1.5_lib_0.1.7
  • cmd_0.1.4
  • cmd_0.1.3
  • lib_0.1.6
  • gui_0.2.4
  • lib_0.1.5
  • lib_0.1.4
  • cmd_0.1.2
  • lib_0.1.3
  • gui_0.2.3
  • gui_0.2.2
  • lib_0.1.2
  • gui_0.2
25 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.06Feb543230Jan29282726252422212019181716151413121110924Dec23222120191312116543225Nov232221201918171211109712Sep30Aug29286Mar522Jan1726Dec18141312111028Nov31Oct3028272625242322212025Sep17Apr9823MarFix license issues: contrib; date; address; team[lib] Remove info module[lib] Fix duplication of transition during export of a model with macro node; The only thing kept from the old code...[lib] Tests: black[lib] Tests: Export/Import of models with MacroNode; Check order of xml attributes[lib] Tests: CLU: black[lib] Tests: CLU: fix typos[lib] Tests: CLU: Cover the new functionality that prune initial constraints according to start/invariant places[lib] Refactor for helper func => classmethod of Clause[lib] MCLTranslator: black[lib] Tests: MCLTranslator: Fix typos[lib] Tests: MCLTranslator: Fix obvious copy/paste[lib] Tests: MCLTranslator: Tests are now real tests that do something...[lib] Test: separation of sol2 text/dimacs => easier to debug[lib] Test: separation of sol1 text/dimacs => easier to debug[lib] Tests: Fix typos; add doc[lib] Tests: annotate dynamic_constraints[lib] CLU: Fix typos[lib] CLU: check_query: Some fix and doc[doc] Mask python code for barplotAdd example of desktop file[doc] Document desktop file shortcut creation[gui] Ability to install a desktop file shortcut[lib] Require a recent version of pip[lib] Compilation directive to prune useless linked libsFix uninstall directiveFix broken track ip[gui] Fix size of biosignal editor[gui] Add favicon on windows...[gui] Add escape shortcut to Char simulator; controler; solutions window; notes[gui] Fix typos; add doc[doc] Update perf overview image[doc] tutorial: Fix typos[doc] Fix bad license...Mask pytest_cache folder[cmd] Rename module solution_repr to models: more consistent with the content[lib] MCLA: black[lib] MCLA/CLU: Save some cycles when there is no more solution for a given step; Auto-adjust max_step until max_user_step is reached[lib] MCLSolutions: black[doc] Add query & model for perf example