B

bitlisp

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 11, 2024 — Aug 11, 2025 Showing page 5 of 6 Search / Filter on:
Cleaned up and refactored type interface.	Benjamin Saunders	More...				over 13 years ago
Added error case to unification algorithm (how did I get this far without?!)	Benjamin Saunders	More...				over 13 years ago
Safety assert for Vector type.	Benjamin Saunders	More...				over 13 years ago
Parametrized integer and vector types.	Benjamin Saunders	More...				over 13 years ago
Made type variables objects.	Benjamin Saunders	More...				over 13 years ago
Generalized constructed types.	Benjamin Saunders	More...				over 13 years ago
Simple module system ho!	Benjamin Saunders	More...				over 13 years ago
Fixed a bug in reader sexp buffering and added a function to read whole files.	Benjamin Saunders	More...				over 13 years ago
Forward named lambda names into the IR.	Benjamin Saunders	More...				over 13 years ago
Use default -O3 IR-rewriting optimizer settings.	Benjamin Saunders	More...				over 13 years ago
Corrected comparator backing word> and gave the primitive functions better IR naming.	Benjamin Saunders	More...				over 13 years ago
Better toplevel compilation functions.	Benjamin Saunders	More...				over 13 years ago
Basic codegen and miscellaneous fixes and refactorings found necessary for it.	Benjamin Saunders	More...				over 13 years ago
Constraint propogation from universally quantified types.	Benjamin Saunders	More...				over 13 years ago
Added load/store primitives functions.	Benjamin Saunders	More...				over 13 years ago
Instantiate universally quantified types.	Benjamin Saunders	More...				over 13 years ago
More concise universal-type printing.	Benjamin Saunders	More...				over 13 years ago
Generalize types of bound values at the correct stage.	Benjamin Saunders	More...				over 13 years ago
Debugged and refactored what is now universal-type and defined product-type.	Benjamin Saunders	More...				over 13 years ago
Defined type signature for primitive word-. Fibonacci typechecks!	Benjamin Saunders	More...				over 13 years ago
Cleaned up some traces missed by an earlier refactor.	Benjamin Saunders	More...				over 13 years ago
Moved type generalization to binding creation time.	Benjamin Saunders	More...				over 13 years ago
Added forgotten file to system definition.	Benjamin Saunders	More...				over 13 years ago
Default quantified type constraints to nil and don't touch symbols in cl:	Benjamin Saunders	More...				over 13 years ago
Generalize types that have free variables after inference.	Benjamin Saunders	More...				over 13 years ago
Made def return the value being bound for testing convenience.	Benjamin Saunders	More...				over 13 years ago
Reduce overloading of subst-apply: it now only accepts types, with subst-constraints covering the removed case.	Benjamin Saunders	More...				over 13 years ago
This belongs here.	Benjamin Saunders	More...				over 13 years ago
Corrected a typo.	Benjamin Saunders	More...				over 13 years ago
More concise constructed type printing.	Benjamin Saunders	More...				over 13 years ago

←
1
2
3
4
5
6
→