summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-07-09Style(9)-ify.Ori Bernstein
2017-07-09Don't allow hidden decls to clobber each other.Ori Bernstein
2017-07-08Break up overly long statements.Ori Bernstein
2017-07-08Allow matching of empty structs and arraysS. Gilles
2017-07-08Remap type params according to bound scope.Ori Bernstein
2017-07-08Factor out genericness checks.Ori Bernstein
2017-07-07Merge https://github.com/oridb/mcOri Bernstein
2017-07-07Use the correct syscall for kill on OpenBSDCarlin Bingham
2017-07-06Don't lose the topmost stack frame in acid stack traces.Ori Bernstein
2017-07-06Cleaner/correcter version of the termination condition.Ori Bernstein
2017-07-06Cleaner version of the termination condition.Ori Bernstein
2017-07-06Fix up the type equality checking.Ori Bernstein
2017-07-06Fix unused name in error message.Ori Bernstein
2017-07-06Remove double recursion.Ori Bernstein
2017-07-05Add some discipline to type bindings.Ori Bernstein
2017-07-04Simplify _start routinesMichael Forney
2017-07-04rt: Remove duplicate stack allocationMichael Forney
2017-07-03Function args should go into the block stab.Ori Bernstein
2017-07-03Actually mark void arg lists as void.Ori Bernstein
2017-07-03Errors are conventionally lowercase.Ori Bernstein
2017-07-03Clean up formatting of error reporting.Ori Bernstein
2017-07-03Clean up indentation of comments.Ori Bernstein
2017-07-03Specialize impl declarations on impl type in addition to decl typeMichael Forney
2017-07-03Add impl(type, name) to retrieve a particular implementation of a trait declMichael Forney
2017-07-03Resolve trait decl types before fixing themMichael Forney
2017-07-03Write trait IDs instead of indices in typickleMichael Forney
2017-07-03Fix indentationMichael Forney
2017-06-30Support union constantsMichael Forney
2017-06-30TyposMichael Forney
2017-06-30Use switch statement in postcheckpassMichael Forney
2017-06-30Remove unused traitlist from Type structMichael Forney
2017-06-28Update ABI version.Ori Bernstein
2017-06-28Remove unused memb from Trait and rename funcs -> protoMichael Forney
2017-06-28Remove unused trait structure in NodeMichael Forney
2017-06-25Fix some actual type bugs.Ori Bernstein
2017-06-25Check for type name equality.Ori Bernstein
2017-06-25Remove -WextraOri Bernstein
2017-06-25Add comment explaining reason for continue.Ori Bernstein
2017-06-25Add memfdcreate for linux-x64Michael Forney
2017-06-25Add fallocate for linux-x64Michael Forney
2017-06-25Add newer linux syscall numbersMichael Forney
2017-06-25Add sendmsg/recvmsg for linux-x64Michael Forney
2017-06-25Rename Solsock to Solsocket and make it type sockprotoMichael Forney
2017-06-25Use an iovec struct for readv/writevMichael Forney
2017-06-25Remove debug output.Ori Bernstein
2017-06-25Allow '.o' and '.6' files in inputs.Ori Bernstein
2017-06-24Clean up source marking a bit.Ori Bernstein
2017-06-24Start marking sources of type errors.Ori Bernstein
2017-06-24Clean up infer state structure and comments.Ori Bernstein
2017-06-24Fix occurs check.Ori Bernstein