issues
search
Orbis-Tertius
/
osl
Apache License 2.0
2
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Constant folding
#45
morganthomas
opened
1 year ago
0
FKV: Stage 6 (semicircuit to logic circuit) semantics and argument conversion
#44
morganthomas
closed
1 year ago
0
Argument fixes: remove an unnecessary lookup argument and add missing ones
#43
morganthomas
closed
1 year ago
0
Deduplicate lookup arguments
#42
morganthomas
closed
1 year ago
0
Trace type metrics
#41
morganthomas
closed
1 year ago
0
More useful output
#40
morganthomas
closed
1 year ago
0
Narrow chip
#39
morganthomas
closed
1 year ago
0
Optimization: Combine like function quantifiers
#38
morganthomas
opened
2 years ago
0
Revert "Delete LICENSE"
#37
moreSocratic
closed
2 years ago
0
Issue/31 top and bottom
#36
morganthomas
closed
2 years ago
0
Add Haskell language server support
#35
morganthomas
opened
2 years ago
4
Use free variable bounds to add fixed bounds for instance variables to logic circuits
#34
morganthomas
opened
2 years ago
1
Reduced length byte decompositions
#33
morganthomas
closed
2 years ago
0
Better output
#32
morganthomas
closed
2 years ago
0
Add top and bottom to OSL
#31
morganthomas
opened
2 years ago
0
Semicircuit to logic circuit
#30
morganthomas
closed
2 years ago
0
add some ci nix
#29
morganthomas
closed
2 years ago
0
Lint & flake overhaul
#28
morganthomas
closed
2 years ago
0
Semicircuits
#27
morganthomas
closed
2 years ago
0
Carry around bounds on variables
#26
morganthomas
opened
2 years ago
1
Issue/13 - simplify Map type
#25
morganthomas
closed
2 years ago
0
Issue/19 - native field type
#24
morganthomas
closed
2 years ago
0
Issue/18 - FRI
#23
morganthomas
closed
2 years ago
0
Issue/20 - set and function table literals
#22
morganthomas
closed
2 years ago
0
Allow arguments inline in declarations
#21
morganthomas
opened
2 years ago
0
Add set and function literals
#20
morganthomas
closed
2 years ago
1
Introduce a scalar field type for using native field arithmetic directly
#19
morganthomas
closed
2 years ago
1
Add FRI verifier spec
#18
morganthomas
closed
2 years ago
1
Issue/9 - Permutations
#17
morganthomas
closed
2 years ago
0
iff
#16
morganthomas
closed
2 years ago
0
Add property testing of denotational correctness of TinyRAM spec
#15
morganthomas
opened
2 years ago
0
Document syntax and semantics
#14
morganthomas
opened
2 years ago
0
Add extra conditions for map quantification
#13
morganthomas
closed
2 years ago
1
readme
#12
morganthomas
closed
2 years ago
0
Improve error message formatting
#11
morganthomas
opened
2 years ago
0
Tinyram spec
#10
morganthomas
closed
2 years ago
0
Add permutation quantifier
#9
morganthomas
closed
2 years ago
2
Write a readme
#8
morganthomas
closed
2 years ago
1
Add "if and only if"
#7
morganthomas
closed
2 years ago
1
Name shadowing bug
#6
morganthomas
closed
2 years ago
1
Introduce bound inference
#5
morganthomas
closed
2 years ago
1
Update OSL to use bounded quantifiers
#4
morganthomas
closed
2 years ago
1
Issue/2 - faster parsing
#3
morganthomas
closed
2 years ago
0
Make parser faster
#2
morganthomas
closed
2 years ago
1
Make sure tokenizer correctly parses a name which starts with a keyword
#1
morganthomas
closed
2 years ago
1