Author Commit Message Labels Comments Date
Alan Falloon avatarAlan Falloon
* test_List.ml: Cleaned up some names and added explanitory comments.
Alan Falloon avatarAlan Falloon
Moving PShow_* modules into the library from the test.
Alan Falloon avatarAlan Falloon
Switched the list test to be less verbose
Alan Falloon avatarAlan Falloon
Added a newline in the verbose reporting
Alan Falloon avatarAlan Falloon
Added the executable and intermediate files to the ignore list
Alan Falloon avatarAlan Falloon
Switch test to use int list instead of char list
Alan Falloon avatarAlan Falloon
Adding a test that tests the properies of the List module
Alan Falloon avatarAlan Falloon
Implementing the check and {quick,verbose}Check functions
Alan Falloon avatarAlan Falloon
removing accidental duplication of the extended List module
Alan Falloon avatarAlan Falloon
Add the flymake extensions to the build file
Alan Falloon avatarAlan Falloon
Functorized the functions that originally had typeclasses in thier sig
Alan Falloon avatarAlan Falloon
Finished the reporting implementation
Alan Falloon avatarAlan Falloon
* quickCheck.ml: added gen functions, testable functions and arbitrary functions
Default avatar Alan Falloon
Removing extra entries from .hgignore
Default avatar Alan Falloon
Initial commit of the Ocaml QuickCheck
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.