H

hs-to-coq

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
Jan 13, 2024 — Jan 13, 2025 Showing page 10 of 98 Search / Filter on:
Merge branch 'master' of github.com:antalsz/hs-to-coq	Stephanie Weirich	More...				over 5 years ago
skip pattern bindings when axiomatizing. axiomatize TysWiredIn.	Stephanie Weirich	More...				over 5 years ago
Tweak `collapse let`	Antal Spector-Zabusky	More...				over 5 years ago
Translate `CoreFVs.freeVars` and `CoreFVs.freeVarsBind`	Antal Spector-Zabusky	More...				over 5 years ago
Add support for `collapse let`	Antal Spector-Zabusky	More...				over 5 years ago
[minor] delete empty preambles and midambles	Antal Spector-Zabusky	More...				over 5 years ago
[WIP] Update theories.	Yao Li	More...				over 5 years ago
Switch IntMap to Map.	Yao Li	More...				over 5 years ago
still trying for Travis	Stephanie Weirich	More...				over 5 years ago
trivial theorem about exprSize (taken from comment)	Stephanie Weirich	More...				over 5 years ago
try to make travis happy	Stephanie Weirich	More...				over 5 years ago
translate MkCore, trying to fix build	Stephanie Weirich	More...				over 5 years ago
wibble	Stephanie Weirich	More...				over 5 years ago
'translate' Panic module	Stephanie Weirich	More...				over 5 years ago
keep deleting	Stephanie Weirich	More...				over 5 years ago
we don't need Digraph	Stephanie Weirich	More...				over 5 years ago
fixing generated files	Stephanie Weirich	More...				over 5 years ago
edit file	Stephanie Weirich	More...				over 5 years ago
Generate ListSetOps	Stephanie Weirich	More...				over 5 years ago
Merge branch 'master' of github.com:antalsz/hs-to-coq	Stephanie Weirich	More...				over 5 years ago
add just enough to hs-to-coq to be able to process PrelNames.	Stephanie Weirich	More...				over 5 years ago
CoreStats aux	Stephanie Weirich	More...				over 5 years ago
translated CoreStats module	Stephanie Weirich	More...				over 5 years ago
more midamble edits	Stephanie Weirich	More...				over 5 years ago
more clean up in midambles	Stephanie Weirich	More...				over 5 years ago
clean up Demand/OccName edits & midamble	Stephanie Weirich	More...				over 5 years ago
must have at least one Core preamble for Makefile	Stephanie Weirich	More...				over 5 years ago
remove empty preambles	Stephanie Weirich	More...				over 5 years ago
clean up CoreSubst edits file	Stephanie Weirich	More...				over 5 years ago
In IdInfo, RuleInfo and Unfolding are now just the trivial 'no info' cases.	Stephanie Weirich	More...				over 5 years ago

←
1
2
…
6
7
8
9
10
11
12
13
14
…
97
98
→