Commits

Branch selector

 develop

User selector

AlecsFerra

Datepicker

All time

Commit History

Commits on Jan 15, 2025

• Add location info

  AlecsFerra

  committed
  422dac2

  Copy full SHA for 422dac2

• Merge branch 'ucsd-progsys:develop' into develop

  AlecsFerra

  authored
  5d20a43

  Copy full SHA for 5d20a43

• Make error clearer

  AlecsFerra

  committed
  a6f2d84

  Copy full SHA for a6f2d84

• refactor out allowTC references from coretologic

  AlecsFerra

  committed
  467050b

  Copy full SHA for 467050b

• Improve error message for reflection without selector

  AlecsFerra

  committed
  ba72999

  Copy full SHA for ba72999

Commits on Jan 14, 2025

• Apply suggestions from code review

  Show description for d61e399
  

  AlecsFerra

  and

  facundominguez

  authored
  d61e399

  Copy full SHA for d61e399

• Mention --allow-unsafe-constructors in the error message for usafe constructors

  AlecsFerra

  committed
  4d70d12

  Copy full SHA for 4d70d12

• typo

  AlecsFerra

  committed
  3b6ee53

  Copy full SHA for 3b6ee53

• Add documentation for allow-unsafe-constructors

  AlecsFerra

  committed
  13fa421

  Copy full SHA for 13fa421

• Add a flag to allow unsafe ctor refinement

  AlecsFerra

  committed
  df43885

  Copy full SHA for df43885

Commits on Jan 10, 2025

• Make error in negative test explicit

  AlecsFerra

  committed
  4d69733

  Copy full SHA for 4d69733

• Apply suggestions from code review

  Show description for d461ed3
  

  AlecsFerra

  and

  facundominguez

  authored
  d461ed3

  Copy full SHA for d461ed3

• Merge branch 'ucsd-progsys:develop' into develop

  AlecsFerra

  authored
  31a8d59

  Copy full SHA for 31a8d59

• Allow only safe refinements of data constructors

  AlecsFerra

  committed
  24b415d

  Copy full SHA for 24b415d

Commits on Dec 16, 2024

• Point fixpoint to ucsd-progsys

  AlecsFerra

  committed
  f334d1b

  Copy full SHA for f334d1b

Commits on Dec 13, 2024

• Suggestion

  Show description for 8a8eb72
  

  AlecsFerra

  and

  facundominguez

  committed
  8a8eb72

  Copy full SHA for 8a8eb72

• Document make assume type

  

  AlecsFerra

  authored and

  facundominguez

  committed
  4474241

  Copy full SHA for 4474241

• Add some tests with lambdas

  

  AlecsFerra

  authored and

  facundominguez

  committed
  5202813

  Copy full SHA for 5202813

• Forward allowTC state in lambda body

  Show description for 3a00a55
  

  2 peopleauthored and

  facundominguez

  committed
  3a00a55

  Copy full SHA for 3a00a55

• WIP: point fp to my repo

  

  AlecsFerra

  authored and

  facundominguez

  committed
  5394857

  Copy full SHA for 5394857

• WIP: enable lambdas in c2l

  

  AlecsFerra

  authored and

  facundominguez

  committed
  0068285

  Copy full SHA for 0068285

• Actually refelct real poly functions

  

  AlecsFerra

  authored and

  facundominguez

  committed
  d3d3476

  Copy full SHA for d3d3476

Commits on Nov 11, 2024

• Use fail directive in test

  Show description for 6db3ffc
  

  AlecsFerra

  and

  facundominguez

  authored
  6db3ffc

  Copy full SHA for 6db3ffc

• Handle type alias + refinements

  AlecsFerra

  committed
  446d5c5

  Copy full SHA for 446d5c5

Commits on Oct 18, 2024

• Ops2

  AlecsFerra

  authored
  8cab46d

  Copy full SHA for 8cab46d

• Ops

  AlecsFerra

  authored
  a3aa7a9

  Copy full SHA for a3aa7a9

• Prove all the map fusion rewrite rules in test FuseMap.hs

  AlecsFerra

  authored
  be959ff

  Copy full SHA for be959ff

• Document eta beta and dependant case in the flag reference

  AlecsFerra

  committed
  07856d7

  Copy full SHA for 07856d7

• Fix: shell expansion

  AlecsFerra

  committed
  93559c1

  Copy full SHA for 93559c1

• Chore: implement some suggestions

  AlecsFerra

  committed
  26343c6

  Copy full SHA for 26343c6

Commits on Oct 17, 2024

• Apply suggestions from code review

  Show description for cbaa7af
  

  AlecsFerra

  and

  facundominguez

  authored
  cbaa7af

  Copy full SHA for cbaa7af

• Chore: implement some suggestions

  AlecsFerra

  committed
  83bfcf1

  Copy full SHA for 83bfcf1

• Try to update z3

  AlecsFerra

  authored
  abfde7f

  Copy full SHA for abfde7f

Commits on Oct 16, 2024

• Update liquidhaskell-boot/src/Language/Haskell/Liquid/Constraint/Env.hs

  Show description for 4f8782b
  

  AlecsFerra

  and

  facundominguez

  authored
  4f8782b

  Copy full SHA for 4f8782b

• Chore: apply some suggestions

  Show description for 8f1d724
  

  AlecsFerra

  and

  facundominguez

  authored
  8f1d724

  Copy full SHA for 8f1d724

Pagination

Previous

Next