Commits · master · Arjan Adriaanse / mcpd-ad · GitLab

Snippets Groups Projects

Feb 04, 2020
- Expanded finiteDifferences to work for more types of input · 1955d620
  Kole,A.H. (Arnold) authored 5 years ago
  
  1955d620
- Added type checking to wrapper + StackMachine New for pairs of reals · 4b76e320
  Kole,A.H. (Arnold) authored 5 years ago
  
  4b76e320
Jan 29, 2020
- Working on wrapper, readme, rename Numerical · 3b2150b5
  annaproxy authored 5 years ago
  
  3b2150b5
Jan 28, 2020
- rename abstract machines · 2abe8266
  Arjan Adriaanse authored 5 years ago
  
  2abe8266
Jan 27, 2020
- Fixed finiteDifferences for neuralnet1 + fixed small error in AbstractMachine2 · 5f4480c2
  Kole,A.H. (Arnold) authored 5 years ago
  
  5f4480c2
- Fixed evaluation of maps, folds, zips, etc. · b2b58bc7
  Kole,A.H. (Arnold) authored 5 years ago
  
  b2b58bc7
- Completed AbstractMachine2 rules. Map and ZipWith not yet working · 38294886
  Kole,A.H. (Arnold) authored 5 years ago
  
  38294886
- First work on E-machine like abstract machine · 34cf9c97
  Kole,A.H. (Arnold) authored 5 years ago
  
  34cf9c97
- Add two examples · 22b7a769
  annaproxy authored 5 years ago
  
  22b7a769
Jan 26, 2020
- Cleaning, adding examples, adding readme · f4d4423b
  annaproxy authored 5 years ago
  
  f4d4423b
Jan 23, 2020
- undo removal of real constructor in negate · 8d05d607
  Arjan Adriaanse authored 5 years ago
  
  8d05d607
Jan 22, 2020
- remove redundant constructor call and use product in power sugar · 54d0134e
  Arjan Adriaanse authored 5 years ago
  
  54d0134e
- Added parabola example for demo · d7b2b9d0
  Kole,A.H. (Arnold) authored 5 years ago
  
  d7b2b9d0
- Added power sugar + neuralnet1 example · a8eff1f5
  Kole,A.H. (Arnold) authored 5 years ago
  
  a8eff1f5
Jan 20, 2020
- Fixed type checking of CArray + added layer example + changed lookup sugar · c538a897
  Kole,A.H. (Arnold) authored 5 years ago
  
  c538a897
- add more examples and implement finite differences for arrays · 1de803c6
  Arjan Adriaanse authored 5 years ago
  
  1de803c6
- fix zip order and improve error reporting · da6136db
  Arjan Adriaanse authored 5 years ago
  
  da6136db
Jan 18, 2020
- fix composition evaluation · 8bf39ec9
  Arjan Adriaanse authored 5 years ago
  
  8bf39ec9
Jan 16, 2020
- First version of Test with finiteDifferences · 3a33615a
  Kole,A.H. (Arnold) authored 5 years ago
  
  3a33615a
- Added Annotate to cabal file · ac51842d
  Kole,A.H. (Arnold) authored 5 years ago
  
  ac51842d
- fix error in comp typechecking · 3984a120
  Arjan Adriaanse authored 5 years ago
  
  3984a120
- finish annotate implementation · 26bdfcab
  Arjan Adriaanse authored 5 years ago
  
  26bdfcab
Jan 15, 2020
- Type netjes maken · 11791d4d
  annaproxy authored 5 years ago
  
  11791d4d
- Elementwise operators now work in abstractmachine · cca3b30b
  annaproxy authored 5 years ago
  
  cca3b30b
- Work in progress for Comp · a3e162e0
  annaproxy authored 5 years ago
  
  a3e162e0
- Add zip in abstract machine and pretty print · 849ddcbe
  annaproxy authored 5 years ago
  
  849ddcbe
Jan 14, 2020
- Added ZipWith+Comp to typecheck (compilation test needed) · 946cd532
  Arnold Kole authored 5 years ago
  
  946cd532
- Arrays are now differentiable · f19e098c
  annaproxy authored 5 years ago
  
  f19e098c
- Fst snd · fdf4a689
  annaproxy authored 5 years ago
  
  fdf4a689
- Added ZipWith and function composition in Language and Algebras · dbbf4b33
  annaproxy authored 5 years ago
  
  dbbf4b33
- Added sugar for Fst and Snd functions · 865ad286
  Kole,A.H. (Arnold) authored 5 years ago
  
  865ad286
- Merge branch 'master' of git.science.uu.nl:arjan/mcpd-ad · d622d31a
  Kole,A.H. (Arnold) authored 5 years ago
  
  d622d31a
- Added example of Logistic Regression · 19223b8b
  Kole,A.H. (Arnold) authored 5 years ago
  
  19223b8b
Jan 13, 2020
- wip · 5b2cb745
  annaproxy authored 5 years ago
  
  5b2cb745
- remove type monad in abstractmach · 41fa54dd
  annaproxy authored 5 years ago
  
  41fa54dd
- add spaces · 553149c7
  annaproxy authored 5 years ago
  
  553149c7
- Merge branch 'unknown-alpha' into 'master' · a0644b66
  Arjan Adriaanse authored 5 years ago
  
  Resolve "Deal with unknown variables during alphaRenaming" Closes #2 See merge request !1
  a0644b66
- improve error reporting in alpha renaming · 2f7f5242
  Arjan Adriaanse authored 5 years ago
  
  2f7f5242
Jan 09, 2020
- adjust type checking for typed binary operators · c6620614
  Arjan Adriaanse authored 5 years ago
  
  c6620614
- Added first version of type checking · d27df2fa
  Kole,A.H. (Arnold) authored 5 years ago and Arjan Adriaanse committed 5 years ago
  
  d27df2fa