Commits · e948bc3a24f5421b75b46d567a69a7844ef30f7e · VIGNET Pierre / cadbiom · GitLab

22 Feb, 2020 5 commits
- [lib][antlr] Update lexer/compiler Python bindings according to new antlr4 definitions; #2 · e948bc3a
  VIGNET Pierre authored Feb 22, 2020
  
  e948bc3a
- [lib][antlr] Update grammar definitions for antlr4; #2 · e6102caa
  VIGNET Pierre authored Feb 22, 2020
  
  e6102caa
- [lib][antlr] Agnostic update: Fix typos; Try to quickly improve Python bindings · a8898ef7
  VIGNET Pierre authored Feb 22, 2020
  
  a8898ef7
- [lib][antlr] Update imports to antlr4; #2 · 66343619
  VIGNET Pierre authored Feb 22, 2020
  
  66343619
- [antlr4] Update Makefile directives to regenerate files; #2 · 7f21b14c
  VIGNET Pierre authored Feb 21, 2020
  
  7f21b14c
20 Feb, 2020 3 commits
- [lib] Fix string formatting for antlr... · 4c671954
  VIGNET Pierre authored Feb 20, 2020
  
  4c671954
- [lib] Improve error handling in antlr: rewrite shit code · f42da54e
  VIGNET Pierre authored Feb 20, 2020
  
  f42da54e
- [lib] Improve error handling during the parsing of conditions/events · 1a277f96
  VIGNET Pierre authored Feb 20, 2020
  
  1a277f96
14 Feb, 2020 1 commit
- [doc] Examples: Add description of the workflow · 492edf96
  VIGNET Pierre authored Feb 14, 2020
  
  492edf96
13 Feb, 2020 2 commits
- [doc] cryptominisat citation · 186b728d
  VIGNET Pierre authored Feb 13, 2020
  
  186b728d
- [doc] Fix typos · 95e4280c
  VIGNET Pierre authored Feb 13, 2020
  
  95e4280c
09 Feb, 2020 1 commit
- [cmd] Fix small typo in doc · ffcfe214
  VIGNET Pierre authored Feb 09, 2020
  
  ffcfe214
08 Feb, 2020 12 commits
- [lib] Add bdist wheel directive · 0be636fc
  VIGNET Pierre authored Feb 08, 2020
  
  0be636fc
- [lib] Add sphinx requirement · 8c286050
  VIGNET Pierre authored Feb 08, 2020
  
  8c286050
- [doc] Fix typos/add titles · aa819c5a
  VIGNET Pierre authored Feb 08, 2020
  
  aa819c5a
- [doc] Fix main sphinx warnings... · 90aa4741
  VIGNET Pierre authored Feb 08, 2020
  
  90aa4741
- [lib] Fix typos · a77fad40
  VIGNET Pierre authored Feb 08, 2020
  
  a77fad40
- [lib] CLU: black · ad09a94a
  VIGNET Pierre authored Feb 08, 2020
  
  ad09a94a
- [lib] CLU: Fix typos · 66bb264a
  VIGNET Pierre authored Feb 08, 2020
  
  66bb264a
- [lib] CLU: Fix bug n°2: incorrect shifting of variant constraints due to wrong iteration · 9ddd9ce9
  VIGNET Pierre authored Feb 08, 2020
  
  9ddd9ce9
- [lib] CLU: Fix bug: incorrect shifting of variant constraints due to reference error... · 08520ef5
  VIGNET Pierre authored Feb 08, 2020
  
  08520ef5
- [lib] MCLQuery: Add variant_prop arg in the constructor · 2343f2e0
  VIGNET Pierre authored Feb 08, 2020
  
  2343f2e0
- [lib] CLU: add extra test on invariant constraints shifting · e383298a
  VIGNET Pierre authored Feb 08, 2020
  
  e383298a
- [lib] CLU: Test variant constraints from text/DIMACS properties · dd39e021
  VIGNET Pierre authored Feb 08, 2020
  
  dd39e021
07 Feb, 2020 5 commits
- [lib] MCLQuery: add doc ex · fad1c384
  VIGNET Pierre authored Feb 07, 2020
  
  fad1c384
- [lib] Simulator: Fix error when a file with multiple solutions is loaded · 562804a1
  VIGNET Pierre authored Feb 07, 2020
  
  562804a1
- [gui] Add 1 tooltip on 'load file' button of simulator · 697d7d49
  VIGNET Pierre authored Feb 07, 2020
  
  697d7d49
- [gui][lib] Simulator: Fix typos; add few doc · 66dd2c05
  VIGNET Pierre authored Feb 07, 2020
  
  66dd2c05
- [lib] MCLQuery: fix typos · a1370fed
  VIGNET Pierre authored Feb 07, 2020
  
  a1370fed
06 Feb, 2020 11 commits
- [lib] CLU: Try to fix __shift_variant; Still not tested... · 7cf64feb
  VIGNET Pierre authored Feb 06, 2020
  
  7cf64feb
- [lib] CLU: Add warning + TODO on __shift_variant() that seems to be erroneous · 0d7ab86f
  VIGNET Pierre authored Feb 06, 2020
  
  0d7ab86f
- [lib] CLU: add warnings about not using check_query flag · 19124866
  VIGNET Pierre authored Feb 06, 2020
  
  19124866
- Increment packages and libraries versions · d8f10936
  VIGNET Pierre authored Feb 06, 2020
  
  d8f10936
- [lib] CLU: fix typos · df85c526
  VIGNET Pierre authored Feb 06, 2020
  
  df85c526
- [lib] CLU: add doc; fix typos · 3111de04
  VIGNET Pierre authored Feb 06, 2020
  
  3111de04
- [lib] CLU: add todo · 4bf9466f
  VIGNET Pierre authored Feb 06, 2020
  
  4bf9466f
- [lib] CLU: Fix typos · 83c5ff66
  VIGNET Pierre authored Feb 06, 2020
  
  83c5ff66
- [lib] Fix collisions between literals in start/inv properties and no frontiers initialization · 35bdef62
  VIGNET Pierre authored Feb 06, 2020
  
  35bdef62
- [lib] MCLA fix typo · 83486da0
  VIGNET Pierre authored Feb 06, 2020
  
  83486da0
- [lib] CLUnfolder: Fix typos · c7a6cb1b
  VIGNET Pierre authored Feb 06, 2020
  
  c7a6cb1b