shithub: mc

RSS feed

4da6b64b – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/25 06:16
Bump ABI version in mbld.

9369e24b – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/25 06:08
Print the directory where we found the bad lib.

7f4fa088 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/23 16:38
Simplfiy genbootstrap.sh

5711ab3b – Ori Bernstein <ori@markovcorp.com> authored on 2017/08/23 07:46
Check constraints correctly on typarams.

f363110a – Ori Bernstein <ori@markovcorp.com> authored on 2017/08/23 06:56
Resolve types in match rank.

9f4568a0 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/22 18:47
Clean up usefile cruft.

129d7419 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/22 18:39
Remove dead code/comments.

6d31b85b – Ori Bernstein <ori@eigenstate.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/08/21 07:17
The indexes with should be numbers as well as ints

48434f56 – Ori Bernstein <ori@eigenstate.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/08/21 07:13
Clean up dial+plan9.myr

73e2c5b1 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/20 15:52
Fix a few bugs.

6e4bf0cd – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/20 13:49
Fix trait shit.

dfed30d8 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/19 14:30
File is already global.

bd96cb6a – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/13 21:17
Mbld now generates directories properly.

fd499b39 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/13 18:54
Update bootstrap.

682b8ca1 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/13 18:17
Remove dead debug code.

93021aca – Ori Bernstein <ori@deb.here> authored on 2017/08/13 18:15
Add full Linux support, generated from Linux syscall tables.

137b08b7 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/13 17:21
Types are also equal with flipflopping.

433606f6 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/13 14:17
If a trait is specialized over a generic, it's generic too.

548ce546 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/13 06:20
Give a better error message about incomparable types.

fe0c54bd – Lucas Gabriel Vuotto <lvuotto92@gmail.com> authored and Ori Bernstein <ori@eigenstate.org> committed on 2017/08/12 14:52
Fix man paths construction

e1587623 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/08 20:25
Misc cleanups.

890ecfa3 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/07 19:17
Bring back enforced namespaces.

b53309d8 – Ori Bernstein <ori@eigenstate.org> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/08/08 10:30
Allow listing targets and selecting tests.

b7730c04 – Ori Bernstein <ori@markovcorp.com> authored on 2017/08/07 10:10
Failing to load a usefile isn't a crash.

e4832da7 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/06 10:40
Bring back memfd.

241b4985 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/05 21:44
Add system call generation scripts.

2c911dc6 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/06 00:27
Add generated system calls.

bf06a818 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/05 12:13
Add all syscalls for OpenBSD 6.1

48d72550 – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/05 12:13
Add support for a version distance metric.

fd641369 – Ryan Gonzalez <rymg19@gmail.com> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/08/03 10:06
Add readlink syscall

4e4f36fc – Ryan Gonzalez <rymg19@gmail.com> authored and Ori Bernstein <ori@markovcorp.com> committed on 2017/08/01 13:46
Add set/getuid and set/getgid syscalls

63d9419c – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/02 19:17
Disallow types of the form `type t = t`.

cfd9043c – Ori Bernstein <ori@eigenstate.org> authored on 2017/08/02 05:27
Fixed typos (thanks rurban).