shithub: mc

Info  •  Files  •  Log  •  Branches

c75a9bf0 – Ori Bernstein <ori@eigenstate.org> authored on 2017/07/05 20:05

Remove double recursion.

b5cf804c – Ori Bernstein <ori@eigenstate.org> authored on 2017/07/05 18:34

Add some discipline to type bindings.

6e064ade – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/07/04 08:25

Simplify _start routines

ceb89c2c – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/07/03 22:35

rt: Remove duplicate stack allocation

00e81c21 – Ori Bernstein <ori@eigenstate.org> authored on 2017/07/03 19:21

Function args should go into the block stab.

b37fc330 – Ori Bernstein <ori@eigenstate.org> authored on 2017/07/03 18:54

Actually mark void arg lists as void.

24584aef – Ori Bernstein <ori@eigenstate.org> authored on 2017/07/03 18:36

Errors are conventionally lowercase.

2a0ea983 – Ori Bernstein <ori@eigenstate.org> authored on 2017/07/03 18:35

Clean up formatting of error reporting.

f45a27f1 – Ori Bernstein <ori@eigenstate.org> authored on 2017/07/03 18:32

Clean up indentation of comments.

871ef281 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/07/01 10:43

Specialize impl declarations on impl type in addition to decl type

ca10a1ec – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/07/01 10:43

Add impl(type, name) to retrieve a particular implementation of a trait decl

ddb327c9 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/07/03 07:52

Resolve trait decl types before fixing them

f358e29b – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/07/02 22:09

Write trait IDs instead of indices in typickle

69b4c984 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/07/02 20:41

Fix indentation

0c7eb9f0 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/29 22:17

Support union constants

09a34baa – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/29 17:11

Typos

849dee9b – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/28 21:38

Use switch statement in postcheckpass

f76f8632 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/28 20:40

Remove unused traitlist from Type struct

ab23c061 – Ori Bernstein <ori@markovcorp.com> authored on 2017/06/28 07:33

Update ABI version.

567766b0 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/06/27 23:24

Remove unused memb from Trait and rename funcs -> proto

6f5af856 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/06/27 22:42

Remove unused trait structure in Node

a54d7deb – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/25 19:51

Fix some actual type bugs.

d5ade40b – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/25 19:32

Check for type name equality.

cefbc611 – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/25 05:54

Remove -Wextra

112022b4 – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 21:46

Add comment explaining reason for continue.

4c170a46 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/24 10:52

Add memfdcreate for linux-x64

a588eed9 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/24 09:38

Add fallocate for linux-x64

eadf2bcb – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/24 10:47

Add newer linux syscall numbers

71af8b2a – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/24 20:22

Add sendmsg/recvmsg for linux-x64

fb8cbb23 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/24 19:06

Rename Solsock to Solsocket and make it type sockproto

de496a92 – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/24 18:51

Use an iovec struct for readv/writev

ad0ad265 – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 21:08

Remove debug output.

a7c11c4d – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 20:53

Allow '.o' and '.6' files in inputs.

dc338852 – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 10:33

Clean up source marking a bit.

767e744e – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 10:11

Start marking sources of type errors.

b6872f8f – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 08:41

Clean up infer state structure and comments.

a8a5638f – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 08:25

Fix occurs check.

c57f6ab5 – Lucas Gabriel Vuotto <lvuotto92@gmail.com> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/24 07:14

Fix configure script

6df66e51 – Ori Bernstein <ori@eigenstate.org> authored on 2017/06/24 05:14

Fix uninitialized variable access.

969945de – Michael Forney <mforney@mforney.org> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/06/23 21:11

Miscellaneous typo/formatting fixes