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).