Commits · 7f05e59634a528fb7240422eccec47d28d45e3ac · VIGNET Pierre / cadbiom · GitLab

14 Feb, 2017 7 commits
- C++ API in __shift_invariant() · 7f05e596
  VIGNET Pierre authored Feb 14, 2017
  
  7f05e596
- Rewrite __m_shift_clause with comprehension list · 40119bcc
  VIGNET Pierre authored Feb 14, 2017
  
  40119bcc
- C++ API in __shift_clause() · 1b913055
  VIGNET Pierre authored Feb 14, 2017
  
  1b913055
- C++ API in __shift_dynamic() · 428d6225
  VIGNET Pierre authored Feb 14, 2017
  
  428d6225
- C++ API in __load_solver() · 12767ac5
  VIGNET Pierre authored Feb 14, 2017
  
  12767ac5
- fix typos · 6cdd8c95
  VIGNET Pierre authored Feb 14, 2017
  
  6cdd8c95
- Fix typos · 91045d41
  VIGNET Pierre authored Feb 14, 2017
  
  91045d41
13 Feb, 2017 3 commits
- Temporary ability to stop after 3 solutions for benchamarking; add pycallgraph · 6ff7665f
  VIGNET Pierre authored Feb 13, 2017
  
  6ff7665f
- Remove abusive & dangerous try/except · 9adb7b58
  VIGNET Pierre authored Feb 13, 2017
  
  9adb7b58
- Update makefile for the new entry point · b6e3c782
  VIGNET Pierre authored Feb 13, 2017
  
  b6e3c782
08 Feb, 2017 3 commits
- Rename entry point of cadbiom command line · de7dc8e1
  VIGNET Pierre authored Feb 08, 2017
  
  de7dc8e1
- Move cam search to an independant script file; Comment old main func · 82aa96f7
  VIGNET Pierre authored Feb 08, 2017
  
  82aa96f7
- Add merge_cams module to argparse; fix bug in solution_repr call · 9e7301bc
  VIGNET Pierre authored Feb 08, 2017
  
  9e7301bc
07 Feb, 2017 1 commit
- Improve logging on not Debug mode; comprehension lists during the build of solver's clauses · 19ade83b
  VIGNET Pierre authored Feb 07, 2017
  
  19ade83b
31 Jan, 2017 6 commits
- Fix bug for the delimiter in python 2.7... · 69661b04
  VIGNET Pierre authored Jan 31, 2017
  
  69661b04
- Fix bug for multiple files · 141706c6
  VIGNET Pierre authored Jan 31, 2017
  
  141706c6
- Add python futures imports · e40b8da8
  VIGNET Pierre authored Jan 31, 2017
  
  e40b8da8
- Add method to merge cams to csv file · 4baa096e
  VIGNET Pierre authored Jan 31, 2017
  
  4baa096e
- Optimization of the number of processes for 8 threads per solver · 3118a54d
  VIGNET Pierre authored Jan 31, 2017
  
  3118a54d
- Fix sort method: same as in solution_sort file · 91e5f249
  VIGNET Pierre authored Jan 31, 2017
  
  91e5f249
26 Jan, 2017 2 commits
- Send set of files · 78187caf
  VIGNET Pierre authored Jan 26, 2017
  
  78187caf
- Add method to generate a formula whith combinations: negate explicitly other elements in the set · 48687051
  VIGNET Pierre authored Jan 26, 2017
  
  48687051
25 Jan, 2017 2 commits
- Timestamp for logs · 8ef40598
  VIGNET Pierre authored Jan 25, 2017
  
  8ef40598
- Add Logging of clauses passed to the solver · 861f0f18
  VIGNET Pierre authored Jan 25, 2017
  
  861f0f18
23 Jan, 2017 8 commits
- cadbiom real_study command · 560322d7
  VIGNET Pierre authored Jan 23, 2017
  
  560322d7
- Add script for the cluster env · b2f118fd
  VIGNET Pierre authored Jan 23, 2017
  
  b2f118fd
- Add example of input places · 702bafe1
  VIGNET Pierre authored Jan 23, 2017
  
  702bafe1
- Sort all frontier places when dump them to outputfile... · e99b25ca
  VIGNET Pierre authored Jan 23, 2017
  
  e99b25ca
- Ability to use the new solver · 73952d0f
  VIGNET Pierre authored Jan 23, 2017
  
  73952d0f
- Improve args parse; Add repr & sort methods for solutions · 31f139a7
  VIGNET Pierre authored Jan 23, 2017
  
  31f139a7
- First graph representation of trajectories · 9d0d1456
  VIGNET Pierre authored Jan 23, 2017
  
  9d0d1456
- Ability to sort cam sets in alphabetical order · 94384154
  VIGNET Pierre authored Jan 23, 2017
  
  94384154
12 Jan, 2017 5 commits
- Fix typos, fix exit() bug in multiprocessing · b3a7b7d7
  VIGNET Pierre authored Jan 12, 2017
  
  b3a7b7d7
- Add flag used to get all macs under given steps · 2e8d6dfb
  VIGNET Pierre authored Jan 12, 2017
  
  2e8d6dfb
- Add not used, exhaustive method to find MACs (more time consuming than find_mac) · 41f415af
  VIGNET Pierre authored Jan 12, 2017
  
  41f415af
- Add Whole PID DB in bcx format · 9a8d98d9
  VIGNET Pierre authored Jan 12, 2017
  
  9a8d98d9
- Update basic model · 173a0c50
  VIGNET Pierre authored Jan 12, 2017
  
  173a0c50
15 Dec, 2016 2 commits
- Fix return of find_mac() for multiprocessing: None instead of exit() · 7bc48d08
  VIGNET Pierre authored Dec 15, 2016
  
  7bc48d08
- Fix imports of concurrent futures in old release of Python 2.7 · e96a486b
  VIGNET Pierre authored Dec 15, 2016
  
  e96a486b
12 Dec, 2016 1 commit
- Add Multiprocessing directive · 6f93259c
  VIGNET Pierre authored Dec 12, 2016
  
  6f93259c