Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
C
CoPaR
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Software
CoPaR
Compare revisions
Compare revisions
Changes are shown as if the
source
revision was being merged into the
target
revision.
Learn more about comparing revisions.
Source
software/copar
Select target project
No results found
fc571ea6126cd8c03355f2b718c2ad245c1d15ba
Select Git revision
Branches
Comments_to_help_Silas_understand_the_Alg
FunctorDescription
Master-Distributed-Merge
ParseMorphism
Predetermine-unstable-states
SylvanSymbolic
Windows-Fixed-(-)
absorbing-poly-minimize
bench-hex
bench-partition
bench-split
benchmarks-ci
build-script
certificates
ci
ci-artifacts
ci-stack
ci-test
debug-partition-size
defined-twice
deps
distci
distrib-tmp
distributed
double-round
eliminate-lists
eliminate-lists2
fb-signatures-simple
fb-signatures-simple_stack-ghci
features/complex-numbers
features/disable-sanity
features/double-max-monoid
features/elim-functor-subterms
features/list-functors
features/somefunctor-any
features/somefunctor-tagged
features/true-monoids
features/valmari-dfa
fixed-DFA
fixes
flexible-functors
functors-take2
ghc-8.4
ghc-8.4.4
ghc-8.8
group-valued-int
group-weight
h-to-f
h1-initialize
init-time
linux-bin-artifacts
main-refactor
master
mcrl2-converter
megaparsec-7
mini-tests-cleanup
minimize
minimize-timing
more-h-to-f
new-monoids
new-parser
noSort
omit-braces
opt/groupBy
otimizations
poly-opt
poly-print-sort
poly-speedup
polynomial_syntax
powerset-bitweight
powerset-weight
primitive-version
print-as-debug-command
print-functor
product
random-dfa
ratio-syntax
rationals
reachability
release
release-ci
remove-pretty
rename
restrictPartition
rigrag
scratch/debug-ap-memusage
scratch/performance
scratch/subterm-elemination
specialization
ss2
stack
sumbag
sylvan-c-improvements
sylvansymbolic
symbolic
symbolic-bdd-save
symbolic-io-improvements
symci
syntax-doc
t-beg-example
100 results
Swap
Target
software/copar
Select target project
software/copar
1 result
master
Select Git revision
Branches
Comments_to_help_Silas_understand_the_Alg
FunctorDescription
Master-Distributed-Merge
ParseMorphism
Predetermine-unstable-states
SylvanSymbolic
Windows-Fixed-(-)
absorbing-poly-minimize
bench-hex
bench-partition
bench-split
benchmarks-ci
build-script
certificates
ci
ci-artifacts
ci-stack
ci-test
debug-partition-size
defined-twice
deps
distci
distrib-tmp
distributed
double-round
eliminate-lists
eliminate-lists2
fb-signatures-simple
fb-signatures-simple_stack-ghci
features/complex-numbers
features/disable-sanity
features/double-max-monoid
features/elim-functor-subterms
features/list-functors
features/somefunctor-any
features/somefunctor-tagged
features/true-monoids
features/valmari-dfa
fixed-DFA
fixes
flexible-functors
functors-take2
ghc-8.4
ghc-8.4.4
ghc-8.8
group-valued-int
group-weight
h-to-f
h1-initialize
init-time
linux-bin-artifacts
main-refactor
master
mcrl2-converter
megaparsec-7
mini-tests-cleanup
minimize
minimize-timing
more-h-to-f
new-monoids
new-parser
noSort
omit-braces
opt/groupBy
otimizations
poly-opt
poly-print-sort
poly-speedup
polynomial_syntax
powerset-bitweight
powerset-weight
primitive-version
print-as-debug-command
print-functor
product
random-dfa
ratio-syntax
rationals
reachability
release
release-ci
remove-pretty
rename
restrictPartition
rigrag
scratch/debug-ap-memusage
scratch/performance
scratch/subterm-elemination
specialization
ss2
stack
sumbag
sylvan-c-improvements
sylvansymbolic
symbolic
symbolic-bdd-save
symbolic-io-improvements
symci
syntax-doc
t-beg-example
100 results
Show changes
Only incoming changes from source
Include changes to target since source was created
Compare