shithub: mc

Info  •  Files  •  Log  •  Branches

79b0e2e5 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/19 20:28

Tag exported types in traits.

4ff354d8 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/19 19:32

Insert the decl as a decl, not an impl.

2d53920a – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/19 19:23

Use the correct sybmol writing function to write.

8cc199bc – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/19 17:04

Pickle/unpickle Nimpl.

92881838 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/19 16:35

Don't double-install impls.

2b3a550a – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/19 09:24

Try to iterate over types.

e89a6b09 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/15 09:01

Actually write out impls to usefiles.

7b45d388 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/14 06:50

Rename files to match function names.

8c7bac5a – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/10 21:30

Use correct tag character for impl defs

f1858c72 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/08 10:51

Add 'try' to libstd.

61766f98 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/08 10:09

Add 'search' functions:

df187615 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/08 10:06

Default the types correctly in specialized functions.

226ef2e1 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/05 10:32

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

aae6d006 – Ori Bernstein <ori@eigenstate.org> authored on 2014/05/05 10:31

Fix the error printing in 'constrain'

6734665c – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/30 22:32

remove 'forwardcopy' predicate.

099d9cb1 – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/29 18:04

Shut up the linker by adding a 'main' function.

948799fd – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/24 07:44

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

efb1de08 – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/23 09:02

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

d8c459cc – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/23 07:27

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

6ac0e591 – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/22 14:47

Make slcp handle overlapping ranges correctly.

e53b3a2d – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/15 12:26

Upgrade hash function in libstd to murmurhash.

4e54802e – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/14 16:03

Build the export list for traits correctly.

9ee86f91 – Ori Bernstein <ori@eigenstate.org> authored on 2014/04/08 06:30

Add test for exported traits.

1f979324 – Ori Bernstein <ori@eigenstate.org> authored on 2014/03/10 07:44

Actually enable assembly generation.

4fb00e67 – Ori Bernstein <ori@eigenstate.org> authored on 2014/03/05 16:22

Prepare merging traits in preparation for exporting.

5207c09e – Ori Bernstein <ori@eigenstate.org> authored on 2014/03/05 06:44

Fix error messages and add comments.

bc999872 – Ori Bernstein <ori@eigenstate.org> authored on 2014/03/05 06:38

Actually install the impls into the table in advance.

6094e25e – Ori Bernstein <ori@eigenstate.org> authored on 2014/03/03 19:28

Put impls into symbol tables.

685a0afc – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/26 16:04

Add a back link for traits, instead of a bool.

9e41da83 – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/26 15:46

Add support for '-S' command in myrbuild.

9109f705 – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/26 05:41

Dump the 'istraitfn' variable.

e6cf1fd2 – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/25 19:12

Preserve 'istraitfn' in usefiles.

d67ec38c – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/25 15:02

Remove unreachable code warning.

7ad2500a – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/25 08:10

Add a comment about why we skip trait functions.

d9849c02 – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/25 07:44

Write out use files.

cd7b9ddf – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/25 07:02

Broken pickling and unpickling of traits.

765c9f00 – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/25 06:24

Pickle traits.

2b1cb19f – Ori Bernstein <ori@eigenstate.org> authored on 2014/02/24 16:33

Fix up visibility and merging of traits.