forked from league/qcheck
-
Notifications
You must be signed in to change notification settings - Fork 0
Home
eldesh edited this page Jun 5, 2013
·
3 revisions
Welcome to the qcheck wiki!
I am trying to add SML#1.2.0 support to QCheck. (support_smlsharp branch)
-
add the script that enumerates (mainly) numerical basis modules
-
scripts/smlsharp-basis.pl check & print each module presence
-
needed interface files are added
-
test case occurs fatal error that links to src/QCheck.o
- add overloads specialized to SML# ?
- changes will closed in interface files(.smi)