schaeff/pilspector issues and pull requests

#59 - Mem align const

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#58 - implement from lookups as implications

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#57 - Update zkevm pil files to ee7f78

Pull Request - State: closed - Opened by Schaeff almost 2 years ago - 1 comment

#56 - more constants for Mem

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#55 - unary minus

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#54 - DRAFT: Arith query

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#53 - Allow any Into<Name> when creating a Polynomial

Pull Request - State: closed - Opened by Schaeff almost 2 years ago - 2 comments

#52 - Fix array conversion and allow str keys.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#51 - attempt at finishing binary

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#50 - extract determinism

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#49 - The operator must be div, not /.

Pull Request - State: closed - Opened by lvella almost 2 years ago

#48 - Use auxiliary functions in constant predicates

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#47 - Actually using the BTree for the search.

Pull Request - State: closed - Opened by lvella almost 2 years ago

#46 - Untangle

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#45 - Constrain row to non-negative and fix constant impl.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#44 - Refactor machine

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#43 - Support "next" constants.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#42 - Add Binary.RESET constant.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#41 - Update readme

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#40 - CLI rows

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#39 - fix row order bug

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago - 1 comment

#38 - Evaluate constants

Pull Request - State: closed - Opened by chriseth almost 2 years ago - 1 comment

#37 - Include some missed constants.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#36 - Constants file

Pull Request - State: closed - Opened by chriseth almost 2 years ago - 2 comments

#35 - Smt more constants

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago - 1 comment

#34 - improve result format

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#33 - Merge main, fix conflicts

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#32 - Queries for arith

Issue - State: open - Opened by chriseth almost 2 years ago

#31 - Clippy.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#30 - Summarize constant lookups

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#29 - SMT Query

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#28 - Simplify ast api

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#27 - Transparently loading either Pil or Json.

Pull Request - State: closed - Opened by lvella almost 2 years ago

#26 - Fix arith SMT

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#25 - Treating Exp (intermiediate polynomial) the same way as other references

Pull Request - State: closed - Opened by lvella almost 2 years ago

#24 - Finish arith

Pull Request - State: closed - Opened by chriseth almost 2 years ago - 1 comment

#23 - Extract constants

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#22 - Summarize lookups

Issue - State: closed - Opened by chriseth almost 2 years ago

#21 - [draft] Arith consts

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#20 - More flexible constants

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#19 - encode the state machine as a function

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#18 - export variable declarations and constraint definitions properly

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#17 - Support expressions in lookup.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#16 - Add arith.pil.json and test.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#15 - Some debugging output.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#14 - Smt expressions

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#13 - Some comments.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#12 - add index

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#11 - Read PIL files

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#10 - Pest parser

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#9 - Support arrays

Pull Request - State: closed - Opened by Schaeff almost 2 years ago - 2 comments

#8 - Basic analysis of PIL programs

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#7 - Use single Vec to display instead of formatter

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#6 - use smt exprs

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#5 - add main cmd for smt

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#4 - Use constants from configuration file

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#3 - Encode PIL into SMT

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#2 - Encode pil to smt2

Pull Request - State: closed - Opened by Schaeff almost 2 years ago

#1 - Add main and option to print json as pil

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

GitHub / schaeff/pilspector issues and pull requests