issues
search
nim-works
/
phy
compiler and vm experiments
MIT License
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add the `skully` program
#70
zerbina
opened
6 hours ago
0
add a basic formal definition of the source language
#69
zerbina
opened
4 days ago
1
source2il: fix code generation for usage of locals
#68
zerbina
closed
1 week ago
0
lang: make procedures first-class
#67
zerbina
closed
2 days ago
2
lang: add the logical `And` and `Or` operators
#66
zerbina
closed
1 week ago
0
rename the `L10` language to `L30`
#65
zerbina
closed
3 weeks ago
0
rework the languages and passes below `L10`
#64
zerbina
closed
1 week ago
4
tests: replace some custom runners with `phy`
#63
zerbina
closed
3 weeks ago
0
ci: update MacOS runner
#62
zerbina
closed
3 weeks ago
0
add the `phy` CLI application
#61
zerbina
closed
3 weeks ago
2
lang: add user-defined procedure parameters
#60
zerbina
opened
1 month ago
2
pass4: fix `Rename` edge conflict resolution
#59
zerbina
closed
1 month ago
1
pass0: fix `BitAnd` and `BitOr` translation
#58
zerbina
closed
1 month ago
0
vm: fix `opcBitNot` validation
#57
zerbina
closed
1 month ago
0
pass0: omit unnecessary jumps
#56
zerbina
closed
1 month ago
0
lang: add locals and assignments
#55
zerbina
closed
1 month ago
2
pass10: fix nested loop data-flow analysis
#54
zerbina
closed
1 month ago
0
source2il: disallow using built-in name for declaration
#53
zerbina
closed
1 month ago
0
implement the `L25` intermediate language
#52
zerbina
closed
2 weeks ago
4
pass4: fix register allocation
#51
zerbina
closed
1 month ago
2
lang: add expression lists
#50
saem
closed
1 month ago
7
source2il: simpler `Expr` rules
#49
zerbina
closed
1 month ago
0
pass10: fix propagation of needed locals
#48
zerbina
closed
1 month ago
1
spec: prepare for variables and parameters
#47
zerbina
closed
1 month ago
1
lang: `If` expression support
#46
saem
closed
1 month ago
1
lang: add the `union` type
#45
zerbina
closed
1 month ago
1
lang: add type aliases
#44
zerbina
closed
1 month ago
2
source2il: remove `Asgn` lowering
#43
zerbina
closed
1 month ago
1
lang3: support aggregate assignments
#42
zerbina
closed
1 month ago
0
vm: fix load and store for floats
#41
zerbina
closed
1 month ago
0
passtool: implement the `gen-checks` command
#40
zerbina
closed
1 month ago
4
lang: add tuple access
#39
zerbina
closed
1 month ago
2
implement a reporting system
#38
zerbina
closed
2 months ago
2
pass4: fix locals not being processed
#37
zerbina
closed
2 months ago
0
lang: add tuple types and tuples
#36
zerbina
closed
2 months ago
0
lang: add `Unreachable` and `void` procedures
#35
zerbina
closed
2 months ago
1
vm: add `Unreachable` opcode
#34
zerbina
closed
2 months ago
0
The Road To Version 0
#33
zerbina
opened
2 months ago
2
lang: add and implement procedure declarations
#32
zerbina
closed
2 months ago
1
tester: implement `reject` feature
#31
zerbina
closed
2 months ago
1
source2il: separate `Context` creation
#30
zerbina
closed
2 months ago
0
spec: document calls, literals, and the `bool` type
#29
zerbina
closed
2 months ago
0
start with an in-text language specification
#28
zerbina
closed
2 months ago
0
implement a REPL for the source language
#27
zerbina
closed
2 months ago
0
source2il: target `L4`
#26
zerbina
closed
2 months ago
0
lang: implement `==`, `<=`, `<`, and `not` operators
#25
zerbina
closed
2 months ago
0
passtool: fix incorrect error positions
#24
zerbina
closed
2 months ago
0
passtool: report unused production rules
#23
zerbina
closed
2 months ago
0
tester: support S-expr output comparison
#22
zerbina
closed
2 months ago
0
add a higher-level IL to use as a target for `source2il`
#21
zerbina
closed
2 months ago
0
Next