Commits · 018373161079a2d66dfc06e40e2c741e36fa9a64 · Radek Hušek / cdc-counting

Browse files

Sep 13, 2021
- more parallelization · 01837316
  Radek Hušek authored 3 years ago
  
  01837316
- make edge_model_join_matrix parallel · 015b4bb8
  Radek Hušek authored 3 years ago
  
  015b4bb8
Sep 12, 2021
- improve memory consumption · 2db208cd
  Radek Hušek authored 3 years ago
  
  2db208cd
Jul 29, 2021
- voltage_test_snarks.py · f9d909e9
  Radek Hušek authored 3 years ago
  
  f9d909e9
- parmap: add test case · 8ea3a872
  Radek Hušek authored 3 years ago
  
  8ea3a872
- fix matrix_formula_period() · f226fd1d
  Radek Hušek authored 3 years ago
  
  f226fd1d
- utils: add stabilize_period and matric_formula_period · 906342ee
  Radek Hušek authored 3 years ago
  
  906342ee
- refactor graph parameter · 761fbad0
  Radek Hušek authored 3 years ago
  761fbad0
Jul 08, 2021
- voltage graphs: fix negative values · f3e92488
  Radek Hušek authored 4 years ago
  
  f3e92488
- Add basic voltage graphs support · 0a393087
  Radek Hušek authored 4 years ago
  
  0a393087
- Minor fixes. · 890d2e14
  Radek Hušek authored 4 years ago
  
  890d2e14
- Extend UnderlyingGraph parameter to free edges · f8d714f2
  Radek Hušek authored 4 years ago
  
  f8d714f2
- GraphSequence::stabilize change jordan=True to False · 7dc759bc
  Radek Hušek authored 4 years ago
  7dc759bc
May 06, 2021
- Fix spelling · 2438bf90
  Radek Hušek authored 4 years ago
  
  2438bf90
- Move tests to experiment · f0b78612
  Radek Hušek authored 4 years ago
  
  f0b78612
- Boundary -> BoundaryValue · ecb8f588
  Radek Hušek authored 4 years ago
  
  ecb8f588
Apr 23, 2021
- small-snarks.py · b8e13c80
  Radek Hušek authored 4 years ago
  
  b8e13c80
Apr 17, 2021
- experiments/flower-snarks: prove that 16 is the largest eigenvalue · 6573707d
  Radek Hušek authored 4 years ago
  
  6573707d
- test_exp_cdc: fix python impl & print graphs into log · f6c5aeec
  Radek Hušek authored 4 years ago
  
  f6c5aeec
Apr 06, 2021
- Flower snark experiment · bce3fc3b
  Radek Hušek authored 4 years ago
  
  bce3fc3b
- add option to disable caching · 5b3b8563
  Radek Hušek authored 4 years ago
  
  5b3b8563
Mar 25, 2021
- test_exp_cdc.sh: check returned gadgets · 157aed9b
  Radek Hušek authored 4 years ago
  
  157aed9b
- graph_to_gadget: add experimental decomposition · 5ff3ddca
  Radek Hušek authored 4 years ago
  
  5ff3ddca
- generate better gadget decompositions · b7a69e8e
  Radek Hušek authored 4 years ago
  
  b7a69e8e
- parmap.py: no subprocesses when nprocs == 1 · 5473738a
  Radek Hušek authored 4 years ago
  
  5473738a
Mar 24, 2021
- improve test_exp_cdc.sh experiment · 4659afda
  Radek Hušek authored 4 years ago
  
  4659afda
- Ladders experiment · f12d7de1
  Radek Hušek authored 4 years ago
  
  f12d7de1
- Add a comment to flower experiment · 7536cbdf
  Radek Hušek authored 4 years ago
  
  7536cbdf
- Add 4-boudnary experiment · 28d2b047
  Radek Hušek authored 4 years ago
  
  28d2b047
- Move flowers into an experiment · cba969d1
  Radek Hušek authored 4 years ago
  
  cba969d1
Mar 12, 2021
- parameters.CircuitDoubleCover: rework project_and_canonize · cf5b7ccb
  Radek Hušek authored 4 years ago
  
  cf5b7ccb
- misc: add vertex-model related functions and diamond matchings · 994bc084
  Radek Hušek authored 4 years ago
  
  994bc084
- misc.graph_to_gadget: allow gadgets of non-zero size · 1270e50c
  Radek Hušek authored 4 years ago
  
  1270e50c
- Add Gadget::swap and Gadget::permute · c6614ea0
  Radek Hušek authored 4 years ago
  
  c6614ea0
Jun 12, 2020
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:radek/cdc · d683616e
  Radek Hušek authored 5 years ago
  
  d683616e
- improve test_cycle.py · aa5152d0
  Radek Hušek authored 5 years ago
  
  aa5152d0
- improve matrix_to_formula() · 6af77d6a
  Radek Hušek authored 5 years ago
  
  6af77d6a
- implement enumerate_boundaries() for CycleDoubleCover · 58407d5b
  Radek Hušek authored 5 years ago
  
  58407d5b
Jun 06, 2020
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:radek/cdc · 045bd9e5
  Radek Hušek authored 5 years ago
  
  045bd9e5
- add test_exp_cdc logs · 22b878b6
  Radek Hušek authored 5 years ago
  
  22b878b6