Skip to content
GitHub Explorer

InnocentusLime/bitsynth

View on GitHub ↗Related repositories →

The project for the PFM2024 course

active 2024-12-17 → 2025-01-07 (UTC)

Complete coverage26,416 / 26,416 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-19 (UTC)
Events
71
Pushes
38
Pull requests
4
Issues
22
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 22 days from 2024-12-17 to 2025-01-07. Pushes: 38 total, peak 14 in a day. Pull requests: 4 total, peak 4 in a day. Issues: 22 total, peak 5 in a day. Comments: 2 total, peak 1 in a day. Stars: 0 total, peak 0 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
InnocentusLime663842

Recent activity

Latest issues, pull requests and releases

  • Pull request#14InnocentusLime2025-01-06 21:27
  • Pull request#14InnocentusLime2025-01-06 21:26
  • Issue#12InnocentusLime2025-01-06 21:26
    Add z3 constraint parsing
  • Issue comment#12InnocentusLime2025-01-06 21:26
    Add z3 constraint parsing
  • Pull request#13InnocentusLime2025-01-06 20:15
  • Pull request#13InnocentusLime2025-01-06 20:15
  • Issue#5InnocentusLime2025-01-06 20:14
    Implement a learning synthesizer
  • Issue#12InnocentusLime2025-01-02 19:00
    Add z3 constraint parsing
  • Issue#11InnocentusLime2025-01-02 18:59
    Optimise the space of enumerated expressions
  • Issue#4InnocentusLime2025-01-02 15:45
    Implement learning callback
  • Issue#6InnocentusLime2025-01-02 14:24
    Implement a searching syntehsizer
  • Issue#8InnocentusLime2025-01-01 22:28
    Add tests
  • Issue#7InnocentusLime2025-01-01 14:41
    Make debug togglable through clap
  • Issue#9InnocentusLime2025-01-01 14:32
    Extract constants for fitting candidates
  • Issue#10InnocentusLime2024-12-27 08:41
    Add new operators
  • Issue#9InnocentusLime2024-12-27 08:40
    Extract constants for fitting candidates
  • Issue#8InnocentusLime2024-12-27 08:37
    Add tests
  • Issue#7InnocentusLime2024-12-27 08:37
    Make debug togglable through clap
  • Issue#6InnocentusLime2024-12-27 08:36
    Implement a searching syntehsizer
  • Issue#5InnocentusLime2024-12-26 14:41
    Implement a learning synthesizer
  • Issue#4InnocentusLime2024-12-26 14:39
    Implement learning callback
  • Issue comment#3InnocentusLime2024-12-26 14:34
    Implement the search procedure
  • Issue#3InnocentusLime2024-12-26 14:34
    Implement the search procedure
  • Issue#3InnocentusLime2024-12-20 17:41
    Implement the search procedure
  • Issue#1InnocentusLime2024-12-20 17:40
    Setup build status CI

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.