Skip to content
Snippets Groups Projects
Select Git revision
  • add/bind_let
  • add/or_intro
  • add/shuffle
  • bv
  • comp_simplify
  • devel/alethelf
  • devel/bb2024
  • devel/bitblasting
  • devel/new-forall_inst
  • devel/pseudoboolean-bitblasting
  • devel/rules-index-arg
  • devel/thesis-backport
  • formal-semantic
  • master default
  • minted-2023-update
  • partial-cong
  • revert-c9505bb8
  • 0.3
  • 0.2
  • 0.1
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.010Apr8126Mar20141313Feb125Dec429Nov282323Oct223Sep15Aug1298719Jul17161519Jun1154329May2823864Apr119Mar188522Feb30Jan29262423191817108529Dec282125Nov19Oct1820Jul13May17Feb1013Jan923Dec1923Aug21191811Jul932126Jun2524232120192Dec29Nov2626Aug730Jul161510923Jun231May282726252419107128Apr2622212016151413Add example to clarify `pbblast_pbbconst`devel/pseudoboo…devel/pseudoboolean-bitblastingAdd short-circuit exampleFix minor typos and remove trailing zerosAdd Cutting Planes rules to Rule ListAdd PBBlasting rules to Rule ListAdded short-circuit comment to `pbblast_bveq`Make `cong` more flexible.partial-congpartial-congRule: distinct_elimmastermasterMerge branch 'fixes_mallku' into 'master'Fixing back the AletheVerb indentationAdd example to `pbblast_bveq` (partial)Add pseudo boolean bitblasting rulesAdd cutting planes rulesFormula formatting and planning insert locations of new rulesAdd pseudo-boolean reasoning and bitblasting sectionRemove settings and debugminted-2023-upd…minted-2023-updateReturn formatting of formulasAdd global latexminted config for CIAdd global latexminted config fileAdd conditional to import `minted` for all versionsUpdate the gitignore and settings for latex buildUpdating minted files and gitlab pipeline 2023Minor change in Contexts sectionMinor changes in rule distinct_elim, nary_elim, distinct_elim, and source code docu. in doc.texRevert "Merge branch 'add/shuffle' into 'master'"revert-c9505bb8revert-c9505bb8Merge branch 'add/shuffle' into 'master'Add shuffle ruleFix Carcara rule table labeladd/shuffleadd/shuffleAdd shuffle ruleAdd .bak to gitignoreMerge branch 'typo' into 'master'Fix typosUpdate README.mdMerge branch 'fixAndArgs' into 'master'Positional arguments start at 0.Merge branch 'add/bind_let' into 'master'Add bind_let to changelogadd/bind_letadd/bind_letAdapt bind_let example, cleanupApply 4 suggestion(s) to 1 file(s)Add bind_let rule