F

FStar

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 12, 2024 — Sep 12, 2025 Showing page 1 of 1,302 Search / Filter on:
Merge pull request #3998 from FStarLang/_taramana_cp_t	Guido Martínez	More...				4 days ago
src_package_mk: do not use GNU-specific `cp -T` (does not work on MacOS)	Tahina Ramananandro	More...				4 days ago
Merge pull request #3997 from mtzguido/fix	Guido Martínez	More...				4 days ago
Fix bad error	Guido Martínez	More...				4 days ago
Tweak proof	Guido Martínez	More...				8 days ago
Tweak rlimit	Guido Martínez	More...				8 days ago
Bump version	Guido Martínez	More...				8 days ago
Merge pull request #3994 from mtzguido/allow_ignore_nonexistent_include	Guido Martínez	More...				12 days ago
Options: nit	Guido Martínez	More...				13 days ago
Options: format defaults, and sort by option name	Guido Martínez	More...				13 days ago
Options: allow to ignore warning for non-existing include	Guido Martínez	More...				13 days ago
Merge pull request #3992 from mtzguido/reflect_char_constants	Guido Martínez	More...				18 days ago
Reflection: support character constants	Guido Martínez	More...				18 days ago
Merge pull request #3989 from mtzguido/misc	Guido Martínez	More...				18 days ago
SMT: Set random seed internally in SMT2, not via command line arg	Guido Martínez	More...				19 days ago
SMT: remove unused LblPos constructor	Guido Martínez	More...				19 days ago
Merge pull request #3988 from FStarLang/_nik_bench	nikswamy	More...				23 days ago
Merge branch 'master' into _nik_bench	nikswamy	More...				23 days ago
Merge pull request #3987 from mtzguido/compress_univ	Guido Martínez	More...				24 days ago
Merge remote-tracking branch 'origin/master' into _nik_bench	Nikhil Swamy	More...				24 days ago
maybe_instantiate: flatten arrows to instantiate implicits in arrows like #a:Type -> Tot (#b:Type -> ...)	Nikhil Swamy	More...				24 days ago
Merge pull request #3985 from FStarLang/_nik_bench	nikswamy	More...				24 days ago
update expected output with gen sym changes	Nikhil Swamy	More...				24 days ago
NamedView: compress universes too	Guido Martínez	More...				24 days ago
Revert "avoid invoking normalizer for simple, irreducible cases in Rel.compress_prob"	Nikhil Swamy	More...				24 days ago
Merge remote-tracking branch 'origin/master' into _nik_bench	Nikhil Swamy	More...				25 days ago
avoid invoking normalizer for simple, irreducible cases in Rel.compress_prob	Nikhil Swamy	More...				25 days ago
Merge pull request #3872 from FStarLang/_nik_ide_dep	nikswamy	More...				25 days ago
Merge branch 'master' into _nik_ide_dep	Guido Martínez	More...				25 days ago
Merge pull request #3948 from mtzguido/no_default_qual	Guido Martínez	More...				25 days ago

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