Stream Zipperposition

• ZipperPosition
• hello
• CC algorithm
• Zipperposition workshop 2019
• Next meeting (december/january)?
• release 1.6.1?
• Compiling on Mac
• CASC-J10
• minisat-ml
• Polymorphism
• Proof checker: λs & booleans
• HO techniques paper, or "should we delete orphans?"
• Regression tests
• code style
• Meeting 2019-10-7
• Compiling Zipperposition
• Very strange bug in Zip
• benchpress: benchmarking tool
• E(hoh) bug
• retrocompatibility
• stream events
• Name
• Finite domains
• use Dolmen for parsing
• Proof checker
• orphans?
• recent library updates
• clarifications
• LTB/GRUNGE
• Zipperposition meeting 2019-09-4
• Move the project? [done]
• programmers
• Tooling for multiple projects?
• Logo
• Msat_tseitin
• Meeting (november)
• Polymorphic ArgCong
• Lightweight AVATAR
• CASC-27
• CASC system description
• Make parsers/printers simpler
• CASC registration
• Access rights
• --unif-bool
• Code cleanup for 1.6
• Merge back into master
• Release 1.6
• Performance
• Documentation
• SimplSet
• ElimPredVars
• release 2.0
• CNF Proof checking
• Zipperposition meeting
• Isabelle
• cached properties
• HO techniques paper
• Orphans & Immediate simplification in Zip
• Avatar proof reconstruction
• Output format (TSTP)
• meeting 2020-02-18
• cleaning Zip
• MSat tseitin
• combinators
• sequences