D

DART Haskell

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 04, 2024 — Aug 04, 2025 Showing page 1 of 9 Search / Filter on:
correctly run cabal test	Carlos Lopez-Camey	More...				almost 11 years ago
A data constructor should have a type context that holds type variables bound to actual types	Carlos Lopez-Camey	More...				almost 11 years ago
closes #47: Parametrize timeout_seconds as --max_time_per_function	Carlos Lopez-Camey	More...				about 11 years ago
instanciates polymorphic data constructor types	Carlos Lopez-Camey	More...				about 11 years ago
Adds applied_types to a DataCon.	Carlos Lopez-Camey	More...				about 11 years ago
Adds applied_types to a DataCon.	Carlos Lopez-Camey	More...				about 11 years ago
pretty prints lists of chars	Carlos Lopez-Camey	More...				about 11 years ago
GHC's cons a nil	Carlos Lopez-Camey	More...				about 11 years ago
genBoltzmann does not keep trying after failure or success.	Carlos Lopez-Camey	More...				about 11 years ago
boltzmann refactor	Carlos Lopez-Camey	More...				about 11 years ago
applyTyCon for kinds * -> * and GHC.Types.Char	Carlos Lopez-Camey	More...				about 11 years ago
renames TypeConstructor to TyCon	Carlos Lopez-Camey	More...				about 11 years ago
Improves error messages when failing to make a value for some type	Carlos Lopez-Camey	More...				about 11 years ago
compliance with ghc 7.8.2	Carlos Lopez-Camey	More...				about 11 years ago
merges genBoltzmannUB, genBoltzmannLB into genBoltzmann; Problem: It still remains still while encountering UnitializedSampler	Carlos Lopez-Camey	More...				over 11 years ago
Boltzmann atempt	Carlos Lopez-Camey	More...				over 11 years ago
definition for GHC.Classes./=	Carlos Lopez-Camey	More...				almost 12 years ago
Don't test the resulting source dist	Carlos Lopez-Camey	More...				almost 12 years ago
Adds multi-ghc-travis to support multiple GHC versions on travis CI	Carlos Lopez-Camey	More...				almost 12 years ago
Enables -t in the command line to test functions; Adds a string parameter to NoFunTest and NoVdefgTest that holds the reason why no tests were performed	Carlos Lopez-Camey	More...				almost 12 years ago
fixes list equality (adds equality for type constructors without type parameter)	Carlos Lopez-Camey	More...				about 12 years ago
fixes bug that didn't bind a variable in the environment in a case analysis	Carlos Lopez-Camey	More...				about 12 years ago
curries tyconapps	Carlos Lopez-Camey	More...				about 12 years ago
[] and (:) are not TyConApps but rather TypeConstructors	Carlos Lopez-Camey	More...				about 12 years ago
[] and (:) are not TyConApps but rather TypeConstructors	Carlos Lopez-Camey	More...				about 12 years ago
Fixes value equality for TyConApps (with pointer equality rather than raw value eq)	Carlos Lopez-Camey	More...				about 12 years ago
creates Value = TypeConstructor	Carlos Lopez-Camey	More...				about 12 years ago
tests pass	Carlos Lopez-Camey	More...				about 12 years ago
module DART.CaseAnalysis.PredicateBranch which holds prettyPrintBranch and recordBranch	Carlos Lopez-Camey	More...				about 12 years ago
--show-included-definitions works	Carlos Lopez-Camey	More...				about 12 years ago

←
1
2
3
4
5
6
7
8
9
→