D

DART Haskell

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 14 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 04, 2024 — Aug 04, 2025 Showing page 3 of 9 Search / Filter on:
Adds definition for GHC.Prim.>=#, fixes #29	Carlos Lopez-Camey	More...				about 12 years ago
Propagate an old error instead of a new one when no alternative match was found in case analysis	Carlos Lopez-Camey	More...				about 12 years ago
travis conf file	Carlos Lopez-Camey	More...				about 12 years ago
travis conf file	Carlos Lopez-Camey	More...				about 12 years ago
tests on functionTyArgs	Carlos Lopez-Camey	More...				about 12 years ago
isFunctionTy and tests	Carlos Lopez-Camey	More...				about 12 years ago
includes base:Data/List	Carlos Lopez-Camey	More...				about 12 years ago
tyConMkRandom now picks a random type constructor	Carlos Lopez-Camey	More...				about 12 years ago
Fixes no match in record selector; simulates OnTree.sumTreeI :: IntTree -> Int correctly; Closes #19	Carlos Lopez-Camey	More...				about 12 years ago
ModuleTester doesn't halt on error, returns a TestResult with an error in it instead	Carlos Lopez-Camey	More...				about 12 years ago
Removes RandomizableType, adds individual functions for generating random values	Carlos Lopez-Camey	More...				about 12 years ago
Value = .. \| SumType [DataCon]; Acknowledges SumTypes in module environment	Carlos Lopez-Camey	More...				about 12 years ago
showExtCoreTypeVerbose	Carlos Lopez-Camey	More...				about 12 years ago
sessions/typeOf	Carlos Lopez-Camey	More...				about 12 years ago
TypeExtractor extracts Lambdas and DataTypes; DART.TestTypeExtractor	Carlos Lopez-Camey	More...				over 12 years ago
showExtCore Tcon wraps the constructor name in parenthesis	Carlos Lopez-Camey	More...				over 12 years ago
ModuleTester no longer depends on TypeExtractor parser (will deprecate: it adds a great overhead at the expense of showing and parsing every definition type); Lang.Core.Ty; Lang.Core.TestTy;	Carlos Lopez-Camey	More...				over 12 years ago
Adds Lang.Core.Module; Examples.Testing.OnTrees; removes ModuleFunction	Carlos Lopez-Camey	More...				over 12 years ago
Show instances for TypeExtractor.DataTypes; refactoring in Testable	Carlos Lopez-Camey	More...				over 12 years ago
Closes #20: WRONG: Could not find var in env base:GHC.Base.++	Carlos Lopez-Camey	More...				over 12 years ago
Closes #8: regression tests for GHC.Num	Carlos Lopez-Camey	More...				over 12 years ago
Adds ghc-prim:GHC.Prim.+# - semantics proved correct by computing	Carlos Lopez-Camey	More...				over 12 years ago
ghc-prim:GHC.Types.I#	Carlos Lopez-Camey	More...				over 12 years ago
adds base:GHC/List to libs_env	Carlos Lopez-Camey	More...				over 12 years ago
adds base:Data.Maybe to libs_env	Carlos Lopez-Camey	More...				over 12 years ago
changes package name for lib/base/Enum to `base` from `main`	Carlos Lopez-Camey	More...				over 12 years ago
Adds lib/base/{Base,Tuple,Show}	Carlos Lopez-Camey	More...				over 12 years ago
Closes #16; passes tests: , , ; adds matching alternative cases for literals	Carlos Lopez-Camey	More...				over 12 years ago
store; memorize; vdefId; binds Num for Izh constructor alternative; adds ext-core example for issue #17	Carlos Lopez-Camey	More...				over 12 years ago
newAddress; allocate in Structures	Carlos Lopez-Camey	More...				over 12 years ago

←
1
2
3
4
5
6
7
8
9
→