Skip to content

Activity

Showing most recent first

chore: Bump version to 0.2.1

fuzzypixelzpushed 1 commit to main • 6e07560…a78f487 • 
on Apr 13, 2024

fix: Incorrect README path in absolut crate

Force push
fuzzypixelzforce pushed to main • ba9d0f0…6e07560 • 
on Apr 13, 2024

chore: Bump version to 0.2.0

fuzzypixelzpushed 2 commits to main • 333b0d6…ba9d0f0 • 
on Apr 13, 2024

fix: Remove placeholder error messages (#11)

Pull request merge
fuzzypixelzpushed 1 commit to main • 1b82529…333b0d6 • 
on Apr 13, 2024

fix: Remove placeholder error messages

fuzzypixelzcreated fix/error-messages • 3d61497 • 
on Apr 13, 2024

style: Improve byte set syntax (#10)

Pull request merge
fuzzypixelzpushed 1 commit to main • ebe25f9…1b82529 • 
on Apr 13, 2024

fix: Change .. to mean an exclusive range

fuzzypixelzcreated enhance/syntax • 668c435 • 
on Apr 13, 2024

Add Rust documentation (#9)

Pull request merge
fuzzypixelzpushed 1 commit to main • d31b43b…ebe25f9 • 
on Apr 13, 2024

doc: Remove overly verbose usage of "The"

fuzzypixelzcreated doc/rust • 7d476ee • 
on Apr 13, 2024

doc: Add README (#6)

Pull request merge
fuzzypixelzpushed 1 commit to main • 57ab19a…d31b43b • 
on Apr 11, 2024

doc: Remove algorithm descriptions from README

fuzzypixelzpushed 1 commit to doc/readme • 8feea79…9ae080b • 
on Apr 11, 2024

doc: Rename "No SIMD lookup routines" to "SIMD lookup routines"

fuzzypixelzpushed 1 commit to doc/readme • aa01e51…8feea79 • 
on Mar 31, 2024

doc: Use code blocks in comment

fuzzypixelzpushed 1 commit to doc/readme • 8873673…aa01e51 • 
on Mar 31, 2024

doc: Wrap code comments

fuzzypixelzpushed 1 commit to doc/readme • 79cca5c…8873673 • 
on Mar 31, 2024

doc: Add "Algorithms", "Known issues" and "License" sections

fuzzypixelzpushed 1 commit to doc/readme • 3c54ac8…79cca5c • 
on Mar 31, 2024

doc: Add missing period in README

fuzzypixelzpushed 1 commit to doc/readme • 3cc89ef…3c54ac8 • 
on Mar 30, 2024

doc: Add acronym footnote in README

fuzzypixelzpushed 1 commit to doc/readme • 60eebbe…3cc89ef • 
on Mar 30, 2024

doc: Compact definition list in README

fuzzypixelzpushed 1 commit to doc/readme • 62edf5a…60eebbe • 
on Mar 30, 2024

doc: Add "How?" section in README

fuzzypixelzpushed 1 commit to doc/readme • 1cefde3…62edf5a • 
on Mar 30, 2024

doc: Make it clear that LUTs are SIMD optimized in README

fuzzypixelzpushed 1 commit to doc/readme • 8866bf5…1cefde3 • 
on Mar 30, 2024

doc: Add README "Why?" section

fuzzypixelzpushed 1 commit to doc/readme • 6c3a9ff…8866bf5 • 
on Mar 30, 2024

doc: Put definition items in a list

fuzzypixelzpushed 1 commit to doc/readme • a253226…6c3a9ff • 
on Mar 30, 2024

doc: README into from acronym

fuzzypixelzpushed 1 commit to doc/readme • 20734ce…a253226 • 
on Mar 30, 2024

doc: Explain acronym in README title

fuzzypixelzcreated doc/readme • 20734ce • 
on Mar 28, 2024

Replace Z3 with Varisat and add one_hot, one_cold, composite algorith…

Pull request merge
fuzzypixelzpushed 1 commit to main • 53c5e38…57ab19a • 
on Mar 28, 2024

chore: Guard solver module with sat feature

Force push
fuzzypixelzforce pushed to yeet-z3 • f0997b9…af2f6c0 • 
on Mar 28, 2024

chore: Guard solver module with sat feature

Force push
fuzzypixelzforce pushed to yeet-z3 • e1a8525…f0997b9 • 
on Mar 28, 2024

chore: Remove dead code, guard solver module with sat feature

Force push
fuzzypixelzforce pushed to yeet-z3 • 03c4ca1…e1a8525 • 
on Mar 28, 2024

chore: Remove dead code, guard solver module with sat feature

Force push
fuzzypixelzforce pushed to yeet-z3 • d80923a…03c4ca1 • 
on Mar 28, 2024

chore: Remove dead code, guard solver module with sat feature

fuzzypixelzpushed 1 commit to yeet-z3 • dd93fac…d80923a • 
on Mar 28, 2024