Commits · 76b7149de44e32192093914ddd309e3743a13e50 · Taddeüs Kroes / trs · GitLab

18 Feb, 2012 1 commit
- Trying to fix the negation AssertionError (work in progress). · 76b7149d
  Sander Mathijs van Veen authored Feb 18, 2012
  
  76b7149d
16 Feb, 2012 15 commits
- Instead of to the outside, negations in multiplications are now brought to the left. · 28644d89
  Taddeus Kroes authored Feb 16, 2012
  
  28644d89
- Upgraded graph_drawing to latest version. · 1c0dece5
  Taddeus Kroes authored Feb 16, 2012
  
  1c0dece5
- Added some messages and comments to negation rules. · 9419b2b1
  Taddeus Kroes authored Feb 16, 2012
  
  9419b2b1
- Uncommented negation assertion. · 8b4634e0
  Taddeus Kroes authored Feb 16, 2012
  
  8b4634e0
- Removed match_negate_group, replaced it with some more generic rules. · 8d6d4788
  Taddeus Kroes authored Feb 16, 2012
  
  8d6d4788
- Some minor code improvements. · fddfbe2d
  Taddeus Kroes authored Feb 16, 2012
  
  fddfbe2d
- Upgraded graph_drawing to latest version. · caa49342
  Taddeus Kroes authored Feb 16, 2012
  
  caa49342
- Upgraded graph_drawing to latest version. · 9de118b1
  Taddeus Kroes authored Feb 16, 2012
  
  9de118b1
- Corrected typo. · 730afc4a
  Taddeus Kroes authored Feb 16, 2012
  
  730afc4a
- Added equality chck and negation take-over to Scope object. · 031e326f
  Taddeus Kroes authored Feb 16, 2012
  
  031e326f
- Applied usage of __pos__ operators in some unit tests. · f5d48c99
  Taddeus Kroes authored Feb 16, 2012
  
  f5d48c99
- Added __pos__ operator for negation reduction. · 0b791b7f
  Taddeus Kroes authored Feb 16, 2012
  
  0b791b7f
- Applied pep8 to unit tests. · f51ea5e3
  Taddeus Kroes authored Feb 16, 2012
  
  f51ea5e3
- Applied usage of Scope.replace method and fixed some failing unit tests. · c7a9125f
  Taddeus Kroes authored Feb 16, 2012
  
  c7a9125f
- Added negation counter to strict equivalence check and added 'replace' function to Scope class. · b63b5130
  Taddeus Kroes authored Feb 16, 2012
  
  b63b5130
15 Feb, 2012 4 commits
- Removed OP_NEG operator from source code (partially done). · 105cd269
  Sander Mathijs van Veen authored Feb 15, 2012
  
  105cd269
- Upgraded graph_drawing to latest version (with negation counter). · 139ec738
  Taddeus Kroes authored Feb 15, 2012
  
  139ec738
- Merge remote branch 'origin/negated' into negated · d81e996d
  Sander Mathijs van Veen authored Feb 15, 2012
  
  d81e996d
- Use 'negated' attribute instead of a negation node. · 7b75040e
  Sander Mathijs van Veen authored Jan 25, 2012
```
Negation of node or leaf increases negated value.
```
  7b75040e
27 Jan, 2012 2 commits
- Updated to latest pybison and graph_drawing versions. · 12fe0a37
  Sander Mathijs van Veen authored Jan 27, 2012
  
  12fe0a37
- Updated to latest pybison and graph_drawing versions. · 6c450559
  Sander Mathijs van Veen authored Jan 27, 2012
  
  6c450559
26 Jan, 2012 4 commits
- Use 'negated' attribute instead of a negation node. · 9c817a94
  Sander Mathijs van Veen authored Jan 25, 2012
```
Negation of node or leaf increases negated value.
```
  9c817a94
- Removed explicit negation node from test cases. · 1c9969fd
  Sander Mathijs van Veen authored Jan 26, 2012
  
  1c9969fd
- Changed test case for line() to a binary operator. · fb5adcac
  Sander Mathijs van Veen authored Jan 26, 2012
  
  fb5adcac
- Use is_leaf attribute instead of calling a method. · 2a400ac2
  Sander Mathijs van Veen authored Jan 26, 2012
  
  2a400ac2
25 Jan, 2012 2 commits
- Updated TODO list. · 1556572e
  Sander Mathijs van Veen authored Jan 25, 2012
  
  1556572e
- Added remaining possibility messages to the rules. · 73a3bf06
  Sander Mathijs van Veen authored Jan 25, 2012
  
  73a3bf06
24 Jan, 2012 10 commits
- Merge branch 'master' of kompiler.org:trs · 0551ec1b
  Sander Mathijs van Veen authored Jan 24, 2012
  
  0551ec1b
- Updated to latest pybison version. · 94269a3f
  Sander Mathijs van Veen authored Jan 24, 2012
  
  94269a3f
- Merge branch 'master' of kompiler.org:trs · 87d0f49c
  Taddeus Kroes authored Jan 24, 2012
  
  87d0f49c
- Added 0*a -> 0 rule. · 1a74b48d
  Taddeus Kroes authored Jan 24, 2012
  
  1a74b48d
- sorting unit tests files. · 1d02e839
  Sander Mathijs van Veen authored Jan 24, 2012
  
  1d02e839
- Upgraded graph_drawing to latest version. · 076f6aae
  Taddeus Kroes authored Jan 24, 2012
  
  076f6aae
- Upgraded graph_drawing to latest version. · 6a435da1
  Taddeus Kroes authored Jan 24, 2012
  
  6a435da1
- Merge branch 'master' of kompiler.org:trs · a290533e
  Taddeus Kroes authored Jan 24, 2012
  
  a290533e
- Added negated division rewrite rules. · 99832583
  Taddeus Kroes authored Jan 24, 2012
  
  99832583
- Removed two debug messages in negate_group. · c3511de6
  Sander Mathijs van Veen authored Jan 24, 2012
  
  c3511de6
23 Jan, 2012 2 commits
- Merge branch 'master' of kompiler.org:trs · f91e66f5
  Sander Mathijs van Veen authored Jan 24, 2012
  
  f91e66f5
- Commented unfixed unit test. · 271a591b
  Taddeus Kroes authored Jan 24, 2012
  
  271a591b