issues
search
filecoin-project
/
orient
↻Observe-Orient-Decide-Act↩
MIT License
18
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add api /model
#72
nicola
opened
4 years ago
0
colon in description causes parsing error
#71
porcuquine
opened
4 years ago
0
Don't capture loop variables in closure per-thread.
#70
porcuquine
closed
4 years ago
0
Add python3 to Dockerfile.
#69
porcuquine
closed
4 years ago
0
dump-vars endpoint should accept flags.
#68
porcuquine
opened
4 years ago
0
Improve error handling.
#67
porcuquine
closed
4 years ago
0
Print backtrace on errors in threads.
#66
porcuquine
closed
4 years ago
0
Lock cache hash-table when accessing.
#65
porcuquine
closed
4 years ago
0
Use hand-rolled parallelism for solve-many.
#64
porcuquine
closed
4 years ago
0
Solver
#63
porcuquine
closed
4 years ago
0
Improve solve-many output.
#62
porcuquine
closed
4 years ago
0
Add /dump-vars API endpoint.
#61
porcuquine
closed
4 years ago
0
Add dump-vars CLI command to get system name/description/types.
#60
porcuquine
closed
4 years ago
0
make variable descriptions/types extractable
#59
porcuquine
closed
4 years ago
0
BUGFIX: parsing
#58
porcuquine
closed
4 years ago
0
Feature Request: More debugging info
#57
nikkolasg
opened
4 years ago
1
Add Disk cache
#56
porcuquine
closed
4 years ago
0
Add disk cache
#55
porcuquine
closed
4 years ago
1
Improve handling of parallelism.
#54
porcuquine
closed
4 years ago
0
python3 installed in Dockerfile
#53
nikkolasg
closed
4 years ago
1
Solve CLI solutions on multiple threads, with promises.
#52
porcuquine
closed
4 years ago
0
Solve many server
#51
porcuquine
closed
4 years ago
0
Hotfix to CLI bug introduced in 214412b.
#50
porcuquine
closed
4 years ago
0
Solve many
#49
porcuquine
closed
4 years ago
0
Use AS-ARRAY-MEMBER to package independent solutions.
#48
porcuquine
closed
4 years ago
0
Add solve-many CLI option.
#47
porcuquine
closed
4 years ago
0
adding cors support
#46
nicola
closed
4 years ago
0
System server
#45
porcuquine
closed
4 years ago
0
External implementation
#44
porcuquine
closed
4 years ago
0
Alpha sort tuples in CLI output.
#43
porcuquine
closed
4 years ago
0
shared volume with docker image
#42
nikkolasg
closed
4 years ago
0
Improvements
#41
porcuquine
closed
5 years ago
0
Handle flags
#40
porcuquine
closed
5 years ago
0
Cli report
#39
porcuquine
closed
5 years ago
0
Add orient-lang CLI support, including graphs.
#38
porcuquine
closed
5 years ago
0
Syntax
#37
porcuquine
closed
5 years ago
0
Syntactic support for infix via CMU-INFIX.
#36
porcuquine
closed
5 years ago
0
Support unwrapping of nested constraints.
#35
porcuquine
closed
5 years ago
0
Zigzag theory
#34
porcuquine
closed
5 years ago
0
Zigzag theory
#33
porcuquine
closed
5 years ago
0
Use cl-dot.
#32
porcuquine
closed
5 years ago
0
Add more Slime setup to README.
#31
porcuquine
closed
5 years ago
0
Clean up tutorial.
#30
porcuquine
closed
5 years ago
0
Fixes
#29
porcuquine
closed
5 years ago
0
Add initial Orient tutorial and Ubercalc placeholders.
#28
porcuquine
closed
5 years ago
0
Allow passing project root from CLI and do so on Heroku.
#27
porcuquine
closed
5 years ago
0
Integrate benchmarks from rust-fil-proofs.
#26
porcuquine
closed
5 years ago
0
Add units to schema
#25
porcuquine
opened
5 years ago
0
Add storage throughput calculations and derive max proof-size/data-size ratio
#24
porcuquine
closed
4 years ago
1
Add CHEAPOREP calculations
#23
porcuquine
closed
4 years ago
1
Next