Commits · build-script · Informatik 8 / CoPaR · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

Jul 29, 2018
- Use posix sh function definition syntax in build script · ee39e382
  Hans-Peter Deifel authored 6 years ago
  
  ee39e382
- Use /usr/bin/env as interpreter in build script · e4979401
  Hans-Peter Deifel authored 6 years ago
  
  e4979401
Jul 26, 2018
- Add build script that wraps stack · d0815e4d
  Hans-Peter Deifel authored 6 years ago
  
  d0815e4d
- stack.yaml: Use latest hspec-megaparsec · f3f4112f
  Hans-Peter Deifel authored 6 years ago
  f3f4112f
- Clean and speed up whitespace parsing · 7ffafe17
  Hans-Peter Deifel authored 6 years ago
  7ffafe17
Jul 25, 2018
- Add tests for current comment behaviour of lexer · 555e22ff
  Hans-Peter Deifel authored 6 years ago
  
  555e22ff
- Speed up Lexer.float by over 300% · 73373d6b
  Hans-Peter Deifel authored 6 years ago
  73373d6b
- Speed up Lexer.decimal · d45c15d0
  Hans-Peter Deifel authored 6 years ago
  d45c15d0
- Speed up Lexer.signed · b91c2ae9
  Hans-Peter Deifel authored 6 years ago
  b91c2ae9
Jul 24, 2018
- Add micro-benchmarks for lexer · b7d3c264
  Hans-Peter Deifel authored 6 years ago
  b7d3c264
- Specialize parser monad in parseMorphismPoint · e6ca3a62
  Hans-Peter Deifel authored 6 years ago
  e6ca3a62
- Add benchmarks for MonoidValued morphism parser · f20aef98
  Hans-Peter Deifel authored 6 years ago
  
  f20aef98
- Move benchmark modules to deeper hierarchy · d8f5dbe1
  Hans-Peter Deifel authored 6 years ago
  d8f5dbe1
- Build (don't run) benchmarks in CI · 5ec83b50
  Hans-Peter Deifel authored 6 years ago
  
  5ec83b50
Jul 23, 2018
- Inline helper functions in Coalgebra.Parser · e0ff4214
  Hans-Peter Deifel authored 6 years ago
  
  e0ff4214
- Add a few strictness annotations · acaeffbc
  Hans-Peter Deifel authored 6 years ago
  
  acaeffbc
- Add SPECIALIZE pragma to parseMorphismPointHelper · 1b22b1ea
  Hans-Peter Deifel authored 6 years ago
  1b22b1ea
- Actually commit benchmarks · b3e3fb74
  Hans-Peter Deifel authored 6 years ago
  b3e3fb74
- Remove product functor · 8182aa5a
  Hans-Peter Deifel authored 6 years ago
  8182aa5a
- Use vectors instead of lists as result for parseMorphismPoint · 0f631281
  Hans-Peter Deifel authored 6 years ago
  
  0f631281
- Implement NFData for for Label and H1 of SomeFunctor · e2fc7b4e
  Hans-Peter Deifel authored 6 years ago
  e2fc7b4e
- Improve speed of name parser · 4c51fd56
  Hans-Peter Deifel authored 6 years ago
  
  4c51fd56
- Use strict state monad for morphism parsing · 5b4b943c
  Hans-Peter Deifel authored 6 years ago
  
  5b4b943c
- Inline lexer combinators · 4ae76e76
  Hans-Peter Deifel authored 6 years ago
  4ae76e76
- Add a micro-benchmark suite · c815cc81
  Hans-Peter Deifel authored 6 years ago
  c815cc81
Jul 22, 2018
- Fix constant parsing for sets with shared prefix · 3dbd6c55
  Hans-Peter Deifel authored 6 years ago
  3dbd6c55
Jul 21, 2018
- Add some tests for the symbol table · b38dd561
  Hans-Peter Deifel authored 6 years ago
  
  b38dd561
- Make parsing errors a bit more descriptive · a3bff752
  Hans-Peter Deifel authored 6 years ago
  
  a3bff752
Jul 20, 2018
- Allow to use finite integer sets as exponent · 26dd5fe4
  Hans-Peter Deifel authored 6 years ago
  26dd5fe4
- Allow to use bounded naturals as set for constants · 4c477911
  Hans-Peter Deifel authored 6 years ago
  4c477911
- Allow to use all naturals as set for constants · 5b50f0a5
  Hans-Peter Deifel authored 6 years ago
  5b50f0a5
- Allow to use all integers as set for constants · 9937c6cf
  Hans-Peter Deifel authored 6 years ago
  9937c6cf
- Remove unused imports · dcf0bb82
  Hans-Peter Deifel authored 6 years ago
  
  dcf0bb82
Jul 19, 2018
- Allow unicode for multiplication symbol · 519c317a
  Hans-Peter Deifel authored 6 years ago
  
  519c317a
- Merge branch 'feature/exponentials' · adf60b5e
  Hans-Peter Deifel authored 6 years ago
  
  adf60b5e
- Implement functor expression parser for exponentials · ed837097
  Hans-Peter Deifel authored 6 years ago
  
  ed837097
- Clean up and document exponential implementation · c41fa7c7
  Hans-Peter Deifel authored 6 years ago
  
  c41fa7c7
- Add test for refinement of exponentials · 1491d322
  Hans-Peter Deifel authored 6 years ago
  
  1491d322
Jul 18, 2018
- Add tests for morphism parser for exponential · bced57f5
  Hans-Peter Deifel authored 6 years ago
  
  bced57f5
- Implement morphism parser for exponentials · d4ec4bfa
  Hans-Peter Deifel authored 6 years ago
  d4ec4bfa