felix

Settings | Report Duplicate

0

I Use This!

Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 01, 2023 — May 01, 2024 Showing page 5 of 364 Search / Filter on:
Get Ubunti Ocaml build running on GitHub Actions	John Skaller as skaller	More...				over 1 year ago
Try to build Ocaml	John Skaller as skaller	More...				over 1 year ago
Fix workflow test	John Skaller as skaller	More...				over 1 year ago
Try workflows again	John Skaller as skaller	More...				over 1 year ago
Projections	John Skaller as skaller	More...				over 1 year ago
Projections work now.	John Skaller as skaller	More...				over 1 year ago
Fix.	John Skaller as skaller	More...				over 1 year ago
Test CLT stuff using parameter packs and constexpr.	John Skaller as skaller	More...				over 1 year ago
Remove problematic intersections.	John Skaller as skaller	More...				over 1 year ago
Add chello.cxx, a C++ hello world program.	John Skaller as skaller	More...				over 1 year ago
Change group mailing list to [email protected]	John Skaller as skaller	More...				over 1 year ago
Add intersection and base hack test.	John Skaller as skaller	More...				over 1 year ago
Intersection on all types.	John Skaller as skaller	More...				over 1 year ago
Add intersection of records. Add _base_ hack to objects	John Skaller as skaller	More...				over 1 year ago
Fix elision of unit. Change rule for reduction of polyrecords.	John Skaller as skaller	More...				over 1 year ago
Remove chop_suffix since the local prefix isn't used anyhow.	John Skaller as skaller	More...				over 1 year ago
Fix bug in bootflx	John Skaller as skaller	More...				over 1 year ago
Fix another string/bnytes bug in dypgen.	John Skaller as skaller	More...				over 1 year ago
Try to fix the dypgen lexer. See #171.	John Skaller as skaller	More...				over 1 year ago
Fix wrong definition of tfix, the type level fixpoint operator.	John Skaller as skaller	More...				over 1 year ago
Fix long standing problem with kind of as binder (type recursion).	John Skaller as skaller	More...				over 1 year ago
Hack so batch mode C++ compilation works.	John Skaller as skaller	More...				over 1 year ago
Fix reinterpret template to work with pointers.	John Skaller as skaller	More...				over 1 year ago
pointer to nominal type coercions	John Skaller as skaller	More...				over 1 year ago
Polymorphic nominal type subtyping.	John Skaller as skaller	More...				over 1 year ago
Added variance to nominal type specifier.	John Skaller as skaller	More...				almost 2 years ago
Handle variance in structs and cstructs.	John Skaller as skaller	More...				almost 2 years ago
Fully propagating variance for struct/cstruct/union/ctype.	John Skaller as skaller	More...				almost 2 years ago
Propagate variance for primitive types.	John Skaller as skaller	More...				almost 2 years ago
Add variance indicator to type variables.	John Skaller as skaller	More...				almost 2 years ago

←
1
2
3
4
5
6
7
8
9
…
363
364
→