Ohloh by Black Duck

 Follow @ Meta   Join Now

 Settings |  Report Duplicate
Inactive
0

Commits : Listings

  Analyzed 2 days ago based on code collected 2 days ago.
Showing page 2 of 5
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Added ChechRulesWithValues and CheckRulesWithProof Anon32
emsimao
More... over 5 years ago
Added a few tests as exemple how it should be tested evaluated functions and found errors Anon32
tiagomlalves
More... over 5 years ago
Cleaned up makefile regarding coverage. Anon32
joost.visser.nl
More... over 5 years ago
added HUnit test to cover eval Map(Un)Join1(2), and changed Type.hs Anon32
emsimao
More... over 5 years ago
added evaluation for MapJoin1(2) and MapUnJoin1(2) Anon32
emsimao
More... over 5 years ago
Tranformation and Evolution splitted in TwoLevelAlbumExample.hs, we wait for comments to consider issue 3 close, please take a look to issue 10 Anon32
emsimao
More... over 5 years ago
Changed makefile to add funtion evalutation count, and renamed TwoLevelAlbumExampleHunit for Makefile to work properly Anon32
emsimao
More... over 5 years ago
Implemented 'hardCoreElim' from RelTransf module as hardcore_elim in the RulesPF module. Anon32
tiagomlalves
More... over 5 years ago
Implemented function 'prodMapElim' from RelTransf module in the RulesPF module as split_fusion. Anon32
tiagomlalves
More... over 5 years ago
Added new rules taken from RelTransf.hs of 2lt-inv project. Associated tests still missing. Anon32
tiagomlalves
More... over 5 years ago
Added PF functions taken from legacy 2lt-inv project. Anon32
tiagomlalves
More... over 5 years ago
Refactored names to remove legacy Rel reference Anon32
tiagomlalves
More... over 5 years ago
Changed the MakeFile to build coverage reports automatically for every HUnit file in test folder Anon32
fibone
More... over 5 years ago
Changed the Makefile to cover the general report, and commented the test with errors Anon32
emsimao
More... over 5 years ago
Added new function to simplify PROD taken from RelTransf.hs. Added respective tests. Anon32
tiagomlalves
More... over 5 years ago
Added function to fuse a MAP (taken from RelTransf.hs) and respective tests. Anon32
tiagomlalves
More... over 5 years ago
Added new function to fuse MAPKEYS taken from RelTransf.hs and respective tests. Anon32
tiagomlalves
More... over 5 years ago
Added RNG evaluation function. Added tests to check behaviour of RNG which only works in some cases but a test exists to record the cases which are wrong. Anon32
tiagomlalves
More... over 5 years ago
Added implementation of the evaluation of DOM. Added tests and commented other failing tests since it prevents checking new tests (failing mechanism needs improvement). Anon32
tiagomlalves
More... over 5 years ago
Added new simplification rule that distributes function composition. Tests were also add but evaluation function fails in two cases and one rule ghc complains about infinite types... Anon32
tiagomlalves
More... over 5 years ago
 
 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.