Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2020

• proofs: add ROOT for c-refinement and ROOTS for cogent

  Show description for 8a72f22
  vjackson725

  committed
  8a72f22

  Copy full SHA for 8a72f22

Commits on Feb 18, 2020

• Merge pull request au-ts#353 from NICTA/log-tactic-timings

  Show description for b9ad128
  emmet-m

  authored
  b9ad128

  Copy full SHA for b9ad128

• misc: add dist-newstyle to gitignore

  vjackson725

  committed
  3053119

  Copy full SHA for 3053119

• Merge branch 'log-tactic-timings' of github.com:NICTA/cogent into log-tactic-timings

  emmet-m

  committed
  4d06978

  Copy full SHA for 4d06978

Commits on Feb 10, 2020

• Ignore particular files

  emmet-m

  committed
  e6ea9f6

  Copy full SHA for e6ea9f6

Commits on Feb 5, 2020

• compiler: merge master

  emmet-m

  committed
  d46b92c

  Copy full SHA for d46b92c

Commits on Feb 4, 2020

• testing: Added subtyping tests config and new test for SinkFloat

  

  emmet-m

  authored and

  Zilin Chen

  committed
  6ab4262

  Copy full SHA for 6ab4262

Commits on Jan 11, 2020

• docs: added rudimentary verification documentation

  

  emmet-m

  authored and

  Zilin Chen

  committed
  7092581

  Copy full SHA for 7092581

Commits on Jun 25, 2019

• Ignore particular files

  emmet-m

  committed
  a7d1995

  Copy full SHA for a7d1995

Commits on Jun 4, 2019

• Added logging to ascii and added autocorres to gitignore

  emmet-m

  committed
  9694789

  Copy full SHA for 9694789

Commits on Apr 16, 2019

• gitignore: don't track generated files

  Show description for 54b4f07
  amosr

  committed
  54b4f07

  Copy full SHA for 54b4f07

Commits on Aug 14, 2018

• proof: actually add ML_Old and fix gitignore

  vjackson725

  committed
  7db734f

  Copy full SHA for 7db734f

Commits on Feb 19, 2018

• impl: Fix build issues on Linux

  ajaysusarla

  committed
  2c4c786

  Copy full SHA for 2c4c786

Commits on Feb 25, 2017

• FAT Cleanup

  Show description for bddd03e
  

  Abdul Zreika

  committed
  bddd03e

  Copy full SHA for bddd03e

• Implemented logic of all VFAT-specific functions in Cogent.

  

  Abdul Zreika

  committed
  7642ad9

  Copy full SHA for 7642ad9

Commits on Feb 21, 2017

• Add a few Cogent examples to help new starters. (au-ts#66)

  Show description for 5d132bd
  

  azreika

  authored and

  Zilin Chen

  committed
  5d132bd

  Copy full SHA for 5d132bd

Commits on Nov 29, 2016

• add .stack-work to ignore

  

  Zilin Chen

  authored and

  Zilin Chen

  committed
  e3b01bd

  Copy full SHA for e3b01bd

Commits on Nov 10, 2016

• Code reorganisation.

  Show description for 3547896
  

  ajaysusarla

  authored and

  Zilin Chen

  committed
  3547896

  Copy full SHA for 3547896

Commits on Jun 9, 2016

• [ext2]: Cogent ext2 implementation.

  Show description for 787b82b
  

  Zilin Chen

  authored and

  Zilin Chen

  committed
  787b82b

  Copy full SHA for 787b82b

Commits on May 2, 2016

• add .gitignore file

  

  Zilin Chen

  authored and

  Zilin Chen

  committed
  0c3b239

  Copy full SHA for 0c3b239

Loading