shithub: mc

Info  •  Files  •  Log  •  Branches

4519f3ff – Ori Bernstein <orib@google.com> authored on 2012/07/20 15:14

Improve error messages.

dbf99720 – Ori Bernstein <orib@google.com> authored on 2012/07/20 15:13

Correctly pickle alias types.

1b562ee7 – Ori Bernstein <orib@google.com> authored on 2012/07/20 14:23

Don't overwrite the type of an expression.

e62508a5 – Ori Bernstein <orib@google.com> authored on 2012/07/20 14:18

Don't die if we call fold() on NULL.

d555aa6e – Ori Bernstein <orib@google.com> authored on 2012/07/20 13:47

Fix up pointer unwrapping in offsetof().

446f1577 – Ori Bernstein <orib@google.com> authored on 2012/07/20 13:41

Unify the type of the func var with the funct type.

65f7649c – Ori Bernstein <orib@google.com> authored on 2012/07/20 13:33

Improve error messages.

013bffde – Ori Bernstein <orib@google.com> authored on 2012/07/20 13:04

Be less noisy about installs.

aca3c17e – Ori Bernstein <orib@google.com> authored on 2012/07/20 12:54

Improve commenting

a1774754 – Ori Bernstein <orib@google.com> authored on 2012/07/20 12:46

x

43a9a671 – Ori Bernstein <orib@google.com> authored on 2012/07/20 10:49

Add test for occurs check with types

5237b3b3 – Ori Bernstein <orib@google.com> authored on 2012/07/20 10:18

sizeof(foo) should return a generic.

5bf79c58 – Ori Bernstein <orib@google.com> authored on 2012/07/17 10:54

Only allow generics in valid places.

4dd11987 – Ori Bernstein <orib@google.com> authored on 2012/07/17 10:22

Whitespace fixes.

d76feb05 – Ori Bernstein <orib@google.com> authored on 2012/07/17 10:20

Fix code generation for compares.

c75921a9 – Ori Bernstein <orib@google.com> authored on 2012/07/17 10:05

Parse and set builtin constraints. First cut.

df0b6010 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/16 17:16

Move inference state into state struct.

d97dcac9 – Ori Bernstein <orib@google.com> authored on 2012/07/16 09:02

Add test for builtin constraints.

bc29b76c – Ori Bernstein <orib@google.com> authored on 2012/07/16 08:02

Nested functions work slightly better now.

cb0c1ccd – Ori Bernstein <orib@google.com> authored on 2012/07/16 07:50

Make nested functions work.

0e624db3 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/15 23:37

Fix tuple offsetting.

814f0d39 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/15 23:07

Be pickier about instruction formats.

79dbe0f5 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/15 22:17

We now make a valiant attempt at destructuring tuples.

a7951ace – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/15 21:46

Add support for creating unions on the stack.

a9512a95 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/15 20:11

Move away from literals for tuples.

8b1cf3fd – Ori Bernstein <orib@google.com> authored on 2012/07/11 11:14

Make the tuple test test things more usefully.

b554cdfe – Ori Bernstein <orib@google.com> authored on 2012/07/11 06:52

Add test for tuple.

bb41de48 – Ori Bernstein <orib@google.com> authored on 2012/07/11 06:50

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

1b71d38f – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/11 04:46

Infer types for tuples.

16dbaa9a – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/10 16:29

Fix grammar conflicts.

c67ad939 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/10 16:22

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

06094041 – Ori Bernstein <orib@google.com> authored on 2012/07/10 11:37

GCC, you're annoying at times.

c8ba8d20 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/09 19:44

Remove dead store.

6f62b7bb – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/09 15:58

Start work towards closures.

ee96b8a5 – Ori Bernstein <orib@google.com> authored on 2012/07/09 11:44

Add test for nested functions.

83ac1d52 – Ori Bernstein <orib@google.com> authored on 2012/07/09 11:02

Rename 'coloncolon' to 'trait'.

ac386480 – Ori Bernstein <orib@google.com> authored on 2012/07/09 11:02

Fix writing literal arrays.

3872f3ac – Ori Bernstein <orib@google.com> authored on 2012/07/09 11:01

Fix whitespace.

c4b21b2c – Ori Bernstein <orib@google.com> authored on 2012/07/09 09:38

Infer types for array literals.

b9b381e6 – Ori Bernstein <orib@google.com> authored on 2012/07/09 09:18

Parse and store unadorned literal sequences

4c863884 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/09 09:08

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

8dba607d – Ori Bernstein <orib@google.com> authored on 2012/07/09 09:05

