V

VooDooM

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Mar 22, 2025 — Mar 22, 2026 Showing page 1 of 7 Search / Filter on:
Added old documentation found in the internet.	riffas	More...				over 17 years ago
Update Haskell Community Activities Report entry.	riffas	More...				over 18 years ago
Corrected TextLiteral lexical definition to support a single slash recognition.	riffas	More...				over 18 years ago
Corrected TextLiteral lexical definition to support the hash symbol.	riffas	More...				over 18 years ago
Corrected TextLiteral lexical definition to support question marks	riffas	More...				over 18 years ago
Added new testsuite for checking TextLiteral.	riffas	More...				over 18 years ago
Added unit test with Miguel Marques findings.	riffas	More...				over 18 years ago
Added Haskell Community and Activity report entry for the VooDooM tool.	riffas	More...				almost 19 years ago
Updating version number to prepare new release	riffas	More...				over 19 years ago
Updated one of the contacts	riffas	More...				over 19 years ago
Updated cleanUp function to take composes out of tagged type definitions. This caused that the normal form verification failed when the it should succeed.	riffas	More...				almost 20 years ago
Updated the VooDooM tool to read the parse table location from the environment variable VDMSL_SGLRTBL and use a function that calls the sglr parser which only prints information on error.	riffas	More...				almost 20 years ago
Added a new function that reads the location of the VDM-SL parse table from an environment variable called 'VDMSL_SGLRTBL'. This allows running VooDooM from any folder location and ends with the necessity of hard code the location of such file in a variable in the code.	riffas	More...				almost 20 years ago
Added new examples to our tool.	riffas	More...				almost 20 years ago
Updated application state to use SpecElem. Updated function that prints graphs to use SpecElem. Corrected bug which calculates the entities of Gph to solve bug.	riffas	More...				almost 20 years ago
Added coupling metrics to our metrics list	riffas	More...				almost 20 years ago
Updated transformation engine to use new version of the type dependency function which returns a graph of SpecElem intead of a Graph of type names.	riffas	More...				almost 20 years ago
Marked the nodes of the graph analysis with their type defined in SpecElem.	riffas	More...				almost 20 years ago
Bug correction. Used right function in the full dependency graph.	riffas	More...				almost 20 years ago
new nots	riffas	More...				almost 20 years ago
Major change to the program argument processing. The tool was changed to support that each argument transforms the existent state. This was done to support the choice of operations to be applied (adhoc way of doing a script).	riffas	More...				almost 20 years ago
Added full depency graph wich calculates all dependencis: type, procedure/type flow and procedure call.	riffas	More...				almost 20 years ago
Added documentation and changed names for readability. Added a new test case for checking higher-order functions. Higher-order functions still do not work: need Joost's help for that!!	riffas	More...				almost 20 years ago
Added new functionality to compute procedure/type flow graph. Modified version from the one that I did with Joost. Still need to correct a bug.	riffas	More...				almost 20 years ago
Refactored and documented analysis code. Improved tests readability and corrected a minor bug in one test.	riffas	More...				almost 20 years ago
Added new function to calculate procedure/type dependency. ToDo: refactor functionality and add documentation. This was a pending commit.	riffas	More...				almost 20 years ago
Added new functionality to compute procedure/types dependency analysis.	riffas	More...				almost 20 years ago
Updated temporary file created by hunit for running tests	riffas	More...				almost 20 years ago
Added examples Makefile to clean sglr temporary files	riffas	More...				almost 20 years ago
Added pofessor Jose Nuno example for testing	riffas	More...				almost 20 years ago

←
1
2
3
4
5
6
7
→