Show all
Author Commit Message Labels Comments Date
Default avatar Max Bolingbroke
Remove some tabs the commit hook is complaining about
Branches
supercompiler
Default avatar Max Bolingbroke
I don't know why I started tying back to dumped promises, but it's a bad idea
Branches
supercompiler
Default avatar Max Bolingbroke
SC rollback doesn't have to fail, and improve split/generalise decision upon rollback
Branches
supercompiler
Default avatar Max Bolingbroke
Revert state in MSG if binderisation fails
Branches
supercompiler
Default avatar Max Bolingbroke
Rewrite speculate to be more logical and simpler.. hopefully it doesn't go exponential
Branches
supercompiler
Default avatar Max Bolingbroke
Some comments + changes in how often we instance-match
Branches
supercompiler
Default avatar Max Bolingbroke
Tweak debug output
Branches
supercompiler
Default avatar Max Bolingbroke
Eager value splitting in the new splitter for compatability with thesis (don't think it's actually necessary for correctness though)
Branches
supercompiler
Default avatar Max Bolingbroke
Fix stupid typo in MSG that was causing even stupider tiebacks
Branches
supercompiler
Default avatar Max Bolingbroke
Fix some potential loops in supercompilation, make matching succeed more often
Branches
supercompiler
Default avatar Max Bolingbroke
Remove small redundancy
Branches
supercompiler
Default avatar Max Bolingbroke
Carefully document loopiness in MSG and fix all examples of overeagerness
Branches
supercompiler
Default avatar Max Bolingbroke
Ensure we make progress in the evaluator for UPDATE2 rule
Branches
supercompiler
Default avatar Max Bolingbroke
Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo)
Branches
supercompiler
Default avatar Max Bolingbroke
Complete MSG examples
Branches
supercompiler
Default avatar Max Bolingbroke
Hack in some examples, not quite working
Branches
supercompiler
Default avatar Max Bolingbroke
Tidy up MSG and make specGenVars non-strict in the knot tied variable
Branches
supercompiler
Default avatar Max Bolingbroke
Comments only
Branches
supercompiler
Default avatar Max Bolingbroke
A version of MSG where stack initialization takes place in a seperate monad for cleanliness
Branches
supercompiler
Default avatar Max Bolingbroke
First version of MSG rethink that type checks. Removed term gen capabalities while I was at it.
Branches
supercompiler
Default avatar Max Bolingbroke
A version of the deterministic MSGer that might be correct
Branches
supercompiler
Default avatar Max Bolingbroke
Checkpoint some MSG work
Branches
supercompiler
Default avatar Max Bolingbroke
Due to evaluator change we can remove some ugliness from split cheap heap construction
Branches
supercompiler
Default avatar Max Bolingbroke
Totally redo evaluation, including the abstract syntax of Answers (no more casts please). Much cleaner
Branches
supercompiler
Default avatar Max Bolingbroke
Experimental rewrite of the MSG (currently loops)
Branches
supercompiler
Default avatar Max Bolingbroke
Checkpoint MSG bullshit, REMOVE trace in sc
Branches
supercompiler
Default avatar Max Bolingbroke
Small simplification to solving loop predecessors map
Branches
supercompiler
Default avatar Max Bolingbroke
Fiddle with memo_how check fruitlessly
Branches
supercompiler
Default avatar Max Bolingbroke
Small style fixes etc to the evaluator
Branches
supercompiler
Default avatar Max Bolingbroke
Remove unreachable nodes in splitter before deciding marking to get better results
Branches
supercompiler
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.