Commits · 7ec538fe3c968dd18eb40dd2afafc1b6834f8eed · VIGNET Pierre / cadbiom · GitLab

21 Dec, 2019 3 commits
- [lib] Tests: MCLTranslator: Please DO REAL TESTS, not just print results on stdout · 7ec538fe
  VIGNET Pierre authored Dec 21, 2019
  
  7ec538fe
- [lib] Tests: MCLAnalyser: Fix typo · e8a95573
  VIGNET Pierre authored Dec 21, 2019
  
  e8a95573
- [lib] Tests: CLUnfolder; see more... · afeda08f
  VIGNET Pierre authored Dec 21, 2019
```
- Add solution4 test (simple final property)
- Add full tests for variant properties (DIMACS + text)
```
  afeda08f
20 Dec, 2019 3 commits
- [lib] Fix typos · 2e666f08
  VIGNET Pierre authored Dec 20, 2019
  
  2e666f08
- [lib] Fix typos · 5ffe8d89
  VIGNET Pierre authored Dec 20, 2019
  
  5ffe8d89
- [lib] CLUnfolder: Fix explanations of get_var_name(), get_var_indexed_name() · 3c95538f
  VIGNET Pierre authored Dec 20, 2019
  
  3c95538f
19 Dec, 2019 14 commits
- [lib] Tests: partial refactor CLUnfolder · 1ec9eb87
  VIGNET Pierre authored Dec 20, 2019
  
  1ec9eb87
- [lib] CLDynSys: fix confusing attribute: DRY: remove list into their names · 0f193aa3
  VIGNET Pierre authored Dec 20, 2019
  
  0f193aa3
- [lib] MCLQuery: fix confusing attribute: dim_variant_prop -> dim_variant · 50fe2004
  VIGNET Pierre authored Dec 20, 2019
  
  50fe2004
- [lib] DimacsFrontierSol: Fix security cast for hash() (the concerned attr has changed) · 308cb6f6
  VIGNET Pierre authored Dec 20, 2019
  
  308cb6f6
- [lib] Fix typos; update doc · d8697793
  VIGNET Pierre authored Dec 20, 2019
  
  d8697793
- [lib] MCLAnalyser: Do not check query in the unfolder: safe zone · a94ecc07
  VIGNET Pierre authored Dec 19, 2019
  
  a94ecc07
- [lib] CLUnfolder Fix: ability to check the validity of the given query · e6a72df6
  VIGNET Pierre authored Dec 19, 2019
  
  e6a72df6
- [lib] Tests: CLUnfolder: add asserts; fix typos; add doc · 0e019808
  VIGNET Pierre authored Dec 19, 2019
  
  0e019808
- [lib] C api: do not use pybuildvalue anymore · 68d57a39
  VIGNET Pierre authored Dec 19, 2019
  
  68d57a39
- [lib] C api: remove useless variable · 5fe60d24
  VIGNET Pierre authored Dec 19, 2019
  
  5fe60d24
- [lib] Tests: Add assertions on tests that test nothing · cd3c2e9b
  VIGNET Pierre authored Dec 19, 2019
  
  cd3c2e9b
- [lib] CLUnfolder: homogenization of attributes free_clocks/inputs · 9c801556
  VIGNET Pierre authored Dec 19, 2019
  
  9c801556
- [lib] homogenization of attributes... · fa7a0fce
  VIGNET Pierre authored Dec 19, 2019
  
  fa7a0fce
- [lib] Tests: test_antlr_optimization; reactivation of a test deactivated for lack of file available · d261dd38
  VIGNET Pierre authored Dec 19, 2019
  
  d261dd38
13 Dec, 2019 9 commits
- [lib] Quick fix for borderline typos even in Python2 · 6564052a
  VIGNET Pierre authored Dec 13, 2019
  
  6564052a
- [lib] Delete useless file · c4fe5c6a
  VIGNET Pierre authored Dec 13, 2019
  
  c4fe5c6a
- [lib] Tests: fix typos · e06268ea
  VIGNET Pierre authored Dec 13, 2019
  
  e06268ea
- [lib] Tests: restore for PID/bcx files · ef3607ca
  VIGNET Pierre authored Dec 13, 2019
  
  ef3607ca
- [lib] Tests: fix typos · 40e4bb67
  VIGNET Pierre authored Dec 13, 2019
  
  40e4bb67
- [lib] Tests: test_dimacs_frontier_ban; reactivation of a test deactivated for... · f5ed25e7
  VIGNET Pierre authored Dec 13, 2019
```
[lib] Tests: test_dimacs_frontier_ban; reactivation of a test deactivated for lack of file available
```
  f5ed25e7
- [lib] Tests: test_solution_pruning; reactivation of a test deactivated for lack of file available · 738c4d3c
  VIGNET Pierre authored Dec 13, 2019
  
  738c4d3c
- [lib] Tests: Sync with new solver · e7b611f1
  VIGNET Pierre authored Dec 13, 2019
  
  e7b611f1
- [lib] Fix typos/doc · fd001e42
  VIGNET Pierre authored Dec 13, 2019
  
  fd001e42
12 Dec, 2019 7 commits
- [lib] Add few todos.. sorry · b2c20ecd
  VIGNET Pierre authored Dec 12, 2019
  
  b2c20ecd
- [lib] Cleaning stats management; Sync with new solver (nb_clauses) · 477ef5c0
  VIGNET Pierre authored Dec 12, 2019
  
  477ef5c0
- [lib] Rename __list_variant_constraints to __precomputed_variant_constraints; Update doc · c7b8fae5
  VIGNET Pierre authored Dec 12, 2019
```
max_step can't be >= to __precomputed_variant_constraints
```
  c7b8fae5
- [lib] Fix typos; fix doc · 12ed8f0b
  VIGNET Pierre authored Dec 12, 2019
  
  12ed8f0b
- [cmd][lib] switch get_shift_direction to a proper property · 21acce7d
  VIGNET Pierre authored Dec 12, 2019
  
  21acce7d
- [cmd][lib] switch get_shift_step to a proper property · 6a2489a1
  VIGNET Pierre authored Dec 12, 2019
  
  6a2489a1
- [cmd][lib] switch get_current_step to a proper property · 7a20bdb0
  VIGNET Pierre authored Dec 12, 2019
  
  7a20bdb0
11 Dec, 2019 1 commit
- [cmd][lib] Bump new versions · 1d2b9ec5
  VIGNET Pierre authored Dec 11, 2019
  
  1d2b9ec5
06 Dec, 2019 3 commits
- [cmd][lib] Ooops; Fix reload of solutions previously computed... · b7e64b49
  VIGNET Pierre authored Dec 06, 2019
  
  b7e64b49
- [cmd] Fix bug when a file is passed as a path: do not try to create it like a folder · 5b782dbd
  VIGNET Pierre authored Dec 06, 2019
  
  5b782dbd
- [cmd] Fix typos in docstrings · 6306fd99
  VIGNET Pierre authored Dec 06, 2019
  
  6306fd99