RSS feed
20336858
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 10:09
free -> FREE
66347eb7
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 10:02
malloc -> MALLOC
c2d0326b
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 07:15
errtester.sh does not work on fresh clone, create if not existing
ea48ba6d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/18 06:02
More testing
bfea4e5e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 15:54
Start by printing system info.
e70f7204
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 15:54
Add some stuff
a3165669
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 14:21
Remove riscv64, add s390x.
5a02e9e0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 14:08
Add Risc-V
b54f55a3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 13:59
Lower nfib
ca26282e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 13:53
Implement ST monad. Just STRef so far.
ac0c51a3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 13:15
Much nicer getArgs/withArgs
5a04627c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 13:03
More IOArray stuff.
82cc91ac
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/17 11:08
Some IOArray stuff.
701bbb29
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 07:46
Temp
b456108b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 07:20
Add Word8 for byte manipulation.
8ce96e5c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 07:00
More storable
7012562d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 06:35
More storable.
bdd67c25
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 06:11
Add sequence_
f8732cab
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/17 06:10
More storable stuff
4d3b1c9b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/16 14:59
Use more consistent nameing of primitives.
7c97a797
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/16 09:18
Add package dependency.
f83adaa4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/16 09:08
-r mostly works with ghc now.
7960282b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/16 09:05
Add line editing to ghc version.
44dc3008
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/16 08:47
Most tests work with ghc direct execition now.
37df8d55
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/16 06:32
More ghc tweaks.
ad8eefd7
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/16 06:18
Split out serialization test.
f1cfa713
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/16 06:11
Separate pointer equality.
e380df13
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/15 08:27
More fixes
f20fbd71
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/15 08:13
Many small fixes to support direct evaluation with ghc compiled mhs.
92364d5e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/14 18:49
Fix bug in C'
7b8a7888
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/14 18:49
Make ord and chr into primitives (which are just I in eval.c).
01753e0f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/14 18:48
Add a coverage target
18f680c9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/10 15:25
Update
265b6bf6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/10 15:14
Use difference lists for allVarsExpr
7e0e096c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/10 14:53
Implement view patterns.
ece44053
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/09 12:56
Less
1b99562a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/08 12:36
Slightly less buggy parser
b926e7ce
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/08 12:36
Less
d3405fb5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/09 12:53
Start of view patterns.
6caaf2fe
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/09 08:19
Use different constructor for prefix negation.
53ceb875
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/09 08:05
Cache flag -s now -C
9005e82a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/05 06:13
Edit
9cfcb11d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 20:14
Add K2, K3, K4
a87c3802
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 15:30
Only do GC reductions in the first pass.
9f609d8f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:57
Fix a pattern parsing bug.
8fb0571b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:28
Prefix negation fixed.
4bc6e977
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:22
Turn on alternate constructor encoding.
d3340bac
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:10
Add a different constructor encoding. Currently disabled.
218649cd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 13:35
Swap encIf arguments
aeae7c4f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 13:26
Add sortBy
a10da947
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 11:05
Refactor encoding of lists.
c07b6997
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 10:49
Move constructor and case encoding to its own module.
85ded7f6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 08:07
Make fixity resolution a little nicer.
0bf6f63c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 08:01
Refactor fixity resolution to its own file.
0eba1c12
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 07:58
Make prefix - work. Surprisingly involved.
f3f8a5ec
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/03 16:41
Parse prefix - correctly.
a21f62cc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/03 07:20
Treat generated/mhs.c as a binary file (no diff).
f2ad9bb9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/03 06:57
Kill warning.
47a5fa14
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/02 11:04
Prepare for quantified constraint
729bd2ed
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/01 08:35
Make => polykinded in the second argument.
5f90bba7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/01 07:17
More TypeLits stuff
f7e693fe
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/01 06:53
Some stuff for TypeLits
9b648b84
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 10:06
Add fundeps
d02b40c4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 10:06
Export asum
c3d5b2a4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 10:06
Add zip3
a92b259d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 08:18
Add lots of instances.
e17b0b42
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 20:11
More refactoring of the constraint solver.
27478248
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 19:34
Refactor constraint solver.
e7a6778e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 19:33
Add comment
4fa3fcaf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:50
Revert "Try more tests again."
e7c61a81
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:44
Try more tests again.
43462571
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:23
Revert "More tests on 32 bits"
529b301b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:18
More tests on 32 bits
6ee6740e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:11
Comment out the FArith test for now.
631e3e16
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:01
Use less heap with runtestmhs
b024dfe2
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/11/29 11:12
Merge pull request #7 from dmjio/emscripten-ci
258d576f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 10:46
Make Integer work with 32 bit words.
03ffe328
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 09:03
More comments.
d3bb1145
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 08:53
Disable problematic GC reduction.
03886e1c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 08:45
Regen
2367ff5c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 07:52
Add Data.Proxy
7b4ce0a5
– David Johnson <djohnson.m@gmail.com>
authored
on 2023/11/28 09:46
Adds emscripten Makefile and CI entries
7a658066
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/28 12:36
More fixes for float
a86b2bcd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/28 12:26
Test updates for 32 bit
bd52a299
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/28 10:18
Refactor.
e9035e07
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:56
Don't print extra stuff.
0249553f
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/11/27 16:49
Merge pull request #6 from dmjio/cc
56fef7b2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:38
Test fixes.
4f01480a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:34
More tests
30730a71
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:28
Add nfib to tests.
08fca0b1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:25
Start of Symbol kind.
645abd7e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 15:45
Another test.
7cf1c79a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 15:42
Fix problem with meta variables in dictionary arguments.
83038eb0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:59
Add aarch64
e0218782
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:38
More platforms
009c2c8b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:32
Fix typo
bf737faf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:31
Change test
0da422e2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:28
Reorder tests
98209f4e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:25
More test
c35085e2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:22
Test
Next