F

FStar

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 16, 2024 — Sep 16, 2025 Showing page 3 of 1,302 Search / Filter on:
Remove __guts extension, we should just always do this	Guido Martínez	More...				about 1 month ago
Hooks: simplify	Guido Martínez	More...				about 1 month ago
Restore internal (OCaml) unit tests	Guido Martínez	More...				about 1 month ago
Fix makefile	Guido Martínez	More...				about 1 month ago
disambiguate sum constructor names	Tahina Ramananandro	More...				about 1 month ago
Remove unused open	Guido Martínez	More...				about 1 month ago
removing some dead code	Guido Martínez	More...				about 1 month ago
merging in master	Nikhil Swamy	More...				about 1 month ago
Merge pull request #3975 from mtzguido/size_t_nit	Guido Martínez	More...				about 1 month ago
FStar.SizeT: add missing (/^) operator, also mark them inline	Guido Martínez	More...				about 1 month ago
Merge pull request #3974 from mtzguido/stats_record	Guido Martínez	More...				about 1 month ago
Tactics: introduce stats_record	Guido Martínez	More...				about 1 month ago
Merge pull request #3973 from mtzguido/ranges	Guido Martínez	More...				about 1 month ago
Merge pull request #3972 from mtzguido/errs	Guido Martínez	More...				about 1 month ago
Improving error location for failed meta args	Guido Martínez	More...				about 1 month ago
Errors: print expected failures as diags	Guido Martínez	More...				about 1 month ago
Merge pull request #3971 from mtzguido/misc	Guido Martínez	More...				about 1 month ago
Remove FStar.Real.Old	Guido Martínez	More...				about 1 month ago
library: nits	Guido Martínez	More...				about 1 month ago
FStarC.Pprint: minimizing the internal module, rely mostly on userspace module	Guido Martínez	More...				about 1 month ago
mk: fix bump rule and difference between 01 and 12	Guido Martínez	More...				about 1 month ago
Tc.Env: Remove unused lax_universes field	Guido Martínez	More...				about 1 month ago
Syntax.Subst: add some type annotations	Guido Martínez	More...				about 1 month ago
Merge pull request #3969 from mtzguido/fix	Guido Martínez	More...				about 1 month ago
Syntax.Hash: add many missing default cases	Guido Martínez	More...				about 1 month ago
Merge pull request #3968 from mtzguido/nits	Guido Martínez	More...				about 1 month ago
Reorganize some hashable instances	Guido Martínez	More...				about 1 month ago
Restore HashMap	Guido Martínez	More...				about 1 month ago
Remove unused functions	Guido Martínez	More...				about 1 month ago
Merge pull request #3967 from mtzguido/nits	Guido Martínez	More...				about 1 month ago

←
1
2
3
4
5
6
7
8
9
…
1301
1302
→