Commits · 6ce321c334e72b74357da677d578702275f31f77 · Taddeüs Kroes / trs · GitLab

19 Feb, 2012 4 commits
- Updated to latest graph drawing version. · 6ce321c3
  Sander Mathijs van Veen authored Feb 19, 2012
  
  6ce321c3
- Instead of printing the rewrite chain, append it to the assertion message. · deeb7ca9
  Sander Mathijs van Veen authored Feb 19, 2012
  
  deeb7ca9
- Removed redundant debugging statement from negation rules. · 51666c36
  Sander Mathijs van Veen authored Feb 19, 2012
  
  51666c36
- Fixed negation assertion bug. · 037b6821
  Sander Mathijs van Veen authored Feb 19, 2012
  
  037b6821
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 8 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