Commits

Branch selector

 main

User selector

certik

All time

Commit History

Commits on Jan 26, 2024

• Merge pull request lcompilers#2464 from Shaikh-Ubaid/fix_random2

  certik

  committedJan 26, 2024
  693afee

Commits on Jan 11, 2024

• Merge pull request lcompilers#2463 from barracuda156/ppc_assert

  certik

  committedJan 11, 2024
  30b5bfc

Commits on Jan 10, 2024

• Merge pull request lcompilers#2461 from barracuda156/apple

  certik

  committedJan 10, 2024
  53fb1d3

• Merge pull request lcompilers#2459 from barracuda156/ppc

  certik

  committedJan 10, 2024
  0d43cc4

Commits on Jan 7, 2024

• Merge pull request lcompilers#2453 from anutosh491/certik/dont_load_cptr

  certik

  committedJan 7, 2024
  1652163

• Only use ptr_loads = 0 if it is an argument

  

  certik

  authored and

  anutosh491

  committedJan 7, 2024
  84d73e7

• Do not load CPtr

  

  certik

  authored and

  anutosh491

  committedJan 7, 2024
  73953d6

Commits on Dec 14, 2023

• Merge pull request lcompilers#2445 from AkshayWarrier/akshaywarrier/implement-str-funcs

  certik

  committedDec 14, 2023
  c2ae7ac

Commits on Dec 6, 2023

• Merge pull request lcompilers#2438 from anutosh491/main

  certik

  committedDec 6, 2023
  0a79bf5

Commits on Dec 4, 2023

• Merge pull request lcompilers#2437 from anutosh491/gruntz_01

  certik

  committedDec 4, 2023
  4150db6

Commits on Nov 29, 2023

• Merge pull request lcompilers#2430 from Thirumalai-Shaktivel/symbolic_02

  certik

  committedNov 29, 2023
  20b249e

• Merge pull request lcompilers#2436 from ujjwaltwitx/documentation_update

  certik

  committedNov 29, 2023
  56b300b

Commits on Nov 12, 2023

• Merge pull request lcompilers#2421 from anutosh491/remove_return

  certik

  committedNov 12, 2023
  b34bcc1

Commits on Nov 9, 2023

• Merge pull request lcompilers#2412 from anutosh491/visit_return

  certik

  committedNov 9, 2023
  f0b2a49

Commits on Nov 5, 2023

• Merge pull request lcompilers#2394 from arteevraina/asr-verify-update

  certik

  committedNov 5, 2023
  b382eed

Commits on Nov 2, 2023

• Merge pull request lcompilers#2404 from anutosh491/Fixing_assert

  certik

  committedNov 2, 2023
  dcaf253

• Merge pull request lcompilers#2408 from czgdp1807/ifexpr_fix

  certik

  committedNov 2, 2023
  35a480b

• Merge pull request lcompilers#2407 from pnc009/fix/error-message

  certik

  committedNov 2, 2023
  c21c0e3

Commits on Oct 31, 2023

• Merge pull request lcompilers#2399 from anutosh491/Second_method_for_args

  certik

  committedOct 31, 2023
  da8d25b

• Merge pull request lcompilers#2402 from Shaikh-Ubaid/update_readme

  certik

  committedOct 31, 2023
  5072c12

Commits on Oct 26, 2023

• Merge pull request lcompilers#2395 from anutosh491/sinQ

  certik

  committedOct 26, 2023
  3ed3098

Commits on Oct 24, 2023

• Remove spurious reference results

  certik

  committedOct 24, 2023
  bcdb732

• Merge pull request lcompilers#2387 from anutosh491/const_E

  certik

  committedOct 24, 2023
  974f1dc

Commits on Oct 18, 2023

• Merge pull request lcompilers#2384 from anutosh491/Implement_log_exp_query_methods

  certik

  committedOct 18, 2023
  f8fbd8d

Commits on Oct 17, 2023

• Merge pull request lcompilers#2383 from anutosh491/fix_printing_symbolic_lists

  certik

  committedOct 17, 2023
  cba7320

• Merge pull request lcompilers#2318 from OmarMesqq/feat/improve-random-seed-entropy

  certik

  committedOct 17, 2023
  8aaa4a7

• Proper clock initialization stricter tests

  certik

  committedOct 17, 2023
  805b621

Commits on Oct 9, 2023

• Merge pull request lcompilers#2378 from anutosh491/basic_assign

  certik

  committedOct 9, 2023
  013df0c

Commits on Oct 8, 2023

• Merge pull request lcompilers#2374 from anutosh491/implementing_symbolic_comparison

  certik

  committedOct 8, 2023
  36fe6cf

Commits on Oct 3, 2023

• Merge pull request lcompilers#2361 from OculusMode/macos-warning-fix

  certik

  committedOct 3, 2023
  37eca1a

• Merge pull request lcompilers#2358 from abhi-glitchhg/readme

  certik

  committedOct 3, 2023
  e4e83cc

• Merge pull request lcompilers#2354 from Agent-Hellboy/add_join_in_str

  certik

  committedOct 3, 2023
  98e53f4

Commits on Sep 27, 2023

• Merge pull request lcompilers#2346 from certik/symengine

  certik

  committedSep 27, 2023
  307da8b

• CI: Upgrade SymEngine to 0.11.1

  certik

  committedSep 27, 2023
  f6b84ce

• Merge pull request lcompilers#2342 from SudhanshuJoshi09/str-count

  certik

  committedSep 27, 2023
  03a9cf1

Pagination

PreviousNext