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.08Apr126Mar20141313Feb125Dec429Nov282323Oct223Sep15Aug1298719Jul17161519Jun1154329May2823864Apr119Mar188522Feb30Jan29262423191817108529Dec282125Nov19Oct1820Jul13May17Feb1013Jan923Dec1923Aug21191811Jul932126Jun2524232120192Dec29Nov2626Aug730Jul161510923Jun231May282726252419107128Apr2622212016151413Make `cong` more flexible.partial-congpartial-congRule: distinct_elimmastermasterMerge branch 'fixes_mallku' into 'master'Fixing back the AletheVerb indentationdevel/pseudoboo…devel/pseudoboolean-bitblastingAdd 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 ruleMerge branch 'add/or_intro' into 'master'Add reordering ruleMake the description of the comp_simplify rule cleareradd/or_introadd/or_introMerge branch 'add/or_intro' into 'master'Suggestion to make comp_simplify rule easier to understandcomp_simplifycomp_simplifyRename or_intro to weakening