aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
...
* | finish from_columns proofsGravatar Jade Philipoom2018-04-03
* | progress on from_columns proofsGravatar Jade Philipoom2018-04-03
* | clean up proofs a bitGravatar Jade Philipoom2018-04-03
* | prove sum_rows_div_mod and fix up Rows.from_columns a bitGravatar Jade Philipoom2018-04-03
* | rowwise flatten (more fleshed-out) and proof outlineGravatar Jade Philipoom2018-04-03
* | preliminary version of rowwise flattenGravatar Jade Philipoom2018-04-03
* | some work on rowwise flattenGravatar Jade Philipoom2018-04-03
* | Add two examples of using the pipeline in a one-linerGravatar Jason Gross2018-04-01
* | Fix the pipeline to not insert extra castsGravatar Jason Gross2018-03-31
* | Update printout after change to pipelineGravatar Jason Gross2018-03-31
* | Do some pipeline consolidation and reorganizationGravatar Jason Gross2018-03-29
* | Allow passing in optional bounds to the pipelineGravatar Jason Gross2018-03-28
* | Inline weight into *mod, remove rweightGravatar Jason Gross2018-03-28
* | Move mod_ops out of PositionalGravatar Jason Gross2018-03-28
* | Move cps out of cache part of the pipelineGravatar Jason Gross2018-03-27
* | Add Zdiv_0_l to zsimplify dbsGravatar Jason Gross2018-03-27
* | Add a test for hd and tlGravatar Jason Gross2018-03-27
* | Add support for handling match on listGravatar Jason Gross2018-03-27
| * move Loops from Experiments to UtilGravatar Andres Erbsen2018-03-27
| * remove old loops codeGravatar Andres Erbsen2018-03-27
| * cleanup2Gravatar Andres Erbsen2018-03-27
| * cleanupGravatar Andres Erbsen2018-03-27
| * comprehensiveGravatar Andres Erbsen2018-03-27
| * tail recursionGravatar Andres Erbsen2018-03-27
| * refactor measureGravatar Andres Erbsen2018-03-27
| * prove iffGravatar Andres Erbsen2018-03-27
| * wip completeness proofGravatar Andres Erbsen2018-03-27
| * work on completeness of measure analysisGravatar Andres Erbsen2018-03-27
| * loops: more lemmasGravatar Andres Erbsen2018-03-27
| * cpsloopsGravatar Andres Erbsen2018-03-27
* | Add list_case, a definition for match on listGravatar Jason Gross2018-03-27
|/
* Response to code review commentGravatar Jason Gross2018-03-23
* Be more explicit about reductionGravatar Jason Gross2018-03-23
* s/nobrainer1/subst01/Gravatar Jason Gross2018-03-23
* Remove spurious indentationGravatar Jason Gross2018-03-23
* Added input var type for clarityGravatar Jason Gross2018-03-23
* Make the ERROR definition opaque to vm_computeGravatar Jason Gross2018-03-23
* Add GeneralizeVar explanatory commentGravatar Jason Gross2018-03-23
* Flip the meaning of a boolean testGravatar Jason Gross2018-03-23
* Add a comment explaining default inhabitantsGravatar Jason Gross2018-03-23
* Use nobrainer1 in the pipelineGravatar Jason Gross2018-03-23
* Add NoBrainer1Gravatar Jason Gross2018-03-23
* Thunk let-bound default values, unfold bool_rectGravatar Jason Gross2018-03-23
* Update output of montred from the dlet place changeGravatar Jason Gross2018-03-22
* [experiments] Remove dead code, inline some thingsGravatar Jason Gross2018-03-22
* Add another reserved notation for App_fstGravatar Jason Gross2018-03-21
* s/partial reduction/partial evaluation/Gravatar Jason Gross2018-03-21
* Don't inline var nodes on the first pass through partial evaluationGravatar Jason Gross2018-03-21
* Let-bind placeGravatar Jason Gross2018-03-21
* [experiments] Thunk the eliminator casesGravatar Jason Gross2018-03-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 18:33:41 +0000