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 7 of 98 Search / Filter on:
graph laws and termination of ufold	Josh	More...				over 5 years ago
termination for heap toList done	Josh	More...				over 5 years ago
Merge branch 'master' of https://github.com/antalsz/hs-to-coq	Josh	More...				over 5 years ago
most of graph translated, BFS gives cryptic error	Josh	More...				over 5 years ago
a few more test cases	Stephanie Weirich	More...				over 5 years ago
Merge branch 'master' of github.com:antalsz/hs-to-coq	Stephanie Weirich	More...				over 5 years ago
updating extraction. more tests as suggested by third reviewer. Interesting failure in union	Stephanie Weirich	More...				over 5 years ago
added graph code, conversion in progress	Josh	More...				over 5 years ago
Merge branch 'master' of github.com:antalsz/hs-to-coq	Stephanie Weirich	More...				over 5 years ago
re-sort some modules	Stephanie Weirich	More...				over 5 years ago
No axoim in exitify	nomeata as Joachim Breitner	More...				over 5 years ago
Remove spurious Check	nomeata as Joachim Breitner	More...				over 5 years ago
missing file	Stephanie Weirich	More...				over 5 years ago
Add generated lexers & parsers (alex/happy) from GHC to `gen-files`	Antal Spector-Zabusky	More...				over 5 years ago
Recover accidentially deleted line in comment in Exitify.v	nomeata as Joachim Breitner	More...				over 5 years ago
incorporate freeVars proof. Replace fv axiom with one about go_exit.	Stephanie Weirich	More...				over 5 years ago
resolve HasCallStack issue. Remove some (redundant) edits	Stephanie Weirich	More...				over 5 years ago
adding edit files to translate more of Core optimizer. Mostly incomplete, but now we can see just how incomplete.	Stephanie Weirich	More...				over 5 years ago
work on freeVarsOf_freeVars_revised	Stephanie Weirich	More...				over 5 years ago
moved StrongSubset reasoning to separate file	Stephanie Weirich	More...				over 5 years ago
tweak to colorscheme	Stephanie Weirich	More...				over 5 years ago
update dot file	Stephanie Weirich	More...				over 5 years ago
remove axiom from Axioms file	Stephanie Weirich	More...				over 5 years ago
prove RespectsVar_isLocalVar 'axiom' with new version of isLocalVar	Stephanie Weirich	More...				over 5 years ago
add constraint about unique == scope back to GoodVar	Stephanie Weirich	More...				over 5 years ago
updated isLocalId to use Unique instead of Scope	Stephanie Weirich	More...				over 5 years ago
these are generated files, shouldn't be links	Stephanie Weirich	More...				over 5 years ago
consistent state. axiom is still wrong.	Stephanie Weirich	More...				over 5 years ago
two admits in VarSet	Stephanie Weirich	More...				over 5 years ago
DVarSet->VarSet	Stephanie Weirich	More...				over 5 years ago

←
1
2
3
4
5
6
7
8
9
10
11
…
97
98
→