shithub: mc

Info  •  Files  •  Log  •  Branches

f3b75c3f – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/10 04:15

Move main file to backend.

221a1f2c – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 20:47

Infer function literals correctly.

e3b7056a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:52

Constrain conditional tests to be testable

e30e522d – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:40

Infer return type for non-returning functions

35bfc4bc – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:22

Assert that nodes inserted into nodelists are non-null

342be478 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:21

Don't insert empty stmt nodes into list.

c3dc6ac4 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:18

Error out on underconstrained types.

a70314d6 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:18

Fix up type merging and improve error messages a bit.

04f63c18 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:43

Try to look up named types.

1499a361 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:33

Fix constraint checking

6d9376e3 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:29

Recurse into types when fixing them up.

7a0b41da – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:04

Return proper written offset from fmtcstr.

fe282895 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 17:40

Alloc the return type for functions

1a9d4b86 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 16:45

Set up scope chains properly.

3825a62a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 19:22

Some misc type inference fixes.

6eea4ad5 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 18:55

Fix unification of compound types with tyvars.

b6555615 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 18:55

Fix readback of compound types.

c39f89dd – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 18:47

Create function types.

0a0f0610 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 15:48

Fix type inference:

04ebbd67 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 11:00

Merge branch 'master' of git+ssh://eigenstate.org/git/ori/mc2

c9f9102a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 04:17

Stab modifications.

c0af6b2f – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/04 05:44

Merge branch 'master' of git+ssh://eigenstate.org/git/ori/mc2

d47d4ee1 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 20:36

Make stabs at appropriate places.

7eaa7298 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 20:23

Remove some random segfaults.

82782ab0 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 20:06

Implement symtabs.

507aaa9c – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 18:27

Simplify type reading/writing.

00047234 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:35

A bit more logical arrangement of stuff.

0642dae7 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:31

Make it clear that typarams are unencodable.

6df1963a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:28

Use standard endian swapping.

24a5f2f6 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:17

Actually define 'ulong' as a type.

36cfe833 – Ori Bernstein <orib@google.com> authored on 2012/01/03 14:41

Add hashing util funcs

10e15739 – Ori Bernstein <orib@google.com> authored on 2012/01/03 14:06

Add hash table impl

4f226284 – Ori Bernstein <orib@google.com> authored on 2012/01/03 13:18

Make debugging type dumps easier.

f1fd4734 – Ori Bernstein <orib@google.com> authored on 2012/01/03 13:16

More work on type encoding.

7c3b9e70 – Ori Bernstein <orib@google.com> authored on 2012/01/03 11:46

Start of pickling stuff.

58bda459 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 14:45

Unify subtypes

8bf7a907 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 14:31

Make tyfin() work

5192aa93 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 13:48

Move towards type constraints working.

dd7fbc02 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 11:29

Do type substitutions.

85cdc11b – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 09:49

Fix static analysis warnings.

dc062d85 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/23 12:01

Add missing file

9bdc51d8 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/21 09:09

More stubbing.

e08b97c2 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/19 16:13

Fix some random crashes.

0bc3c366 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/19 16:06

Grow the typetab on type allocation

c9abdb32 – Ori Bernstein <orib@google.com> authored on 2011/12/19 14:42

Stub in more type inference.

efb34ddd – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 19:13

Fill in rest of bitset operations.

a4a9799d – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 17:57

Add a Bitset data structure

6e6109bf – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 17:29

Make literal expressions where we expect them.

d3793273 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 16:56

Merge branch 'master' of git+ssh://eigenstate.org/git/ori/mc2