N

narradar

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Mar 21, 2025 — Mar 21, 2026 Showing page 1 of 21 Search / Filter on:
Update form title	Pepe Iborra	More...				almost 12 years ago
fix some dependencies versions	Pepe Iborra	More...				over 14 years ago
try a workaround for the cyclic dependency Cabal bug	Pepe Iborra	More...				over 14 years ago
parse goals without an ending dot	Pepe Iborra	More...				over 14 years ago
More helpful USAGE msg	Pepe Iborra	More...				over 14 years ago
fix tabs in cabal descriptor	Pepe Iborra	More...				over 14 years ago
fix a dependency on polyparse 1.4 (to make graphviz-2999-1.0.2 compile)	Pepe Iborra	More...				over 14 years ago
bump version number	Pepe Iborra	More...				over 14 years ago
update to the new constraints system in muterm-framework	Pepe Iborra	More...				over 14 years ago
add dependencies on suitable and hashable	Pepe Iborra	More...				over 14 years ago
Add missing Functor constraints	Pepe Iborra	More...				over 14 years ago
remove transformers flag, use mtl-2 update minimum term version	Pepe Iborra	More...				over 14 years ago
add a dependency on muterm-framework-charts	Pepe Iborra	More...				over 14 years ago
Merge branch 'master' of github.com:pepeiborra/narradar	Pepe Iborra	More...				over 14 years ago
Relax the dependency on term	Pepe Iborra	More...				over 14 years ago
updated README and Cabal script	Pepe Iborra	More...				over 14 years ago
fix example sk515.pl	José Iborra	More...				over 15 years ago
use unsafeSliceProof for better representation of failed attempts	José Iborra	More...				over 15 years ago
enable the executable target in the cabal descriptor	José Iborra	More...				over 15 years ago
wibble	José Iborra	More...				over 15 years ago
bump version number	José Iborra	More...				over 15 years ago
wibbles	José Iborra	More...				over 15 years ago
Fix the version of term required	José Iborra	More...				over 15 years ago
enable O2 always	José Iborra	More...				over 15 years ago
various changes to the drivers	José Iborra	More...				over 15 years ago
align import declarations	José Iborra	More...				over 15 years ago
Replace uses of Tries in the SAT constraints backend by Hashmaps	José Iborra	More...				over 15 years ago
follow changes in the prolog-tools package	José Iborra	More...				over 15 years ago
Implemented the BTA heuristic of NV10 and added a strategy NV10 which uses it	José Iborra	More...				over 15 years ago
improve pretty printing of goals	José Iborra	More...				over 15 years ago

←
1
2
3
4
5
6
7
8
9
…
20
21
→