Skip to content

Issues: sorear/smetamath-rs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 2 Closed
21 Open 2 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Write all errors to stderr
#36 opened Jul 17, 2016 by digama0
Soft DV errors in verify
#35 opened Jul 11, 2016 by digama0
Add $j parsing
#31 opened Jul 7, 2016 by digama0
parallel parsing mishandles repeated includes
#22 opened Jul 3, 2016 by sorear
Should we remove the hybrid mode from database parsing?
#18 opened Jun 27, 2016 by sorear
3
Do a better job of accounting for secondary errors
#17 opened Jun 27, 2016 by sorear
Thread queue: signal threads to exit when Executor goes out of scope
#16 opened Jun 27, 2016 by sorear
Return exit codes
#14 opened Jun 26, 2016 by david-a-wheeler
Intelligently default --jobs and --split
#13 opened Jun 26, 2016 by sorear
2
Implement PACKED and EXPLICIT format
#12 opened Jun 26, 2016 by sorear
Ideas for finer-grained dependency tracking
#11 opened Jun 26, 2016 by sorear
Port the file splitter from smm2
#10 opened Jun 26, 2016 by sorear
Proof API
#9 opened Jun 26, 2016 by sorear
4
Copy the WRITE SOURCE /FORMAT algorithm
#8 opened Jun 26, 2016 by sorear
Build out the modification API
#7 opened Jun 26, 2016 by sorear
1
Try to get it running on emscripten/binaryen and port smm-webui
#6 opened Jun 26, 2016 by sorear
4
Add an outline extractor
#5 opened Jun 26, 2016 by sorear
Document the design and start deciding which parts of the internal API are "stable"
#4 opened Jun 26, 2016 by sorear
1
Add a grammatical analyser
#3 opened Jun 26, 2016 by sorear
2
Pretty error formatting, with wrapping and colors
#2 opened Jun 26, 2016 by sorear
Create a battery of input/output tests comparable to SMM2
#1 opened Jun 26, 2016 by sorear
@sorear
ProTip! Type g i on any issue or pull request to go back to the issue listing page.