Commits · master · M-DES-tools / EdiSyn

06 Jul, 2022 2 commits
- Merge branch 'new_dd' · 6532ce8f
  Andrew authored Jul 06, 2022
  
  6532ce8f
- Updated lock file, and changed documentation. · 5a121266
  Andrew authored Jul 06, 2022
  
  5a121266
30 Jun, 2022 1 commit
- enables the user to explicitly disable deletion for some events · 181943ec
  xzjin authored Jun 30, 2022
  
  181943ec
23 Jun, 2022 1 commit
- Added documentation for operations (building the edit automaton). Also removed... · de67d4d8
  Andrew authored Jun 23, 2022
```
Added documentation for operations (building the edit automaton). Also removed unused, depracated code.
```
  de67d4d8
06 Jun, 2022 2 commits
- Updated README with new instructions for poetry. · 7b79e405
  Andrew authored Jun 06, 2022
  
  7b79e405
- Changed python dependency to 3.7 for compatiblity with M-DESops · a4b75ca1
  Andrew authored Jun 06, 2022
  
  a4b75ca1
18 Mar, 2022 2 commits
- Merge branch 'new_dd' of https://gitlab.eecs.umich.edu/M-DES-tools/EdiSyn into new_dd · f08f1ac7
  Andrew authored Mar 18, 2022
  
  f08f1ac7
- Updated command line interface and fixed error with nondeterministic solutions. · 1777d6ee
  Andrew authored Mar 18, 2022
  
  1777d6ee
11 Feb, 2022 2 commits
- Fixed issue with testing public automaton. Moved benchmark dependency into extras for poetry. · 822cab9a
  Andrew Richard Wintenberg authored Feb 11, 2022
```
Need to migrate benchmarks to python 3.
```
  822cab9a
- Partially updated readme for poetry. Updated tests. Possible issue with public automaton test. · fe6201c7
  Andrew Richard Wintenberg authored Feb 11, 2022
  
  fe6201c7
28 Feb, 2021 1 commit
- Added support for disabling deletions in the edit function. · 9636869a
  Andrew authored Feb 28, 2021
  
  9636869a
15 Feb, 2021 1 commit
- Update depracated dd calls. · db0c8d98
  Andrew authored Feb 15, 2021
  
  db0c8d98
16 Jun, 2017 5 commits
- Update README.md · 6debc404
  stephane authored Jun 16, 2017
  
  6debc404
- Update LICENSE · 491ce348
  stephane authored Jun 16, 2017
  
  491ce348
- Update README.md · 6e1c6ea1
  stephane authored Jun 16, 2017
  
  6e1c6ea1
- Update README.md · 957a41c3
  stephane authored Jun 16, 2017
  
  957a41c3
- Update README.md · b0dacbb2
  stephane authored Jun 16, 2017
  
  b0dacbb2
22 Mar, 2017 6 commits
- merge branch 'unpatched-dd' into 'master' · c926b493
  Blake C. Rawlings authored Mar 22, 2017
  
  c926b493
- update the required version of `dd` after patching EdiSyn · 44369f2b
  Blake C. Rawlings authored Mar 22, 2017
  
  44369f2b
- remove the old code that relied on the patched version of `dd` · 2b160a67
  Blake C. Rawlings authored Mar 22, 2017
  
  2b160a67
- replace another use of `cofactor_function` with `cofactor` · 37d3bee3
  Blake C. Rawlings authored Mar 22, 2017
  
  37d3bee3
- fill in the tests · b4a3efe6
  Blake C. Rawlings authored Mar 22, 2017
  
  b4a3efe6
- start patching EdiSyn to use existing functionality of `dd` · eeb9e7c5
  Blake C. Rawlings authored Mar 22, 2017
  
  eeb9e7c5
21 Mar, 2017 7 commits
- add a link to CUDD · 149a3eef
  Blake C. Rawlings authored Mar 21, 2017
  
  149a3eef
- mention dd in the description of EdiSyn · ea7817fe
  Blake C. Rawlings authored Mar 21, 2017
  
  ea7817fe
- use noun phrases for all the section headings · b0167f34
  Blake C. Rawlings authored Mar 21, 2017
  
  b0167f34
- use single (not triple) backticks for inline code snippets · b79246ab
  Blake C. Rawlings authored Mar 21, 2017
  
  b79246ab
- update the installation instructions · 7bab556e
  Blake C. Rawlings authored Mar 21, 2017
  
  7bab556e
- update the dependencies in preparation for using an unpatched `dd` · 3592571a
  Blake C. Rawlings authored Mar 21, 2017
```
Version 0.6.0 of `dd` doesn't exist yet, this will probably need to be
changed when/if the proposed patch to support EdiSyn is added.  See
https://github.com/johnyf/dd/pull/26.
```
  3592571a
- make `natsort` a dependency of EdiSyn itself, not just the benchmarks · d3d30973
  Blake C. Rawlings authored Mar 21, 2017
  
  d3d30973
20 Mar, 2017 10 commits
- update the Acknowledgements in the README · 7740ea5a
  Blake C. Rawlings authored Mar 20, 2017
  
  7740ea5a
- fix some paths · aad1bbed
  Blake C. Rawlings authored Mar 20, 2017
  
  aad1bbed
- mention the scalability benchmarks in the README · 0c14f94f
  Blake C. Rawlings authored Mar 20, 2017
  
  0c14f94f
- update the version of `dd` mentioned in the README · 691b098f
  Blake C. Rawlings authored Mar 20, 2017
  
  691b098f
- update the README · 4ba535a5
  Blake C. Rawlings authored Mar 20, 2017
  
  4ba535a5
- add requirements files for the dependencies · 918978ab
  Blake C. Rawlings authored Mar 20, 2017
  
  918978ab
- merge · 4adf0976
  Blake C. Rawlings authored Mar 20, 2017
  
  4adf0976
- update the scalability examples/benchmarks · 3209b17e
  Blake C. Rawlings authored Mar 20, 2017
  
  3209b17e
- patch cudd.pyx from dd v0.5.0 · 389d1782
  Blake C. Rawlings authored Mar 20, 2017
  
  389d1782
- update to a newer version of `dd` (API changes) · f63e2e01
  Blake C. Rawlings authored Mar 20, 2017
  
  f63e2e01