sorear/smetamath-rs issues and pull requests

#41 - fixing compiler warning of newest rust version

Pull Request - State: open - Opened by josojo over 1 year ago - 2 comments

#40 - Add simple CI pipeline via GitHub actions

Pull Request - State: open - Opened by david-a-wheeler almost 4 years ago - 3 comments

#39 - Remove unnecessary clone() calls

Pull Request - State: open - Opened by david-a-wheeler almost 4 years ago

#38 - Little fixes

Pull Request - State: closed - Opened by david-a-wheeler almost 4 years ago - 6 comments

#37 - Update Cargo.toml SPDX format and lock file

Pull Request - State: open - Opened by david-a-wheeler almost 4 years ago

#36 - Write all errors to stderr

Issue - State: open - Opened by digama0 over 8 years ago

#35 - Soft DV errors in verify

Issue - State: open - Opened by digama0 over 8 years ago

#34 - add support for reading packed/explicit proofs

Pull Request - State: open - Opened by digama0 over 8 years ago - 2 comments

#33 - add proof output for normal, packed or explicit

Pull Request - State: closed - Opened by digama0 over 8 years ago

#32 - Export mmp

Pull Request - State: closed - Opened by digama0 over 8 years ago - 3 comments

#31 - Add $j parsing

Issue - State: open - Opened by digama0 over 8 years ago

#30 - Add one line error view marking the span a la SMM2

Pull Request - State: closed - Opened by digama0 over 8 years ago

#29 - use wrapping arithmetic, increase buffer size to 256

Pull Request - State: closed - Opened by digama0 over 8 years ago

#28 - fix statement start location for error handling

Pull Request - State: closed - Opened by digama0 over 8 years ago - 2 comments

#27 - Trim statement spans in error messages

Issue - State: closed - Opened by digama0 over 8 years ago - 1 comment

#26 - more minor changes

Pull Request - State: closed - Opened by digama0 over 8 years ago

#25 - revert invalid deref uses

Pull Request - State: closed - Opened by digama0 over 8 years ago

#24 - Make SegmentRef directly iterable (as a list of statements)

Pull Request - State: closed - Opened by digama0 over 8 years ago - 1 comment

#23 - add Deref impls for *Ref structs

Pull Request - State: closed - Opened by digama0 over 8 years ago - 6 comments

#22 - parallel parsing mishandles repeated includes

Issue - State: open - Opened by sorear over 8 years ago

#21 - replace bits_per_word with an actual constant function

Pull Request - State: closed - Opened by digama0 over 8 years ago - 7 comments

#20 - random style changes, take 2

Pull Request - State: closed - Opened by digama0 over 8 years ago - 1 comment

#19 - random minor style changes

Pull Request - State: closed - Opened by digama0 over 8 years ago - 9 comments

#18 - Should we remove the hybrid mode from database parsing?

Issue - State: open - Opened by sorear over 8 years ago - 3 comments

#17 - Do a better job of accounting for secondary errors

Issue - State: open - Opened by sorear over 8 years ago

#16 - Thread queue: signal threads to exit when Executor goes out of scope

Issue - State: open - Opened by sorear over 8 years ago

#15 - Show line numbers (and file names?) in error messages

Issue - State: closed - Opened by digama0 over 8 years ago - 4 comments

#14 - Return exit codes

Issue - State: open - Opened by david-a-wheeler over 8 years ago

#13 - Intelligently default --jobs and --split

Issue - State: open - Opened by sorear over 8 years ago - 2 comments

#12 - Implement PACKED and EXPLICIT format

Issue - State: open - Opened by sorear over 8 years ago

#11 - Ideas for finer-grained dependency tracking

Issue - State: open - Opened by sorear over 8 years ago

#10 - Port the file splitter from smm2

Issue - State: open - Opened by sorear over 8 years ago

#9 - Proof API

Issue - State: open - Opened by sorear over 8 years ago - 4 comments

#8 - Copy the WRITE SOURCE /FORMAT algorithm

Issue - State: open - Opened by sorear over 8 years ago

#7 - Build out the modification API

Issue - State: open - Opened by sorear over 8 years ago - 1 comment

#6 - Try to get it running on emscripten/binaryen and port smm-webui

Issue - State: open - Opened by sorear over 8 years ago - 4 comments

#5 - Add an outline extractor

Issue - State: open - Opened by sorear over 8 years ago

#4 - Document the design and start deciding which parts of the internal API are "stable"

Issue - State: open - Opened by sorear over 8 years ago - 1 comment

#3 - Add a grammatical analyser

Issue - State: open - Opened by sorear over 8 years ago - 2 comments

#2 - Pretty error formatting, with wrapping and colors

Issue - State: open - Opened by sorear over 8 years ago

#1 - Create a battery of input/output tests comparable to SMM2

Issue - State: open - Opened by sorear over 8 years ago

GitHub / sorear/smetamath-rs issues and pull requests