F

FStar

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 1 hour ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 17, 2024 — Sep 17, 2025 Showing page 1,301 of 1,302 Search / Filter on:
more typing for tuples, fixed some parser bugs in tuples	Nikhil Swamy	More...				over 11 years ago
More on the OCaml backend (nameenv API + better recognition of idiomatic patterns)	Pierre-Yves Strub	More...				over 11 years ago
bidirectional typing for dependent tuples	Nikhil Swamy	More...				over 11 years ago
Cache width in formatter	Pierre-Yves Strub	More...				over 11 years ago
pre-typing of simple files starts to work; see "make list" in unit-tests	Nikhil Swamy	More...				over 11 years ago
Merge branch 'master' of https://github.com/nikswamy/FStar	Nikhil Swamy	More...				over 11 years ago
added a project file for the backend	Nikhil Swamy	More...				over 11 years ago
many small fixes while pre-typing; adding support for implicit params at both term and type-level	Nikhil Swamy	More...				over 11 years ago
merging	Nikhil Swamy	More...				over 11 years ago
Merge branch 'master' of https://github.com/nikswamy/FStar	Nikhil Swamy	More...				over 11 years ago
destructing kinds to arrows; tracking position info in types	Nikhil Swamy	More...				over 11 years ago
fixed desugaring bug for data ops causing exponentially large types!	Nikhil Swamy	More...				over 11 years ago
Exponential formatter (should be sufficient for first tests)	Pierre-Yves Strub	More...				over 11 years ago
Remove F# port of OCaml Format	Pierre-Yves Strub	More...				over 11 years ago
Core backend for OCaml expressions.	Pierre-Yves Strub	More...				over 11 years ago
wired up pre-typing; debugging in progress	Nikhil Swamy	More...				over 11 years ago
renamed infer to pretype; subtyping, destructing types	Nikhil Swamy	More...				over 11 years ago
Merge branch 'master' of https://github.com/nikswamy/FStar	Nikhil Swamy	More...				over 11 years ago
pre-typing in progress	Nikhil Swamy	More...				over 11 years ago
Installation instructions under Linux Debian	Chantal Keller	More...				over 11 years ago
[minor] ignore + permissions	Catalin Hritcu	More...				over 11 years ago
setenv.sh: don't use realpath.	Pierre-Yves Strub	More...				over 11 years ago
converter: support conversion reversal	Pierre-Yves Strub	More...				over 11 years ago
VS12 -> VS10 script	Pierre-Yves Strub	More...				over 11 years ago
.gitignore: *~	Pierre-Yves Strub	More...				over 11 years ago
Delete FStar.v11.suo	nikswamy	More...				over 11 years ago
syntactic fixes to maintain bootstrapping fragment	Nikhil Swamy	More...				over 11 years ago
merging with ocaml backend	Nikhil Swamy	More...				over 11 years ago
more on tc/infer; checkpointing before merging with ocaml backend	Nikhil Swamy	More...				over 11 years ago
Some blurps about the OCaml backend. More to come...	Pierre-Yves Strub	More...				over 11 years ago

←
1
2
…
1294
1295
1296
1297
1298
1299
1300
1301
1302
→