Fix whitespace.

7c0b1067 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/09 04:44

Rename Larray to Lseq.

5d325b59 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/09 04:31

Make generating global uninitialized blobs work.

a9bfe8ce – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/09 04:15

Add tests for global arrays.

67adcf7b – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/03 18:30

Get rid of generating new bitsets.

0c7b3283 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/03 17:53

Speed up adjacency iteration.

512c7332 – Ori Bernstein <ori@eigenstate.org> authored on 2012/07/03 17:38

Don't walk past the end of the array.

2f96f75f – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 19:48

Speed up bitset iteration a bit.

95f8b3d8 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 18:54

More work towards getting sequence literals to work.

b8b34577 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 15:29

Parse sequence literals.

a31dc193 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 15:01

Add tests for literal sequences.

dd77ee3c – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 14:56

Default-type for floats.

94e28af3 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 14:48

Frob the proposed syntax.

dfe3ca01 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 14:46

Add parenthesized submatches.

31d5350f – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 14:39

Override the default yacc rule for make.

5602844b – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 14:34

Fix up grammar to only accept valider patterns.

4df17d13 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 13:25

More work on the docs

1e8a7b49 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 13:14

Improve test output.

2ec46120 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 10:36

Don't do as many blits.

5b737d5d – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 10:22

Remove bad tree generation.

06910883 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 10:00

Add const matching test, fix up test script.

56ddddaa – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 09:36

Add test for matching constants.

e084f0b7 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/30 06:57

Make checking sub-union members work.

bfa86d22 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/29 16:11

Add test for unions with args

c246138e – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/29 15:40

Actually store the union tags.

ac786e3d – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/29 15:32

Compile matchunion to incorrect asm!

ce977b34 – Ori Bernstein <orib@google.com> authored on 2012/06/29 13:56

start of tutorial-spec-thingy.

c52b156a – Ori Bernstein <orib@google.com> authored on 2012/06/29 11:51

Add unions as patterns.

6ceec621 – Ori Bernstein <orib@google.com> authored on 2012/06/29 11:38

Compile matches on literal values.

afbbc542 – Ori Bernstein <orib@google.com> authored on 2012/06/29 10:38

Rename file.

7f63840c – Ori Bernstein <orib@google.com> authored on 2012/06/29 09:14

Add test for type checking match types.

4f1a566d – Ori Bernstein <orib@google.com> authored on 2012/06/29 09:13

Try to unify pattern types.

86f01268 – Ori Bernstein <orib@google.com> authored on 2012/06/29 09:09

Create nodes for match statements correctly.

674df8f7 – Ori Bernstein <orib@google.com> authored on 2012/06/29 08:56

Add constructors for match nodes

a7ae86f6 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/29 06:39

Add in node types for match and match patterns.

184ef035 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/28 18:16

Stub out grammar for matches.

d79699d8 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/28 17:55

Allow chaining prefix expressions.

28754751 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/28 17:45

Renamed 'match' test.

3d379376 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/28 17:32

Rearrange gramar.

d955c5a9 – Ori Bernstein <orib@google.com> authored on 2012/06/28 10:31

Add test for integer matching.

a114d484 – Ori Bernstein <orib@google.com> authored on 2012/06/28 07:55

Generate code for creating unions.

fbf50215 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/28 07:34

Work towards codegen for unions

4e490585 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/28 05:56

Set union elt ids.

60179fff – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/27 21:38

Add test for union creation

bf98d0b8 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/27 21:32

Allow Ovar as a top level operator.

ed3f53a7 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/27 21:04

Add a number of tests.

440ff74a – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/27 20:48

Infer types for unions.

47e2fe4b – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/27 19:52

Work towards supporting unions.

9ab2a5a2 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/26 18:08

Remove dead data structure.

0423f184 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/25 21:20

Add missing test files.

e73472e0 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/25 16:31

Allow nullary union constructors.

e91825e9 – Ori Bernstein <orib@google.com> authored on 2012/06/25 14:24

Whitespace fixes.

b0ced7c8 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/24 16:13

Add parsing for union constructors.

6a4f50b6 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/24 10:40

Give correct error when unifying mismatched aliases

6f349d45 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/24 10:22

Make sizeof stuff work nicer.

9ccb8d4f – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/24 10:06

Make returns with 0 args valid.

9954ed6a – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/24 09:57

Propagate cstrs from base types up

69ac58bd – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/24 09:51

Make type names proper types.

9355e0b3 – Ori Bernstein <ori@eigenstate.org> authored on 2012/06/24 09:13

Don't assert name equality.